Abstract is missing.
- To build, or not to build: ModelFlow, a build solution for MDE projectsBeatriz Sánchez, Dimitris S. Kolovos, Richard F. Paige. 1-11 [doi]
- Efficient generation of graphical model views via lazy model-to-text transformationDimitris S. Kolovos, Alfonso de la Vega, Justin Cooper. 12-23 [doi]
- An extensible framework for customizable model repairAngela Barriga, Rogardt Heldal, Ludovico Iovino, Magnus Marthinsen, Adrian Rutle. 24-34 [doi]
- A compositional framework for systematic modeling language reuseArvid Butting, Jerome Pfeiffer, Bernhard Rumpe, Andreas Wortmann. 35-46 [doi]
- Template based model engineering in UMLGilles Vanwormhoudt, Matthieu Allon, Olivier Caron, Bernard Carré. 47-56 [doi]
- MAR: a structure-based search engine for modelsJosé Antonio Hernández López, Jesús Sánchez Cuadrado. 57-67 [doi]
- Interactive metamodel/model co-evolution using unsupervised learning and multi-objective searchWael Kessentini, Vahid Alizadeh. 68-78 [doi]
- Modeling mechanical functional architectures in SysMLImke Drave, Bernhard Rumpe, Andreas Wortmann, Joerg Berroth, Gregor Hoepfner, Georg Jacobs, Kathrin Spuetz, Thilo Zerwas, Christian Guist, Jens Kohl. 79-89 [doi]
- Model-driven digital twin construction: synthesizing the integration of cyber-physical systems with their information systemsJörg Christian Kirchhof, Judith Michael, Bernhard Rumpe, Simon Varga, Andreas Wortmann. 90-101 [doi]
- AC-ROS: assurance case driven adaptation for the robot operating systemBetty H. C. Cheng, Robert Jared Clark, Jonathon Emil Fleck, Michael Austin Langford, Philip K. McKinley. 102-113 [doi]
- SceML: a graphical modeling framework for scenario-based testing of autonomous vehiclesBarbara Schütt, Thilo Braun, Stefan Otten, Eric Sax. 114-120 [doi]
- A model-based approach for developing event-driven architectures with AsyncAPIAbel Gómez, Markel Iglesias-Urkia, Aitor Urbieta, Jordi Cabot. 121-131 [doi]
- Model-based fleet deployment of edge computing applicationsHui Song, Rustem Dautov, Nicolas Ferry 0001, Arnor Solberg, Franck Fleurey. 132-142 [doi]
- A parametric model for creating customized fabrication machinesFrikk H. Fossdal, Rogardt Heldal, Jens Dyvik, Adrian Rutle. 143-153 [doi]
- Supporting robotic software migration using static analysis and model-driven engineeringSophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou. 154-164 [doi]
- Semantic comparisons of Alloy modelsJan Oliver Ringert, Syed Waqee Wali. 165-174 [doi]
- A scalable querying scheme for memory-efficient runtime models with historyLucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese. 175-186 [doi]
- Automated generation of consistent models with structural and attribute constraintsOszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró. 187-199 [doi]
- mel- model extractor language for extracting facts from modelsRobert Hackman, Joanne M. Atlee, Alistair Finn Hackett, Michael W. Godfrey. 200-210 [doi]
- Designing, animating, and verifying partial UML ModelsFrédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun 0001, Jérôme Delatour. 211-217 [doi]
- Leveraging natural-language requirements for deriving better acceptance criteria from modelsAlvaro Veizaga, Mauricio Alférez, Damiano Torre, Mehrdad Sabetzadeh, Lionel C. Briand, Elene Pitskhelauri. 218-228 [doi]
- From text to visual BPMN process models: design and evaluationAna Ivanchikj, Souhaila Serbout, Cesare Pautasso. 229-239 [doi]
- Variability representations in class models: an empirical assessmentDaniel Strüber 0001, Anthony Anjorin, Thorsten Berger. 240-251 [doi]
- "Union is power": analyzing families of goal models using union modelsSanaa A. Alwidian, Daniel Amyot. 252-262 [doi]
- Co-evolution of simulink models in a model-based product lineRobbert Jongeling, Antonio Cicchetti, Federico Ciccozzi, Jan Carlson. 263-273 [doi]
- Synthesis of state machine modelsNafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy. 274-284 [doi]
- Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven developmentMajid Babaei, Mojtaba Bagherzadeh, Juergen Dingel. 285-296 [doi]
- Certifying a rule-based model transformation engine for proof preservationZheng Cheng, Massimo Tisi, Joachim Hotonnier. 297-307 [doi]
- An exploratory study on performance engineering in model transformationsRaffaela Groner, Luis Beaucamp, Matthias Tichy, Steffen Becker 0001. 308-319 [doi]
- Automating test schedule generation with domain-specific languages: a configurable, model-driven approachAnthony Anjorin, Nils Weidmann, Robin Oppermann, Lars Fritsche, Andy Schürr. 320-331 [doi]
- Automating the early detection of security design flawsKatja Tuma, Laurens Sion, Riccardo Scandariato, Koen Yskout. 332-342 [doi]
- Scenario-based specification of security protocols and transformation to security model checkersThorsten Koch, Stefan Dziwok, Jörg Holtmann, Eric Bodden. 343-353 [doi]
- Detecting quality problems in research data: a model-driven approachArno Kesper, Viola Wenz, Gabriele Taentzer. 354-364 [doi]
- Is automated grading of models effective?: assessing automated grading of class diagramsWeiyi Bian, Omar Alam, Jörg Kienzle. 365-376 [doi]
- A model-driven alternative to programming in blocks using rule-based transformationsHüseyin Ergin, Wenjun Shi, Herart Dominggus Nurue, Jeff Gray. 377-383 [doi]