Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Andrei Aleksandrov, Kim Völlinger |
Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Farzaneh Moradkhani, Connor Fibich, Martin Fränzle |
Verification of LSTM Neural Networks with Non-linear Activation Functions. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Leahy 0001, Makai Mann, Cristian-Ioan Vasile |
Rewrite-Based Decomposition of Signal Temporal Logic Specifications. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bat-Chen Rothenberg, Orna Grumberg, Yakir Vizel, Eytan Singher |
Condition Synthesis Realizability via Constrained Horn Clauses. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Elias Khalife, Pierre-Loïc Garoche, Mazen Farhood |
Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Anna Fritz, Perry Alexander |
A Framework for Policy Based Negotiation. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Kochdumper, Christian Schilling 0001, Matthias Althoff, Stanley Bak |
Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Robinson, Guoxin Su |
Multi-objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Apurva Badithela, Josefine B. Graebener, Inigo Incer, Richard M. Murray |
Reasoning over Test Specifications Using Assume-Guarantee Contracts. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Forsey-Smerek, Ho Chit Siu, Kevin Leahy 0001 |
Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Bombardelli, Stefano Tonetta |
Reasoning with Metric Temporal Logic and Resettable Skewed Clocks. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Peter Riviere, Neeraj Kumar Singh 0001, Yamine Aït Ameur, Guillaume Dupont |
Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel |
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner |
From the Standards to Silicon: Formally Proved Memory Controllers. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu |
Quantitative Verification and Strategy Synthesis for BDI Agents. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux |
Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jasper Nalbach, Erika Ábrahám |
Subtropical Satisfiability for SMT Solving. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Cleaveland, Oleg Sokolsky, Insup Lee 0001, Ivan Ruchkin |
Conservative Safety Monitors of Stochastic Dynamical Systems. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Steffan Christ Sølvsten, Jaco van de Pol |
Adiar 1.1 - Zero-Suppressed Decision Diagrams in External Memory. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kristin Yvonne Rozier, Swarat Chaudhuri (eds.) |
NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Lipparini, Stefan Ratschan |
Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Cong Liu, Darren D. Cofer, Denis Osipychev |
Verifying an Aircraft Collision Avoidance Neural Network with Marabou. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marian Qian, Stefan Mitsch |
Reward Shaping from Hybrid Systems Models in Reinforcement Learning. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse |
Automata-Based Software Model Checking of Hyperproperties. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule |
A Linear Weight Transfer Rule for Local Search. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto 0002, Kazuki Munakata |
Verifying Attention Robustness of Deep Neural Networks Against Semantic Perturbations. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dines Bjørner |
An Essence of Domain Engineering - A Basis for Trustworthy Aeronautics and Space Software. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Zachary Luppen, Michael Jacks, Nathan Baughman, Muhamed Stilic, Ryan Nasers, Benjamin Hertz, James W. Cutler, Dae Young Lee, Kristin Yvonne Rozier |
Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ulices Santa Cruz, Yasser Shoukry |
NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva |
Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Stanley Bak, Hoang-Dung Tran |
Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yue Meng, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan |
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jad Hamza, Simon Felix, Viktor Kuncak, Ivo Nussbaumer, Filip Schramka |
From Verified Scala to STIX File System Embedded Code Using Stainless. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Gorostiaga, César Sánchez 0001 |
Monitorability of Expressive Verdicts. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo |
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Johan Arcile, Étienne André |
Zone Extrapolations in Parametric Timed Automata. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling |
Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
Hypercontracts. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren D. Cofer, Eric Mercer |
Assume-Guarantee Reasoning with Scheduled Components. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Steve A. Chien |
Formal Methods for Trusted Space Autonomy: Boon or Bane? |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier |
Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Julia Lawall, Gilles Muller |
Automating Program Transformation with Coccinelle. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Basgöze, Matthias Volk 0001, Joost-Pieter Katoen, Shahid Khan 0002, Mariëlle Stoelinga |
BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Xaver Fink, Philipp Berger 0002, Joost-Pieter Katoen |
Configurable Benchmarks for C Model Checkers. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Xin Chen 0002, Sriram Sankaranarayanan 0001 |
Reachability Analysis for Cyber-Physical Systems: Are We There Yet? |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Josefine Graebener, Apurva Badithela, Richard M. Murray |
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systemsđagger . |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoxin An, Freek Verbeek, Binoy Ravindran |
DSV: Disassembly Soundness Validation Without Assuming a Ground Truth. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Paul C. Attie |
Operational Annotations - A New Method for Sequential Program Verification. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Pferscher, Bernhard K. Aichernig |
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christopher A. Strong, Sydney M. Katz, Anthony L. Corso, Mykel J. Kochenderfer |
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Satya Prakash Nayak, Daniel Neider, Rajarshi Roy 0002, Martin Zimmermann 0002 |
Robust Computation Tree Logic. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Bombardelli, Stefano Tonetta |
Asynchronous Composition of Local Interface LTL Properties. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Vytautas Astrauskas, Aurel Bílý, Jonás Fiala, Zachary Grannan, Christoph Matheja, Peter Müller 0001, Federico Poli 0001, Alexander J. Summers |
The Prusti Project: Formal Verification for Rust. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Timothy E. Wang, Zamira Daw, Pierluigi Nuzzo 0002, Alessandro Pinto |
Hierarchical Contract-Based Synthesis for Assurance Cases. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Edoardo Bacci, David Parker 0001 |
Verified Probabilistic Policies for Deep Reinforcement Learning. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Jackson 0001 |
Concept Design Moves. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ruiyang Xu, Karl J. Lieberherr |
On-the-Fly Model Checking with Neural MCTS. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott A. Smolka, Scott D. Stoller |
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martin Tappler, Bernhard K. Aichernig, Florian Lorber |
Timed Automata Learning via SMT Solving. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour |
Probabilistic Hyperproperties with Rewards. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lieuwe Vinkhuijzen, Alfons Laarman |
The Power of Disjoint Support Decompositions in Decision Diagrams. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Diganta Mukhopadhyay, Kumar Madhukar, Mandayam K. Srivas |
Permutation Invariance of Deep Neural Networks with ReLUs. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez 0001 (eds.) |
NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | James Noble 0001, David Streader, Isaac Oscar Gariano, Miniruwani Samarakoon |
More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan |
Towards Refactoring FRETish Requirements. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Étienne Payet, David J. Pearce 0001, Fausto Spoto |
On the Termination of Borrow Checking in Featherweight Rust. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Kenny Ballou, Elena Sherman |
Incremental Transitive Closure for Zonal Abstract Domain. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Ishii, Takashi Tomita, Toshiaki Aoki |
Approximate Translation from Floating-Point to Real-Interval Arithmetic. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Devesh Bhatt, Hao Ren 0004, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan, Natarajan Shankar |
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Masci 0001, Aaron Dutle |
Proof Mate: An Interactive Proof Helper for PVS (Tool Paper). |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michal Konecný, Sewon Park 0001, Holger Thies |
Certified Computation of Nondeterministic Limits. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Holger Hermanns, Gilles Nies |
Quantification of Battery Depletion Risk Made Efficient. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Shahid Khan 0002, Joost-Pieter Katoen, Matthias Volk 0001, Marc Bouissou |
Scalable Reliability Analysis by Lazy Verification. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stanley Bak |
nnenum: Verification of ReLU Neural Networks with Optimized Abstraction Refinement. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar S. Dimovski, Sven Apel, Axel Legay |
Program Sketching Using Lifted Analysis for Numerical Program Families. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Freark I. van der Berg |
Recursive Variable-Length State Compression for Multi-core Software Model Checking. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thom S. Badings, Arnd Hartmanns, Nils Jansen 0001, Marnix Suilen |
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem |
Online Shielding for Stochastic Systems. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Westphal |
Quasi-Equal Clock Reduction On-the-Fly. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki 0001, Fuyuki Ishikawa, Shin-ya Katsumata |
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher 0001 |
Integrating Formal Verification and Assurance: An Inspection Rover Case Study. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin |
A Formal Proof of the Lax Equivalence Theorem for Finite Difference Schemes. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ben L. Di Vito, Ashlie B. Hocking |
Polygon Merge: A Geometric Algorithm Verified Using PVS. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Hertz, Zachary Luppen, Kristin Yvonne Rozier |
Integrating Runtime Verification into a Sounding Rocket Control System. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Weigl, Mattias Ulbrich, Shmuel S. Tyszberowicz, Jonas Klamroth |
Runtime Verification of Generalized Test Tables. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aman Goel, Karem A. Sakallah |
On Symmetry and Quantification: A New Approach to Verify Distributed Protocols. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lucien Rakotomalala, Pierre Roux, Marc Boyer |
Verifying Min-Plus Computations with Coq. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma 0003, Ichiro Hasuo, Jianjun Zhao 0001 |
On the Effectiveness of Signal Rescaling in Hybrid System Falsification. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez 0001 (eds.) |
NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Efficient Verification of Optimized Code - Correct High-Speed X25519. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Suda Bharadwaj, Tichakorn Wongpiromsarn, Natasha A. Neogi, Joseph Muffoletto, Ufuk Topcu |
Minimum-Violation Traffic Management for Urban Air Mobility. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Adam Petz, Perry Alexander |
An Infrastructure for Faithful Execution of Remote Attestation Protocols. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jae-Won Jang, Freek Verbeek, Binoy Ravindran |
Verification of Functional Correctness of Code Diversification Techniques. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Gideon Geier, Noemi Passing |
Specification Decomposition for Reactive Synthesis. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Brett Decker, Benjamin Winters, Eric Mercer |
Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela |
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|