16th NASA Formal Methods Symposium June 4-6

The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry.

Updates

NFM 2024 has now concluded. Thanks to all participants for making this a successful conference! (6/7/24)

Social events and lunch options announced (5/31/24)

Registration for all foreign nationals who want to attend the symposium physically is now closed due to the time it takes to process each visitor request. Registration is still open for US persons to attend physically and anyone who wants to attend virtually. Please note that a visa to the US is no longer required for foreign nationals to attend the symposium virtually. Please follow this link to register. (5/15/2024)

NFM Schedule is now available (4/17/2024)

Keynote talks announced (4/5/24)

Please check out more information about the venue (3/8/24)

Registration now open (2/26/24)

Notification Date Extended (2/17/24)

Notifications will be sent out on February 18

FAQ page available for your questions (12/5/23)

Submission Deadlines Extended (12/1/23)

  • Abstract Submission: December 8
  • Full Paper Submission: December 15

Updated CFP with NFM Policy on use of Generative AI (10/30/23)

NFM prohibits the use of generative AI to create the textual narrative of the paper. However, the use of generative AI to create examples (such as text, tables, graphics, and code) that support the paper is permitted, but this must be disclosed in the paper. Basic word processing systems that recommend and insert replacement text, perform spelling or grammar checks and corrections, or systems that do language translations need not be disclosed in the paper.

CFP PDF Download Call for Papers PDF

Highlights

Supporters
Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 4 Jun

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:00
Keynote Talk #1NFM 2024 at Ballroom
Chair(s): Nathan Benz NASA Ames Research Center
09:00
60m
Keynote
Autonomy Challenges for Future NASA Science and Exploration MissionsKeynote
NFM 2024
Butler Hine NASA Ames Research Center
10:30 - 12:30
Advances in Solver Technology NFM 2024 at Ballroom
Chair(s): Ivan Perez NASA Ames Research Center
10:30
25m
Talk
Structure-guided Cube-and-conquer for MaxSAT
NFM 2024
Max Bannach European Space Agency, Advanced Concepts Team, Markus Hecher MIT
10:55
25m
Talk
Tackling the polarity initialization problem in SAT solving using a genetic algorithm
NFM 2024
Sabrine Saouli Sorbonne Université (LIP6), Souheib Baarir EPITA (LRE), Claude Dutheillet LIP6 Universite Pierre et Marie Curie
11:20
25m
Talk
Formalization of asymptotic convergence for Stationary Iterative Methods
NFM 2024
Mohit Tekriwal Lawrence Livermore National Laboratory, Joshua Miller University of Michigan, Ann Arbor, Jean-Baptiste Jeannin University of Michigan at Ann Arbor
11:45
25m
Talk
Distributional Probabilistic Model Checking
NFM 2024
Ingy Elsayed-Aly University of Virginia, David Parker University of Oxford, Lu Feng University of Virginia
12:30 - 14:00
Lunch BreakNFM 2024 at Ballroom
12:30
90m
Lunch
Lunch Break
NFM 2024

14:00 - 15:30
FM for Program Analysis and Verification NFM 2024 at Ballroom
Chair(s): Douglas Smith Kestrel Institute
14:00
25m
Talk
Quantitative Input Usage Static Analysis
NFM 2024
Denis Mazzucato INRIA & École Normale Supérieure | Université PSL, Marco Campion INRIA & École Normale Supérieure | Université PSL, Caterina Urban Inria & École Normale Supérieure | Université PSL
14:25
25m
Talk
Verifying a C implementation of Derecho's coordination mechanism using VST and Coq
NFM 2024
Ramana Nagasamudram Stevens Institute of Technology, Lennart Beringer Princeton University, Ken Birman Cornell University, Mae Milano Princeton University, David Naumann Stevens Institute of Technology
14:50
25m
Talk
Verification of Scapegoat Trees using Dafny
NFM 2024
Jiapeng Wang East China Normal University, Sini Chen East China Normal University, Huibiao Zhu East China Normal University
15:15
15m
Talk
Real Arithmetic in TLAPM
NFM 2024
Ovini V.W. Gunasekera Lancaster University, Andrew Sogokon Lancaster University, Antonios Gouglidis Lancaster University, Neeraj Suri
15:30 - 16:00
Afternoon BreakNFM 2024
15:30
30m
Break
Afternoon Break
NFM 2024

