default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th 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, Markus Hecher:
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, Joshua Miller, Jean-Baptiste Jeannin:
Formalization of Asymptotic Convergence for Stationary Iterative Methods. 37-56 - Ingy Elsayed-Aly, David Parker, Lu Feng:
Distributional Probabilistic Model Checking. 57-75
Formal Methods for Program Analysis and Verification
- Denis Mazzucato, Marco Campion, Caterina Urban:
Quantitative Input Usage Static Analysis. 79-98 - Ramana Nagasamudram, Lennart Beringer, Ken Birman, Mae Milano, David A. Naumann:
Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq. 99-117 - Jiapeng Wang, Sini Chen, Huibiao Zhu:
Verification of Scapegoat Trees Using Dafny. 118-135 - Ovini V. W. Gunasekera, Andrew Sogokon, Antonios Gouglidis, Neeraj Suri:
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, Baoluo Meng, Christopher C. Alexander:
SMT-Based Aircraft Conflict Detection and Resolution. 186-203
Formal Methods for Learning-Enabled Systems
- Federico Rossi, Cinzia Bernardeschi, Marco Cococcioni, Maurizio Palmieri:
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, Stavros Tripakis:
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems. 239-255
Formal Methods for Automotive Systems
- Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar:
Tree-Based Scenario Classification - A Formal Framework for Measuring Domain Coverage When Testing Autonomous Systems. 259-278 - Fabian Vu, Jannik Dunkelau, Michael Leuschel:
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, Helena Teixeira-Dasilva, Christian So, Makai Mann, Roberto Tron:
Control Barrier Function Toolbox: An Extensible Framework for Provable Safety. 352-358 - Gricel Vázquez, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu:
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, Stephen Walk:
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, Anastasia Mavridou, Andreas Katis, Borja Fernández Adiego:
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 2026-08-07 21:53 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
