| 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 |
| Parameter Synthesis and Robustness Analysis of Rule-Based Models
|
2020 |
Troják, Matej |
| Neural Simplex Architecture
|
2020 |
Phan, Dung T. |
| Simplifying Neural Networks Using Formal Verification
|
2020 |
Gokulanathan, Sumathi |
| Strengthening Deterministic Policies for POMDPs
|
2020 |
Winterer, Leonore |
| A Validation Methodology for OCaml-to-PVS Translation
|
2020 |
An, Xiaoxin |
| A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata
|
2020 |
Pilch, Carina |
| 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. |
| 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 |
Tag hinzufügen