Abstract is missing.
- Balancing Wind and Batteries: Towards Predictive Verification of Smart GridsThom S. Badings, Arnd Hartmanns, Nils Jansen 0001, Marnix Suilen. 1-18 [doi]
- nnenum: Verification of ReLU Neural Networks with Optimized Abstraction RefinementStanley Bak. 19-36 [doi]
- Minimum-Violation Traffic Management for Urban Air MobilitySuda Bharadwaj, Tichakorn Wongpiromsarn, Natasha Neogi, Joseph Muffoletto, Ufuk Topcu. 37-52 [doi]
- Integrating Formal Verification and Assurance: An Inspection Rover Case StudyHamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher 0001. 53-71 [doi]
- Towards Verifying SHA256 in OpenSSL with the Software Analysis WorkbenchBrett Decker, Benjamin Winters, Eric Mercer. 72-78 [doi]
- Polygon Merge: A Geometric Algorithm Verified Using PVSBen L. Di Vito, Ashlie B. Hocking. 79-94 [doi]
- Program Sketching Using Lifted Analysis for Numerical Program FamiliesAleksandar S. Dimovski, Sven Apel, Axel Legay. 95-112 [doi]
- Specification Decomposition for Reactive SynthesisBernd Finkbeiner, Gideon Geier, Noemi Passing. 113-130 [doi]
- On Symmetry and Quantification: A New Approach to Verify Distributed ProtocolsAman Goel, Karem A. Sakallah. 131-150 [doi]
- Integrating Runtime Verification into a Sounding Rocket Control SystemBenjamin Hertz, Zachary Luppen, Kristin Yvonne Rozier. 151-159 [doi]
- Verification of Functional Correctness of Code Diversification TechniquesJae-Won Jang, Freek Verbeek, Binoy Ravindran. 160-179 [doi]
- Scalable Reliability Analysis by Lazy VerificationShahid Khan 0002, Joost-Pieter Katoen, Matthias Volk 0001, Marc Bouissou. 180-197 [doi]
- Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual UncertaintyTsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata. 198-213 [doi]
- Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence AlgorithmYanni Kouskoulas, Rosa Wu, Joshua Brulé, Daniel Genin, Aurora Schmidt, Thyago J. Machado. 214-230 [doi]
- Online Shielding for Stochastic SystemsBettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem. 231-248 [doi]
- Verification of Eventual Consensus in Synod Using a Failure-Aware Actor ModelSaswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela. 249-267 [doi]
- An Infrastructure for Faithful Execution of Remote Attestation ProtocolsAdam Petz, Perry Alexander. 268-286 [doi]
- Verifying Min-Plus Computations with CoqLucien Rakotomalala, Pierre Roux, Marc Boyer. 287-303 [doi]
- Efficient Verification of Optimized Code - Correct High-Speed X25519Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen. 304-321 [doi]
- A Formal Proof of the Lax Equivalence Theorem for Finite Difference SchemesMohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin. 322-339 [doi]
- Recursive Variable-Length State Compression for Multi-core Software Model CheckingFreark I. van der Berg. 340-357 [doi]
- Runtime Verification of Generalized Test TablesAlexander Weigl, Mattias Ulbrich, Shmuel Tyszberowicz, Jonas Klamroth. 358-374 [doi]
- Quasi-Equal Clock Reduction On-the-FlyBernd Westphal. 375-391 [doi]
- On the Effectiveness of Signal Rescaling in Hybrid System FalsificationZhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma 0003, Ichiro Hasuo, Jianjun Zhao. 392-399 [doi]