16:00 - 17:30
SMT-based Assurance of Behavioral SpecificationsNFM 2024 at Ballroom
Chair(s): Kristin Yvonne Rozier Iowa State University
16:00
25m
Talk
Model Refinement
NFM 2024
Douglas Smith Kestrel Institute, Srinivas Nedunuri Sandia National Laboratories
16:25
25m
Talk
Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
NFM 2024
Hussein Sibai Washington University in St. Louis, Sacha Huriot Washington University in St. Louis, Tyler Martin Washington University in St. Louis, Murat Arcak University of California, Berkeley
16:50
25m
Talk
SMT-Based Aircraft Conflict Detection and Elimination
NFM 2024
Saswata Paul GE Research, Baoluo Meng GE Research, Christopher Alexander GE Research

Wed 5 Jun

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:00
Keynote Talk #2NFM 2024 at Ballroom
Chair(s): Divya Gopinath NASA Ames (KBR Inc.)
09:00
60m
Keynote
Formal Verification and Run-time Monitoring for Learning-Enabled Autonomous SystemsKeynote
NFM 2024
Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
10:00 - 10:30
Morning BreakNFM 2024 at Ballroom
10:00
30m
Coffee break
Morning Break
NFM 2024

10:30 - 11:45
FM for Learning-enabled Systems NFM 2024 at Ballroom
Chair(s): Misty Davies NASA
10:30
25m
Talk
Towards formal verification of neural networks in cyber-physical systems
NFM 2024
Federico Rossi Università di Pisa, Dipartimento di Ingegneria dell'Informazione, Cinzia Bernardeshi Università di Pisa, Dipartimento di Ingegneria dell'Informazione, Marco Cococcioni Università di Pisa, Dipartimento di Ingegneria dell'Informazione, Maurizio Palmieri Università di Pisa, Dipartimento di Ingegneria dell'Informazione
10:55
25m
Talk
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
NFM 2024
Yuhao Zhou , Stavros Tripakis Northeastern University
11:20
25m
Talk
Approximate Conformance Verification of Deep Neural Networks
NFM 2024
Habeeb P Indian Institute of Science, Bangalore., Pavithra Prabhakar Kansas State University
11:45 - 12:20
Tools Lightning SessionNFM 2024 at Ballroom
Chair(s): Nija Shi NASA Ames Research Center

Participants in the Tools Demonstration Session will give a 5 minute lightning talk to introduce their tools.

11:45
35m
Talk
Tools Lightning Talks
NFM 2024
Lukas Westhofen DLR e.V. Institute of Systems Engineering for Future Mobility, Ovini V.W. Gunasekera Lancaster University, Andrew Schoer MIT Lincoln Laboratory, Xaver Fink CERN, Andreas Katis KBR / NASA Ames Research Center, Victoria Marie Tuck University of California, Berkeley, Federico Rossi Università di Pisa, Dipartimento di Ingegneria dell'Informazione
12:30 - 14:00
Lunch BreakNFM 2024 at Ballroom
12:30
90m
Lunch
Lunch Break
NFM 2024

14:00 - 15:30
PanelNFM 2024 at Ballroom
Chair(s): Guillaume P. Brat NASA Ames Research Center

The panel will discuss challenges associated with the verification and validation (V&V) of machine learning components in critical systems in domains including aviation, automotive, space, and many others.

