default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID40th FORTE 2020: Valletta, Malta
- Alexey Gotsman, Ana Sokolova:
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, Valletta, Malta, June 15-19, 2020, Proceedings. Lecture Notes in Computer Science 12136, Springer 2020, ISBN 978-3-030-50085-6
Full Papers
- Davide Basile
, Maurice H. ter Beek, Axel Legay:
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. 3-21 - Marco Bernardo, Claudio Antares Mezzina:
Towards Bridging Time and Causal Reversibility. 22-38 - Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim:
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. 39-58 - Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns:
Conformance-Based Doping Detection for Cyber-Physical Systems. 59-77 - Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal:
On Implementable Timed Automata. 78-95 - Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz:
Deep Statistical Model Checking. 96-114 - Kiraku Minami:
Trace Equivalence and Epistemic Logic to Express Security Properties. 115-132 - Adam Shimi, Aurélie Hurault, Philippe Quéinnec:
Derivation of Heard-of Predicates from Elementary Behavioral Patterns. 133-149 - Jeremy Sproston:
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities. 150-168 - Shukun Tokas, Olaf Owe:
A Formal Framework for Consent Management. 169-186
Tutorials
- Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder:
Tutorial: Parameterized Verification with Byzantine Model Checker. 189-207 - Adriana Laura Voinea, Ornela Dardha, Simon J. Gay:
Typechecking Java Protocols with [St]Mungo. 208-224
Short Paper
- Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas:
Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). 227-235
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-10-16 02:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
