Azzam Maraee

27 papers A 4B 2Journal 8Unranked 13
YearRankTypeTitle / Venue / Authors
2025 — conf
Pragmatic Issues in Multilevel Modeling Insights from Modeling the MULTI-Warehouse Challenge in MLM-USE.
MODELS-C
Mira Balaban, Azzam Maraee, Arnon Sturm
2024 — conf
Mediation-Based MLM in USE.
MoDELS (Companion)
Mira Balaban, Lars Hamann, Gil Khais, Amiel Amram Saad, Azzam Maraee, Arnon Sturm
2023 — conf
Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper.
MoDELS (Companion)
Mira Balaban, Michael Kifer, Azzam Maraee
2022 J jnl
Accidental complexity in multilevel modeling revisited.
Softw. Syst. Model.
Mira Balaban, Igal Khitron, Azzam Maraee
2022 — conf
Mediation-based MLM in FOModeLer.
MoDELS (Companion)
Mira Balaban, Igal Khitron, Azzam Maraee, Michael Kifer
2022 — conf
Towards Simplification of ME-Maps.
BPMDS/EMMSAD@CAiSE
Azzam Maraee, Arnon Sturm
2021 J jnl
Imperative versus declarative constraint specification languages: a controlled experiment.
Softw. Syst. Model.
Azzam Maraee, Arnon Sturm
2020 J jnl
Constraints Specification Via Tool Support: A Controlled Experiment.
J. Object Technol.
Azzam Maraee, Eliran Nachmani, Arnon Sturm
2019 J jnl
Removing redundant multiplicity constraints in UML class models.
Softw. Syst. Model.
Mira Balaban, Azzam Maraee
2019 — conf
The Usage of Constraint Specification Languages: A Controlled Experiment.
BPMDS/EMMSAD@CAiSE
Azzam Maraee, Arnon Sturm
2018 — conf
Context-aware factors in rearchitecting two-level models into multilevel models.
MoDELS (Workshops)
Mira Balaban, Igal Khitron, Azzam Maraee
2018 A conf
Formal Executable Theory of Multilevel Modeling.
CAiSE
Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee
2018 — conf
Multilevel modeling: what's in a level? A position paper.
MoDELS (Workshops)
Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee
2018 B conf
Reasoning methods for ME-maps - A CSP based approach.
RCIS
Azzam Maraee, Arnon Sturm
2017 B conf
Formal semantics and analysis tasks for ME-MAP models.
RCIS
Azzam Maraee, Arnon Sturm
2015 J jnl
A pattern-based approach for improving model quality.
Softw. Syst. Model.
Mira Balaban, Azzam Maraee, Arnon Sturm, Pavel Jelnov
2014 A conf
Removing Redundancies and Deducing Equivalences in UML Class Diagrams.
MoDELS
Azzam Maraee, Mira Balaban
2013 J jnl
Finite satisfiability of UML class diagrams with constrained class hierarchy.
ACM Trans. Softw. Eng. Methodol.
Mira Balaban, Azzam Maraee
2013 A conf
Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints.
MoDELS
Mira Balaban, Azzam Maraee
2012 A conf
Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines.
MoDELS
Azzam Maraee, Mira Balaban
2011 J jnl
Model Correctness Patterns as an Educational Instrument.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Azzam Maraee, Mira Balaban, Arnon Sturm, Adiel Ashrov
2011 — conf
On the interaction of inter-relationship constraints.
MoDeVVa@MoDELS
Azzam Maraee, Mira Balaban
2010 J jnl
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach.
Int. J. Inf. Syst. Model. Des.
Mira Balaban, Azzam Maraee, Arnon Sturm
2009 — conf
Finite satisfiability of class diagrams: practical occurrence and scalability of the
MoDeVVa@MoDELS
Victor Makarenkov, Pavel Jelnov, Azzam Maraee, Mira Balaban
2008 — conf
A UML-Based Method for Deciding Finite Satisfiability in Description Logics.
Description Logics
Mira Balaban, Azzam Maraee
2007 — conf
Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets.
ECMDA-FA
Azzam Maraee, Mira Balaban
2006 — conf
Consistency of UML Class Diagrams with Hierarchy Constraints.
NGITS
Mira Balaban, Azzam Maraee