| 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 |
| Bounded Model Checking for Asynchronous Hyperproperties
|
2023 |
Hsu, Tzu-Han |
| Optimal Stateless Model Checking for Causal Consistency
|
2023 |
Abdulla, Parosh |
| AutoHyper: Explicit-State Model Checking for HyperLTL
|
2023 |
Beutner, Raven |
| Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks
|
2023 |
Bassan, Shahaf |
| OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks
|
2023 |
Guo, Xingwu |
| Modular Mix-and-Match Complementation of Büchi Automata
|
2023 |
Havlena, Vojtěch |
| Propositional Proof Skeletons
|
2023 |
Reeves, Joseph E. |
| Correct Approximation of Stationary Distributions
|
2023 |
Meggendorfer, Tobias |
| Inferring Needless Write Memory Accesses on Ethereum Bytecode
|
2023 |
Albert, Elvira |
| Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning
|
2023 |
Hahn, Ernst Moritz |
| A Matrix-Based Approach to Parity Games
|
2023 |
Aggarwal, Saksham |
| 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 |
Tag hinzufügen