default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th NFM 2026: Los Angeles, CA, USA
- Jyotirmoy V. Deshmukh
, Klaus Havelund, Alessandro Pinto:
NASA Formal Methods - 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings. Lecture Notes in Computer Science 16622, Springer 2026, ISBN 978-3-032-28078-7
Distributed Systems and Solver Verification
- William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis:
Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition. 3-24 - Le Chang, Saitej Yavvari, Rance Cleaveland, Samik Basu, Runzhou Tao, Liyi Li:
DisQ: A Model of Distributed Quantum Processors. 25-47 - Sarah Tilscher, Alexandra Graß, Helmut Seidl:
Verifying a Solver for Mixed Flow-Sensitive Analyses. 48-69
Runtime Monitoring for Autonomous Systems
- Alexis A. Aurandt, Christopher Johannsen, Andreas Katis, Anastasia Mavridou, Kristin Yvonne Rozier, Phillip H. Jones:
From Natural Language Requirements to Runtime Monitors for Resource-Constrained Systems: Integrating FRET and R2U2. 73-98 - Arthur Amorim, Paul Gazzillo, Max Taylor, Lance Joneckis:
From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink. 99-119 - Fabian Vu, Jan Gruteser, Philipp Körner, Michael Leuschel, David Geleßus, Miles Vella:
Hardware-in-the-Loop Validation of Formal Models: An Application to AI-Controlled Drones. 120-141
Stochastic and Probabilistic Formal Methods
- Jian Xiang:
Sensor Tolerance Contracts for Safety Assurance in Cyber-Physical Systems. 145-169 - Simon Dierl, Nastaran Kianersi, Falk Howar, Sean Kauffman:
Learning Probabilistic Automata from Single Continuous-Valued System Logs. 170-191 - Parth Ganeriwala, Candice Normalee Chambers, James I. Lathrop, Siddhartha Bhattacharyya, Junaid Babar, Stephen B. Gilbert, Isaac Amundson, Michael C. Dorneich, Mohammed Abdul Hafeez Khan:
Formal Analysis of Stochastic Cognitive Models: A Translation Framework from Soar to PRISM. 192-213
Low-Level Systems and Hardware Verification
- Aaron Bembenek, Toby Murray:
Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving. 217-239 - Peter Csaba Ölveczky, José Meseguer:
Multicore Scheduling for Large Safety-Critical Applications: Beyond Single-Core Equivalence. 240-260 - Edward Wang, Joe Walston, Luca Daniel, Tony Tan, Yoni Zohar, Clark W. Barrett:
Artificial Incorrectness: SMT and LLMs in Hardware Synthesis. 261-284
Neural Network Verification and Adversarial Robustness
- Avraham Raviv, Yizhak Yisrael Elboher, Omri Isac, Michelle Aluf-Medina, Ben Hagag, Golan Shmueli, Guy Katz, Hillel Kugler:
Towards Formal Verification of Deep Neural Networks for Object Detection. 287-310 - Xaver Fink, Borja Fernández Adiego, Daniele Mirarchi, Eloise Matheson, Alvaro Garcia Gonzales, Gianmarco Ricci, Joost-Pieter Katoen:
Adversarial Robustness of Time-Series Classification for Crystal Collimator Alignment. 311-333 - Tanmay Ambadkar, Darshan Chudiwal, Greg Anderson, Abhinav Verma:
Safer Policies via Affine Representations Using Koopman Dynamics. 334-355
Program Analysis and Defect Detection
- Oleksandr Kolchyn, Daria Rudenko:
Misguarded Computations: A Pattern of Ineffective Conditional Protection. 359-366 - Laboni Sarker, Abdus Satter, Tevfik Bultan:
Quantitative Symbolic Patch Impact Analysis. 367-390 - Andrea Bombarda, Silvia Bonfanti, César Cornejo, Angelo Gargantini, Nico Pellegrinelli:
Evaluating Coverage and Fault Detection Capability of Scenario-Based Validation of Asmeta Specifications. 391-411
Formal Semantics and Verified Tools
- Byron Cook, Remi Delmas, Zyad Hassan, Bart Jacobs, Ranjit Jhala, Rahul Kumar, Felipe R. Monteiro, Thanh Nguyen, Rebecca Rumbul, Michael Tautschnig, Celina G. Val, Carolyn Zech:
Verifying the Rust Standard Library. 415-435 - Ke Du, Anshu Sharma, Liyi Li, William Mansky:
A Formal Semantics of C with OpenMP Parallelism. 436-455 - Serra Z. Dane, Jiawei Chen, Marc Pouzet, Jean-Baptiste Jeannin:
Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types. 456-476 - Bart Jacobs:
Foundational VeriFast: Pragmatic Certification of Verification Tool Results Through Hinted Mirroring. 477-484
Aviation Safety and Collision Avoidance
- Haichuan Wang, Jay Patrikar, Sebastian A. Scherer:
World2Rules: A Neuro-Symbolic Framework for Learning World-Governing Safety Rules for Aviation. 487-505 - Frédéric Boniol, Julien Brunel, Jean-Baptiste Chaudron, Christophe Garion, Xavier Thirioux:
Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams. 506-526 - Nishant Kheterpal, J. Tanner Slagel, Elanor Tang, Serra Z. Dane, Jean-Baptiste Jeannin:
Automatic Certification of the Active Corner Method for Collision Avoidance. 527-548 - Maria C. Moreno:
Formal Runtime Verification of Avionics Systems Using Level-D Flight Simulator Data and NASA/JPL's F Prime. 549-566
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 2026-06-18 00:10 CEST 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:
