| 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 |
| 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. |
| Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems
|
2021 |
Mohammadinejad, Sara |
| Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach
|
2021 |
Gaglione, Jean-Raphael |
| PJBDD: A BDD Library for Java and Multi-Threading
|
2021 |
Beyer, Dirk |
| TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments
|
2021 |
Pranger, Stefan |
| 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 |
Tag hinzufügen