default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISoLA 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.
last updated on 2025-12-12 01:07 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
