Azzam Maraee

Michael Kifer

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Accidental complexity in multilevel modeling revisited.

[BibT_eX]

[DOI]

Igal Khitron

Softw. Syst. Model., 2022

Mediation-based MLM in FOModeLer.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Towards Simplification of ME-Maps.

[BibT_eX]

[DOI]

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2022

2021

Imperative versus declarative constraint specification languages: a controlled experiment.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2021

2020

Constraints Specification Via Tool Support: A Controlled Experiment.

[BibT_eX]

[DOI]

Eliran Nachmani

J. Object Technol., 2020

2019

Removing redundant multiplicity constraints in UML class models.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

The Usage of Constraint Specification Languages: A Controlled Experiment.

[BibT_eX]

[DOI]

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2019

2018

Reasoning methods for ME-maps - A CSP based approach.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Research Challenges in Information Science, 2018

Context-aware factors in rearchitecting two-level models into multilevel models.

[BibT_eX]

[DOI]

Igal Khitron

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Multilevel modeling: what's in a level? A position paper.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Formal Executable Theory of Multilevel Modeling.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2018

2017

Formal semantics and analysis tasks for ME-MAP models.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Research Challenges in Information Science, 2017

2015

A pattern-based approach for improving model quality.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

2014

Removing Redundancies and Deducing Equivalences in UML Class Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

2013

Finite satisfiability of UML class diagrams with constrained class hierarchy.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2013

Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

2012

Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

2011

Model Correctness Patterns as an Educational Instrument.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

On the interaction of inter-relationship constraints.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

2010

Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach.

[BibT_eX]

[DOI]

Int. J. Inf. Syst. Model. Des., 2010

2009

Finite satisfiability of class diagrams: practical occurrence and scalability of the <i>FiniteSat</i> algorithm.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Model-Driven Engineering, 2009

2008

A UML-Based Method for Deciding Finite Satisfiability in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2007

2006

Consistency of UML Class Diagrams with Hierarchy Constraints.

[BibT_eX]

[DOI]