Timing-Aware Software-in-the-Loop Simulation of Automotive Applications with FMI 3.0

Authors: Srivathsan Ravi, Laura Beermann, Oliver Kotte, Paolo Pazzaglia, Mythreya Vinnakota, Dirk Ziegenbein, and Arne Hamann

---

Toward a Symbiotic Approach Leveraging Generative AI for Model Drive Engineering

Authors: Vinay Kulkarni, Sreedhar Reddy, Souvik Barat, and Jaya Dutta

---

A Model-driven Approach for Knowledge-based Engineering of Industrial Digital Twins

Authors: Sushant Vale, Sreedhar Reddy, Sivakumar Subramanian, Subhrojyoti Roy Chaudhuri, Sri Harsha Nistala, Anirudh Deodhar, and Venkataramana Runkana

---

Applicability of Model Checking for Verifying Spacecraft Operational Designs

Authors: Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Fischer, Andreas Gerndt, and Michael Felderer

---

Digital Twins for Cyber-Biophysical Systems: Challenges and Lessons Learned

Authors: Istvan David, Pascal Archambault, Quentin Wolak, Cong Vinh Vu, Timothé Lalonde, Kashif Riaz, Eugene Syriani, and Houari Sahraoui

---

On Developing and Operating GLSP-based Web Modeling Tools: Lessons Learned from bigUML

Authors: Haydar Metin and Dominik Bork

---

Marine Data Observability using KPIs: A MDSE Approach

Authors: Keila Lima, Ludovico Iovino, Maria Teresa Rossi, Rogardt Heldal, Tosin Daniel Oyetoyan, and Martina De Sanctis

---

Mutation Testing for Temporal Alloy Models

Authors: Ana Jovanovic and Allison Sullivan

---

Integrating Testing into the Alloy Model Development Workflow

Authors: Allison Sullivan

---

A Model-driven and Template-based Approach for Requirements Specification

Authors: Ikram Darif, Cristiano Politowski, Ghizlane El Boussaidi, Imen Benzarti, and Sègla Kpodjedo

---

Lessons Learned Building Tools for Workflow+

Authors: Nicholas Annable, Thomas Chiang, Richard Paige, Mark Lawford, and Alan Wassyng

---

Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus

Authors: Damien Foures, Mathieu Acher, Olivier Barais, Benoit Combemale, Jean-Marc Jézéquel, and Jörg Kienzle

---

Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models

Authors: Francisco Martínez-Lasaca, Pablo Díez, Esther Guerra, and Juan De Lara

---

Automated Grading of Use Cases

Authors: Mohsen Hosseinibaghdadabadi, Omar Alam, Jörg Kienzle, and Nicolas Almerge

---

EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects

Authors: Sohil Shrestha, Alexander Boll, Shafiul Azam Chowdhury, Timo Kehrer, and Christoph Csallner