| Probabilistic Verification of Neural Networks Against Group Fairness
|
2021 |
Sun, Bing |
| Integrating ADTs in KeY and Their Application to History-Based Reasoning
|
2021 |
Bian, Jinting |
| Congruence Relations for Büchi Automata
|
2021 |
Li, Yong |
| From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET
|
2021 |
Mavridou, Anastasia |
| Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning
|
2021 |
Pferscher, Andrea |
| HyperProb: A Model Checker for Probabilistic Hyperproperties
|
2021 |
Dobe, Oyendrila |
| Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption
|
2021 |
Blahoudek, František |
| Formal Verification of Complex Data Paths: An Industrial Experience
|
2021 |
Seger, Carl-Johan H. |
| Model Checking for Verification of Quantum Circuits
|
2021 |
Ying, Mingsheng |
| Verifying Secure Speculation in Isabelle/HOL
|
2021 |
Griffin, Matt |
| Two Mechanisations of WebAssembly 1.0
|
2021 |
Watt, Conrad |
| Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers
|
2021 |
Krishna, Shankara Narayanan |
| Verified Quadratic Virtual Substitution for Real Arithmetic
|
2021 |
Scharager, Matias |
| Gaussian Process-Based Confidence Estimation for Hybrid System Falsification
|
2021 |
Zhang, Zhenya |
| Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox
|
2021 |
Adelt, Julius |
| Z3str4: A Multi-armed String Solver
|
2021 |
Mora, Federico |
| Featured Team Automata
|
2021 |
Beek, Maurice H. ter |
| Trace Abstraction-Based Verification for Uninterpreted Programs
|
2021 |
Hong, Weijiang |
| Cabean 2.0: Efficient and Efficacious Control of Asynchronous Boolean Networks
|
2021 |
Su, Cui |
| On Lexicographic Proof Rules for Probabilistic Termination
|
2021 |
Chatterjee, Krishnendu |
Tag hinzufügen