NASA Logo, National Aeronautics and Space Administration

List of NFM2020 Accepted Papers

  • "A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata," Carina Pilch, Maurice Krause, Anne Remke, and Erika Ábrahám
  • "A Validation Methodology for OCaml-PVS Translation," Xiaoxin An, Amer Tahat, and Binoy Ravindran
  • "Automated Requirements-Based Testing of Black-Box Reactive Systems," Massimo Narizzano, Luca Pulina, Armando Tacchella, and Simone Vuotto
  • "Benchmarking Software Model Checkers in Automotive Code," Lukas Westhofen, Philipp Berger, and Joost-Pieter Katoen
  • "Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches," Zhenya Zhang, Paolo Arcaini, and Ichiro Hasuo
  • "Constraint Caching Revisited," Jan Taljaard, Willem Visser, and Jaco Geldenhuys
  • "Falsification of Cyber-Physical Systems with Constrained Signal Spaces," Benoit Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James Kapinski, and Tomoya Yamaguchi
  • "Formal Verification of Parallel Prefix Sum," Mohsen Safari, Wytse Oortwijn, Sebastiaan Joosten, and Marieke Huisman
  • "From Passive to Active: Learning Timed Automata Efficiently," Bernhard K. Aichernig, Andrea Pferscher, and Martin Tappler
  • "Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs," Si Liu, Atul Sandur, Jose Meseguer, Peter Ölveczky, and Qi Wang
  • "Heterogeneous Verification of an Autonomous Curiosity Rover," Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, and Michael Fisher
  • "hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions," Jannik Hüls, Henner Niehaus, and Anne Remke
  • "Model Checking Timed Hyperproperties in Discrete-Time Systems," Borzoo Bonakdarpour, Pavithra Prabhakar, and Cesar Sanchez
  • "Neural Simplex Architecture," Dung Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott Smolka, and Scott Stoller
  • "On the Usefulness of Clause Strengthening in Parallel SAT Solving," Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, and Fabrice Kordon
  • "Parameter Synthesis and Robustness Analysis of Rule-Based Models," Matej Troják, David Šafránek, Lukrécia Mertová, and Lubos Brim
  • "PaRoT: A Practical Framework for Robust Deep Neural Network Training," Edward Ayers, Francisco Eiras, Majd Hawasly, and Iain Whiteside,
  • "Per-Location Simulation," Liyi Li and Elsa Gunter
  • "Run-Time Assurance for Learning-Enabled Systems," Darren Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, and Sanjai Rayadurgam
  • "Sampling Distributed Schedulers for Resilient Space Communication," Pedro R. D'Argenio, Juan A. Fraire, and Arnd Hartmanns
  • "Simplifying Neural Networks using Formal Verification," Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark Barrett, and Guy Katz
  • "Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking," Vassil Todorov, Safouan Taha, and Frédéric Boulanger
  • "Strenghtening Deterministic Policies for POMDPs," Leonore Winterer, Ralf Wimmer, Nils Jansen, and Bernd Becker
  • "Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL," Ralph Bottesch, Max W. Haslbeck, Alban Reynaud, and René Thiemann
  • "Verifying Band Convergence for Sampled Control Systems," Ezudheen P, Zahra Rahimi Afzal, Pavithra Prabhakar, Deepak D'Souza, and Meenakshi D'Souza
First Gov logo
NASA Logo -