IFIP TC6 Open Digital Library

40. FORTE 2020: Valletta, Malta

Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, FORTE 2020, Valletta, Malta, June 15-19, 2020

Alexey Gotsman, Ana Sokolova

Springer, ISBN: 978-3-030-50085-6


Full Papers

Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.

Davide Basile, Maurice H. ter Beek, Axel Legay


Towards Bridging Time and Causal Reversibility.

Marco Bernardo, Claudio Antares Mezzina


Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.

Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim


Conformance-Based Doping Detection for Cyber-Physical Systems.

Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns


On Implementable Timed Automata.

Sergio Feo Arenis, Milan Vujinovic, Bernd Westphal


Deep Statistical Model Checking.

Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz


Trace Equivalence and Epistemic Logic to Express Security Properties.

Kiraku Minami


Derivation of Heard-of Predicates from Elementary Behavioral Patterns.

Adam Shimi, Aurélie Hurault, Philippe Quéinnec


Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.

Jeremy Sproston


A Formal Framework for Consent Management.

Shukun Tokas, Olaf Owe



Tutorial: Parameterized Verification with Byzantine Model Checker.

Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder


Typechecking Java Protocols with [St]Mungo.

A. Laura Voinea, Ornela Dardha, Simon J. Gay


Short Paper

Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas