Abstract is missing.
- A Digital Twin Description Framework and Its Mapping to Asset Administration ShellBentley James Oakes, Ali Parsai, Bart Meyers, Istvan David, Simon Van Mierlo, Serge Demeyer, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe. 1-24 [doi]
- Acknowledging Implementation Trade-Offs When Developing with Units of MeasurementSteve McKeever. 25-47 [doi]
- HERO vs Zombie: Destroying Zombie Guests in Virtual Machine EnvironmentsNezer Jacob Zaidenberg, Michael Kiperberg, Yael Elinav, Alex Moshinky, Lior Siag. 48-59 [doi]
- Multi-view FMEA Re-validation: Efficient Risk and Engineering Knowledge Integration in Agile Production Systems EngineeringFelix Rinker, Sebastian Kropatschek, Thorsten Steuer, Elmar Kiesling, Kristof Meixner, Laura Waltersdorfer, Patrik Sommer, Arndt Lüder, Dietmar Winkler 0001, Stefan Biffl. 60-83 [doi]
- PSCS4CPP: A Generative PSCS Implementation for C++Maximilian Hammer, Ralph Maschotta, Alexander Wichmann, Tino Jungebloud, Francesco Bedini, Armin Zimmermann. 84-108 [doi]
- Dependency Graphs to Boost the Verification of SysML ModelsLudovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino. 109-134 [doi]
- Decomposable and Executable Models for Verification of Real-Time SystemsCallum McColl, Vladimir Estivill-Castro, Morgan McColl, René Hexel. 135-156 [doi]
- Comparing Goal-Oriented Analysis Techniques: A Controlled ExperimentCarlos Cano-Genoves, Silvia Abrahão, Emilio Insfrán. 157-178 [doi]
- A Methodological Framework for SPL Engineering from DSMLVincent Englebert, Maouaheb Belarbi. 179-202 [doi]
- W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security CountermeasuresBastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert. 203-229 [doi]
- Managing Schema Migration in NoSQL Databases: Advisor Heuristics vs. Self-adaptive Schema Migration StrategiesAndrea Hillenbrand, Uta Störl. 230-253 [doi]