| Efficient reasoning about finite satisfiability of UML class diagrams with constrained generalization sets A Maraee, M Balaban Model Driven Architecture-Foundations and Applications: Third European …, 2007 | 58 | 2007 |
| Finite satisfiability of UML class diagrams with constrained class hierarchy M Balaban, A Maraee ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (3), 1-42, 2013 | 52 | 2013 |
| A pattern-based approach for improving model quality M Balaban, A Maraee, A Sturm, P Jelnov Software & Systems Modeling 14, 1527-1555, 2015 | 33 | 2015 |
| Management of correctness problems in UML class diagrams towards a pattern-based approach M Balaban, A Maraee, A Sturm International Journal of Information System Modeling and Design (IJISMD) 1 …, 2010 | 32 | 2010 |
| A UML-based method for deciding finite satisfiability in description logics A Maraee, M Balaban CEUR Workshop Proceedings 353, 2008 | 25 | 2008 |
| Efficient recognition and detection of finite satisfiability problems in uml class diagrams: Handling constrained generalization sets, qualifiers and association class constraints A Maraee, V Makarenkov, B Balaban MCCM08, 2008 | 18 | 2008 |
| Consistency of UML class diagrams with hierarchy constraints M Balaban, A Maraee Next Generation Information Technologies and Systems: 6th International …, 2006 | 18 | 2006 |
| Simplification and correctness of uml class diagrams–focusing on multiplicity and aggregation/composition constraints M Balaban, A Maraee International Conference on Model Driven Engineering Languages and Systems …, 2013 | 14 | 2013 |
| Efficient recognition of finite satisfiability in UML class diagrams: Strengthening by propagation of disjoint constraints A Maraee, M Balaban 2009 International Conference on Model-Based Systems Engineering, 1-8, 2009 | 14 | 2009 |
| Removing redundancies and deducing equivalences in UML class diagrams A Maraee, M Balaban Model-Driven Engineering Languages and Systems: 17th International …, 2014 | 13 | 2014 |
| Inter-association constraints in UML2: comparative analysis, usage recommendations, and modeling guidelines A Maraee, M Balaban Model Driven Engineering Languages and Systems: 15th International …, 2012 | 12 | 2012 |
| Formal executable theory of multilevel modeling M Balaban, I Khitron, M Kifer, A Maraee Advanced Information Systems Engineering: 30th International Conference …, 2018 | 8 | 2018 |
| Finite satisfiability of class diagrams: practical occurrence and scalability of the FiniteSat algorithm V Makarenkov, P Jelnov, A Maraee, M Balaban Proceedings of the 6th International Workshop on Model-Driven Engineering …, 2009 | 8 | 2009 |
| Multilevel modeling: what's in a level? A position paper. M Balaban, I Khitron, M Kifer, A Maraee MoDELS (Workshops), 693-697, 2018 | 7 | 2018 |
| Efficient methods for solving finite satisfiability problems in uml class diagrams A Maraee Ben Gurion University of the Negev, 2007 | 7 | 2007 |
| Removing redundant multiplicity constraints in UML class models M Balaban, A Maraee Software & Systems Modeling 18, 2717-2751, 2019 | 6 | 2019 |
| On the interaction of inter-relationship constraints A Maraee, M Balaban Proceedings of the 8th International Workshop on Model-Driven Engineering …, 2011 | 6 | 2011 |
| Efficient decision of consistency in UML diagrams with constrained generalization sets A Maraee, M Balaban Proc. of the 1st Workshop on Quality in Modeling, co-located. at MoDELS'06, 1-14, 2006 | 6 | 2006 |
| UML Class Diagrams: Semantics, Correctness and Quality A Maraee Ben-Gurion University of the Negev, 2012 | 5 | 2012 |
| Contextaware factors in rearchitecting two-level models into multilevel models M Balaban, I Khitron, A Maraee Computer Software 1, 1, 2018 | 4 | 2018 |
Arnon SturmDepartment of Software and Information Systems Engineering, Ben-Gurion University of the NegevAdresse e-mail validée de bgu.ac.il