14:00
90m
Panel
Panel: Trusted Autonomy for Space and Aviation
NFM 2024
Guillaume P. Brat NASA Ames Research Center, Huafeng Yu U.S. Department of Transportation, Darren Cofer Collins Aerospace, Marco Pavone Stanford, Jean-Guillaume Durand Xwing
15:30 - 16:00
Afternoon BreakNFM 2024
15:30
30m
Break
Afternoon Break
NFM 2024

16:00 - 17:30
Tool Demonstration SessionNFM 2024 at Showroom
Chair(s): Nija Shi NASA Ames Research Center
16:00
90m
Demonstration
Tool Demonstration Session
NFM 2024
Nija Shi NASA Ames Research Center, Lukas Westhofen DLR e.V. Institute of Systems Engineering for Future Mobility, Ovini V.W. Gunasekera Lancaster University, Andrew Schoer MIT Lincoln Laboratory, Xaver Fink CERN, Andreas Katis KBR / NASA Ames Research Center, Victoria Marie Tuck University of California, Berkeley, Federico Rossi Università di Pisa, Dipartimento di Ingegneria dell'Informazione

Thu 6 Jun

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:00
Keynote Talk #3NFM 2024 at Ballroom
Chair(s): Nija Shi NASA Ames Research Center
09:00
60m
Keynote
Safety under uncertainty: Automotive standards for AI safety and research perspectivesKeynote
NFM 2024
Simon Burton Centre for Assuring Autonomy, University of York, UK
10:00 - 10:30
Morning BreakNFM 2024 at Ballroom
10:00
30m
Coffee break
Morning Break
NFM 2024

10:30 - 12:30
FM for Automotive SystemsNFM 2024 at Ballroom
Chair(s): Michael R. Lowry NASA Ames Research Center
10:30
25m
Talk
Tree-Based Scenario Classification. A Formal Framework for Measuring Domain Coverage when Testing Autonomous Systems
NFM 2024
Till Schallau TU Dortmund University, Stefan Naujokat TU Dortmund University, Fiona Kullmann TU Dortmund University, Falk Howar TU Dortmund University
10:55
25m
Talk
Validation of Reinforcement Learning Agents and Safety Shields with ProB
NFM 2024
Fabian Vu Heinrich-Heine-Universität, Jannik Dunkelau Heinrich-Heine-Universität, Michael Leuschel University of Düsseldorf
11:20
25m
Talk
Contract-driven Runtime Adaptation
NFM 2024
Eunsuk Kang Carnegie Mellon University, Akila Ganlath Toyota InfoTech Labs, Shatadal Mishra Toyota Motor North America R&D, InfoTech Labs, Florin Baiduc Woven by Toyota, Inc., Nejib Ammar Toyota Motor North America R&D, InfoTech Labs
11:45
15m
Talk
Topplet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries
NFM 2024
Lukas Westhofen DLR e.V. Institute of Systems Engineering for Future Mobility, Christian Neurohr DLR e.V. Institute of Systems Engineering for Future Mobility, Danel Neider TU Dortmund University, Jean Christoph Jung TU Dortmund University
12:00
15m
Talk
A Formal Verification Framework for Runtime Assurance
NFM 2024
J Tanner Slagel NASA Langley Research Center, Lauren White NASA, Aaron Dutle NASA Langley Research Center, Cesar Munoz NASA, Nicolas Crespo NASA
12:30 - 14:00
Lunch BreakNFM 2024 at Ballroom
12:30
90m
Lunch
Lunch Break
NFM 2024

