| Efficient Loop Conditions for Bounded Model Checking Hyperproperties
|
2023 |
Hsu, Tzu-Han |
| Stack-Aware Hyperproperties
|
2023 |
Bajwa, Ali |
| Active Learning for SAT Solver Benchmarking
|
2023 |
Fuchs, Tobias |
| Make Flows Small Again: Revisiting the Flow Framework
|
2023 |
Meyer, Roland |
| A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems
|
2023 |
Chatterjee, Krishnendu |
| Reconciling Preemption Bounding with DPOR
|
2023 |
Marmanis, Iason |
| Symbolic Model Checking for TLA+ Made Faster
|
2023 |
Otoni, Rodrigo |
| Neural Network-Guided Synthesis of Recursive List Functions
|
2023 |
Kobayashi, Naoki |
| Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers
|
2023 |
Michaelson, Dawn |
| Carcara: An efficient proof checker and elaborator for SMT proofs in the Alethe format
|
2023 |
Andreotti, Bruno |
| Robust Almost-Sure Reachability in Multi-Environment MDPs
|
2023 |
Vegt, Marck van der |
| A Practitioner’s Guide to MDP Model Checking Algorithms
|
2023 |
Hartmanns, Arnd |
| A Formal CHERI-C Semantics for Verification
|
2023 |
Park, Seung Hoon |
| Parameterized Verification under TSO with Data Types
|
2023 |
Abdulla, Parosh Aziz |
| A GPU Tree Database for Many-Core Explicit State Space Exploration
|
2023 |
Wijs, Anton |
| ALASCA: Reasoning in Quantified Linear Arithmetic
|
2023 |
Korovin, Konstantin |
| Model Checking Linear Dynamical Systems under Floating-point Rounding
|
2023 |
Lefaucheux, Engel |
| Feature Necessity & Relevancy in ML Classifier Explanations
|
2023 |
Huang, Xuanxiang |
| Validating Streaming JSON Documents with Learned VPAs
|
2023 |
Bruyère, Véronique |
| Antichains Algorithms for the Inclusion Problem Between ω-VPL
|
2023 |
Doveri, Kyveli |
Tag hinzufügen