| Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives
|
2021 |
Hahn, Ernst Moritz |
| BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning
|
2021 |
Scott, Joseph |
| Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers
|
2021 |
Kopylov, Alexei |
| Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models
|
2021 |
Coughlin, Nicholas |
| Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study
|
2021 |
Sato, Sota |
| Formal Verification of a JavaCard Virtual Machine with Frama-C
|
2021 |
Djoudi, Adel |
| Verification of the Incremental Merkle Tree Algorithm with Dafny
|
2021 |
Cassez, Franck |
| HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams
|
2021 |
Gorostiaga, Felipe |
| Dynamic Reconfiguration via Typed Modalities
|
2021 |
Ţuţu, Ionuţ |
| Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles
|
2021 |
Rahman, Yousaf |
| Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts
|
2021 |
Santos, César Augusto R. dos |
| Combining Forces: How to Formally Verify Informally Defined Embedded Systems
|
2021 |
Herber, Paula |
| Efficient Algorithms for Omega-Regular Energy Games
|
2021 |
Amram, Gal |
| Business Processes Meet Spatial Concerns: The sBPMN Verification Framework
|
2021 |
Saddem-Yagoubi, Rim |
| Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers
|
2021 |
Bugariu, Alexandra |
| Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies
|
2021 |
Wright, Daniel |
| Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs
|
2021 |
Foster, Simon |
| Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA
|
2021 |
Wolf, Felix A. |
| Formal Analysis of Neural Network-Based Systems in the Aircraft Domain
|
2021 |
Kouvaros, Panagiotis |
| Probabilistic Verification of Neural Networks Against Group Fairness
|
2021 |
Sun, Bing |
Tag hinzufügen