MoDELS A

35 papers

YearTitle / Authors
2020"Union is power": analyzing families of goal models using union models.
Sanaa A. Alwidian, Daniel Amyot
2020A compositional framework for systematic modeling language reuse.
Arvid Butting, Jerome Pfeiffer, Bernhard Rumpe, Andreas Wortmann
2020A model-based approach for developing event-driven architectures with AsyncAPI.
Abel Gómez, Markel Iglesias-Urkia, Aitor Urbieta, Jordi Cabot
2020A model-driven alternative to programming in blocks using rule-based transformations.
Hüseyin Ergin, Wenjun Shi, Herart Dominggus Nurue, Jeff Gray
2020A parametric model for creating customized fabrication machines.
Frikk H. Fossdal, Rogardt Heldal, Jens Dyvik, Adrian Rutle
2020A scalable querying scheme for memory-efficient runtime models with history.
Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese
2020AC-ROS: assurance case driven adaptation for the robot operating system.
Betty H. C. Cheng, Robert Jared Clark, Jonathon Emil Fleck, Michael Austin Langford, Philip K. McKinley
2020An exploratory study on performance engineering in model transformations.
Raffaela Groner, Luis Beaucamp, Matthias Tichy, Steffen Becker
2020An extensible framework for customizable model repair.
Angela Barriga, Rogardt Heldal, Ludovico Iovino, Magnus Marthinsen, Adrian Rutle
2020Automated generation of consistent models with structural and attribute constraints.
Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró
2020Automating test schedule generation with domain-specific languages: a configurable, model-driven approach.
Anthony Anjorin, Nils Weidmann, Robin Oppermann, Lars Fritsche, Andy Schürr
2020Automating the early detection of security design flaws.
Katja Tuma, Laurens Sion, Riccardo Scandariato, Koen Yskout
2020Certifying a rule-based model transformation engine for proof preservation.
Zheng Cheng, Massimo Tisi, Joachim Hotonnier
2020Co-evolution of simulink models in a model-based product line.
Robbert Jongeling, Antonio Cicchetti, Federico Ciccozzi, Jan Carlson
2020Designing, animating, and verifying partial UML Models.
Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
2020Detecting quality problems in research data: a model-driven approach.
Arno Kesper, Viola Wenz, Gabriele Taentzer
2020Efficient generation of graphical model views via lazy model-to-text transformation.
Dimitris S. Kolovos, Alfonso de la Vega, Justin C. Cooper
2020Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development.
Majid Babaei, Mojtaba Bagherzadeh, Juergen Dingel
2020From text to visual BPMN process models: design and evaluation.
Ana Ivanchikj, Souhaila Serbout, Cesare Pautasso
2020Interactive metamodel/model co-evolution using unsupervised learning and multi-objective search.
Wael Kessentini, Vahid Alizadeh
2020Is automated grading of models effective?: assessing automated grading of class diagrams.
Weiyi Bian, Omar Alam, Jörg Kienzle
2020Leveraging natural-language requirements for deriving better acceptance criteria from models.
Alvaro Veizaga, Mauricio Alférez, Damiano Torre, Mehrdad Sabetzadeh, Lionel C. Briand, Elene Pitskhelauri
2020MAR: a structure-based search engine for models.
José Antonio Hernández López, Jesús Sánchez Cuadrado
2020MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020
Eugene Syriani, Houari A. Sahraoui, Juan de Lara, Silvia Abrahão
2020Model-based fleet deployment of edge computing applications.
Hui Song, Rustem Dautov, Nicolas Ferry, Arnor Solberg, Franck Fleurey
2020Model-driven digital twin construction: synthesizing the integration of cyber-physical systems with their information systems.
Jörg Christian Kirchhof, Judith Michael, Bernhard Rumpe, Simon Varga, Andreas Wortmann
2020Modeling mechanical functional architectures in SysML.
Imke Drave, Bernhard Rumpe, Andreas Wortmann, Joerg K. Berroth, Gregor Hoepfner, Georg Jacobs, Kathrin Spuetz, Thilo Zerwas, Christian Guist, Jens Kohl
2020SceML: a graphical modeling framework for scenario-based testing of autonomous vehicles.
Barbara Schütt, Thilo Braun, Stefan Otten, Eric Sax
2020Scenario-based specification of security protocols and transformation to security model checkers.
Thorsten Koch, Stefan Dziwok, Jörg Holtmann, Eric Bodden
2020Semantic comparisons of Alloy models.
Jan Oliver Ringert, Syed Waqee Wali
2020Supporting robotic software migration using static analysis and model-driven engineering.
Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou
2020Synthesis of state machine models.
Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy
2020Template based model engineering in UML.
Gilles Vanwormhoudt, Matthieu Allon, Olivier Caron, Bernard Carré
2020To build, or not to build: ModelFlow, a build solution for MDE projects.
Beatriz Sánchez, Dimitris S. Kolovos, Richard F. Paige
2020Variability representations in class models: an empirical assessment.
Daniel Strüber, Anthony Anjorin, Thorsten Berger