default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th 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.
last updated on 2024-10-07 01:04 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:
