NFM

Keyphrases

Publications

2023

Steffan Christ Sølvsten, Jaco van de Pol
Adiar 1.1 - Zero-Suppressed Decision Diagrams in External Memory. NFM (2023)
Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner
From the Standards to Silicon: Formally Proved Memory Controllers. NFM (2023)
Andrei Aleksandrov, Kim Völlinger
Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq. NFM (2023)
Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas Wagner, Cassidy Waldrip
A Toolkit for Automated Testing of Dafny. NFM (2023)
Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz
Learning Symbolic Timed Models from Concrete Timed Data. NFM (2023)
William L. Harrison, Ian Blumenfeld, Eric Bond, Chris Hathhorn, Paul Li, May Torrence, Jared Ziegler
Formalized High Level Synthesis with Applications to Cryptographic Hardware. NFM (2023)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Quantitative Verification and Strategy Synthesis for BDI Agents. NFM (2023)
Alberto Bombardelli, Stefano Tonetta
Reasoning with Metric Temporal Logic and Resettable Skewed Clocks. NFM (2023)
Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur, Guillaume Dupont
Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. NFM (2023)
Apurva Badithela, Josefine B. Graebener, Inigo Incer, Richard M. Murray
Reasoning over Test Specifications Using Assume-Guarantee Contracts. NFM (2023)
Cong Liu, Darren D. Cofer, Denis Osipychev
Verifying an Aircraft Collision Avoidance Neural Network with Marabou. NFM (2023)
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
A Linear Weight Transfer Rule for Local Search. NFM (2023)
Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bes, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernández Adiego
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif. NFM (2023)
Marian Qian, Stefan Mitsch
Reward Shaping from Hybrid Systems Models in Reinforcement Learning. NFM (2023)
Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse
Automata-Based Software Model Checking of Hyperproperties. NFM (2023)
Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata
Verifying Attention Robustness of Deep Neural Networks Against Semantic Perturbations. NFM (2023)
Enrico Lipparini, Stefan Ratschan
Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem. NFM (2023)
Elias Khalife, Pierre-Loïc Garoche, Mazen Farhood
Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems. NFM (2023)
Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. NFM (2023)
Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux
Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation. NFM (2023)
Alexandra Forsey-Smerek, Ho Chit Siu, Kevin Leahy
Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming. NFM (2023)
Jasper Nalbach, Erika Ábrahám
Subtropical Satisfiability for SMT Solving. NFM (2023)
Anna Fritz, Perry Alexander
A Framework for Policy Based Negotiation. NFM (2023)
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak
Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes. NFM (2023)
Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
Conservative Safety Monitors of Stochastic Dynamical Systems. NFM (2023)
Kevin Leahy, Makai Mann, Cristian-Ioan Vasile
Rewrite-Based Decomposition of Signal Temporal Logic Specifications. NFM (2023)
Thomas Robinson, Guoxin Su
Multi-objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration. NFM (2023)
Bat-Chen Rothenberg, Orna Grumberg, Yakir Vizel, Eytan Singher
Condition Synthesis Realizability via Constrained Horn Clauses. NFM (2023)
Farzaneh Moradkhani, Connor Fibich, Martin Fränzle
Verification of LSTM Neural Networks with Non-linear Activation Functions. NFM (2023)

volume 13903, 2023

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

2022

volume 13260, 2022

NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings NFM 13260 (2022)