Abstract is missing.
- Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal StrategoDavide Basile, Maurice H. ter Beek, Axel Legay. 3-21 [doi]
- Towards Bridging Time and Causal ReversibilityMarco Bernardo 0001, Claudio Antares Mezzina. 22-38 [doi]
- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional MemoryEleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim. 39-58 [doi]
- Conformance-Based Doping Detection for Cyber-Physical SystemsRayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns. 59-77 [doi]
- On Implementable Timed AutomataSergio Feo Arenis, Milan Vujinovic, Bernd Westphal. 78-95 [doi]
- Deep Statistical Model CheckingTimo P. Gros, Holger Hermanns, Jörg Hoffmann 0001, Michaela Klauck, Marcel Steinmetz. 96-114 [doi]
- Trace Equivalence and Epistemic Logic to Express Security PropertiesKiraku Minami. 115-132 [doi]
- Derivation of Heard-of Predicates from Elementary Behavioral PatternsAdam Shimi, Aurélie Hurault, Philippe Quéinnec. 133-149 [doi]
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent ProbabilitiesJeremy Sproston. 150-168 [doi]
- A Formal Framework for Consent ManagementShukun Tokas, Olaf Owe. 169-186 [doi]
- Tutorial: Parameterized Verification with Byzantine Model CheckerIgor Konnov 0001, Marijana Lazic, Ilina Stoilkovska, Josef Widder. 189-207 [doi]
- Typechecking Java Protocols with [St]MungoA. Laura Voinea, Ornela Dardha, Simon J. Gay. 208-224 [doi]
- Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas. 227-235 [doi]