default search action
16th NFM 2024: Moffett Field, CA, USA
- Nathaniel Benz, Divya Gopinath
, Nija Shi:
NASA Formal Methods - 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings. Lecture Notes in Computer Science 14627, Springer 2024, ISBN 978-3-031-60697-7
Advances in Solver Technology
- Max Bannach
Structure-Guided Cube-and-Conquer for MaxSAT. 3-20 - Sabrine Saouli, Souheib Baarir, Claude Dutheillet:
Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm. 21-36 - Mohit Tekriwal
Formalization of Asymptotic Convergence for Stationary Iterative Methods. 37-56 - Ingy Elsayed-Aly
Distributional Probabilistic Model Checking. 57-75
Formal Methods for Program Analysis and Verification
- Denis Mazzucato
Quantitative Input Usage Static Analysis. 79-98 - Ramana Nagasamudram
Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq. 99-117 - Jiapeng Wang
Verification of Scapegoat Trees Using Dafny. 118-135 - Ovini V. W. Gunasekera
Real Arithmetic in TLAPM. 136-143
SMT-Based Assurance of Behavioral Specifications
- Douglas R. Smith, Srinivas Nedunuri:
Deductive Model Refinement. 147-165 - Hussein Sibai, Sacha Huriot, Tyler Martin, Murat Arcak:
Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. 166-185 - Saswata Paul
SMT-Based Aircraft Conflict Detection and Resolution. 186-203
Formal Methods for Learning-Enabled Systems
- Federico Rossi
Towards Formal Verification of Neural Networks in Cyber-Physical Systems. 207-222 - Habeeb P, Pavithra Prabhakar:
Approximate Conformance Verification of Deep Neural Networks. 223-238 - Yuhao Zhou
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems. 239-255
Formal Methods for Automotive Systems
- Till Schallau
Tree-Based Scenario Classification - A Formal Framework for Measuring Domain Coverage When Testing Autonomous Systems. 259-278 - Fabian Vu
Validation of Reinforcement Learning Agents and Safety Shields with ProB. 279-297 - Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Florin Baiduc, Nejib Ammar:
Contract-Driven Runtime Adaptation. 298-313 - Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider:
Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries. 314-321 - J. Tanner Slagel, Lauren M. White, Aaron Dutle, César A. Muñoz, Nicolas Crespo:
A Formal Verification Framework for Runtime Assurance. 322-328
Formal Methods for Robotics
- 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. 331-351 - Andrew Schoer
Control Barrier Function Toolbox: An Extensible Framework for Provable Safety. 352-358 - Gricel Vázquez
Robotics: A New Mission for FRET Requirements. 359-376 - Parv Kapoor, Eunsuk Kang, Rômulo Meira-Góes:
Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications. 377-396
Formal Methods for Software Engineering
- Sarnath Ramnath
Structuring Formal Methods into the Undergraduate Computer Science Curriculum. 399-405 - John Hatcliff, Jason Belt, Robby, David S. Hardin:
Integrated Contract-Based Unit and System Testing for Component-Based Systems. 406-426 - Xaver Fink
Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif. 427-435
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-15 19:44 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: