| 2025 | MODELS | Pragmatic Issues in Multilevel Modeling Insights from Modeling the MULTI-Warehouse Challenge in MLM-USE. | Mira Balaban, Azzam Maraee, Arnon Sturm |
| 2024 | MODELS | Mediation-Based MLM in USE. | Mira Balaban, Lars Hamann, Gil Khais, Amiel Amram Saad, Azzam Maraee, Arnon Sturm |
| 2023 | MODELS | Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper. | Mira Balaban, Michael Kifer, Azzam Maraee |
| 2022 | MODELS | Mediation-based MLM in FOModeLer. | Mira Balaban, Igal Khitron, Azzam Maraee, Michael Kifer |
| 2019 | CaiSE | The Usage of Constraint Specification Languages: A Controlled Experiment. | Azzam Maraee, Arnon Sturm |
| 2018 | CaiSE | Formal Executable Theory of Multilevel Modeling. | Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee |
| 2018 | MODELS | Multilevel modeling: what's in a level? A position paper. | Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee |
| 2018 | MODELS | Context-aware factors in rearchitecting two-level models into multilevel models. | Mira Balaban, Igal Khitron, Azzam Maraee |
| 2018 | RCIS | Reasoning methods for ME-maps - A CSP based approach. | Azzam Maraee, Arnon Sturm |
| 2017 | RCIS | Formal semantics and analysis tasks for ME-MAP models. | Azzam Maraee, Arnon Sturm |
| 2014 | MODELS | Removing Redundancies and Deducing Equivalences in UML Class Diagrams. | Azzam Maraee, Mira Balaban |
| 2013 | MODELS | Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints. | Mira Balaban, Azzam Maraee |
| 2012 | MODELS | Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines. | Azzam Maraee, Mira Balaban |
| 2011 | MODELS | On the interaction of inter-relationship constraints. | Azzam Maraee, Mira Balaban |
| 2009 | MODELS | Finite satisfiability of class diagrams: practical occurrence and scalability of the | Victor Makarenkov, Pavel Jelnov, Azzam Maraee, Mira Balaban |