Program Committee TAV-CPS/IoT

Mithun P. Acharya

ABB Corporate Research

Shaukat Ali

Simula Research Lab

Yan Cai

Institute of Software, Chinese Academy of Sciences

China

Alex Groce

Northern Arizona University

United States

Mats Heimdahl

University of Minnesota

Stephen McCamant

University of Minnesota

Phil McMinn

University of Sheffield

United Kingdom

Mohammad Mousavi

University of Leicester, UK

United Kingdom

Corina S. Păsăreanu

NASA Ames Research Center

United States

Valerio Terragni

Università della Svizzera Italiana

Switzerland

Hong-Linh Truong

TU Wien

Chao Wang

University of Southern California

United States