Abstract is missing.
- A Formalism for Specifying Model Merging ConflictsMohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé. 1-10 [doi]
- Towards automated provenance collection for runtime models to record system historyOwen Reynolds, Antonio García-Domínguez, Nelly Bencomo. 12-21 [doi]
- Bounded Verification of State Machine ModelsNafiseh Kahani, James R. Cordy. 23-32 [doi]
- iContractML: A Domain-Specific Language for Modeling and Deploying Smart Contracts onto Multiple Blockchain PlatformsMohammad Hamdaqa, Lucas Alberto Pineda Metz, Ilham A. Qasse. 34-43 [doi]
- An attempt to convert BPMN models to SDLMihal Brumbulli, Emmanuel Gaudin. 45-53 [doi]
- Model-Based Reconfiguration Planning for a Distributed On-board ComputerAndrii Kovalov, Tobias Franz, Hannes Watolla, Vishav Vishav, Andreas Gerndt, Daniel Lüdtke. 55-62 [doi]
- A Model Traceability Framework for Network Service ManagementOmar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe. 64-73 [doi]
- Facilitating the Co-Evolution of Semantic Descriptions in Standards and ModelsPhilip Makedonski, Jens Grabowski. 75-84 [doi]
- Process-Based Simulation with Stackless CoroutinesDorian Weber, Joachim Fischer. 84-93 [doi]
- Action-Driven Consistency for Modular Multi-Language Systems with PerspectivesHyacinth Ali, Gunter Mussbacher, Jörg Kienzle. 95-104 [doi]
- Layout Merging with Relative PositioningHyacinth Ali, Gunter Mussbacher. 106-115 [doi]
- Traceability Management of GRL and SysML ModelsAmal Ahmed Anda, Daniel Amyot. 117-126 [doi]
- Qualitative Fault Modeling in Safety Critical Cyber Physical SystemsAjay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai. 128-137 [doi]
- A Vision Towards A Conceptual Basis for the Systematic Treatment of Uncertainty in Goal ModellingSanaa A. Alwidian, Mouna Dhaouadi, Michalis Famelis. 139-142 [doi]
- SDL Cellular Automaton COVID-19 conceptualizationPau Fonseca i Casas, Joan Garcia i Subirana, Victor Garcia i Carrasco, Jorge Luiz Silva de Barcellos, Josep Roma, Xavier Pi. 144-153 [doi]
- Temporal Models for History-Aware ExplainabilityJuan Marcelo Parra Ullauri, Antonio García-Domínguez, Luis Hernán García Paucar, Nelly Bencomo. 155-164 [doi]