| Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning
|
2022 |
Meng, Yue |
| Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability
|
2022 |
Bak, Stanley |
| Hierarchical Contract-Based Synthesis for Assurance Cases
|
2022 |
Wang, Timothy E. |
| Timed Automata Learning via SMT Solving
|
2022 |
Tappler, Martin |
| Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda
|
2022 |
Carr, Harold |
| Monitorability of Expressive Verdicts
|
2022 |
Gorostiaga, Felipe |
| On-the-Fly Model Checking with Neural MCTS
|
2022 |
Xu, Ruiyang |
| On the Termination of Borrow Checking in Featherweight Rust
|
2022 |
Payet, Étienne |
| Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior
|
2022 |
André, Étienne |
| BDDs Strike Back
|
2022 |
Basgöze, Daniel |
| The Power of Disjoint Support Decompositions in Decision Diagrams
|
2022 |
Vinkhuijzen, Lieuwe |
| Certified Computation of Nondeterministic Limits
|
2022 |
Konečný, Michal |
| Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I
|
2022 |
Aurandt, Alexis |
| Towards Refactoring FRETish Requirements
|
2022 |
Farrell, Marie |
| Automating Program Transformation with Coccinelle
|
2022 |
Lawall, Julia |
| The Prusti Project: Formal Verification for Rust
|
2022 |
Astrauskas, Vytautas |
| ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs
|
2022 |
Strong, Christopher A. |
| From Verified Scala to STIX File System Embedded Code Using Stainless
|
2022 |
Hamza, Jad |
| Asynchronous Composition of Local Interface LTL Properties
|
2022 |
Bombardelli, Alberto |
| Proof Mate: An Interactive Proof Helper for PVS (Tool Paper)
|
2022 |
Masci, Paolo |
Tag hinzufügen