PC Chairs

Ezio Bartocci
TU Wien,
Austria

Sylvie Putot
École Polytechnique,
France

Repeatability Evaluation Chairs

Stanley Bak
Stony Brook University,
USA

Aditya Zutshi

Aditya Zutshi
Galois Inc., USA

Publication Chair

Stefan Schupp
TU Wien,
Austria

Publicity Chair

Nicola Paoletti
Royal Holloway, University of London,
UK

Demo/Poster Chair

Chuchu Fan
MIT,
USA

Awards Chair

Alessandro Abate
University of Oxford,
UK

Steering Committee

Alessandro Abate
University of Oxford,
UK

Thao Dang
Verimag,
France

Martin Fränzle
Universität Oldenburg,
Germany

Radu Grosu
TU Wien,
Austria

Sayan Mitra
UIUC,
USA

Paulo Tabuada
UCLA,
USA

Claire Tomlin
University of California, Berkeley,
USA

Repeatability Evaluation Advisory Committee

Sergiy Bogomolov
Newcastle University,
UK

Bardh Hoxha
Toyota Research Institute of North America,
USA

Ian M. Mitchel
University of British Columbia,
Canada

Program Committee

Erika Abraham
RWTH Aachen University, Germany

Matthias Althoff
Technical University of Munich, Germany

Nikos Arechiga
Toyota Research Institute, USA

Nikolaos Athanasopoulos
Queen’s University Belfast, Northern Ireland

Ebru Aydin Gol
Middle East Technical University, Turkey

Stanley Bak
Stony Brook University, USA

Sergiy Bogomolov
Newcastle University, UK

Chih-Hong Cheng
DENSO, Germany

Thao Dang
Verimag,
France

Rayna Dimitrova
CISPA Helmholtz Center for Information Security, Germany

Georgios Fainekos
Arizona State University, USA

Chuchu Fan
MIT, USA

Goran Frehse
ENSTA Paris – U2IS, France

Miriam García Soto
IST Austria

Khalil Ghorbal
INRIA Rennes, France

Antoine Girard
CNRS, France

Eric Goubault
Ecole Polytechnique, France

Radu Grosu
TU Wien,
Austria

Joao Hespanha

Joao Hespanha
University of California, USA

Bardh Hoxha
Toyota Research Institute North America, USA

Jean-Baptiste Jeannin
University of Michigan, USA

Susmit Jha
SRI International, USA

Taylor Johnson
Vanderbilt University, USA

Raphael Jungers

Raphaël Jungers
UCLouvain,
Belgium

Manuel Mazo Jr.

Manuel Mazo Jr.
Delft University of Technology, Netherlands

Stefan Minopoli

Stefano Minopoli
Raytheon Technologies, Italy

Ian M. Mitchel
University of British Columbia,
Canada

Laura Nenzi
University of Trieste, Italy

Dejan Nickovic
Austrian Institute of Technology, Austria

Pierluigi Nuzzo
University of Southern California, USA

Meeko Oishi
University of New Mexico, USA

Necmiye Ozay
University of Michigan, USA

Miroslav Pajic
Duke University, USA

Nicola Paoletti
Royal Holloway, University of London, UK

George Pappas
University of Pennsylvania, USA

Pavithra Prabhakar

Pavithra Prabhakar
Kansas State University, USA

Maria Prandini

Maria Prandini
Polytechnic University of Milan, Italy

Nacim Ramdani

Nacim Ramdani
Université d’Orléans, Bourges, France

Rajarshi Ray
Indian Association for the Cultivation of Science, India

Anne Remke
Westfälische Wilhelms-Universität Münster, Germany

David Safranek
Masaryk University, Czech Republic

Indranil Saha
Indian Institute of Technology Kanpur, India

Ricardo Sanfelice
University of California at Santa Cruz, USA

Sriram Sankaranarayanan
University of Colorado Boulder, USA

Christian Schilling
Aalborg University, Denmark

Anne-Kathrin Schmuck
MPI-SWS, Germany

Stefan Schupp
TU Wien, Austria

Yasser Shoukry
University of Maryland, USA

Andrew Sogokon
University of Southampton, UK

Sadegh Soudjani
Newcastle University, UK

Paulo Tabuada
UCLA, USA

Walid Taha
Halmstad University, Sweden

Aneel Tanwani

Aneel Tanwani
LAAS — CNRS, France

Hoang-Dung Tran
University of Nebraska at Lincoln, USA

Ashutosh Trivedi
University of Colorado Boulder, USA

Abraham P. Vinod
Mitsubishi Electric Research Laboratories

Verena Wolf
Saarland University, Germany

Bai Xue
Institute of Software, Chinese Academy of Sciences, China

Majid Zamani
University of Colorado Boulder, USA

Naijun Zhan
Institute of Software, Chinese Academy of Sciences,
China

Aditya Zutshi
Galois Inc.,
USA

Repeatability Evaluation Program Committee

Arvind Adimoolam

Gabriel de Albuquerque

James Baxter

Hongkai Chen

Matteo Della Rossa

James Ferlez

Isabel Garcia-Contreras

Nikoalos Kekatos

Sascha Klüppelholz

Maximilian Kneissl

Benoit Legat

Ethan Lew

Minglong Li

Shenyu Liu

Diego Manzanas Lopez

Tobias Meggendorfer

Marco Muniz

Daniel Ornia

Samuel Pastva

Mateo Perez

Edoardo Pirovano

Kwesi Rutledge

Bernard Serbinowski

Pouria Tajvar

Elftherios Vlahakis

Ben Wooding

Tomoya Yamaguchi

Guosong Yang

Junxing Yang

Posters/Demos PC members

TBA