Abstract is missing.
- Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two WorldsTiziana Margaria. 3-18 [doi]
- Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract TheorySusanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler. 19-31 [doi]
- Automated Functional Safety Analysis of Automated Driving SystemsMartin Kölbl, Stefan Leue. 35-51 [doi]
- Safety Interlocking as a Distributed Mutual Exclusion ProblemAlessandro Fantechi, Anne Elisabeth Haxthausen. 52-66 [doi]
- Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAALJan Toennemann, Andreas Rausch, Falk Howar, Benjamin Cool. 67-82 [doi]
- Formal Verification of a Programmable HypersurfacePanagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides. 83-97 [doi]
- Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 ToolsetMaarten Bartholomeus, Bas Luttik, Tim A. C. Willemse. 98-114 [doi]
- Progress Checking for DummiesAntti Valmari, Henri Hansen. 115-130 [doi]
- Virtual Integration for Pattern-Based Contracts with the Kind2 Model CheckerJan Steffen Becker. 131-146 [doi]
- Active Mining of Document Type DefinitionsMarkus Frohme, Bernhard Steffen. 147-161 [doi]
- Adaptive Learning for Learn-Based Regression TestingDavid Huistra, Jeroen Meijer, Jaco van de Pol. 162-177 [doi]
- Predicate Abstraction and Such..Bernhard Steffen, Tiziana Margaria. 181-188 [doi]
- Compositional Verification in ActionHubert Garavel, Frédéric Lang, Laurent Mounier. 189-210 [doi]
- A Note on Refinement in Hierarchical Transition SystemsGerald Lüttgen. 211-222 [doi]
- M3C: Modal Meta Model CheckingBernhard Steffen, Alnis Murtovi. 223-241 [doi]
- Wholly!: A Build System For The Modern Software StackLoic Gelle, Hassen Saïdi, Ashish Gehani. 242-257 [doi]
- A Modeling Language for Security Threats of IoT SystemsDelphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf. 258-268 [doi]
- Revisiting Bounded Reachability Analysis of Timed Automata Based on MILPIulian Ober. 269-283 [doi]
- Evaluation and Comparison of Real-Time Systems Analysis Methods and ToolsSophie Quinton. 284-290 [doi]