14:00 - 15:30
FM for RoboticsNFM 2024 at Ballroom
Chair(s): Johann Schumann KBR / NASA
14:00
25m
Talk
Robotics: A New Mission for FRET Requirements
NFM 2024
Gricel Vázquez University of York, UK, Anastasia Mavridou KBR / NASA Ames Research Center, Marie Farrell The University of Manchester, Thomas Pressburger NASA Ames Research Center, Radu Calinescu University of York, UK
14:25
15m
Talk
The Control Barrier Function Toolbox
NFM 2024
Andrew Schoer MIT Lincoln Laboratory, Helena Teixeira-Dasilva Washington University in St. Louis, Christian So Boston University, Makai Mann MIT Lincoln Laboratory, Roberto Tron Boston University
14:40
25m
Talk
SMT-Based Dynamic Multi-Robot Task Allocation
NFM 2024
Victoria Marie Tuck University of California, Berkeley, Pei-Wei Chen University of California, Berkeley, Georgios Fainekos Toyota Research Institute of North America, Bardh Hoxha Toyota Motor North America, Research & Development, Hideki Okamoto Toyota Motor North America, Research & Development, S. Shankar Sastry University of California, Berkeley, Sanjit A. Seshia University of California at Berkeley
15:05
25m
Talk
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
NFM 2024
Parv Kapoor Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University, Romulo Meira-Goes The Pennsylvania State University
15:30 - 16:00
Afternoon BreakNFM 2024
15:30
30m
Break
Afternoon Break
NFM 2024

16:00 - 16:55
FM for Software EngineeringNFM 2024 at Ballroom
Chair(s): Sandy Lozito NASA Ames Research Center
16:00
15m
Talk
Structuring Formal Methods into the Undergraduate Computer Science Curriculum
NFM 2024
16:15
25m
Talk
Integrated Contract-based Unit and System Testing for Component-based Systems
NFM 2024
John Hatcliff Kansas State University, Jason Belt Kansas State University, Robby Kansas State University, David Hardin Collins Aerospace
16:40
15m
Talk
Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif
NFM 2024
Xaver Fink CERN, Anastasia Mavridou KBR / NASA Ames Research Center, Andreas Katis KBR / NASA Ames Research Center, Borja Fernandez Adiego CERN
16:55 - 17:10
Closing Session / NFM 2025NFM 2024 at Ballroom
Chair(s): Nathan Benz NASA Ames Research Center, Divya Gopinath NASA Ames (KBR Inc.), Nija Shi NASA Ames Research Center
16:55
15m
Day closing
Closing Session / NFM 2025
NFM 2024

Not scheduled yet

Not scheduled yet
Day opening
Safety Briefing
NFM 2024

Events

Title
A Formal Verification Framework for Runtime Assurance
NFM 2024
Afternoon Break
NFM 2024

Approximate Conformance Verification of Deep Neural Networks
NFM 2024
Autonomy Challenges for Future NASA Science and Exploration MissionsKeynote
NFM 2024
Closing Session / NFM 2025
NFM 2024

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
NFM 2024
Contract-driven Runtime Adaptation
NFM 2024
Distributional Probabilistic Model Checking
NFM 2024
Formalization of asymptotic convergence for Stationary Iterative Methods
NFM 2024
Formal Verification and Run-time Monitoring for Learning-Enabled Autonomous SystemsKeynote
NFM 2024
Integrated Contract-based Unit and System Testing for Component-based Systems
NFM 2024
Lunch Break
NFM 2024

Model Refinement
NFM 2024
Morning Break
NFM 2024

Quantitative Input Usage Static Analysis
NFM 2024
Real Arithmetic in TLAPM
NFM 2024
Robotics: A New Mission for FRET Requirements
NFM 2024
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
NFM 2024
Safety under uncertainty: Automotive standards for AI safety and research perspectivesKeynote
NFM 2024
SMT-Based Aircraft Conflict Detection and Elimination
NFM 2024
SMT-Based Dynamic Multi-Robot Task Allocation
NFM 2024
Structure-guided Cube-and-conquer for MaxSAT
NFM 2024
Structuring Formal Methods into the Undergraduate Computer Science Curriculum
NFM 2024
Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
NFM 2024
Tackling the polarity initialization problem in SAT solving using a genetic algorithm
NFM 2024
The Control Barrier Function Toolbox
NFM 2024
Tool Demonstration Session
NFM 2024
Tools Lightning Talks
NFM 2024
Topplet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries
NFM 2024
Towards formal verification of neural networks in cyber-physical systems
NFM 2024
Tree-Based Scenario Classification. A Formal Framework for Measuring Domain Coverage when Testing Autonomous Systems
NFM 2024
Validation of Reinforcement Learning Agents and Safety Shields with ProB
NFM 2024
Verification of Scapegoat Trees using Dafny
NFM 2024
Verifying a C implementation of Derecho's coordination mechanism using VST and Coq
NFM 2024
Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif
NFM 2024
Welcome from NASA Leadership / Dave Alfano, Chief of Intelligent Systems Division
NFM 2024

