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
INRIA
Borzoo Bonakdarpour
Michigan State University
Alessandro Cimatti
Fondazione Bruno Kessler
Catherine Dubois
ENSIIE
Bruno Dutertre
Amazon
Souradeep Dutta
University of British Columbia
Rüdiger Ehlers
Technische Universität Clausthal
Jean-Christophe Filliâtre
CNRS
Dana Fisman
Ben-Gurion University
Alwyn Goodloe
NASA
Bardh Hoxha
Toyota Motor Corporation
Inigo Incer
University of Michigan - Ann Arbor
Rajeev Joshi
Amazon Web Services
Sarfraz Khurshid
ITU of Punjab Lahore, Pakistan
Ekaterina Komendantskaya
Heriot-Watt University
Bettina Könighofer
Technische Universität Graz
Peter Gorm Larsen
Aarhus University
Martin Leucker
University of Lübeck
Panagiotos Manolios
Northeastern University
Anastasia Mavridou
SGT Inc. / NASA Ames
David Monniaux
CNRS
Sergio Mover
École Polytechnique
Cesar A. Munoz
NASA
Laura Nenzi
University of Trieste
Natasha Neogi
NASA
Dejan Nickovic
AIT Austrian Institute Of Technology
Corina S. Pasareanu
Carnegie Mellon University
Giulia Pedrielli
Arizona State University
Doron Peled
Bar-Ilan University
Ivan Perez
KBR / NASA Ames Research Center
Pavithra Prabhakar
Kansas 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
Julien Signoles
Université Paris-Saclay, CEA
Oleg Sokolsky
University of Pennsylvania
Mohit Kumar Tekriwal
Lawrence Livermore National Laboratory
Laura Titolo
Code Metal, Inc
Stefano Tonetta
Fondazione Bruno Kessler
Hazem Torfah
Chalmers University of Technology
Cristian Ioan Vasile
Lehigh University
Huafeng Yu
U.S. Department of Transportation