| 2014 | Investigation and Evaluation of UML Action Languages. | Omar Bahy Badreddin, Timothy C. Lethbridge, Andrew Forward |
| 2014 | A Novel Approach to Versioning and Merging Model and Code Uniformly. | Omar Bahy Badreddin, Timothy C. Lethbridge, Andrew Forward |
| 2014 | A Test-Driven Approach for Developing Software Languages. | Omar Bahy Badreddin, Andrew Forward, Timothy C. Lethbridge |
| 2014 | The Role of Foundational Ontologies in Deep Modeling. | Colin Atkinson |
| 2014 | Automated Composition of Sequence Diagrams via Alloy. | Mohammed Alwanain, Behzad Bordbar, Juliana Kster Filipe Bowles |
| 2014 | Specifying Trace Directives for UML Attributes and State Machines. | Hamoud Aljamaan, Timothy C. Lethbridge, Omar Bahy Badreddin, Geoffrey Guest, Andrew Forward |
| 2014 | iArch - An IDE for Supporting Abstraction-aware Design Traceability. | Di Ai, Naoyasu Ubayashi, Peiyuan Li, Shintaro Hosoai, Yasutaka Kamei |
| 2014 | Formal Test-Driven Development with Verified Test Cases. | Bernhard K. Aichernig, Florian Lorber, Stefan Tiran |
| 2014 | Information Models and Transformation Principles Applied to Servitization of Manufacturing and Service Systems Design. | Carlos Agostinho, Hassan Bazoun, Gregory Zacharewicz, Yves Ducq, Hadrien Boy |
| 2014 | Models in Software Architecture Derivation and Evaluation - Challenges and Opportunities. | Silvia Abraho |
| 2014 | An Approach based on SysML and SystemC to Simulate Complex Systems. | Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibout |
| 2014 | A Domain-Specific Language for Abstract Syntax Model to Concrete Syntax Model Mappings. | Luis Quesada, Fernando Berzal, Juan Carlos Cubero Talavera |
| 2014 | Parsing Abstract Syntax Graphs with ModelCC. | Luis Quesada, Fernando Berzal, Juan Carlos Cubero Talavera |
| 2013 | TStore: A Trace-Base Management System - Using Finite-state Transducer Approach for Trace Transformation. | Raafat Zarka, Pierre-Antoine Champin, Amlie Cordier, Eld Egyed-Zsigmond, Luc Lamontagne, Alain Mille |
| 2013 | Model-based System Engineering for Fault Tree Generation and Analysis. | Nataliya Yakymets, Hadi Jaber, Agnes Lanusse |
| 2013 | Tool Support for the Evaluation of Matching Algorithms in the Eclipse Modeling Framework. | Sabrina Uhrig, Felix Schwgerl |
| 2013 | UML-based Design and Verification Method for Developing Dependable Context-aware Systems. | Naoyasu Ubayashi, Yasutaka Kamei |
| 2013 | Automated Throughput Optimization of Cloud Services via Model-driven Adaptation. | Javier Troya, Javier Cubo, Jos Antonio Martn, Ernesto Pimentel, Antonio Vallecillo |
| 2013 | Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval. | Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno |
| 2013 | Improving Modeling with Layered UML Diagrams. | Harald Strrle |
| 2013 | Making Sense to Modelers - Presenting UML Class Model Differences in Prose. | Harald Strrle |
| 2013 | Application of Model Comparison Techniques to Model Transformation Testing. | Matthew Stephan, James R. Cordy |
| 2013 | A Survey of Model Comparison Approaches and Applications. | Matthew Stephan, James R. Cordy |
| 2013 | Challenges of Model-driven Modernization - An Agile Perspective. | Stavros Stavru, Iva Krasteva, Sylvia Ilieva |
| 2013 | Do we Really Need to Write Documentation for a System? - CASE Tool Add-ons: Generator+Editor for a Precise Documentation. | Maria Spichkova, Xiuna Zhu, Dongyue Mou |