Welcome from NFM Chairs
NFM 2024

Call for Papers

CFP PDF Download Call for Papers PDF

Theme of the Symposium

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced technologies to address their specification, design, verification, validation, and certification processes. For example, there is an increasing need for autonomous systems in deep space missions including NASA’s Moon to Mars exploration plans. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. The focus of this symposium is on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems. This year’s symposium extends the focus to safety assurance of machine learning enabled autonomous systems, formal methods for digital transformation, and accessibility for new industries.

Topics of Interest

Advances in Formal Methods

  • Formal verification, model checking, and static analysis
  • Interactive and automated theorem proving
  • Program and specification synthesis, code transformation and generation
  • Run-time verification and test case generation
  • Techniques and algorithms for scaling formal methods
  • Design for verification and correct-by-design techniques
  • Requirements generation, specification, and validation

Integration of Formal Methods

  • Use of machine learning techniques in formal methods
  • Integration of formal methods and software engineering
  • Integration of diverse formal methods techniques
  • Combination of formal methods with simulation and analysis techniques

Formal Methods in Practice

  • Experience reports of application of formal methods in industry
  • Use of formal methods in education
  • Applications of formal methods in:
    • concurrent and distributed systems
    • fault-detection, diagnostics, and prognostics systems
    • human-machine interaction analysis

Safety Assurance of Autonomous Systems

  • Verification of machine learning (ML) enabled systems
  • Runtime monitoring or model checking to ensure safe operation
  • Formal specifications and modeling of ML enabled systems
  • Case-studies/experience reports exploring the application of formal methods in autonomous safety-critical, cyber-physical and hybrid systems
  • Using formal evidence for certification of ML enabled systems

Formal Methods for Digital Transformation

  • Applications related to Digital Twin & Digital Thread
  • Verification for integrated design and manufacturing
  • AI digital assistants for system design
  • Runtime monitoring for Smart Campus & Smart Cities

Accessibility of Formal Methods for New Industries

  • “New Space” markets
  • Advanced Air Mobility and Startup Aviation
  • Formal Methods as a Service

Submissions

There are two categories of submissions:

  • Regular Papers (15 pages including references), describing fully developed work and complete results
  • Short Papers (6 pages including references), in one of the categories below:
    • Tool papers describing novel and publicly available tools
    • Case studies detailing applications of formal methods
    • New emerging ideas in the topics of interest

All papers should be in English and describe original work that has not been published or submitted elsewhere. NFM24 will be a hybrid conference. Authors of accepted papers are encouraged to present their work in person at the conference.

There will be a tool demonstration session at the conference, where tool developers get to showcase their tools interactively with the attendees. All tool papers, under the short papers category, are required to participate in the tool demonstration session. Authors of regular papers are also welcome to participate in the tool demonstration session to showcase their application.

All submitters who are interested in participating in the tool demonstration session must include an additional appendix (maximum 4 pages and will not appear in the proceedings) containing the description of the proposed demo and the URL to a screencast demonstrating the tool. Authors of all accepted papers additionally have an opportunity to present a poster.

NFM prohibits the use of generative AI to create the textual narrative of the paper. However, the use of generative AI to create examples (such as text, tables, graphics, and code) that support the paper is permitted, but this must be disclosed in the paper. Basic word processing systems that recommend and insert replacement text, perform spelling or grammar checks and corrections, or systems that do language translations need not be disclosed in the paper.

