NFM 2024: 16TH NASA FORMAL METHODS SYMPOSIUM

A
Adiego, Borja Fernández	Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif
Alexander, Christopher	SMT-Based Aircraft Conflict Detection and Elimination
Ammar, Nejib	Contract-driven Runtime Adaptation
Arcak, Murat	Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
B
Baarir, Souheib	Tackling the polarity initialization problem in SAT solving using a genetic algorithm
Baiduc, Florin	Contract-driven Runtime Adaptation
Bannach, Max	Structure-guided Cube-and-conquer for MaxSAT
Belt, Jason	Integrated Contract-based Unit and System Testing for Component-based Systems
Beringer, Lennart	Verifying a C implementation of Derecho's coordination mechanism using VST and Coq
Bernardeschi, Cinzia	Towards formal verification of neural networks in cyber-physical systems
Birman, Ken	Verifying a C implementation of Derecho's coordination mechanism using VST and Coq
C
Calinescu, Radu	Robotics: A New Mission for FRET Requirements
Campion, Marco	Quantitative Input Usage Static Analysis
Chen, Pei-Wei	SMT-Based Dynamic Multi-Robot Task Allocation
Chen, Sini	Verification of Scapegoat Trees using Dafny
Cococcioni, Marco	Towards formal verification of neural networks in cyber-physical systems
Crespo, Nicolas	A Formal Verification Framework for Runtime Assurance
D
Dunkelau, Jannik	Validation of Reinforcement Learning Agents and Safety Shields with ProB
Dutheillet, Claude	Tackling the polarity initialization problem in SAT solving using a genetic algorithm
Dutle, Aaron	A Formal Verification Framework for Runtime Assurance
E
Elsayed-Aly, Ingy	Distributional Probabilistic Model Checking
F
Fainekos, Georgios	SMT-Based Dynamic Multi-Robot Task Allocation
Farrell, Marie	Robotics: A New Mission for FRET Requirements
Feng, Lu	Distributional Probabilistic Model Checking
Fink, Xaver	Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif
G
Ganlath, Akila	Contract-driven Runtime Adaptation
Gouglidis, Antonios	Real Arithmetic in TLAPM
Gunasekera, Ovini V.W.	Real Arithmetic in TLAPM
H
Hardin, David	Integrated Contract-based Unit and System Testing for Component-based Systems
Hatcliff, John	Integrated Contract-based Unit and System Testing for Component-based Systems
Hecher, Markus	Structure-guided Cube-and-conquer for MaxSAT
Howar, Falk	Tree-Based Scenario Classification. A Formal Framework for Measuring Domain Coverage when Testing Autonomous Systems
Hoxha, Bardh	SMT-Based Dynamic Multi-Robot Task Allocation
Huriot, Sacha	Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
J
Jeannin, Jean-Baptiste	Formalization of asymptotic convergence for Stationary Iterative Methods
Jung, Jean Christoph	Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries
K
Kang, Eunsuk	Contract-driven Runtime Adaptation Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
Kapoor, Parv	Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
Katis, Andreas	Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif
Kullmann, Fiona	Tree-Based Scenario Classification. A Formal Framework for Measuring Domain Coverage when Testing Autonomous Systems
L
Leuschel, Michael	Validation of Reinforcement Learning Agents and Safety Shields with ProB
M
Mann, Makai	The Control Barrier Function Toolbox
Martin, Tyler	Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
Mavridou, Anastasia	Robotics: A New Mission for FRET Requirements Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif
Mazzucato, Denis	Quantitative Input Usage Static Analysis
Meira-Goes, Romulo	Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
Meng, Baoluo	SMT-Based Aircraft Conflict Detection and Elimination
Milano, Mae	Verifying a C implementation of Derecho's coordination mechanism using VST and Coq
Miller, Joshua	Formalization of asymptotic convergence for Stationary Iterative Methods
Mishra, Shatadal	Contract-driven Runtime Adaptation
Munoz, Cesar	A Formal Verification Framework for Runtime Assurance
N
Nagasamudram, Ramana	Verifying a C implementation of Derecho's coordination mechanism using VST and Coq
Naujokat, Stefan	Tree-Based Scenario Classification. A Formal Framework for Measuring Domain Coverage when Testing Autonomous Systems
Naumann, David	Verifying a C implementation of Derecho's coordination mechanism using VST and Coq
Nedunuri, Srinivas	Model Refinement
Neider, Danel	Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries
Neurohr, Christian	Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries
O
Okamoto, Hideki	SMT-Based Dynamic Multi-Robot Task Allocation
P
P, Habeeb	Approximate Conformance Verification of Deep Neural Networks
Palmieri, Maurizio	Towards formal verification of neural networks in cyber-physical systems
Parker, David	Distributional Probabilistic Model Checking
Paul, Saswata	SMT-Based Aircraft Conflict Detection and Elimination
Prabhakar, Pavithra	Approximate Conformance Verification of Deep Neural Networks
Pressburger, Tom	Robotics: A New Mission for FRET Requirements
R
Robby,	Integrated Contract-based Unit and System Testing for Component-based Systems
Rossi, Federico	Towards formal verification of neural networks in cyber-physical systems
S
Saouli, Sabrine	Tackling the polarity initialization problem in SAT solving using a genetic algorithm
Sarnath, Ramnath	Structuring Formal Methods into the Undergraduate Computer Science Curriculum
Sastry, S. Shankar	SMT-Based Dynamic Multi-Robot Task Allocation
Schallau, Till	Tree-Based Scenario Classification. A Formal Framework for Measuring Domain Coverage when Testing Autonomous Systems
Schoer, Andrew	The Control Barrier Function Toolbox
Seshia, Sanjit A.	SMT-Based Dynamic Multi-Robot Task Allocation
Sibai, Hussein	Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
Slagel, Joseph	A Formal Verification Framework for Runtime Assurance
Smith, Douglas	Model Refinement
So, Christian	The Control Barrier Function Toolbox
Sogokon, Andrew	Real Arithmetic in TLAPM
Suri, Neeraj	Real Arithmetic in TLAPM
T
Teixeira-Dasilva, Helena	The Control Barrier Function Toolbox
Tekriwal, Mohit	Formalization of asymptotic convergence for Stationary Iterative Methods
Tripakis, Stavros	Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
Tron, Roberto	The Control Barrier Function Toolbox
Tuck, Victoria Marie	SMT-Based Dynamic Multi-Robot Task Allocation
U
Urban, Caterina	Quantitative Input Usage Static Analysis
V
Vazquez, Gricel	Robotics: A New Mission for FRET Requirements
Vu, Fabian	Validation of Reinforcement Learning Agents and Safety Shields with ProB
W
Walk, Stephen	Structuring Formal Methods into the Undergraduate Computer Science Curriculum
Wang, Jiapeng	Verification of Scapegoat Trees using Dafny
Westhofen, Lukas	Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries
White, Lauren	A Formal Verification Framework for Runtime Assurance
Z
Zhou, Yuhao	Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
Zhu, Huibiao	Verification of Scapegoat Trees using Dafny

Disclaimer | Powered by EasyChair Smart Program