![]() ![]() | Pinna Puissant, J., Van Der Straeten, R., & Mens, T. (01 February 2015). Resolving model inconsistencies using automated regression planning. Software and Systems Modeling, 14 (1), 461-481. doi:10.1007/s10270-013-0317-9 ![]() |
![]() ![]() | Pinna Puissant, J., Van Der Straeten, R., & Mens, T. (2012). Badger: A Regression Planner to Resolve Design Model Inconsistencies. In Proceedings of the European Conference on Modelling Foundations and Applications (ECMFA 2012). Berlin, Germany: Springer. doi:10.1007/978-3-642-31491-9_13 ![]() |
![]() ![]() | Pinna Puissant, J., Mens, T., & Van Der Straeten, R. (2011). Assessing the Kodkod Model Finder for Resolving Model Inconsistencies. In Proceedings of the European Conference on Modelling Foundations and Applications (ECMFA 2011). Springer. ![]() |
![]() ![]() | Pinna Puissant, J., Van Der Straeten, R., & Mens, T. (2011). Comparing Automated Planning Approaches for Model Inconsistency Resolution. https://orbi.umons.ac.be/handle/20.500.12907/3553 |
![]() ![]() | Pinna Puissant, J., Mens, T., & Van Der Straeten, R. (2010). Resolving Model Inconsistencies with Automated Planning [Paper presentation]. LWI 2010: 3rd Workshop on Living with Inconsistencies in Software Development, Antwerp, Belgium. |
![]() ![]() | Pinna Puissant, J., Mens, T., & Van Der Straeten, R. (2010). Automated Planning for Resolving Model Inconsistencies - A Scalability Study [Paper presentation]. ME 2010 International Workshop on Models and Evolution, Oslo, Norway. |
![]() ![]() | Van Der Straeten, R., Mens, T., & Van Baelen, S. (01 January 2008). Challenges in Model-Driven Software Engineering. Lecture Notes in Computer Science, 5421, 35-47. ![]() |
![]() ![]() | Van Der Straeten, R., Jonckers, V., & Mens, T. (01 June 2007). A formal approach to model refactoring and model refinement. Software and Systems Modeling, 6 (2), 139-162. doi:10.1007/s10270-006-0025-9 ![]() |
![]() ![]() | Mens, T., & Van Der Straeten, R. (01 January 2007). Incremental Resolution of Model Inconsistencies. Lecture Notes in Computer Science, 4409, 111-127. doi:10.1007/978-3-540-71998-4_7 ![]() |
![]() ![]() | Mens, T., Van Der Straeten, R., & D'Hondt, M. (01 January 2006). Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis. Lecture Notes in Computer Science, 4199, 200-214. doi:10.1007/11880240_15 ![]() |
![]() ![]() | Mens, T., & Van Der Straeten, R. (2005). On the Use of Formal Techniques to Support Model Evolution [Paper presentation]. 1ères Journées sur l'Ingénierie Dirigée par les Modèles, . |
![]() ![]() | Mens, T., Van Der Straeten, R., & Simmonds, J. (2005). A Framework for Managing Consistency of Evolving UML Models. In Software Evolution with UML and XML. United States: Idea Group Publishing. doi:10.4018/978-1-59140-462-0.ch001 |
Simmonds, J., Van Der Straeten, R., Jonckers, V., & Mens, T. (01 January 2004). Maintaining Consistency between UML Models Using Description Logic. L'objet: logiciel, bases de données, réseaux, 10 (2-3), 231-244. ![]() |
![]() ![]() | Van Der Straeten, R., Jonckers, V., & Mens, T. (01 January 2004). Supporting Model Refactorings through Behaviour Inheritance Consistencies. Lecture Notes in Computer Science, 3273, 305-319. ![]() |
![]() ![]() | Mens, T., Van Der Straeten, R., Simmonds, J., & Jonckers, V. (01 January 2003). Using description logic to maintain consistency between UML models. Lecture Notes in Computer Science, 2863, 326-340. ![]() |
![]() ![]() | Mens, T., Van Der Straeten, R., & Simmonds, J. (2003). Maintaining consistency between UML models using description logic [Paper presentation]. Workshop on Object-Oriented Reengineering, . |
Van Der Straeten, R., Simmonds, J., & Mens, T. (2003). Detecting Inconsistencies between UML Models Using Description Logic [Paper presentation]. Description Logics, . |