WORKSHOPS


Workshop on Proactive Failure Avoidance, Recovery and Maintenance (PFARM) *Half Day Only*

Chairs:
Paper presentations:

Tiago Carvalho (Carnegie Mellon University, USA) and Hyong Kim (Carnegie Mellon University, USA)

Ricardo Oliveira (Portugal Telecom, Portugal), Sihyung Lee (Carnegie Mellon University, USA) and Hyong Kim (Carnegie Mellon University, USA)

Rogério Correia (Universidade de Lisboa, Portugal) and Paulo Sousa (University of Lisboa, Portugal)

Kaustubh Joshi (AT&T Labs Research, USA), Matti Hiltunen (AT&T Labs Research, USA) and Gueyoung Jung (Georgia Institute of Technology, USA)

Roberto Pietrantuono (University of Naples Federico II, Italy), Stefano Russo (University of Naples Federico II, Italy) and Kishor Trivedi (Duke University, USA)
 
Zibin Zheng (The Chinese University of Hong Kong, China) and Michael Lyu (The Chinese University of Hong Kong, China)

Roberto Natella (University of Naples Federico II, Italy), Antonio Pecchia (University of Naples Federico II, Italy), Domenico Cotroneo (University of Naples Federico II, Italy) and Stefano Russo, (University of Naples Federico II, Italy)



Second Workshop on Compiler and Architectural Techniques for Application Reliability and Security (CATARS - 2)

Chairs:

Paper presentations:

Robin Gandhi (Univ. of Nebraska, Omaha, USA), William Mahoney (Univ. of Nebraska, Omaha, USA) and Ken Dick (Univ. of Nebraska, Omaha, USA)

Gulay Yalcin (Universitat Politecnica de Catalunya – UPC, Spain), Osman Unsal (Universitat Politecnica de Catalunya – UPC, Spain) and Mateo Valero (Universitat Politecnica de Catalunya – UPC, Spain)

Yi Wang (Nanjing University, China), Zhi Xin (Nanjing University, China), Ping Chen (Nanjing University, China), Bing Mao (Nanjing University, China) and Li Xie (Nanjing University, China)

Eric Weatherwax (University of Virginia, USA), John Knight (University of Virginia, USA) and Anh Nguyen-Tuong (University of Virginia, USA)

Rob Kost (University of Colorado – Boulder, USA) and Dan Connors (University of Colorado – Boulder, USA)


Fifth Workshop on Hot Topics in System Dependability (HotDep 2009)

Chairs:

Paper presentations:

Kevin M. Greenan (University of California - Santa Cruz, USA), Darrell D.E. Long (University of California - Santa Cruz, USA), Ethan L. Miller (University of California - Santa Cruz, USA), Thomas J.E. Schwarz (Santa Clara University, USA) and Avani Wildani (University of California - Santa Cruz, USA)

Vitaly Chipounov (EPFL, Switzerland), Vlad Georgescu (EPFL, Switzerland) and George Candea (EPFL, Switzerland)

Hongyi Wang (Microsoft Research Asia), Bingsheng He (Microsoft Research Asia), Vijayan Prabhakaran (Microsoft Research Silicon Valley, USA) and Lidong Zhou (Microsoft Research Asia)

Ittay Eyal (Technion, Israel Institute of Technology, Israel), Idit Keidar (Technion, Israel Institute of Technology, Israel) and Raphael Rom (Technion, Israel Institute of Technology, Israel)

Soon Hin Khor (University of Tokyo, Japan) and Akihiro Nakao (University of Tokyo, Japan)

Silviu Andrica (EPFL, Switzerland) and George Candea (EPFL, Switzerland)

Michael P. Kasick (Carnegie Mellon University, USA), Keith A. Bare (Carnegie Mellon University, USA), Eugene E. Marinelli III (Carnegie Mellon University, USA), Jiaqi Tan (Carnegie Mellon University, USA), Rajeev Gandhi (Carnegie Mellon University, USA) and Priya Narasimhan (Carnegie Mellon University, USA)

Yanhua Mao (CSE, UC San Diego, USA), Flavio P. Junqueira (Yahoo! Research Barcelona, Spain) and Keith Marzullo (CSE, UC San Diego, USA)

Wagner Dantas (University of Lisbon, Portugal), Alysson Bessani (University of Lisbon, Portugal) and Miguel Correia (University of Lisbon, Portugal)

Marco Vieira (University of Coimbra, Portugal), Henrique Madeira (University of Coimbra, Portugal), Ivano Irrera (University of Coimbra, Portugal) and Miroslaw Malek (Humboldt-Universität zu Berlin, Germany)


Third Workshop on Dependable and Secure Nanocomputing

Chairs:
Paper presentations:

Eishi Ibe (Hitachi, Ltd, Yokohama, Japan), Hitoshi Taniguchi (Hitachi, Ltd, Yokohama, Japan), Yasuo Yahagi (Hitachi, Ltd, Yokohama, Japan), Ken-ichi Shimbo (Hitachi, Ltd, Yokohama, Japan) and Tadanobu Toba (Hitachi, Ltd, Yokohama, Japan)

Valeriu Beiu (UAE University, Al-Ain, UAE; University of Ulster, Londonderry, UK) and Walid Ibrahim (UAE University, Al-Ain, UAE; Carleton University, Ottawa, Canada)

Daniel Gil (Universidad Politécnica de Valencia, Spain), David de Andrés (Universidad Politécnica de Valencia, Spain), Juan-Carlos Ruiz (Universidad Politécnica de Valencia, Spain) and Pedro Gil (Universidad Politécnica de Valencia, Spain)

Scott Bingham (University of Virginia, Charlottesville, USA) and John Lach (University of Virginia, Charlottesville, USA)

Tomohiro Yoneda (National Institute of Informatics, Tokyo, Japan), Masashi Imai (University of Tokyo, Japan), Hiroshi Saito (University of Aizu, Japan) and Atsushi Matsumoto (Tohoku University, Sendai; Japan)

Daniel Skarin (Chalmers University of Technology, Goteborg, Sweden) and Johan Karlsson (Chalmers University of Technology, Goteborg, Sweden)

Pramod Subramanyan (Indian Institute of Science, Bangalore, India), Virendra Singh Indian Institute of Science, Bangalore, India), Kewal Saluja (University of Wisconsin-Madison, USA) and Erik Larsson (Linköping University, Sweden)

Matthias Függer (Vienna University of Technology, Austria), Gottfried Fuchs (Vienna University of Technology, Austria), Ulrich Schmid (Vienna University of Technology, Austria) and Andreas Steininger (Vienna University of Technology, Austria)



Workshop on Architecting Dependable Systems (WADS 2009)

Chairs:

Session A: Software Architectures and Dependability
Chair: Cristina Gacek
Paola Inverardi (Universitŕ dell'Aquila, Italy)


Session B: Software Architectures and Dependability
Chair: Rogério de Lemos
Holger Giese (Hasso-Plattner-Institut, Germany)

Graham Fletcher (Cranfield University, UK) and Ian Owens (Cranfield University, UK)

Christoph Lauer (University of Erlangen-Nuremberg, Germany), Reinhard German (University of Erlangen-Nuremberg, Germany) and Jens Pollmer (Audi AG Ingolstadt, Germany)


Session C:  Architectures for Mobile and Ubiquitous Systems
Chair: Antonio Casimiro
Vincenzo De Florio (University of Antwerp, Belgium)

Dario Correal (University of Los Andes, Colombia), Daniel Ramirez (University of Los Andes, Colombia), Tatiana Hernandez (University of Los Andes, Colombia) and Nicolas Diaz (University of Los Andes, Colombia)

Marc-Olivier Killijian (LAAS-CNRS, France), Matthieu Roy (LAAS-CNRS, France), Gaétan Séverac (LAAS-CNRS, France) and Christophe Zanon (LAAS-CNRS, France)

Andreas Fuchs, Roland Rieke (Fraunhofer Institute for Secure Information Technology (SIT), Germany)


Session D:  What is the future in architecting dependable and secure systems?



Third Workshop on Recent Advances on Intrusion-Tolerant System (WRAITS 2009)

Chairs:
Paper presentations:

P. Pal (BBN Technologies, USA), R. Schantz (BBN Technologies, USA), J. Loyall (BBN Technologies, USA), M. Atighetchi (BBN Technologies, USA) and F. Webber (BBN Technologies, USA)

Q. Nguyen (George Mason University, USA) and A. Sood (George Mason University, USA)

O. Kreidl (MIT, USA) and A. Willsky (MIT, USA)

D. Mónica (INESC-ID/IST, Portugal), J. Leităo (INESC-ID/IST, Portugal), L. Rodrigues (INESC-ID/IST, Portugal) and C. Ribeiro (INESC-ID/IST, Portugal)

Alysson Bessani (LaSIGE, University of Lisbon, Portugal), Alessandro Daidone (University of Florence, Italy), Ilir Gashi (Centre for Software Reliability, City University London, UK), Rafael Obelheiro (Universidade do Estado de Santa Catarina, Brazil), Paulo Sousa (LaSIGE, University of Lisbon, Portugal), Vladimir Stankovic (Centre for Software Reliability, City University London, UK)

L. Li (Global InfoTek, USA), R. Sekar (Stony Brook University, USA), M. Cornwell (Global InfoTek, USA), E. Hultman (Global InfoTek, USA) and J. Just (Global InfoTek, USA)