| Specification Decomposition for Reactive Synthesis
|
2021 |
Finkbeiner, Bernd |
| On Symmetry and Quantification: A New Approach to Verify Distributed Protocols
|
2021 |
Goel, Aman |
| Scalable Reliability Analysis by Lazy Verification
|
2021 |
Khan, Shahid |
| Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainy
|
2021 |
Kobayashi, Tsutomu |
| Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model
|
2021 |
Paul, Saswata |
| Good Fences Make Good Neighbors: Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm
|
2021 |
Kouskoulas, Safe Yanni |
| An Infrastructure for Faithful Execution of Remote Attestation Protocols
|
2021 |
Petz, Adam |
| Runtime Verification of Generalized Test Tables
|
2021 |
Weigl, Alexander |
| Minimum-Violation Traffic Management for Urban Air Mobility
|
2021 |
Bharadwaj, Suda |
| Polygon Merge: A Geometric Algorithm Verified Using PVS
|
2021 |
Vito, Ben L. Di |
| Integrating Runtime Verification into a Sounding Rocket Control System
|
2021 |
Hertz, Benjamin |
| Online Shielding for Stochastic Systems
|
2021 |
Könighofer, Bettina |
| Recursive Variable-Length State Compression for Multi-core Software Model Checking
|
2021 |
Berg, Freark I. van der |
| Integrating Formal Verification and Assurance: An Inspection Rover Case Study
|
2021 |
Bourbouh, Hamza |
| Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench
|
2021 |
Decker, Brett |
| nnenum: Verification of ReLU Neural Networks with Optimized Abstraction Refinement
|
2021 |
Bak, Stanley |
| Verification of Functional Correctness of Code Diversification Techniques
|
2021 |
Jang, Jae-Won |
| A Formal Proof of the Lax Equivalence Theorem for Finite Difference Schemes
|
2021 |
Tekriwal, Mohit |
| Quasi-Equal Clock Reduction On-the-Fly
|
2021 |
Westphal, Bernd |
| Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids
|
2021 |
Badings, Thom S. |
Tag hinzufügen