MODELS A

28 papers

YearTitle / Authors
202528th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2025, Grand Rapids, MI, USA, October 5-10, 2025
2025A Container-Based Approach for Proactive Asset Administration Shell Digital Twins.
Carsten Ellwein, Jingxi Zhang, Andreas Wortmann, Antony Ayman Alfy Meckhael
2025A Metamodel for Reengineering CI/CD Pipelines.
Hugo Da Gião, Vasco Amaral, Gregor Engels, André Flores, Rui Pereira, Stefan Sauer, Jácome Cunha
2025A Method for Model-Driven Engineering of Digital Twins in Manufacturing.
Malte Heithoff, Judith Michael, Bernhard Rumpe, Jérôme Pfeiffer, Andreas Wortmann, Jingxi Zhang
2025A Model Cleansing Pipeline for Model-Driven Engineering: Mitigating the Garbage In, Garbage Out Problem for Open Model Repositories.
Andela Delic, Syed Juned Ali, Charlotte Verbruggen, Julia Neidhardt, Dominik Bork
2025Accurate and Consistent Graph Model Generation from Text with Large Language Models.
Boqi Chen, Ou Wei, Bingzhou Zheng, Gunter Mussbacher
2025Ambient Advisory Models: Augmenting Runtime Models Into Distributed Reasoning Agents.
Demetrius Hernandez, Jane Cleland-Huang
2025An Ecosystem of DSMLs for Building Commissioning.
Philipp Zech, Emanuele Goldin, Christoph Zallinger, Sascha Hammes, Philipp Pobitzer, Judith Michael, Ruth Breu
2025Automata Models for Effective Bug Pattern Description.
Tom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun
2025Common Modeling Concepts and a Command Interface Towards Bisimilar Behavior of Different Domain-Specific Modeling Frameworks.
Björn Annighöfer, Vanessa Tietz
2025Complex Model Transformations by Reinforcement Learning with Uncertain Human Guidance.
Kyanna Dagenais, Istvan David
2025Deepening Our Understanding on the Use of Models and Code in Game Software Engineering: A Controlled Experiment in Unreal Engine.
Jose Ignacio Trasobares, África Domingo, Jorge Echeverría, Lorena Arcega, Carlos Cetina
2025Effects of Model Merge on Developers' Brain Dynamics: An EEG Microstate Analysis.
Willian Bolzan, Robson Keemps Silva, Kleinner Farias
2025Going from the Past back to the Future: Incrementally Reconstructing a Metamodel History.
Marcel Homolka, Luciano Marchezan, Wesley K. G. Assunção, Alexander Egyed
2025Hand-Written Code Preservation in Model-to-Text Transformation Using Intrinsic Redundancy.
Ionut Predoaia, Sultan Almutairi, Athanasios Zolotas, Antonio García-Domínguez, Dimitrios S. Kolovos
2025Inclusive Model-Driven Engineering for Accessible Software.
Dominik Bork, Stefan Klikovits, Judith Michael, Lukas Netz, Bernhard Rumpe
2025MCeT: Behavioral Model Correctness Evaluation using Large Language Models.
Khaled E. Ahmed, Jialing Song, Boqi Chen, Ou Wei, Bingzhou Zheng
2025Modal Abstractions for Smart Contract Validation.
Javier Godoy, Margarita Capretto, Martín Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, César Sánchez, Sebastián Uchitel
2025Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented Generation.
Nazanin Siavash, Armin Moin
2025Refactoring with Confidence: An Assistant for Repair-Integrated Refactoring in Block-based Industrial Models.
Michael Oberlehner, Bianca Wiesmayr, Alois Zoitl
2025SHERPA: A Model-Driven Framework for Large Language Model Execution.
Boqi Chen, Kua Chene, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró, Amir Feizpour
2025Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems.
Eric Wete, Joel Greenyer, Tom Yaacov, Daniel Kudenko, Wolfgang Nejdl
2025The Norwegian SISU Project: History and Long-term Impact of an Early MDD Effort.
Stein Erik Ellevseth, Peter Herrmann, Emmanuel Gaudin, Juergen Dingel
2025Towards LLM-enhanced Conflict Detection and Resolution in Model Versioning.
Martin Eisenberg, Stefan Klikovits, Manuel Wimmer, Konrad Wieland
2025Towards the Coordination and Verification of Heterogeneous Systems with Data and Time.
Tim Kräuter, Adrian Rutle, Yngve Lamo, Harald König, Francisco Durán
2025Translating Behavior Trees to Petri Nets for Model Checking.
Matteo Palmas, Michaela Klauck, Ralph Lange, Enrico Ghiorzi, Armando Tacchella
2025Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems.
Connor Wojtak, Darek Gajewski, Tomás Cerný
2025Visual Modeling and Simulation of AUTOSAR Application Layer Models Using Modelica.
Peihao Yang, Tiantian Wang, Ming Yang, Xiaohong Su