default search action
23rd MODELS 2020: Virtual Event, Canada
- Eugene Syriani, Houari A. Sahraoui, Juan de Lara, Silvia Abrahão:
MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020. ACM 2020, ISBN 978-1-4503-7019-6
MDE process support
- Beatriz Sánchez
, Dimitris S. Kolovos
To build, or not to build: ModelFlow, a build solution for MDE projects. 1-11 - Dimitris S. Kolovos, Alfonso de la Vega
Efficient generation of graphical model views via lazy model-to-text transformation. 12-23 - Angela Barriga, Rogardt Heldal, Ludovico Iovino
An extensible framework for customizable model repair. 24-34 - Arvid Butting, Jerome Pfeiffer, Bernhard Rumpe, Andreas Wortmann:
A compositional framework for systematic modeling language reuse. 35-46 - Gilles Vanwormhoudt, Matthieu Allon, Olivier Caron
Template based model engineering in UML. 47-56 - José Antonio Hernández López, Jesús Sánchez Cuadrado
MAR: a structure-based search engine for models. 57-67 - Wael Kessentini, Vahid Alizadeh
Interactive metamodel/model co-evolution using unsupervised learning and multi-objective search. 68-78
Systems engineering
- Imke Drave, Bernhard Rumpe, Andreas Wortmann, Joerg K. Berroth, Gregor Hoepfner, Georg Jacobs, Kathrin Spuetz
Modeling mechanical functional architectures in SysML. 79-89 - Jörg Christian Kirchhof
Model-driven digital twin construction: synthesizing the integration of cyber-physical systems with their information systems. 90-101 - Betty H. C. Cheng
AC-ROS: assurance case driven adaptation for the robot operating system. 102-113 - Barbara Schütt, Thilo Braun, Stefan Otten, Eric Sax:
SceML: a graphical modeling framework for scenario-based testing of autonomous vehicles. 114-120 - Abel Gómez, Markel Iglesias-Urkia
A model-based approach for developing event-driven architectures with AsyncAPI. 121-131 - Hui Song, Rustem Dautov, Nicolas Ferry, Arnor Solberg, Franck Fleurey:
Model-based fleet deployment of edge computing applications. 132-142 - Frikk H. Fossdal, Rogardt Heldal, Jens Dyvik, Adrian Rutle:
A parametric model for creating customized fabrication machines. 143-153 - Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou:
Supporting robotic software migration using static analysis and model-driven engineering. 154-164
Model analysis, query and generation
- Jan Oliver Ringert
Semantic comparisons of Alloy models. 165-174 - Lucas Sakizloglou
A scalable querying scheme for memory-efficient runtime models with history. 175-186 - Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy
Automated generation of consistent models with structural and attribute constraints. 187-199 - Robert Hackman, Joanne M. Atlee, Alistair Finn Hackett, Michael W. Godfrey:
mel- model extractor language for extracting facts from models. 200-210 - Frédéric Jouault, Valentin Besnard, Théo Le Calvar
Designing, animating, and verifying partial UML Models. 211-217
Requirements and variability
- Alvaro Veizaga, Mauricio Alférez, Damiano Torre
Leveraging natural-language requirements for deriving better acceptance criteria from models. 218-228 - Ana Ivanchikj, Souhaila Serbout
From text to visual BPMN process models: design and evaluation. 229-239 - Daniel Strüber, Anthony Anjorin, Thorsten Berger:
Variability representations in class models: an empirical assessment. 240-251 - Sanaa A. Alwidian, Daniel Amyot
"Union is power": analyzing families of goal models using union models. 252-262 - Robbert Jongeling, Antonio Cicchetti, Federico Ciccozzi, Jan Carlson:
Co-evolution of simulink models in a model-based product line. 263-273
Behavioural modelling and model transformations
- Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy:
Synthesis of state machine models. 274-284 - Majid Babaei, Mojtaba Bagherzadeh, Juergen Dingel:
Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development. 285-296 - Zheng Cheng, Massimo Tisi, Joachim Hotonnier:
Certifying a rule-based model transformation engine for proof preservation. 297-307 - Raffaela Groner, Luis Beaucamp, Matthias Tichy, Steffen Becker:
An exploratory study on performance engineering in model transformations. 308-319 - Anthony Anjorin, Nils Weidmann, Robin Oppermann, Lars Fritsche
Automating test schedule generation with domain-specific languages: a configurable, model-driven approach. 320-331
Applications: Security, data quality and education
- Katja Tuma
Automating the early detection of security design flaws. 332-342 - Thorsten Koch, Stefan Dziwok, Jörg Holtmann
Scenario-based specification of security protocols and transformation to security model checkers. 343-353 - Arno Kesper
Detecting quality problems in research data: a model-driven approach. 354-364 - Weiyi Bian, Omar Alam, Jörg Kienzle:
Is automated grading of models effective?: assessing automated grading of class diagrams. 365-376 - Hüseyin Ergin, Wenjun Shi, Herart Dominggus Nurue
A model-driven alternative to programming in blocks using rule-based transformations. 377-383
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-29 00:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: