MoDELS A

32 papers

YearTitle / Authors
202124th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, Fukuoka, Japan, October 10-15, 2021
2021A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-Critical and Cyber-Physical Environments.
Vanessa Tietz, Julian Schoepf, Andreas Waldvogel, Björn Annighöfer
2021A GNN-based Recommender System to Assist the Specification of Metamodels and Models.
Juri Di Rocco, Claudio Di Sipio, Davide Di Ruscio, Phuong Thanh Nguyen
2021A Lean Approach to Building Valid Model-Based Safety Arguments.
Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
2021Applying Declarative Analysis to Software Product Line Models: An Industrial Study.
Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik
2021Assessing the Usefulness of a Visual Programming IDE for Large-Scale Automation Software.
Bianca Wiesmayr, Alois Zoitl, Rick Rabiser
2021Automated Patch Generation for Fixing Semantic Errors in ATL Transformation Rules.
Zahra VaraminyBahnemiry, Jessie Galasso, Khalid Belharbi, Houari A. Sahraoui
2021Collaborative Model-Driven Software Engineering: A Systematic Update.
Istvan David, Kousar Aslam, Sogol Faridmoayer, Ivano Malavolta, Eugene Syriani, Patricia Lago
2021Collaborative Software Modeling in Virtual Reality.
Enes Yigitbas, Simon Gorissen, Nils Weidmann, Gregor Engels
2021DataTime: a Framework to smoothly Integrate Past, Present and Future into Models.
Gauthier Lyan, Jean-Marc Jézéquel, David Gross-Amblard, Benoît Combemale
2021Designing a Modeling Language for Customer Journeys: Lessons Learned from User Involvement.
Ragnhild Halvorsrud, Costas Boletsis, Enrique Garcia-Ceja
2021Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development.
Majid Babaei, Juergen Dingel
2021Execution Trace Analysis for a Precise Understanding of Latency Violations.
Maysam Zoor, Ludovic Apvrille, Renaud Pacalet
2021Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy.
Tarik Terzimehic, Kirill Dorofeev, Sebastian Voss
2021Identifying Metamodel Inaccurate Structures During Metamodel/Constraint Co-Evolution.
Elyes Cherfa, Soraya Mesli-Kesraoui, Chouki Tibermacine, Salah Sadou, Régis Fleurquin
2021Identifying manual changes to generated code: Experiences from the industrial automation domain.
Robbert Jongeling, Sachin Bhatambrekar, Anders Lofberg, Antonio Cicchetti, Federico Ciccozzi, Jan Carlson
2021Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal.
Carsten Wiecher, Jannik Fischbach, Joel Greenyer, Andreas Vogelsang, Carsten Wolff, Roman Dumitrescu
2021Leveraging Model-Driven Technologies for JSON Artefacts: The Shipyard Case Study.
Alessandro Colantoni, Antonio Garmendia, Luca Berardinelli, Manuel Wimmer, Johannes Bräuer
2021MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems.
Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng
2021Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt.
Justin C. Cooper, Alfonso de la Vega, Richard F. Paige, Dimitris S. Kolovos, Michael Bennett, Caroline Brown, Beatriz Sanchez Piña, Horacio Hoyos Rodriguez
2021Model-Driven Simulation-Based Analysis for Multi-Robot Systems.
James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas, Radu Calinescu
2021Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production Lines.
Eric Wete, Joel Greenyer, Andreas Wortmann, Oliver Flegel, Martin Klein
2021OSTRICH - A Type-Safe Template Language for Low-Code Development.
Hugo Lourenço, Carla Ferreira, João Costa Seco
2021On Designing Applied DSLs for Non-Programming Experts in Evolving Domains.
Holger Stadel Borum, Henning Niss, Peter Sestoft
2021Quality Guidelines for Research Artifacts in Model-Driven Engineering.
Carlos Diego Nascimento Damasceno, Daniel Strüber
2021Repository Mining for Changes in Simulink Models.
Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige
2021Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving.
Yize Shi, Chengjie Lu, Man Zhang, Huihui Zhang, Tao Yue, Shaukat Ali
2021Scalable N-Way Model Matching Using Multi-Dimensional Search Trees.
Alexander Schultheiß, Paul Maximilian Bittner, Lars Grunske, Thomas Thüm, Timo Kehrer
2021Synthesizing Verified Components for Cyber Assured Systems Engineering.
Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin
2021Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution.
Florian Ege, Matthias Tichy
2021Towards Reinforcement Learning for In-Place Model Transformations.
Martin Eisenberg, Hans-Peter Pichler, Antonio Garmendia, Manuel Wimmer
2021Towards the Characterization of Realistic Model Generators using Graph Neural Networks.
José Antonio Hernández López, Jesús Sánchez Cuadrado