default search action
13th NFM 2021: Virtual Event
- Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez:
NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings. Lecture Notes in Computer Science 12673, Springer 2021, ISBN 978-3-030-76383-1 - Thom S. Badings
, Arnd Hartmanns
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. 1-18 - Stanley Bak
nnenum: Verification of ReLU Neural Networks with Optimized Abstraction Refinement. 19-36 - Suda Bharadwaj, Tichakorn Wongpiromsarn, Natasha A. Neogi, Joseph Muffoletto, Ufuk Topcu:
Minimum-Violation Traffic Management for Urban Air Mobility. 37-52 - Hamza Bourbouh, Marie Farrell
Integrating Formal Verification and Assurance: An Inspection Rover Case Study. 53-71 - Brett Decker, Benjamin Winters, Eric Mercer
Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench. 72-78 - Ben L. Di Vito, Ashlie B. Hocking:
Polygon Merge: A Geometric Algorithm Verified Using PVS. 79-94 - Aleksandar S. Dimovski
Program Sketching Using Lifted Analysis for Numerical Program Families. 95-112 - Bernd Finkbeiner, Gideon Geier, Noemi Passing
Specification Decomposition for Reactive Synthesis. 113-130 - Aman Goel
On Symmetry and Quantification: A New Approach to Verify Distributed Protocols. 131-150 - Benjamin Hertz
Integrating Runtime Verification into a Sounding Rocket Control System. 151-159 - Jae-Won Jang, Freek Verbeek, Binoy Ravindran:
Verification of Functional Correctness of Code Diversification Techniques. 160-179 - Shahid Khan
Scalable Reliability Analysis by Lazy Verification. 180-197 - Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata:
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. 198-213 - Yanni Kouskoulas, Rosa Wu, Joshua Brulé, Daniel Genin, Aurora C. Schmidt, Thyago J. Machado:
Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm. 214-230 - Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem:
Online Shielding for Stochastic Systems. 231-248 - Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela:
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. 249-267 - Adam Petz, Perry Alexander:
An Infrastructure for Faithful Execution of Remote Attestation Protocols. 268-286 - Lucien Rakotomalala, Pierre Roux, Marc Boyer:
Verifying Min-Plus Computations with Coq. 287-303 - Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Efficient Verification of Optimized Code - Correct High-Speed X25519. 304-321 - Mohit Tekriwal
A Formal Proof of the Lax Equivalence Theorem for Finite Difference Schemes. 322-339 - Freark I. van der Berg:
Recursive Variable-Length State Compression for Multi-core Software Model Checking. 340-357 - Alexander Weigl
Runtime Verification of Generalized Test Tables. 358-374 - Bernd Westphal
Quasi-Equal Clock Reduction On-the-Fly. 375-391 - Zhenya Zhang
On the Effectiveness of Signal Rescaling in Hybrid System Falsification. 392-399
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-18 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: