


default search action
ISoLA 2020: Rhodes, Greece
- Tiziana Margaria
, Bernhard Steffen
:
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I. Lecture Notes in Computer Science 12476, Springer 2020, ISBN 978-3-030-61361-7
Modularity and (De-)Composition in Verification
- Dilian Gurov
, Reiner Hähnle
, Eduard Kamburjan:
Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification. 3-21 - Alex Coto
, Roberto Guanciale
, Emilio Tuosto
:
On Testing Message-Passing Components. 22-38 - Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Composing Communicating Systems, Synchronously. 39-59 - Bernhard Beckert
, Michael Kirsten
, Jonas Klamroth, Mattias Ulbrich
:
Modular Verification of JML Contracts Using Bounded Model Checking. 60-80 - Ferruccio Damiani
, Michael Lienhardt, Luca Paolini
:
On Slicing Software Product Line Signatures. 81-102 - Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf:
Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. 103-121 - Jean-Christophe Filliâtre, Andrei Paskevich:
Abstraction and Genericity in Why3. 122-142 - Dirk Beyer
, Heike Wehrheim
:
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. 143-167 - Dirk Beyer
, Sudeep Kanav
:
An Interface Theory for Program Verification. 168-186 - Alexander Knüppel
, Tobias Runge, Ina Schaefer:
Scaling Correctness-by-Construction. 187-207
X-by-Construction: Correctness Meets Probability
- Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson:
X-by-Construction - Correctness Meets Probability. 211-215 - Annabelle McIver
, Carroll Morgan:
Correctness by Construction for Probabilistic Programs. 216-239 - Christel Baier
, Clemens Dubslaff
, Holger Hermanns
, Michaela Klauck
, Sascha Klüppelholz
, Maximilian A. Köhl
:
Components in Probabilistic Systems: Suitable by Construction. 240-261 - Uli Fahrenberg, Axel Legay:
Behavioral Specification Theories: An Algebraic Taxonomy. 262-274 - Manfred Jaeger
, Giorgio Bacci
, Giovanni Bacci
, Kim Guldstrand Larsen
, Peter Gjøl Jensen
:
Approximating Euclidean by Imprecise Markov Decision Processes. 275-289 - Bettina Könighofer, Florian Lorber, Nils Jansen
, Roderick Bloem:
Shield Synthesis for Reinforcement Learning. 290-306 - Emilio Incerto, Annalisa Napolitano, Mirco Tribastone:
Inferring Performance from Code: A Review. 307-322
30 Years of Statistical Model Checking!
- Kim G. Larsen
, Axel Legay:
30 Years of Statistical Model Checking. 325-330 - Pranav Ashok, Przemyslaw Daca, Jan Kretínský, Maximilian Weininger
:
Statistical Model Checking: Black or White? 331-349 - Rong Gu, Eduard Enoiu, Cristina Seceleanu
, Kristina Lundqvist:
Probabilistic Mission Planning and Analysis for Multi-agent Systems. 350-367 - Davide Basile
, Maurice H. ter Beek
, Felicita Di Giandomenico
, Alessandro Fantechi
, Stefania Gnesi
, Giorgio Oronzo Spagnolo
:
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. 368-384 - Peter Gjøl Jensen
, Kenneth Yrke Jørgensen, Kim G. Larsen
, Marius Mikucionis
, Marco Muñiz
, Danny Bøgsted Poulsen
:
Fluid Model-Checking in UPPAAL for Covid-19. 385-403 - Eduard Baranov, Thomas Given-Wilson, Axel Legay:
Improving Secure and Robust Patient Service Delivery. 404-418
Verification and Validation of Concurrent and Distributed Systems
- Marieke Huisman
, Cristina Seceleanu
:
Verification and Validation of Concurrent and Distributed Systems (Track Summary). 421-425 - Bernhard K. Aichernig
, Benedikt Maderbacher
:
Step-Wise Development of Provably Correct Actor Systems. 426-448 - Dirk Beyer
, Karlheinz Friedberger
:
Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker. 449-470 - Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir:
Tendermint Blockchain Synchronization: Formal Specification and Model Checking. 471-488 - Ruben Hamers, Sung-Shik Jongmans:
Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project. 489-508 - Bart Jacobs
:
Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs. 509-524 - Nikolai Kosmatov
, Delphine Longuet
, Romain Soulat
:
Formal Verification of an Industrial Distributed Algorithm: An Experience Report. 525-542 - Fernando Pastor Ricós, Pekka Aho, Tanja E. J. Vos, Ismael Torres Boigues, Ernesto Calás Blasco, Héctor Martínez Martínez:
Deploying TESTAR to Enable Remote Testing in an Industrial CI Pipeline: A Case-Based Evaluation. 543-557 - Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen
, Silvia Lizeth Tapia Tarifa
, Ferruccio Damiani
:
A Formal Model of the Kubernetes Container Framework. 558-577

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.