List of Program Committee Members

Program Committee Co-Chairs

Michael Reiter, University of North Carolina Chapel Hill, USA
Nuno Neves, University of Lisboa , Portugal

Software

Aad van Moorsel, Newcastle University, UK
Ashvin Goel, University of Toronto, Canada
Fernando Pedone, University of Lugano, Switzerland
Lorenzo Alvisi, University of Texas Austin, USA
Marco Vieira, University of Coimbra, Portugal
Marcos K. Aguilera, Microsoft, USA
Pascal Felber, University of Neuchatel, Switzerland
Phil Koopman, Carnegie Mellon University, USA
Paulo Verissimo, University of Lisboa, Portugal

Clouds

David Lie, University of Toronto, Canada
Elisa Bertino, Purdue University, USA
Giuliano Casale, Imperial College, UK
Hakim Weatherspoon, Cornell University, USA
Kaustubh Joshi, AT&T Labs, USA
Matti Hiltunen, AT&T Labs, USA
Miguel Correia, Technical University of Lisboa, Portugal
Peter Bodik, Microsoft, USA
Tom Ristenpart, University of Wisconsin, USA

Networks

Angelos Stavrou, George Mason University, USA
Bruce Maggs, Duke University and Akamai, USA
Lin Zhong, Rice University, USA
Marc Dacier, Symantec, France
Michael Bailey, University of Michigan, USA
Neeraj Suri, Technical University of Darmstadt, Germany
Saurabh Bagchi, Purdue University, USA
Wenke Lee, Georgia Institute of Technology, USA
Yair Amir, Johns Hopkins University, USA

Models and Methodologies

Evgenia Smirni, College of William and Mary, USA
Felicita Di Giandomenico, ISTI-CNR, Italy
Henrique Madeira, University of Coimbra, Portugal
Lujo Bauer, Carnegie Mellon University, USA
Mohamed Kaaniche, LAAS-CNRS, France
Peter Buchholz, University of Dortmund, Germany
Peter Kemper, College of William and Mary, USA
Susanna Donatelli, University of Torino, Italy
Tadashi Dohi, Hiroshima University, Japan

Hardware

Arun Somani, Iowa State University, USA
Cynthia Sturton, University of California Berkeley, USA
David Grawrock, Intel, USA
Edward Suh, Cornell University, USA
Rakesh Kumar, University of Illinois Urbana-Champaign, USA
Sy Yen Kuo, National Taiwan University, Taiwan
Takashi Nanya, Canon, Japan
Valeria Bertacco, University of Michigan, USA

Cyber-physical Systems

Andrea Bondavalli, University of Firenze, Italy
Bill Sanders, University of Illinois Urbana-Champaign, USA
Boudewijn Haverkort, University of Twente, Netherlands
Johan Karlsson, Chalmers University of Technology, Sweden
Karama Kanoun, LAAS-CNRS, France
Michael Paulitsch, European Aeronautic Defence and Space Company, Germany
Robin Bloomfield, City University London, UK
Roman Obermaisser, University of Siegen, Germany
Zbigniew Kalbarczyk, University of Illinois Urbana-Champaign, USA

Socio-technical Systems

Apu Kapadia, Indiana University, USA
Hamed Haddadi, Queen Mary University of London, UK
Haining Wang, College of William and Mary, USA
Laurie Williams, North Carolina State University, USA
Lorenzo Strigini, City University London, UK
Michel Cukier, University of Maryland, USA
Philippe Palanque, IRIT, France
Roy Maxion, Carnegie Mellon University, USA