Abstract is missing.
- The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical SystemsDavid Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon. 3-25 [doi]
- Safety First: About the Detection of Arithmetic Overflows in Hardware Design SpecificationsFritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler. 26-48 [doi]
- Systematic Synthesis of Energy-Aware Timing Models in Automotive Software SystemsPadma Iyenghar. 49-73 [doi]
- Model-Based Virtual Prototyping of CPS: Application to Bio-Medical DevicesDaniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin. 74-96 [doi]
- ProvAnalyser: A Framework for Scientific Workflows ProvenanceAnila Sahar Butt, Peter Fitch. 99-120 [doi]
- A Multi-Model Reviewing Approach for Production Systems Engineering ModelsFelix Rinker, Laura Waltersdorfer, Manuel Schüller, Stefan Biffl, Dietmar Winkler 0001. 121-146 [doi]
- Augmenting Deep Neural Networks with Scenario-Based Guard RulesGuy Katz. 147-172 [doi]
- Resilient Business Process Modeling and Execution Using BPMN and MicroservicesFrank Nordemann, Ralf Tönjes, Elke Pulvermüller, Heiko Tapken. 175-199 [doi]
- Model Transformation from CBM to EPL Rules to Detect Failure SymptomsAlexandre Sarazin, Sébastien Truptil, Aurélie Montarnal, Jérémy Bascans, Xavier Lorca. 200-224 [doi]
- Verification and Simulation of Time-Domain Properties for Models of BehaviourMiguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth. 225-249 [doi]
- Domain-Driven Architecture Modeling and Rapid Prototyping with Context MapperStefan Kapferer, Olaf Zimmermann. 250-272 [doi]
- Abstract Test Execution for Early Testing Activities in Model-Driven ScenariosReinhard Pröll, Noël Hagemann, Bernhard Bauer. 273-297 [doi]
- A Methodological Assistant for UML and SysML Use Case DiagramsErika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds. 298-322 [doi]
- Model-Based Static and Runtime Verification for Ethereum Smart ContractsShaun Azzopardi, Christian Colombo, Gordon J. Pace. 323-348 [doi]
- A Novel Family of Queuing Network Models for Self-adaptive SystemsDavide Arcelli. 349-376 [doi]