NFM

Keyphrases

Publications

2024

Sabrine Saouli, Souheib Baarir, Claude Dutheillet
Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm. NFM (2024)
Jiapeng Wang, Sini Chen, Huibiao Zhu
Verification of Scapegoat Trees Using Dafny. NFM (2024)
Hussein Sibai, Sacha Huriot, Tyler Martin, Murat Arcak
Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. NFM (2024)
Douglas R. Smith, Srinivas Nedunuri
Deductive Model Refinement. NFM (2024)
Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin
Formalization of Asymptotic Convergence for Stationary Iterative Methods. NFM (2024)
Sarnath Ramnath, Stephen Walk
Structuring Formal Methods into the Undergraduate Computer Science Curriculum. NFM (2024)
J. Tanner Slagel, Lauren M. White, Aaron Dutle, César A. Muñoz, Nicolas Crespo
A Formal Verification Framework for Runtime Assurance. NFM (2024)
John Hatcliff, Jason Belt, Robby, David S. Hardin
Integrated Contract-Based Unit and System Testing for Component-Based Systems. NFM (2024)
Federico Rossi, Cinzia Bernardeschi, Marco Cococcioni, Maurizio Palmieri
Towards Formal Verification of Neural Networks in Cyber-Physical Systems. NFM (2024)
Max Bannach, Markus Hecher
Structure-Guided Cube-and-Conquer for MaxSAT. NFM (2024)
Ingy Elsayed-Aly, David Parker, Lu Feng
Distributional Probabilistic Model Checking. NFM (2024)
Habeeb P, Pavithra Prabhakar
Approximate Conformance Verification of Deep Neural Networks. NFM (2024)
Denis Mazzucato, Marco Campion, Caterina Urban
Quantitative Input Usage Static Analysis. NFM (2024)
Ovini V. W. Gunasekera, Andrew Sogokon, Antonios Gouglidis, Neeraj Suri
Real Arithmetic in TLAPM. NFM (2024)
Saswata Paul, Baoluo Meng, Christopher C. Alexander
SMT-Based Aircraft Conflict Detection and Resolution. NFM (2024)
Parv Kapoor, Eunsuk Kang, Rômulo Meira-Góes
Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications. NFM (2024)
Andrew Schoer, Helena Teixeira-Dasilva, Christian So, Makai Mann, Roberto Tron
Control Barrier Function Toolbox: An Extensible Framework for Provable Safety. NFM (2024)
Gricel Vázquez, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu
Robotics: A New Mission for FRET Requirements. NFM (2024)
Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider
Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries. NFM (2024)
Ramana Nagasamudram, Lennart Beringer, Ken Birman, Mae Milano, David A. Naumann
Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq. NFM (2024)
Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar
Tree-Based Scenario Classification - A Formal Framework for Measuring Domain Coverage When Testing Autonomous Systems. NFM (2024)
Xaver Fink, Anastasia Mavridou, Andreas Katis, Borja Fernández Adiego
Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif. NFM (2024)
Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Florin Baiduc, Nejib Ammar
Contract-Driven Runtime Adaptation. NFM (2024)
Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
SMT-Based Dynamic Multi-Robot Task Allocation. NFM (2024)
Yuhao Zhou, Stavros Tripakis
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems. NFM (2024)
Fabian Vu, Jannik Dunkelau, Michael Leuschel
Validation of Reinforcement Learning Agents and Safety Shields with ProB. NFM (2024)

volume 14627, 2024

NASA Formal Methods - 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings NFM 14627 (2024)

2023

volume 13903, 2023

NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings NFM 13903 (2023)