| Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids
|
2021 |
Badings, Thom S. |
| Program Sketching Using Lifted Analysis for Numerical Program Families
|
2021 |
Dimovski, Aleksandar S. |
| Verifying Min-Plus Computations with Coq
|
2021 |
Rakotomalala, Lucien |
| Efficient Verification of Optimized Code: Correct High-Speed X25519
|
2021 |
Schoolderman, Marc |
| On the Effectiveness of Signal Rescaling in Hybrid System Falsification
|
2021 |
Zhang, Zhenya |
| 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 |
Tag hinzufügen