


default search action
24th MODELS 2021: Fukuoka, Japan
- 24th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, Fukuoka, Japan, October 10-15, 2021. IEEE 2021, ISBN 978-1-6654-3495-9

- Alexander Schultheiß, Paul Maximilian Bittner, Lars Grunske, Thomas Thüm, Timo Kehrer:

Scalable N-Way Model Matching Using Multi-Dimensional Search Trees. 1-12 - Zahra VaraminyBahnemiry, Jessie Galasso

, Khalid Belharbi, Houari A. Sahraoui:
Automated Patch Generation for Fixing Semantic Errors in ATL Transformation Rules. 13-23 - Elyes Cherfa, Soraya Mesli-Kesraoui, Chouki Tibermacine, Salah Sadou, Régis Fleurquin:

Identifying Metamodel Inaccurate Structures During Metamodel/Constraint Co-Evolution. 24-34 - Robbert Jongeling

, Sachin Bhatambrekar, Anders Lofberg, Antonio Cicchetti, Federico Ciccozzi, Jan Carlson:
Identifying manual changes to generated code: Experiences from the industrial automation domain. 35-45 - Monika Jaskolka

, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige:
Repository Mining for Changes in Simulink Models. 46-57 - José Antonio Hernández López, Jesús Sánchez Cuadrado

:
Towards the Characterization of Realistic Model Generators using Graph Neural Networks. 58-69 - Juri Di Rocco, Claudio Di Sipio, Davide Di Ruscio

, Phuong Thanh Nguyen
:
A GNN-based Recommender System to Assist the Specification of Metamodels and Models. 70-81 - Martin Eisenberg

, Hans-Peter Pichler, Antonio Garmendia, Manuel Wimmer:
Towards Reinforcement Learning for In-Place Model Transformations. 82-88 - Majid Babaei

, Juergen Dingel:
Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development. 89-100 - Yize Shi, Chengjie Lu, Man Zhang

, Huihui Zhang, Tao Yue, Shaukat Ali:
Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving. 101-111 - Carsten Wiecher, Jannik Fischbach, Joel Greenyer, Andreas Vogelsang

, Carsten Wolff
, Roman Dumitrescu
:
Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal. 112-122 - Maysam Zoor, Ludovic Apvrille, Renaud Pacalet:

Execution Trace Analysis for a Precise Understanding of Latency Violations. 123-133 - Gauthier Lyan

, Jean-Marc Jézéquel
, David Gross-Amblard, Benoît Combemale:
DataTime: a Framework to smoothly Integrate Past, Present and Future into Models. 134-144 - Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik:

Applying Declarative Analysis to Software Product Line Models: An Industrial Study. 145-155 - Florian Ege, Matthias Tichy:

Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution. 156-162 - Vanessa Tietz

, Julian Schoepf
, Andreas Waldvogel
, Björn Annighöfer
:
A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-Critical and Cyber-Physical Environments. 163-169 - Tarik Terzimehic, Kirill Dorofeev

, Sebastian Voss:
Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy. 170-181 - Michael Austin Langford, Kenneth H. Chan

, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng:
MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems. 182-193 - Torin Viger, Logan Murphy, Alessio Di Sandro

, Ramy Shahin, Marsha Chechik:
A Lean Approach to Building Valid Model-Based Safety Arguments. 194-204 - Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin:

Synthesizing Verified Components for Cyber Assured Systems Engineering. 205-215 - Hugo Lourenço, Carla Ferreira

, João Costa Seco
:
OSTRICH - A Type-Safe Template Language for Low-Code Development. 216-226 - Holger Stadel Borum, Henning Niss, Peter Sestoft:

On Designing Applied DSLs for Non-Programming Experts in Evolving Domains. 227-238 - Ragnhild Halvorsrud

, Costas Boletsis
, Enrique Garcia-Ceja:
Designing a Modeling Language for Customer Journeys: Lessons Learned from User Involvement. 239-249 - Alessandro Colantoni, Antonio Garmendia, Luca Berardinelli, Manuel Wimmer, Johannes Bräuer:

Leveraging Model-Driven Technologies for JSON Artefacts: The Shipyard Case Study. 250-260 - Enes Yigitbas, Simon Gorissen, Nils Weidmann, Gregor Engels:

Collaborative Software Modeling in Virtual Reality. 261-272 - Istvan David, Kousar Aslam, Sogol Faridmoayer, Ivano Malavolta

, Eugene Syriani, Patricia Lago:
Collaborative Model-Driven Software Engineering: A Systematic Update. 273-284 - Carlos Diego Nascimento Damasceno, Daniel Strüber:

Quality Guidelines for Research Artifacts in Model-Driven Engineering. 285-296 - Bianca Wiesmayr

, Alois Zoitl, Rick Rabiser
:
Assessing the Usefulness of a Visual Programming IDE for Large-Scale Automation Software. 297-307 - Justin C. Cooper, Alfonso de la Vega

, Richard F. Paige, Dimitris S. Kolovos, Michael Bennett, Caroline Brown, Beatriz Sanchez Piña
, Horacio Hoyos Rodriguez:
Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt. 308-319 - Eric Wete

, Joel Greenyer, Andreas Wortmann, Oliver Flegel, Martin Klein:
Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production Lines. 320-330 - James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas

, Radu Calinescu:
Model-Driven Simulation-Based Analysis for Multi-Robot Systems. 331-341

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