All submissions will be fully reviewed by members of the Program Committee. Accepted regular and short papers will be published in the Formal Methods subline of Springer’s Lecture Notes in Computer Science (LNCS) and must use LNCS style formatting described on https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines. Papers must be submitted in PDF format at the EasyChair submission site, https://easychair.org/conferences/?conf=nfm2024.

Location and Cost

The symposium will take place at the NASA Ames Conference Center, Moffett Field, California, USA.

There will be no registration fee charged to participants. All interested individuals, including non-US citizens, are welcome to attend, listen to the talks, and participate in discussions. However, all attendees must register.

About submitting a tool paper under the short paper category


What are the submission requirements?

All tool papers, under the short paper category, must include an additional appendix (maximum 4 pages and will not appear in the proceedings) containing the description of the proposed demo and the URL to a screencast demonstrating the tool.

What is the format of the screencast?

There are no restrictions on the format and length of the screencast. The purpose of the screencast is to help our reviewers understand the tool.

How will NFM24 use the screencast?

Screencast(s) included in a submission will only be used by our program committee during the review process.

What are the presentation requirements?

All tool papers, under the short papers category, are required to participate in the tool demonstration session. Depending on our program schedule, we might invite each presenter to give a 5-minute lightning presentation in the main session.

What is the format of the tool demonstration session?

The tool demonstration session will be held in a showroom, where each presenter will have a kiosk and, depending on availability, an external monitor, for their demonstration along with other presenters at the same time. Presenters will be demonstrating their tools while interacting with the attendees during the session.



Still can’t find what you’re looking for? Contact us!

The online proceedings for NFM 2024 are published in the Formal Methods subline of Springer’s Lecture Notes in Computer Science (LNCS)

Filter
Role Type
Country
Search

Results (153)

