Consistency of UML Class Diagrams with Hierarchy Constraints. - Mira Balaban; Azzam Maraee (NGITS, 2006)

Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets. - Azzam Maraee; Mira Balaban (ECMDA-FA, 2007)

A UML-Based Method for Deciding Finite Satisfiability in Description Logics. - Mira Balaban; Azzam Maraee (Description Logics, 2008)

Finite satisfiability of class diagrams: practical occurrence and scalability of the FiniteSat algorithm. - Victor Makarenkov; Pavel Jelnov; Azzam Maraee; Mira Balaban (MoDeVVa@MoDELS, 2009)

Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach. - Mira Balaban; Azzam Maraee; Arnon Sturm (Int. J. Inf. Syst. Model. Des., 2010)

On the interaction of inter-relationship constraints. - Azzam Maraee; Mira Balaban (MoDeVVa@MoDELS, 2011)

Model Correctness Patterns as an Educational Instrument. - Azzam Maraee; Mira Balaban; Arnon Sturm; Adiel Ashrov (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines. - Azzam Maraee; Mira Balaban (MoDELS, 2012)

Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints. - Mira Balaban; Azzam Maraee (MoDELS, 2013)

Finite satisfiability of UML class diagrams with constrained class hierarchy. - Mira Balaban; Azzam Maraee (ACM Trans. Softw. Eng. Methodol., 2013)

Removing Redundancies and Deducing Equivalences in UML Class Diagrams. - Azzam Maraee; Mira Balaban (MoDELS, 2014)

A pattern-based approach for improving model quality. - Mira Balaban; Azzam Maraee; Arnon Sturm; Pavel Jelnov (Softw. Syst. Model., 2015)

Formal semantics and analysis tasks for ME-MAP models. - Azzam Maraee; Arnon Sturm (RCIS, 2017)

Formal Executable Theory of Multilevel Modeling. - Mira Balaban; Igal Khitron; Michael Kifer; Azzam Maraee (CAiSE, 2018)

Multilevel modeling: what's in a level? A position paper. - Mira Balaban; Igal Khitron; Michael Kifer; Azzam Maraee (MoDELS (Workshops), 2018)

Context-aware factors in rearchitecting two-level models into multilevel models. - Mira Balaban; Igal Khitron; Azzam Maraee (MoDELS (Workshops), 2018)

Reasoning methods for ME-maps - A CSP based approach. - Azzam Maraee; Arnon Sturm (RCIS, 2018)

The Usage of Constraint Specification Languages: A Controlled Experiment. - Azzam Maraee; Arnon Sturm (BPMDS/EMMSAD@CAiSE, 2019)

Removing redundant multiplicity constraints in UML class models. - Mira Balaban; Azzam Maraee (Softw. Syst. Model., 2019)

Constraints Specification Via Tool Support: A Controlled Experiment. - Azzam Maraee; Eliran Nachmani; Arnon Sturm (J. Object Technol., 2020)

Imperative versus declarative constraint specification languages: a controlled experiment. - Azzam Maraee; Arnon Sturm (Softw. Syst. Model., 2021)

Towards Simplification of ME-Maps. - Azzam Maraee; Arnon Sturm (BPMDS/EMMSAD@CAiSE, 2022)

Mediation-based MLM in FOModeLer. - Mira Balaban; Igal Khitron; Azzam Maraee; Michael Kifer (MoDELS (Companion), 2022)

Accidental complexity in multilevel modeling revisited. - Mira Balaban; Igal Khitron; Azzam Maraee (Softw. Syst. Model., 2022)

Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper. - Mira Balaban; Michael Kifer; Azzam Maraee (MoDELS (Companion), 2023)

Mediation-Based MLM in USE. - Mira Balaban; Lars Hamann; Gil Khais; Amiel Amram Saad; Azzam Maraee; Arnon Sturm (MoDELS (Companion), 2024)