| Sampling-Based Verification of CTIMCSs with Uncertain Rates
|
2022 |
Badings, Thom S. |
| Playing Against Fair Adversaries in Stochastic Games with Total Rewards
|
2022 |
Castro, Pablo F. |
| Local Search for SMT on Linear Integer Arithmetic
|
2022 |
Cai, Shaowei |
| Complementing Büchi Automata with Ranker
|
2022 |
Havlena, Vojtèch |
| Synthesis and Analysis of Petri Nets from Causal Specifications
|
2022 |
Oliveira, Mateus de Oliveira |
| Information Flow Guided Synthesis
|
2022 |
Finkbeiner, Bernd |
| PAC Statistical Model Checking of Mean Payoff in Discrete-and Continuous-Time MDP
|
2022 |
Agarwal, Chaitanya |
| Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
|
2022 |
Leutgeb, Lorenz |
| Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers
|
2022 |
Niemetz, Aina |
| FORQ-Based Language Inclusion Formal Testing
|
2022 |
Doveri, Kyveli |
| Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition
|
2022 |
Li, Yong |
| From Spot 2.0 to Spot 2.10: What’s New?
|
2022 |
Duret-Lutz, Alexandre |
| Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols
|
2022 |
Choi, Joonwon |
| Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
|
2022 |
Blondin, Michael |
| Sound Automation of Magic Wands
|
2022 |
Dardinier, Thibault |
| Even Faster Conflicts and Lazier Reductions for String Solvers
|
2022 |
Nötzli, Andres |
| Reasoning About Data Trees Using CHCs
|
2022 |
Faella, Marco |
| End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers
|
2022 |
Yuan, Shenghao |
| Specification-Guided Learning of Nash Equilibria with High Social Welfare
|
2022 |
Jothimurugan, Kishor |
| SMT-Based Translation Validation for Machine Learning Compiler
|
2022 |
Bang, Seongwon |
Tag hinzufügen