Abstract is missing.
- Common Modeling Concepts and a Command Interface Towards Bisimilar Behavior of Different Domain-Specific Modeling FrameworksBjörn Annighöfer, Vanessa Tietz. 1-11 [doi]
- An Ecosystem of DSMLs for Building CommissioningPhilipp Zech, Emanuele Goldin, Christoph Zallinger, Sascha Hammes, Philipp Pobitzer, Judith Michael, Ruth Breu. 12-23 [doi]
- The Norwegian SISU Project: History and Long-term Impact of an Early MDD EffortStein Erik Ellevseth, Peter Herrmann, Emmanuel Gaudin, Juergen Dingel. 24-35 [doi]
- Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical SystemsEric Wete, Joel Greenyer, Tom Yaacov, Daniel Kudenko, Wolfgang Nejdl. 36-47 [doi]
- Visual Modeling and Simulation of AUTOSAR Application Layer Models Using ModelicaPeihao Yang, Tiantian Wang, Ming Yang, Xiaohong Su. 48-59 [doi]
- A Model Cleansing Pipeline for Model-Driven Engineering: Mitigating the Garbage In, Garbage Out Problem for Open Model RepositoriesAndela Delic, Syed Juned Ali, Charlotte Verbruggen, Julia Neidhardt, Dominik Bork. 60-71 [doi]
- Going from the Past back to the Future: Incrementally Reconstructing a Metamodel HistoryMarcel Homolka, Luciano Marchezan, Wesley K. G. Assunção, Alexander Egyed. 72-83 [doi]
- MCeT: Behavioral Model Correctness Evaluation using Large Language ModelsKhaled E. Ahmed, Jialing Song, Boqi Chen, Ou Wei, Bingzhou Zheng. 84-95 [doi]
- Refactoring with Confidence: An Assistant for Repair-Integrated Refactoring in Block-based Industrial ModelsMichael Oberlehner, Bianca Wiesmayr, Alois Zoitl. 96-106 [doi]
- Deepening Our Understanding on the Use of Models and Code in Game Software Engineering: A Controlled Experiment in Unreal EngineJose Ignacio Trasobares, África Domingo, Jorge Echeverría, Lorena Arcega, Carlos Cetina. 107-118 [doi]
- Automata Models for Effective Bug Pattern DescriptionTom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun. 119-129 [doi]
- Accurate and Consistent Graph Model Generation from Text with Large Language ModelsBoqi Chen, Ou Wei, Bingzhou Zheng, Gunter Mussbacher. 130-141 [doi]
- A Method for Model-Driven Engineering of Digital Twins in ManufacturingMalte Heithoff, Judith Michael, Bernhard Rumpe, Jérôme Pfeiffer, Andreas Wortmann 0001, Jingxi Zhang. 142-153 [doi]
- Translating Behavior Trees to Petri Nets for Model CheckingMatteo Palmas, Michaela Klauck, Ralph Lange, Enrico Ghiorzi, Armando Tacchella. 154-163 [doi]
- Hand-Written Code Preservation in Model-to-Text Transformation Using Intrinsic RedundancyIonut Predoaia, Sultan Almutairi, Athanasios Zolotas, Antonio García-Domínguez, Dimitrios S. Kolovos. 164-174 [doi]
- Modal Abstractions for Smart Contract ValidationJavier Godoy, Margarita Capretto, Martín Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, César Sánchez 0001, Sebastián Uchitel. 175-185 [doi]
- Towards the Coordination and Verification of Heterogeneous Systems with Data and TimeTim Kräuter, Adrian Rutle, Yngve Lamo, Harald König, Francisco Durán 0001. 186-196 [doi]
- SHERPA: A Model-Driven Framework for Large Language Model ExecutionBoqi Chen, Kua Chene, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró, Amir Feizpour. 197-208 [doi]
- Complex Model Transformations by Reinforcement Learning with Uncertain Human GuidanceKyanna Dagenais, Istvan David. 209-220 [doi]
- A Metamodel for Reengineering CI/CD PipelinesHugo Da Gião, Vasco Amaral 0001, Gregor Engels, André Flores 0002, Rui Pereira, Stefan Sauer 0001, Jácome Cunha. 221-231 [doi]
- A Container-Based Approach for Proactive Asset Administration Shell Digital TwinsCarsten Ellwein, Jingxi Zhang, Andreas Wortmann 0001, Antony Ayman Alfy Meckhael. 232-238 [doi]
- Ambient Advisory Models: Augmenting Runtime Models Into Distributed Reasoning AgentsDemetrius Hernandez, Jane Cleland-Huang. 239-245 [doi]
- Effects of Model Merge on Developers' Brain Dynamics: An EEG Microstate AnalysisWillian Bolzan, Robson Keemps Silva, Kleinner Farias. 246-252 [doi]
- Inclusive Model-Driven Engineering for Accessible SoftwareDominik Bork, Stefan Klikovits, Judith Michael, Lukas Netz, Bernhard Rumpe. 253-259 [doi]
- Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented GenerationNazanin Siavash, Armin Moin. 260-266 [doi]
- Towards LLM-enhanced Conflict Detection and Resolution in Model VersioningMartin Eisenberg, Stefan Klikovits, Manuel Wimmer, Konrad Wieland. 267-273 [doi]
- Vision: An Extensible Methodology for Formal Software Verification in Microservice SystemsConnor Wojtak, Darek Gajewski, Tomás Cerný. 274-280 [doi]