| Linear Temporal Logic From Infinite to Finite Horizon
|
2021 |
Tabajara, Lucas M. |
| Certifying DFA Bounds for Recognition and Separation
|
2021 |
Kupferman, Orna |
| AALpy: An Active Automata Leaming Library
|
2021 |
Muskardin, Edi |
| Probabilistic Causes in Markov Chains
|
2021 |
Baier, Christel |
| Verification by Gambling on Program Slices
|
2021 |
Akhundov, Murad |
| Compositional Synthesis of Modular Systems
|
2021 |
Finkbeiner, Bernd |
| Event-B Refinement for Continuous Behaviours Approximation
|
2021 |
Dupont, Guillaume |
| A Verified Decision Procedure for Orders in Isabelle/HOL.
|
2021 |
Stevens, Lukas |
| Live Synthesis
|
2021 |
Finkbeiner, Bernd |
| Verifying Verified Code
|
2021 |
Priya, Siddharth |
| Proving SIFA Protection of Masked Redundant Circuits
|
2021 |
Hadžić, Vedad |
| Runtime Enforcement of Hyperproperties.
|
2021 |
Coenen, Norine |
| pyNeVer: A Framework for Learning and Verification of Neural Networks
|
2021 |
Guidotti, Dario |
| Property-Directed Verification and Robustness Certification of Recurrent Neural Networks
|
2021 |
Khmelnitsky, Igor |
| Faster Pushdown Reachability Analysis with Applications in Network Verification
|
2021 |
Jensen, Peter Gjøl |
| AQUA: Automated Quantized Inference for Probabilistic Programs
|
2021 |
Huang, Zixin |
| Incorporating Monitors in Reactive Synthesis Without Paying the Price
|
2021 |
Azzopardi, Shaun |
| Determinization and Limit-Determinization of Emerson-Lei Automata
|
2021 |
John, Tobias |
| Automatic Discovery of Fair Paths in Infinite-State Transition Systems
|
2021 |
Cimatti, Alessandro |
| A Formal Semantics of the GraalVM Intermediate Representation
|
2021 |
Webb, Brae J. |
Tag hinzufügen