| From Passive to Active: Learning Timed Automata Efficiently
|
2020 |
Aichernig, Bernhard K. |
| Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking
|
2020 |
Todorov, Vassil |
| Formal Verification of Parallel Prefix Sum
|
2020 |
Safari, Mohsen |
| Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL
|
2020 |
Bottesch, Ralph |
| Sampling Distributed Schedulers for Resilient Space Communication
|
2020 |
D'Argenio, Pedro R. |
| Model Checking Timed Hyperproperties in Discrete-Time Systems
|
2020 |
Bonakdarpour, Borzoo |
| hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions
|
2020 |
Hüls, Jannik |
| Run-Time Assurance for Learning-Enabled Systems
|
2020 |
Cofer, Darren |
| Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
|
2020 |
Liu, Si |
| Per-Location Simulation
|
2020 |
Li, Liyi |
| Verifying Band Convergence for Sampled Control Systems
|
2020 |
Ezudheen, P. |
| Falsification of Cyber-Physical Systems with Constrained Signal Spaces
|
2020 |
Barbot, Benoît |
| Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches
|
2020 |
Zhang, Zhenya |
| PaRoT: A Practical Framework for Robust Deep Neural Network Training
|
2020 |
Ayers, Edward W. |
| Benchmarking Software Model Checkers on Automotive Code
|
2020 |
Westhofen, Lukas |
| Automated Requirements-Based Testing of Black-Box Reactive Systems
|
2020 |
Narizzano, Massimo |
| On the Usefulness of Clause Strengthening in Parallel SAT Solving
|
2020 |
Vallade, Vincent |
| Constraint Caching Revisited
|
2020 |
Taljaard, Jan |
| Heterogeneous Verification of an Autonomous Curiosity Rover
|
2020 |
Cardoso, Rafael C. |
| Parameter Synthesis and Robustness Analysis of Rule-Based Models
|
2020 |
Troják, Matej |
Tag hinzufügen