Organization
Program Chairs
Jyotirmoy Deshmukh
University of Southern California
Klaus Havelund
NASA Jet Propulsion Laboratory
Alessandro Pinto
NASA Jet Propulsion Laboratory
Web Chair
Vidisha Kudalkar
University of Southern California
Publicity Chair
Francesca Cairoli
University of Trieste
Area Chairs
Erika Abraham
RWTH Aachen University
Bernhard Aichernig
Johannes Kepler University Linz
Ezio Bartocci
TU Wien
Dirk Beyer
LMU Munich
Marie Farrell
University of Manchester
Bernd Finkbeiner
CISPA Helmholtz Center for Information Security
Marieke Huisman
University of Twente
Laura Humphrey
NASA Langley Research Center
Susmit Jha
SRI International
Natarajan Shankar
SRI International
Program Committee
Houssam Abbas
Oregon State University
Stanley Bak
State University of New York, Stony Brook
Suguman Bansal
Georgia Institute of Technology
Sylvie Boldo
Université Paris-Saclay
Borzoo Bonakdarpour
Michigan State University
Radu Calinescu
University of York
Alessandro Cimatti
Fondazione Bruno Kessler
Ewen Denney
NASA Ames Research Center
Catherine Dubois
ENSIIE
Alexandre Duret-Lutz
Ecole Pour l'Informatique et les Techniques Avancees
Bruno Dutertre
Amazon Web Services
Aaron Dutle
NASA Langley Research Center
Souradeep Dutta
University of British Columbia
Rüdiger Ehlers
Clausthal University of Technology
Yliès Falcone
Université Grenoble Alpes
Angelo Ferrando
University of Modena and Reggio Emilia
Antonio Filieri
Amazon Web Services / Imperial College London
Dana Fisman
Ben-Gurion University
Pierre-Loïc Garoche
Ecole Nationale de l'Aviation Civile
Alwyn Goodloe
NASA
Bardh Hoxha
Toyota Motor Corporation
Inigo Incer
University of Michigan - Ann Arbor
Rajeev Joshi
Amazon Web Services
Guy Katz
Hebrew University of Jerusalem
Sarfraz Khurshid
University of Texas at Austin
Joe Kiniry
Galois
Ekaterina Komendantskaya
Heriot-Watt University
Bettina Könighofer
Graz University of Technology
Peter Gorm Larsen
Aarhus University
Martin Leucker
University of Lübeck
Alessio Lomuscio
Imperial College London
Michael Lowry
NASA
Ravi Mangal
Colorado State University
Panagiotos Manolios
Northeastern University
Anastasia Mavridou
NASA Ames Research Center
Stefan Mitsch
DePaul University
David Monniaux
CNRS
Sergio Mover
École Polytechnique
Cesar Munoz
NASA
Laura Nenzi
University of Trieste
Natasha Neogi
NASA
Dejan Nickovic
Austrian Institute Of Technology
Corina Pasareanu
Carnegie Mellon University / NASA Ames
Giulia Pedrielli
Arizona State University
Doron Peled
Bar-Ilan University
Ivan Perez
KBR / NASA Ames Research Center
Pavithra Prabhakar
Kansas State University
Vinayak Prabhu
Colorado State University
Xin Qin
California State University, Long Beach
Giles Reger
Amazon
Elvinia Riccobene
University of Milan
Kristin Yvonne Rozier
Iowa State University
Ivan Ruchkin
University of Florida
Cristina Seceleanu
Mälardalen University
Peter Sestoft
IT University of Copenhagen
Nija Shi
NASA Ames Research Center
Julien Signoles
Université Paris-Saclay
Oleg Sokolsky
University of Pennsylvania
Mohit Tekriwal
Lawrence Livermore National Laboratory
Laura Titolo
Code Metal
Stefano Tonetta
Fondazione Bruno Kessler
Hazem Torfah
Chalmers University of Technology
Dogan Ulus
Bogazici University
Frits Vaandrager
Radboud University
Cristian Ioan Vasile
Lehigh University
Huafeng Yu
U.S. Department of Transportation