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