| A Probabilistic Logic for Verifying Continuous-time Markov Chains
|
2022 |
Guan, Ji |
| On-The-Fly Solving for Symbolic Parity Games
|
2022 |
Laveaux, Maurice |
| From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques
|
2022 |
Koutavas, Vasileios |
| Automatic Repair for Network Programs
|
2022 |
Shi, Lei |
| SyYMBIOTIC 9: String Analysis and Backward Symbolic Execution with Loop Folding: (Competition Contribution)
|
2022 |
Chalupa, Marek |
| Under-Approximating Expected Total Rewards in POMDPs
|
2022 |
Bork, Alexander |
| Correct Probabilistic Model Checking with Floating-Point Arithmetic
|
2022 |
Hartmanns, Arnd |
| Practical Applications of the Alternating Cycle Decomposition
|
2022 |
Casares, Antonio |
| Distributed Coalgebraic Partition Refinement
|
2022 |
Birkmann, Fabian |
| Verified First-Order Monitoring with Recursive Rules
|
2022 |
Zingg, Sheila |
| Adiar Binary Decision Diagrams in External Memory
|
2022 |
Solvsten, Steffan Christ |
| The Static Analyzer Frama-C in SV-COMP (Competition Contribution)
|
2022 |
Beyer, Dirk |
| GWIT: A Witness Validator for Java based on GraaIVM (Competition Contribution)
|
2022 |
Howar, Falk |
| Symbiotic-Wrrch: A Klee-Based Violation Witness Checker: (Competition Contribution)
|
2022 |
Ayaziová, Paulína |
| A Direct Symbolic Algorithm for Solving Stochastic Rabin Games
|
2022 |
Banerjee, Tamajit |
| Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time
|
2022 |
Guilloud, Simon |
| A Theoretical Analysis of Random Regression Test Prioritization
|
2022 |
Yi, Pu |
| Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation
|
2022 |
Bozzano, Marco |
| ALPINIST: An Annotation-Aware GPU Program Optimizer
|
2022 |
Sakar, Ömer |
| AProVE: Non-Termination Witnesses for C Programs: (Competition Contribution)
|
2022 |
Hensel, Jera |
Tag hinzufügen