Abstract is missing.
- Digital Twins for Cyber-Biophysical Systems: Challenges and Lessons LearnedIstvan David, Pascal Archambault, Quentin Wolak, Cong Vinh Vu, Timothé Lalonde, Kashif Riaz, Eugene Syriani, Houari A. Sahraoui. 1-12 [doi]
- A Model-driven Approach for Knowledge-based Engineering of Industrial Digital TwinsSushant Vale, Sreedhar Reddy, Sivakumar Subramanian, Subhrojyoti Roy Chaudhuri, Sri Harsha Nistala, Anirudh Deodhar, Venkataramana Runkana. 13-23 [doi]
- Marine Data Observability using KPIS: An MDSE ApproachKeila Lima, Ludovico Iovino, Maria Teresa Rossi, Rogardt Heldal, Tosin Daniel Oyetoyan, Martina de Sanctis. 24-35 [doi]
- Manual Abstraction in the Wild: A Multiple-Case Study on OSS Systems' Class Diagrams and ImplementationsWenli Zhang, Weixing Zhang, Daniel Strüber 0001, Regina Hebig. 36-46 [doi]
- Model-Driven Prompt EngineeringRobert Clarisó, Jordi Cabot. 47-54 [doi]
- Leveraging modeling concepts and techniques to address challenges in network managementNafiseh Kahani, Mojtaba Bagherzadeh, Reza Ahmadi, Juergen Dingel. 55-61 [doi]
- Timing-Aware Software-in-the-Loop Simulation of Automotive Applications with FMI 3.0Srivathsan Ravi, Laura Beermann, Oliver Kotte, Paolo Pazzaglia, Mythreya Vinnakota, Dirk Ziegenbein, Arne Hamann. 62-72 [doi]
- Uncertainty-aware consistency checking in industrial settingsRobbert Jongeling, Antonio Vallecillo. 73-83 [doi]
- Automatic Security-Flaw Detection Replication and ComparisonBernhard J. Berger, Christina Plump. 84-94 [doi]
- An extended model-based characterization of fine-grained access control for SQL queriesHoang Nguyen Phuoc Bao, Manuel Clavel. 95-105 [doi]
- Automated Grading of Use CasesMohsen Hosseinibaghdadabadi, Omar Alam, Nicolas Almerge, Jörg Kienzle. 106-116 [doi]
- Integrating Testing into the Alloy Model Development WorkflowAllison Sullivan. 117-128 [doi]
- On Developing and Operating GLSP-based Web Modeling Tools: Lessons Learned from BIGUMLHaydar Metin, Dominik Bork. 129-139 [doi]
- +Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng. 140-150 [doi]
- Word Embeddings for Model-Driven EngineeringJosé Antonio Hernández López, Carlos Durá, Jesús Sánchez Cuadrado. 151-161 [doi]
- Automated Domain Modeling with Large Language Models: A Comparative StudyKua Chen, Yujing Yang, Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró. 162-172 [doi]
- SkeMo: Sketch Modeling for Real-Time Model Component GenerationAlisha Sharma Chapai, Eric J. Rapos. 173-183 [doi]
- Toward a Symbiotic Approach Leveraging Generative AI for Model Driven EngineeringVinay Kulkarni, Sreedhar Reddy, Souvik Barat, Jaya Dutta. 184-193 [doi]
- OCL Rebuilt, From the Ground UpFriedrich Steimann, Robert Clarisó, Martin Gogolla. 194-205 [doi]
- Applicability of Model Checking for Verifying Spacecraft Operational DesignsPhilipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller 0005, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer. 206-216 [doi]
- An Experimental Evaluation of Conformance Testing Techniques in Active Automata LearningBharat Garhewal, Carlos Diego Nascimento Damasceno. 217-227 [doi]
- Mutation Testing for Temporal Alloy ModelsAna Jovanovic, Allison Sullivan. 228-238 [doi]
- A Model-driven and Template-based Approach for Requirements SpecificationIkram Darif, Cristiano Politowski, Ghizlane El-Boussaidi, Imen Benzarti, Sègla Kpodjedo. 239-249 [doi]
- Rapid-Prototyping and Early Validation of Software Models through Uniform Integration of HardwareMichael Uelschen, Marco Schaarschmidt, Jannis Budde. 250-260 [doi]
- Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large ModelsFrancisco Martínez-Lasaca, Pablo Díez, Esther Guerra, Juan de Lara. 261-272 [doi]
- EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & ProjectsSohil Lal Shrestha, Alexander Boll, Shafiul Azam Chowdhury, Timo Kehrer, Christoph Csallner. 273-284 [doi]
- gLTSdiff: A Generalized Framework for Structural Comparison of Software BehaviorDennis Hendriks, Wytse Oortwijn. 285-295 [doi]
- Incremental Model Transformations with Triple Graph Grammars for Multi-version ModelsMatthias Barkowsky, Holger Giese. 296-306 [doi]
- Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product LineXiang Chen, Joanne M. Atlee. 307-318 [doi]
- Experience in Specializing a Generic Realization Language for SPL Engineering at AirbusDamien Foures, Mathieu Acher, Olivier Barais, Benoît Combemale, Jean-Marc Jézéquel, Jörg Kienzle. 319-330 [doi]