Azzam Maraee

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 14

Top Topics

Modelling Language

Specification Languages

Top Venues

Softw. Syst. Model.

MoDELS (Workshops)

BPMDS/EMMSAD@CAiSE

Publications

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