| On Slicing Software Product Line Signatures
|
2020 |
Damiani, Ferruccio |
| Scaling Correctness-by-Construction
|
2020 |
Knüppel, Alexander |
| Components in Probabilistic Systems: Suitable by Construction
|
2020 |
Baier, Christel |
| Shield Synthesis for Reinforcement Learning
|
2020 |
Könighofer, Bettina |
| 30 Years of Statistical Model Checking
|
2020 |
Larsen, Kim G. |
| Tendermint Blockchain Synchronization: Formal Specification and Model Checking
|
2020 |
Braithwaite, Sean |
| Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project
|
2020 |
Hamers, Ruben |
| 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 |
Tag hinzufügen