Table of Contents

• M2AR: A Web-based Modeling Environment for the Augmented Reality Workflow Modeling LanguageFabian Muff, Hans-Georg Fill. 1-5 [doi]
• Move your MDE teaching online: The MDENet Education PlatformSteffen Zschaler, Will Barnett, Artur Boronat, Antonio García-Domínguez, Dimitris S. Kolovos. 6-10 [doi]
• Nautilus: Implementation of an Evolution Approach for Graph DatabasesDominique Hausler, Meike Klettke. 11-15 [doi]
• DSL-Xpert: LLM-driven Generic DSL Code GenerationVictor Lamas, Miguel R. Luaces, Daniel Garcia-Gonzalez. 16-20 [doi]
• Cross-IDE remote debugging of model management programs through the Debug Adapter ProtocolAntonio García-Domínguez, Dimitris S. Kolovos. 21-25 [doi]
• A RAG-based Feedback Tool to Augment UML Class Diagram LearningPasquale Ardimento, Mario Luca Bernardi, Marta Cimitile, Michele Scalera. 26-30 [doi]
• PolyGloT-UML: A Gamified Framework for Enhancing UML Learning PathsAntonio Bucchiarone, Tommaso Guidolin, Lorenzo Fasol, Gianluca Schiavo, Jörg Kienzle, Sebastien Gerard, David Négrier, Tommaso Martorella. 31-35 [doi]
• Enhancing Model Management with Automated REST API GenerationAdiel Tuyishime, Francesco Basciani, Javier Luis Cánovas Izquierdo, Ludovico Iovino. 36-40 [doi]
• SMOKE: Simulink Model Obfuscator Keeping StructureAlexander Boll, Timo Kehrer, Michael Goedicke. 41-45 [doi]
• Keeping clients' models up-to-date with EdeltaLorenzo Bettini, Davide Di Ruscio, Amleto Di Salle, Ludovico Iovino, Alfonso Pierantonio. 46-50 [doi]
• IMP-Logics: a metamodel for analysis and transformations of Datalog programsJosé Francisco Crespo, Martí Juanola, Xavier Oriol, Martí Recalde, Ernest Teniente. 51-55 [doi]
• Modelling Tool Extension for Vulnerability ManagementAvi Shaked, Nan Messe, Tom Melham. 56-60 [doi]
• SCCD Debugger: a Debugger for Statecharts and Class DiagramsFrancisco Simões, Miguel Goulão, Vasco Amaral 0001, Joeri Exelmans, Hans Vangheluwe. 61-65 [doi]
• Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle TestingJerry Hou-Liu, Zhekai Jiang, Aren A. Babikian. 66-70 [doi]
• dpDebugger: a Domain-Parametric Debugger for DSLs Using DAP and Language ProtocolsJosselin Enet, Erwan Bousse, Massimo Tisi, Gerson Sunyé. 71-75 [doi]
• CertGraph: Towards a Comprehensive Knowledge Graph for Cloud Security CertificationsStefan Schöberl, Christian Banse, Verena Geist, Immanuel Kunz, Martin Pinzger 0001. 76-77 [doi]
• Designing and Generating Lesson Plans combining Open Educational Content and Generative AIAntonio Bucchiarone, Antonio Cicchetti, Andrea Vázquez-Ingelmo, Filippo Adami, Gianluca Schiavo, Alicia García Holgado, Francisco José García Peñalvo. 78-86 [doi]
• Embedding-based Automated Assessment of Domain ModelsKua Chen, Boqi Chen, Yujing Yang, Gunter Mussbacher, Dániel Varró. 87-94 [doi]
• Towards an Interoperable Model-driven Automated Assessment System for Computer Science EducationMarkus Hamann, Sebastian Götz, Uwe Aßmann. 95-102 [doi]
• Enhancing Software Modeling Learning with AI-Powered ScaffoldingPasquale Ardimento, Mario Luca Bernardi, Marta Cimitile, Michele Scalera. 103-106 [doi]
• UML++: Enhancing Student Learning of Object-Oriented Modeling through Executable ObjectsPierre Maier, Tobias Schwarz. 107-114 [doi]
• Using Grammar Masking to Ensure Syntactic Validity in LLM-based Modeling TasksLukas Netz, Jan Reimer, Bernhard Rumpe. 115-122 [doi]
• Estimation, Impact and Visualization of Schema Evolution in Graph DatabasesDominique Hausler. 123-129 [doi]
• AI Assisted Domain Modeling Explainability and TraceabilityJonathan Silva Mercado. 130-135 [doi]
• Automated Synchronization of Enterprise Architecture Models with Deployment ModelsMarcel Weller. 136-141 [doi]
• Probabilistic Graph Queries for Design Space Exploration Under UncertaintyMáté Földiák. 142-148 [doi]
• Ensuring the consistency of information between two versions of a mechanical drawingAlexandre Monnier Weil. 149-154 [doi]
• Contract-based Validation of Conceptual Design Bugs for Engineering Complex Machine Learning SoftwareWillem Meijer. 155-161 [doi]
• Automating Digital Twins Development in Industry 4.0Lina Bilal. 162-167 [doi]
• Automated Generation and Configuration of Domain-Specific Recommender SystemsRickson Simioni Pereira. 168-173 [doi]
• Interactivity and Collaboration in the Context of Heterogeneous ModelingThéo Giraudet. 174-179 [doi]
• Space System Modeling Approach for Exploring of the Iced-Covered Ganymede Moon Subsurface OceansCyrus Nejat. 180-183 [doi]
• Pipelines Have Feelings Too: A Structured Way To Design CI/CD PipelinesNirmal Chaudhari. 184-187 [doi]
• Software Modeling Assistance with Large Language ModelsMeriem Ben Chaaben. 188-191 [doi]
• Towards Model Repair by Human Opinion-Guided Reinforcement LearningKyanna Dagenais. 192-195 [doi]
• Co-simulation and Crop Representation for Digital Twins of Controlled Environment Agriculture SystemsPascal Archambault. 196-199 [doi]
• Enhanced Interoperability and Consistency in Heterogeneous Systems with CorrLang and OpenAPIJoshua Tetteh Ocansey. 200-203 [doi]
• Language Protocols for Domain-Specific DebuggingJosselin Enet. 204-207 [doi]
• Experimenting low code with SDL and BPMNEmmanuel Gaudin. 208-215 [doi]
• Towards a Model-Based Systems Engineering Framework for the Design and Configuration of Communication Networks in a Data-Driven and Interconnected Aircraft CabinFabian Giertzsch, Marvin Blecken, Ralf God. 216-226 [doi]
• Exploring the Fundamentals of Mutations in Deep Neural NetworksZaheed Ahmed, Philip Makedonski. 227-233 [doi]
• Modeling Service Choreographies and Collaborative Tasks for Autonomous Mixed-Fleet SystemsBianca Wiesmayr, Alois Zoitl, David Hästbacka. 234-244 [doi]
• AI-based User Emotion Recognition from Interaction Data: Challenges and Guidelines for Training Data CreationCarina Bieber, Patrick Harms, Dominick Leppich, Katrin Proschek. 245-252 [doi]
• A Comparative Study of Large Language Models for Goal Model ExtractionVaishali Siddeshwar, Sanaa A. Alwidian, Masoud Makrehchi. 253-263 [doi]
• A Multi-Platform Specification Language and Dataset for the Analysis of DevOps PipelinesManas Manoj Bedekar, Gunter Mussbacher. 264-274 [doi]
• Digital Twins of Socio-Technical Ecosystems to Drive Societal ChangeFederico Bonetti, Antonio Bucchiarone, Judith Michael, Antonio Cicchetti, Annapaola Marconi, Bernhard Rumpe. 275-286 [doi]
• Extending MagicGrid to Support Virtual Prototyping for Early System Performance Validation and VerificationJohan Cederbladh, Daniel Krems, Antonio Cicchetti. 287-298 [doi]
• Automation Support for System Simulation and Architecture Layout Design in Cyber-Physical Systems EngineeringJohan Cederbladh, Martin Eisenberg, Luca Berardinelli, Damir Bilic. 299-310 [doi]
• From Transpilers to Semantic Libraries: Formal Verification With Pluggable SemanticsÁrmin Zavada, Kristóf Marussy, Vince Molnár. 311-317 [doi]
• HoloWoT: A First Step Towards Mixed Reality Digital Twins for the Industrial Internet of ThingsFady Salama, Idil Sezgin, Ege Korkan, Sebastian Käbisch, Sebastian Steinhorst. 318-321 [doi]
• A Digital Twin System for Oil And Gas Industry: A Use Case on Mooring Lines Integrity MonitoringVinicius Kreischer de Almeida, Douglas Ericson Marcelino de Oliveira, Claudio Daniel Tenorio de Barros, Gabriel dos Santos Scatena, Asdrubal N. Queiroz Filho, Fábio Levy Siqueira, Anna Helena Reali Costa, Edson Satoshi Gomi, Leonardo A. F. Mendoza, Evelyn Conceição Santos Batista, Cristian E. Muñoz, Isabela Guimarães Siqueira, Rodrigo A. Barreira, Ismael H. F. dos Santos, Carlos Cardoso, Eduardo S. Ogasawara, Fábio Porto. 322-331 [doi]
• Towards Linked Data for Ecosystems of Digital TwinsSamuele Burattini, Antoine Zimmermann, Marco Picone, Alessandro Ricci. 332-337 [doi]
• Managing Digital Twins of The Test Lab with SystemLink SoftwareTaylor Riché, Joshua Prewitt, Cristian Hotea, Cosmin Neagu, T. J. Giere. 338-341 [doi]
• A Modeling Methodology for Crop Representation in Digital Twins for Smart FarmingPascal Archambault, Houari A. Sahraoui, Eugene Syriani. 342-352 [doi]
• Declarative Lifecycle Management in Digital TwinsEduard Kamburjan, Nelly Bencomo, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen. 353-363 [doi]
• Engineering a Digital Twin for Diagnosis and Treatment of Multiple SclerosisGiordano d'Aloisio, Alessandro Di Matteo, Alessia Cipriani, Daniele Lozzi, Enrico Mattei, Gennaro Zanfardino, Antinisca Di Marco, Giuseppe Placidi. 364-369 [doi]
• Manufacturing Digital Twin StandardsGuodong Shao. 370-377 [doi]
• Opportunities for Digital Twins for the Provisioning, Management and Monitoring of Heterogeneous IoT DevicesJean-Marc Maree, Karel Kruger, Anton Basson. 378-389 [doi]
• An MBSE approach for Virtual Verification & Validation of Systems with Digital TwinsRene Honcak, Ana Wooley. 390-400 [doi]
• AI Simulation by Digital Twins: Systematic Survey of the State of the Art and a Reference FrameworkXiaoran Liu, Istvan David. 401-412 [doi]
• Digital twin architecture for the AEC Industry : A case study in collective robotic constructionLior Skoury, Samuel Leder, Achim Menges, Thomas Wortmann. 413-418 [doi]
• Understanding Semantic Drift in Model Driven Digital TwinsFaima Abbasi, Pierre Brimont, Cédric Pruski, Jean-Sébastien Sottet. 419-430 [doi]
• An Architecture for the Integration of Product and Production Digital Twins in the Automotive IndustryRyno Visser, Anton Basson, Karel Kruger. 431-441 [doi]
• A Digital Twin Architecture for the Provisioning, Management, and Monitoring of Heterogenous IoT DevicesJean-Marc Maree, Karel Kruger, Anton Basson. 442-452 [doi]
• Towards Re-Engineering Digital Twins: Preliminary Experiments on Three Use CasesGwendal G. Beaumont, Antoine Beugnard, Salvador Martínez Perez, Christelle Urtado, Sylvain Vauttier. 453-458 [doi]
• Practical design and implementation of an augmented reality based digital twinLionel Protin, Wassila Aggoune-Mtalaa, Carlos Kavka. 459-463 [doi]
• Towards Ontological Service-Driven Engineering of Digital TwinsBentley J. Oakes, Cláudio Gomes 0001, Eduard Kamburjan, Giuseppe Abbiati, Elif Ecem Bas, Sebastian Engelsgaard. 464-469 [doi]
• Digital Twins to drive Robot-based Disassembly Applications: Asset Models for Autonomous PlanningChristoph Walter, Eric Bayrhammer, Ajaykumar Jasvantbhai Nadoda. 470-475 [doi]
• Engineering Interoperable Ecosystems of Digital Twins: A Web-based ApproachAndrea Giulianelli, Samuele Burattini, Andrei Ciortea, Alessandro Ricci. 476-485 [doi]
• Towards A Framework For Farm Scale Digital TwinIreoluwa Akinlolu Fakeye, Ellen Diana van Lutsenburg Maas, Paul Harris, Bader Oulaid, Chris Baker. 486-491 [doi]
• GreyCat: A Framework to Develop Digital Twins at Large ScaleFrançois Fouquet, Thomas Hartmann, Cyril Cecchinel, Benoît Combemale. 492-495 [doi]
• JuNo-OPS: A DevOps Framework for the Engineering of Digital Twins for Built AssetsSara Aissat, Jonathan Beaulieu, Francis Bordeleau, Julien Gascon-Samson, Erik A. Poirier, Ali Motamedi. 496-506 [doi]
• Towards Measuring Digital Twins Fidelity at RuntimePaula Muñoz 0001, Javier Troya, Antonio Vallecillo. 507-512 [doi]
• Waste Management Through Digital Twins and Business Process ModelingAmleto Di Salle, Arianna Fedeli, Ludovico Iovino, Leonardo Mariani, Daniela Micucci, Luciana Rebelo, Maria Teresa Rossi. 513-517 [doi]
• Cross-Detection of Mobile-specific Energy Hotspots: MBSE to the RescueLéa Brunschwig, Olivier Le Goaër. 518-522 [doi]
• Model-Driven Software Product Line Engineering of AI-Based Applications for Achieving Sustainable Development Goals: Vision PaperTiago Sousa, Benoît Ries, Nicolas Guelfi. 523-527 [doi]
• Breaking Down Barriers: Building Sustainable Microservices Architectures with Model-Driven EngineeringGabriel Morais, Mehdi Adda, Dominik Bork. 528-532 [doi]
• A Comparative Analysis of ChatGPT-Generated and Human-Written Use Case DescriptionsEvin Aslan Oguz, Jochen Malte Küster. 533-540 [doi]
• From a Natural to a Formal Language with DSL AssistantMy M. Mosthaf, Andrzej Wasowski. 541-549 [doi]
• Prompting Bidirectional Model Transformations - The Good, The Bad and The UglyThomas Buchmann. 550-555 [doi]
• White-box LLM-supported Low-code Engineering: A Vision and First InsightsThomas Buchmann, René Peinl, Felix Schwägerl. 556-560 [doi]
• From Attack Trees to Attack-Defense Trees with Generative AI & Natural Language ProcessingAlan Birchler De Allende, Bastien Sultan, Ludovic Apvrille. 561-569 [doi]
• Teaching Model-Driven Low-Code Development PlatformsJoel Charles, Judith Michael, Lukas Netz, Bernhard Rumpe. 570-577 [doi]
• A Human Behavior Exploration Approach Using LLMs for Cyber-Physical SystemsLola Burgueño, Maria Keet, Jörg Kienzle, Judith Michael, Önder Babur. 578-586 [doi]
• Multi-step Iterative Automated Domain Modeling with Large Language ModelsYujing Yang, Boqi Chen, Kua Chen, Gunter Mussbacher, Dániel Varró. 587-595 [doi]
• On the use of LLMs to support the development of domain-specific modeling languagesClaudio Di Sipio, Riccardo Rubei, Juri Di Rocco, Davide Di Ruscio, Ludovico Iovino. 596-601 [doi]
• Model-Based Trust Analysis of LLM ConversationsSusanne Göbel, Ralf Lämmel. 602-610 [doi]
• Using LLMs for Use Case Modelling of IoT Systems: An Experience ReportMirza Rehenuma Tabassum, Matthew J. Ritchie, Sadaf Mustafiz, Jörg Kienzle. 611-619 [doi]
• Modular Consistency Checking Between Heterogeneous Models Without Direct Data Exchange Between CollaboratorsSebastian Bergemann, Nina Benkendorf. 620-629 [doi]
• Engaging End-User-Modelers: An Action Research StudyHarald Störrle. 630-639 [doi]
• 3N: A Collaborative Uncertainty Catalog to Address the Awareness Problem of Model-Based Confidentiality AnalysisSebastian Hahner, Nils Niehues, Nicolas Boltz, Mario Fuksa, Robert Heinrich. 640-644 [doi]
• Participatory and Collaborative Modeling of Sustainable Systems: A Systematic ReviewRajitha Manellanga, Istvan David. 645-654 [doi]
• A Tool for Collaborative Consistency Checking During ModelingLuciano Marchezan, Marcel Homolka, Andrei Blokhin, Wesley K. G. Assunção, Edvin Herac, Alexander Egyed. 655-659 [doi]
• Towards a collaborative approach for Digital Twin simulation models comprehensionArianna Fedeli, David Azael Manrique Negrin. 660-664 [doi]
• Towards public understanding of software through modelingRobbert Jongeling. 665-669 [doi]
• Towards Model-Based Adoption for Requirements Elicitation in Railway - the Role of Collaborative and Participatory ModellingHenrik Gustavsson, Johan Cederbladh. 670-674 [doi]
• New UX for Participatory ModelingSteven Kelly 0001. 675-679 [doi]
• Towards Active Participation of Domain Experts in Modeling Language EvolutionMalvina Latifaj. 680-684 [doi]
• Bridging the Gap: Participatory Modeling for Stakeholder-Driven NoSQL Database DesignChaimae Asaad, Karim Baïna, Mounir Ghogho. 685-689 [doi]
• Consistency Is Key: Can Your Product Line Realise What It Models?Philip Ochs, Tobias Pett, Ina Schaefer. 690-699 [doi]
• Spatio-Temporal Framework for Verifying Safety Rules in Autonomous VehiclesMaksym Labzhaniia, Julien DeAntoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet. 700-709 [doi]
• Industrial Adoption of MDE for Embedded Control Software: A Qualitative Inquiry in the German Automotive IndustryHarald Störrle. 710-719 [doi]
• Evaluation of Automotive OTA Updates Using Assurance CasesAli Raeisdanaei, Logan Murphy, Alessio Di Sandro, Mehrnoosh Askarpour, Torin Viger, Marsha Chechik. 720-724 [doi]
• A Tool For Feature-Requirement Traceability Using Requirement Canvas and EncapsulationThomas Chiang, Richard F. Paige, Alan Wassyng, Sébastien Mosser 0001. 725-734 [doi]
• Socio-technical Automotive Security Design Patterns: Applying a Stakeholder-Based Approach to Securing Self-Driving VehiclesNick Polanco, Betty H. C. Cheng. 735-744 [doi]
• A Model-Based Framework for Exploring Conflict DynamicsFazle Rabbi. 745-754 [doi]
• Timeline exploration of model differences in source code repositories through graphical and textual viewsAlfonso de la Vega. 755-759 [doi]
• Towards Deep Reactions in Multi-Level, Multi-View ModelingThomas Weber, Monalisha Ojha, Mohammad Sadeghi, Lars König, Martin Armbruster, Arne Lange, Erik Burger, Colin Atkinson 0001. 760-769 [doi]
• Modeling a Warehouse system using refinements and decomposition: A contribution to the MULTI Warehouse challengeGeorg Hinkel. 770-779 [doi]
• Associaton Types: Motivation, Specification and Implementation with the XModelerMLUlrich Frank, Daniel Töpel. 780-789 [doi]
• Multi-Level Modeling with DMLA: A Contribution to the MULTI Warehouse ChallengeGergely Mezei, Ferenc Attila Somogyi, Norbert Somogyi, Gergely Gembela. 790-799 [doi]
• FMMLx and DLM - A Contribution to the MULTI Collaborative Comparison ChallengeThomas Kühne, Pierre Maier. 800-809 [doi]
• Misconceptions about Potency-Based Deep InstantiationColin Atkinson 0001, Thomas Kühne 0001, Arne Lange. 810-817 [doi]
• Mediation-Based MLM in USEMira Balaban, Lars Hamann, Gil Khais, Amiel Amram Saad, Azzam Maraee, Arnon Sturm. 818-827 [doi]
• Modelling a Warehouse with SLICER: A Contribution to the MULTI Warehouse ChallengeYuhong Fu, Matt Selway, Georg Grossmann, Karamjit Kaur, Markus Stumptner. 828-837 [doi]
• Low-Code Flutter Application Development SolutionAtefeh Nirumand Jazi, Iván Alfonso, Jordi Cabot. 838-847 [doi]
• Arvisan: an Interactive Tool for Visualisation and Analysis of Low-Code Architecture LandscapesRoy Kakkenberg, Satrio Adi Rukmono, Michel Chaudron, Wim Gerholt, Miguel Pinto, Claudio Ribeiro de Oliveira. 848-855 [doi]
• Low-code vs. the developer: An empirical study on the developer experience and efficiency of a no-code platformTill Guthardt, Jens Kosiol, Oliver Hohlfeld. 856-865 [doi]
• Towards Integrating Low-Code in View-based DevelopmentAnne-Kathrin Hermann, Lars König, Erik Burger, Ralf H. Reussner. 866-875 [doi]
• Turning Low-Code Development Platforms into True No-Code with LLMsNathan Hagel, Nicolas Hili, Didier Schwab. 876-885 [doi]
• Towards LowDevSecOps Framework for Low-Code Development: Integrating Process-Oriented Recommendations for Security Risk ManagementGayane Sedrakyan, Maria-Eugenia Iacob, Jos van Hillegersberg. 886-894 [doi]
• PromptDeck: A No-Code Platform for Modular Prompt EngineeringAntonio Bucchiarone, Marco Panciera, Antonio Cicchetti, Nadia Mana, Carlotta Castelluccio, Lee Stott. 895-904 [doi]
• Emerging New Roles for Low-Code Software Development PlatformsJean-Marie Mottu, Gerson Sunyé. 905-914 [doi]
• Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems EngineeringKevin Feichtinger, Karl Kegel, Romain Pascual, Uwe Aßmann, Bernhard Beckert, Ralf H. Reussner. 915-919 [doi]
• Driving Requirements Evolution by Engineers' OpinionsKyanna Dagenais, Istvan David. 920-929 [doi]
• How does one Model Appropriately in Systems Engineering? An Initial Conceptual Model Framing Model AppropriatenessJohan Cederbladh, Thomas C. Zimmermann. 930-934 [doi]
• Towards Leveraging the Concept of Influence to Enhance Collaborative Cyber-Physical Systems DevelopmentBárbara da Silva Oliveira, Nicolas Ferry 0001, Julien DeAntoni. 935-944 [doi]
• Managing Variability of Cyber-Physical Production Systems: Towards Consistency ManagementHafiyyan Sayyid Fadhlillah, Sandra Greiner 0001, Kevin Feichtinger, Rick Rabiser, Alois Zoitl. 945-949 [doi]
• Benchmarx 2.0: A Benchmark for Concurrent Model Synchronisation ApproachesAnthony Anjorin, Thomas Buchmann, Lars Fritsche. 950-959 [doi]
• Rapid interface generation method for heterogeneous models in Digital twinsFelipe A. C. Xavier, David Azael Manrique Negrin, Loek Cleophas. 960-969 [doi]
• Towards Processing YAML Documents with Model Management LanguagesIonut Predoaia, Dimitris S. Kolovos, Antonio García-Domínguez, Matthias Lenk, Wolfram Ebel, Jan Burkl. 970-979 [doi]
• From Products to Product Lines: a Model-based MethodologyAlessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik. 980-989 [doi]
• A Survey of Federative Approaches for Model Management in MBSEMoussa Amrani, Rakshit Mittal, Miguel Goulão, Vasco Amaral 0001, Sylvain Guérin, Salvador Martínez, Dominique Blouin, Anish Bhobe, Yara Hallak. 990-999 [doi]
• A Virtual Global Monorepo of Immutable Linked DataJoeri Exelmans, Jakob Pietron, Alexander Raschke, Hans Vangheluwe. 1000-1004 [doi]
• Model Management at Renault Virtual Simulation Team: State of Practice, Challenges and Research DirectionsYara Hallak, Dominique Blouin, Laurent Pautet, Layale Saab, Baptiste Laborie, Rakshit Mittal. 1005-1014 [doi]
• Towards Intelligent Model Management: An Exploratory Study and Road-mappingAlireza Khalilipour, Moharram Challenger. 1015-1024 [doi]
• Building deduplicated model repositories to assess domain-specific languages evolutionAlexandre Lachance, Sébastien Mosser 0001. 1025-1034 [doi]
• Towards the Estimation of Quality Attributes on System Model HistoriesKonstantin Rupert Blaschke, Simon Barner. 1035-1040 [doi]
• Towards Rapid Design of Compartmental ModelsZahra Fiyouzisabah, Jessie Galasso, Marios Fokaefs, Michalis Famelis. 1041-1045 [doi]
• A Delta-Oracle for Fast Model Merge Conflict Estimation using Sketch-Based Critical Pair AnalysisKarl Kegel, Andreas Domanowski, Kevin Feichtinger, Romain Pascual, Uwe Aßmann. 1046-1055 [doi]
• Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID FrameworkPatrik Meijer, Nag Mahadevan, Mark Wutka, Gabor Karsai. 1056-1060 [doi]
• Digital Twin Evolution for Sustainable Smart EcosystemsJudith Michael, Istvan David, Dominik Bork. 1061-1065 [doi]
• Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCLBernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo. 1066-1075 [doi]
• Static Analysis of BDI Agents on CPS using Petri Nets and MDE TechniquesBurak Karaduman, Baris Tekin Tezel, Moharram Challenger. 1076-1085 [doi]
• Towards the Formal Verification of SysML v2 ModelsVince Molnár, Bence Graics, András Vörös 0001, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Köthe, John Hester, Jamie Smith, Christoph Grimm 0001. 1086-1095 [doi]
• Consistency Management for Security Annotations for Continuous VerificationFrederik Reiche, Thomas Weber, Simeon Becker, Sebastian Weber, Robert Heinrich, Erik Burger. 1096-1105 [doi]
• Verifying UML Models Annotated with OCL StringsAnkit Jha, Rosemary Monahan, Hao Wu 0017. 1106-1110 [doi]
• Towards Model-Driven Test Case Concretization for End-to-end Combinatorial TestingLéna Bamouh, Erwan Bousse. 1111-1120 [doi]
• Using OCL for verified re-engineeringKevin Lano, Hanan Siala. 1121-1130 [doi]
• Model-based Block Diagram Recognition for Model Visualization VerificationAndreas Waldvogel, Björn Annighöfer. 1131-1140 [doi]
• ALFI: Action Language for Foundational UML as an Intermediate Language for Model Transformations in JetBrains MPSMario Fuksa, Timur Saglam, Tim Neumann, Steffen Becker 0001. 1141-1145 [doi]
• Towards Model Product Lines: Composition of EMF ModelsHoracio Hoyos Rodriguez, Victor Bandur, Vera Pantelic, Mark Lawford, Richard F. Paige. 1146-1155 [doi]
• Hybrid Graphical-Textual DSL Editors: Vision, Requirements and ChallengesIonut Predoaia, Dimitris S. Kolovos, Antonio García-Domínguez. 1156-1160 [doi]
• A Synopsis on Import Statements in Modeling LanguagesNico Jansen, Bernhard Rumpe, David Schmalzing. 1161-1169 [doi]
• Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, DesignMarcus Gerhold, Aliaksei Kouzel, Haroun Mangal, Selin Mehmed, Vadim Zaytsev. 1170-1179 [doi]
• Mapping Requirements to Features to Create Traceability in Product Line ModelsThomas Chiang, Richard F. Paige, Alan Wassyng, Sébastien Mosser 0001. 1180-1187 [doi]