NASA Formal Methods 2023
Tue 16 - Thu 18 May 2023
Houston, Texas, United States
Toggle navigation
Attending
Venue: University of Houston, Clear Lake
Program
NASA Formal Methods Program
Your Program
Tue 16 May
Wed 17 May
Thu 18 May
Track/Call
Organization
NASA Formal Methods 2023 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
NASA Formal Methods 2024
NASA Formal Methods 2023
NASA Formal Methods 2022
NASA Formal Methods 2021
NASA Formal Methods 2020
NASA Formal Methods 2019
NASA Formal Methods 2018
NASA Formal Methods 2017
NASA Formal Methods 2016
NASA Formal Methods 2015
NASA Formal Methods 2014
NASA Formal Methods 2013
NASA Formal Methods 2012
NASA Formal Methods 2011
NASA Formal Methods 2010
NASA Formal Methods 2009
6th NASA Langley Formal Methods Workshop (LFM 2008)
5th NASA Langley Formal Methods Workshop (LFM 2000)
4th NASA Langley Formal Methods Workshop (LFM 1997)
3rd NASA Langley Formal Methods Workshop (LFM 1995)
2nd NASA Langley Formal Methods Workshop
1st NASA Langley Formal Methods Workshop
Sign in
Sign up
NASA Formal Methods 2023 (
series
) /
NFM 2023
/
Program Committee
NASA Formal Methods
Julia Badger
NASA
Stanley Bak
Stony Brook University
United States
Suguman Bansal
Georgia Institute of Technology, USA
United States
Dirk Beyer
LMU Munich
Germany
Nikolaj Bjørner
Microsoft Research
Sylvie Boldo
Inria and Université Paris-Saclay
France
Georgiana Caltais
University of Konstanz
Darren Cofer
Collins Aerospace
United States
Jennifer Davis
Collins Aerospace
Ewen Denney
NASA Ames Research Center
United States
Catherine Dubois
ENSIIE Paris-Evry
Rohit Dureja
IBM
Alexandre Duret-Lutz
EPITA / LRDE
Bruno Dutertre
Amazon Web Services
Aaron Dutle
Souradeep Dutta
University of Pennsylvania
Rüdiger Ehlers
Chuchu Fan
MIT
Marie Farrell
Maynooth University
Ireland
Bernd Finkbeiner
CISPA Helmholtz Center for Information Security
Germany
Alwyn Goodloe
NASA Langley Research Center
Arie Gurfinkel
University of Waterloo
Canada
Klaus Havelund
NASA/Caltech Jet Propulsion Laboratory
United States
Constance Heitmeyer
Naval Research Laboratory, washington DC
United States
Marijn Heule
Carnegie Mellon University
Kerianne Hobbs
Air Force Research Laboratory
United States
Bardh Hoxha
Susmit Jha
SRI
United States
Rajeev Joshi
Amazon Web Services
Panagiotis Manolios
Northeastern University
Anastasia Mavridou
KBR / NASA Ames Research Center
United States
Stefan Mitsch
Carnegie Mellon University, USA
United States
Cesar Munoz
AWS
United States
Natasha Neogi
NASA Langley Research Center
Corina S. Pasareanu
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
Ivan Perez
NASA Ames Research Center
Zvonimir Rakamaric
Amazon Web Services
United States
Giles Reger
University of Manchester
United Kingdom
Johann Schumann
NASA Ames
Cristina Seceleanu
Mälardalen University
Sweden
Yasser Shoukry
University of California, Irvine, USA
Laura Titolo
NIA/NASA LaRC
United States
Oksana Tkachuk
Amazon Web Services
United States
Aaron Tomb
Amazon Web Services
United States
Stefano Tonetta
Fondazione Bruno Kessler, Italy
Italy
Nestan Tsiskaridze
Stanford University
Caterina Urban
Inria & École Normale Supérieure | Université PSL
France
Cristian-Ioan Vasile
Lehigh University
United States
Virginie Wiels
Onera, France
Mumu Xu
University of Maryland
Huafeng Yu
Boeing Research & Technology
United States
x
Fri 13 Dec 02:52