| X-by-Construction: Correctness Meets Probability
|
2020 |
Beek, Maurice H. ter |
| Correctness by Construction for Probabilistic Programs
|
2020 |
Mclver, Annabelle |
| Inferring Performance from Code: A Review
|
2020 |
Incerto, Emilio |
| Statistical Model Checking: Black or White?
|
2020 |
Ashok, Pranav |
| 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 |
| 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. |
| A Formal Model of the Kubernetes Container Framework
|
2020 |
Turin, Gianluca |
Tag hinzufügen