A
Alexander, Christopher
GE Research
Ammar, Nejib
Toyota Motor North America R&D, InfoTech LabsUnited States
Arcak, Murat
University of California, BerkeleyUnited States
B
Baarir, Souheib
EPITA (LRE)France
Badger, Julia
NASA
Baiduc, Florin
Woven by Toyota, Inc.Japan
Bannach, Max
European Space Agency, Advanced Concepts TeamNetherlands
Belt, Jason
Kansas State UniversityUnited States
Benz, Nathan
NASA Ames Research Center
Beringer, Lennart
Princeton UniversityUnited States
Bernardeshi, Cinzia
Università di Pisa, Dipartimento di Ingegneria dell'InformazioneItaly
Birman, Ken
Cornell UniversityUnited States
Brat, Guillaume P.
NASA Ames Research Center
Bultan, Tevfik
University of California at Santa BarbaraUnited States
Burton, Simon
Centre for Assuring Autonomy, University of York, UK
C
Calinescu, Radu
University of York, UKUnited Kingdom
Campion, Marco
INRIA & École Normale Supérieure | Université PSLFrance
Cannon, Wyatt
NASA Ames Research Center / KBR
Cardoso, Rafael C.
University of AberdeenUnited Kingdom
Chen, Pei-Wei
University of California, BerkeleyUnited States
Chen, Sini
East China Normal UniversityChina
Cheng, Chih-Hong
Fraunhofer IKS & University of HildesheimGermany
Christoph Jung, Jean
TU Dortmund UniversityGermany
Cococcioni, Marco
Università di Pisa, Dipartimento di Ingegneria dell'InformazioneItaly
Cofer, Darren
Collins AerospaceUnited States
Crespo, Nicolas
NASAUnited States
D
Davies, Misty
NASA
Denney, Ewen
NASA Ames Research CenterUnited States
Dixon, Clare
Dong, Jin Song
National University of SingaporeSingapore
Dunkelau, Jannik
Heinrich-Heine-UniversitätGermany
Durand, Jean-Guillaume
Xwing
Dutheillet, Claude
LIP6 Universite Pierre et Marie CurieFrance
Dutle, Aaron
NASA Langley Research CenterUnited States
E
Elsayed-Aly, Ingy
University of VirginiaUnited States
F
Fainekos, Georgios
Toyota Research Institute of North AmericaUnited States
Farrell, Marie
The University of ManchesterUnited Kingdom
Feng, Lu
University of VirginiaUnited States
Fernandez Adiego, Borja
CERNFrance
Ferrando, Angelo
Filieri, Antonio
AWS and Imperial College LondonUnited States
Fink, Xaver
CERNGermany
Fisher, Michael
University of Manchester, UKUnited Kingdom
G
Ganlath, Akila
Toyota InfoTech LabsUnited States
Getir Yaman, Sinem
University of York, UKUnited Kingdom
Goodloe, Alwyn
NASA Langley Research Center
Gopinath, Divya
NASA Ames (KBR Inc.)
Gouglidis, Antonios
Lancaster UniversityUnited Kingdom
H
Hagen, George
NASA
Hardin, David
Collins AerospaceUnited States
Hatcliff, John
Kansas State UniversityUnited States
Havelund, Klaus
NASA/Caltech Jet Propulsion LaboratoryUnited States
Hecher, Markus
MITAustria
Hine, Butler
NASA Ames Research Center
Howar, Falk
TU Dortmund UniversityGermany
Hoxha, Bardh
Toyota Motor North America, Research & DevelopmentUnited States
Hu, Boyue Caroline
University of TorontoCanada
Huriot, Sacha
Washington University in St. LouisUnited States
I
Imrie, Calum
University of YorkUnited Kingdom
Incer, Inigo
CaltechUnited States
J
Jeannin, Jean-Baptiste
University of Michigan at Ann ArborUnited States
Johnson, Taylor T
Vanderbilt UniversityUnited States
K
Kang, Eunsuk
Carnegie Mellon UniversityUnited States
Kapoor, Parv
Carnegie Mellon UniversityUnited States
Katis, Andreas
KBR / NASA Ames Research CenterUnited States
Khurshid, Sarfraz
University of Texas at AustinUnited States
Kim, Edward
Berkeley
Kiniry, Joe
Galois, Inc.United States
Kullmann, Fiona
TU Dortmund UniversityGermany
L
Leuschel, Michael
University of Düsseldorf
Lipkis, Rory
NASA Ames Research Center
Lomuscio, Alessio
Imperial College London
Lowry, Michael R.
NASA Ames Research Center
Lozito, Sandy
NASA Ames Research Center
Luckcuck, Matt
University of Nottingham, UKUnited Kingdom
M
Mangal, Ravi
Carnegie Mellon UniversityUnited States
Mann, Makai
MIT Lincoln LaboratoryUnited States
Marie Tuck, Victoria
University of California, BerkeleyUnited States
Marsso, Lina
University of TorontoCanada
Martin, Tyler
Washington University in St. LouisUnited States
Mavridou, Anastasia
KBR / NASA Ames Research CenterUnited States
Mazzucato, Denis
INRIA & École Normale Supérieure | Université PSLFrance
Meira-Goes, Romulo
The Pennsylvania State UniversityUnited States
Meng, Baoluo
GE ResearchUnited States
Milano, Mae
Princeton UniversityUnited States
Miller, Joshua
University of Michigan, Ann ArborUnited States
Mishra, Shatadal
Toyota Motor North America R&D, InfoTech LabsUnited States
Mitra, Sayan
University of Illinois at Urbana-ChampaignUnited States
Mitsch, Stefan
DePaul UniversityUnited States
Munoz, Cesar
NASAUnited States
N
Nagasamudram, Ramana
Stevens Institute of TechnologyUnited States
Naujokat, Stefan
TU Dortmund UniversityGermany
Naumann, David
Stevens Institute of TechnologyUnited States
Nedunuri, Srinivas
Sandia National LaboratoriesUnited States
Neider, Danel
TU Dortmund UniversityGermany
Neogi, Natasha
NASA Langley Research Center
Neurohr, Christian
DLR e.V. Institute of Systems Engineering for Future MobilityGermany
O
Okamoto, Hideki
Toyota Motor North America, Research & DevelopmentUnited States
P
P, Habeeb
Indian Institute of Science, Bangalore.India
Palmieri, Maurizio
Università di Pisa, Dipartimento di Ingegneria dell'InformazioneItaly
Parker, David
University of OxfordUnited Kingdom
Pasareanu, Corina S.
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
Paul, Saswata
GE ResearchUnited States
Pavone, Marco
Stanford
Perez, Ivan
NASA Ames Research Center
Pike, Lee
Galois
Prabhakar, Pavithra
Kansas State UniversityUnited States
Pressburger, Thomas
NASA Ames Research CenterUnited States
R
Riccobene, Elvinia
Computer Science Dept., University of MilanItaly
Robby
Kansas State UniversityUnited States
Rossi, Federico
Università di Pisa, Dipartimento di Ingegneria dell'InformazioneItaly
Rozier, Kristin Yvonne
Iowa State University
S
Sankaranarayanan, Sriram
University of Colorado, BoulderUnited States
Saouli, Sabrine
Sorbonne Université (LIP6)France
Sarnath, Ramnath
SCSUUnited States
Schallau, Till
TU Dortmund UniversityGermany
Schoer, Andrew
MIT Lincoln LaboratoryUnited States
Schumann, Johann
KBR / NASA
Seguin, Christel
ONERA
Seshia, Sanjit A.
University of California at BerkeleyUnited States
Shan, Chung-chieh
Indiana UniversityUnited States
Shankar Sastry, S.
University of California, BerkeleyUnited States
Shi, Nija
NASA Ames Research CenterUnited States
Sibai, Hussein
Washington University in St. LouisUnited States
Singh, Satnam
GroqUnited States
Slagel, J Tanner
NASA Langley Research CenterUnited States
Smith, Douglas
Kestrel InstituteUnited States
So, Christian
Boston UniversityUnited States
Sogokon, Andrew
Lancaster UniversityUnited Kingdom
Sun, Jun
School of Information Systems, Singapore Management University, SingaporeSingapore
Sun, Youcheng
The University of ManchesterUnited Kingdom
Suri, Neeraj
T
Teixeira-Dasilva, Helena
Washington University in St. LouisUnited States
Tekriwal, Mohit
Lawrence Livermore National LaboratoryUnited States
Torfah, Hazem
Chalmers University of TechnologySweden
Torngren, Martin
KTH
Tripakis, Stavros
Northeastern UniversityUnited States
Tron, Roberto
Boston UniversityUnited States
Troubitsyna, Elena
KTH
U
Urban, Caterina
Inria & École Normale Supérieure | Université PSLFrance
V
V.W. Gunasekera, Ovini
Lancaster UniversityUnited Kingdom
Vu, Fabian
Heinrich-Heine-UniversitätGermany
Vázquez, Gricel
University of York, UKUnited Kingdom
W
Walk, Stephen
SCSUUnited States
Wang, Jiapeng
East China Normal UniversityChina
Westbrook, Edwin
GaloisUnited States
Westhofen, Lukas
DLR e.V. Institute of Systems Engineering for Future MobilityGermany
White, Lauren
NASAUnited States
Wu, Haoze
Stanford UniversityUnited States
X
Xu, Mengwei
University of NewcastleUnited Kingdom
Y
Yu, Huafeng
U.S. Department of TransportationUnited States
Z
Zhou, Yuhao
Zhu, Huibiao
East China Normal UniversityChina
Questions? Use the NASA Formal Methods contact form.