| On Testing Message-Passing Components
|
2020 |
Coto, Alex |
| Modular Verification of JML Contracts Using Bounded Model Checking
|
2020 |
Beckert, Bernhard |
| Assumption-Commitment Types for Resource Management in Virtually Timed Ambients
|
2020 |
Johnsen, Einar Broch |
| Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
|
2020 |
Beyer, Dirk |
| Abstraction and Genericity in Why3
|
2020 |
Filliâtre, Jean-Christophe |
| Behavioral Specification Theories: An Algebraic Taxonomy
|
2020 |
Fahrenberg, Uli |
| Probabilistic Mission Planning and Analysis for Multi-agent Systems
|
2020 |
Gu, Rong |
| Improving Secure and Robust Patient Service Delivery
|
2020 |
Baranov, Eduard |
| Verification and Validation of Concurrent and Distributed Systems (Track Summary)
|
2020 |
Huisman, Marieke |
| Violation Witnesses and Result Validation for Multi-Threaded Programs: Implementation and Evaluation with CPAchecker
|
2020 |
Beyer, Dirk |
| Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs
|
2020 |
Jacobs, Bart |
| Deploying TESTAR to Enable Remote Testing in an Industrial CI Pipeline: A Case-Based Evaluation
|
2020 |
Ricós, Fernando Pastor |
| Who Carries the Burden of Modularity? Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification
|
2020 |
Gurov, Dilian |
| Composing Communicating Systems, Synchronously
|
2020 |
Barbanera, Franco |
| An Interface Theory for Program Verification
|
2020 |
Beyer, Dirk |
| Step-Wise Development of Provably Correct Actor Systems
|
2020 |
Aichernig, Bernhard K. |
| Formal Verification of an Industrial Distributed Algorithm: An Experience Report
|
2020 |
Kosmatov, Nikolai |
| Approximating Euclidean by Imprecise Markov Decision Processes
|
2020 |
Jaeger, Manfred |
| 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC
|
2020 |
Basile, Davide |
| Fluid Model-Checking in UPPAAL for Covid-19
|
2020 |
Jensen, Peter G. |
Tag hinzufügen