Committees

Organizing Committee

Role	Member(s)
General co-chairs	Matteo Pradella Matteo Rossi
PC Chairs	André Platzer Kristin-Yvonne Rozier
Embedded Systems Track Chairs	Alessandro Cimatti
Industry Day Chairs	Oksana Tkachuk Tim Willemse
Tutorial Papers Chairs	Luigia Petre Shriram Krishnamurthi
Artifact Evaluation Chairs	Carlos E. Budde Arnd Hartmanns
Journal First Track Chair	Michael Butler
Workshop Chairs	Stefania Gnesi Marieke Huisman
Doctoral Symposium Chairs	Carlo A. Furia Laura Kovacs
Sponsorship & Exhibition Chairs	Marcello Bersani Michele Chiari
Social Media Chair	Livia Lestingi

Program Committee

Member(s)	Affiliation
Erika Abraham	RWTH Aachen University, Germany
Wolfgang Ahrendt	Chalmers University of Technology, Sweden
Dalal Alrajeh	Imperial College London, UK
Luis Soares Barbosa	University of Minho, Portugal
Gilles Barthe	Max Planck Institute for Security and Privacy, Germany
Dirk Beyer	LMU Munich, Germany
Pablo Castro	Universidad Nacional de Rio Cuarto, Argentina
Ana Cavalcanti	University of York, UK
Milan Česka	Brno University of Technology, Czech Republic
Marsha Chechik	University of Toronto, Canada
Alessandro Cimatti	Fondazione Bruno Kessler, Italy
Alexandre Duret-Lutz	EPITA’s Research Lab (LRDE), France
Marie Farrell	The University of Manchester, UK
Orna Grumberg	Technion – Israel Institute of Technology, Israel
Arie Gurfinkel	University of Waterloo, Canada
Anne E. Haxthausen	Technical University of Denmark, Denmark
Marieke Huisman	University of Twente, Netherlands
Reiner Hähnle	TU Darmstadt, Germany
Peter Höfner	Australian National University, Australia
Einar Broch Johnsen	University of Oslo, Norway
Joost-Pieter Katoen	RWTH Aachen University, Germany
Nikolai Kosmatov	Thales Research & Technology, France
Orna Kupferman	Hebrew University, Israel
Peter Lammich	University of Twente, Netherlands
Martin Leucker	University of Luebeck, Germany
Jianwen Li	East China Normal University, China
Ravi Mangal	Carnegie Mellon University, USA
Mieke Massink	CNR-ISTI, Italy
Anastasia Mavridou	SGT Inc. / NASA Ames Research Center, USA
Annabelle McIver	Macquarie University, Australia
Claudio Menghi	University of Bergamo, Italy
Stefan Mitsch	Carnegie Mellon University, USA
Cesar Munoz	NASA, USA
Aniello Murano	Università degli Studi di Napoli Federico II, Italy
Violet Ka I Pun	Western Norway University of Applied Sciences, Norway
Zvonimir Rakamaric	Amazon Web Services (AWS), USA
Philipp Rümmer	University of Regensburg, Germany
Cristina Seceleanu	Mälardalen University, Sweden
Natasha Sharygina	University of Lugano, Switzerland
Jun Sun	Singapore Management University, Singapore
Lucas Martinelli Tabajara	Rice University, USA
Yong Kiam Tan	Infocomm Research, A*STAR, Singapore.
Stefano Tonetta	Fondazione Bruno Kessler, Italy
Georg Weissenbacher	TU Wien, Austria
Virginie Wiels	ONERA / DTIS, France
Huan Xu	University of Maryland, USA
Naijun Zhan	Chinese Academy of Sciences, China
Shufang Zhu	University of Oxford, UK

Embedded Systems Track Program Committee

Member(s)	Affiliation
Frédéric Boulanger	CentraleSupélec, France
Lei Bu	Nanjing University, China
Qinxiang Cao	Shanghai Jiao Tong University, China
Liqian Chen	National University of Defense Technology, China
Martin Fränzle	Carl von Ossietzky Universität Oldenburg, Germany
Paula Herber	University of Münster, Germany
Inigo Incer	California Institute of Technology, USA
Ahmed Irfan	SRI International, USA
Eunsuk Kang	Carnegie Mellon University, USA
Sergio Mover	Ecole Polytechnique, France
Dejan Nickovic	Austrian Institute of Technology, Austria
Pierluigi Nuzzo	University of Southern California, USA
Roberto Passerone	University of Trento, Italy
Heyuan Shi	Central South University, China
Fu Song	Chinese Academy of Sciences, China
Cong Tian	Xidian University, China
Stavros Tripakis	Northeastern University, USA