| 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 |
| 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 |
| Minimum-Violation Traffic Management for Urban Air Mobility
|
2021 |
Bharadwaj, Suda |
Tag hinzufügen