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

  • Miroslaw Malek, Humboldt University, Germany
  • Felix Salfner,  Humboldt University,Germany 
  • Kishor S. Trivedi, Duke University, NC, USA

Paper presentations:

  • Etymon: A Root Cause Analysis System for Large and Complex IT Enterprise Networks
Tiago Carvalho (Carnegie Mellon University, USA) and Hyong Kim (Carnegie Mellon University, USA)

  • Automatic Detection of Firewall Misconfigurations using Firewall and Network Routing Policies
Ricardo Oliveira (Portugal Telecom, Portugal), Sihyung Lee (Carnegie Mellon University, USA) and Hyong Kim (Carnegie Mellon University, USA)

  • WEST: Wormhole-Enhanced State Transfer
Rogério Correia (Universidade de Lisboa, Portugal) and Paulo Sousa (University of Lisboa, Portugal)

  • Performance Aware Regeneration in Virtualized Multitie Applications
Kaustubh Joshi (AT&T Labs Research, USA), Matti Hiltunen (AT&T Labs Research, USA) and Gueyoung Jung (Georgia Institute of Technology, USA)

  • Online Reliability Monitoring: a Hybrid Approach
Roberto Pietrantuono (University of Naples Federico II, Italy), Stefano Russo (University of Naples Federico II, Italy) and Kishor Trivedi (Duke University, USA)
  • A Runtime Dependability Evaluation Framework for Fault Tolerant Web Services
Zibin Zheng (The Chinese University of Hong Kong, China) and Michael Lyu (The Chinese University of Hong Kong, China)

  • An Approach for Assessing Logs by Software Fault Injection
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)

  • Karthik Pattabiraman, Microsoft Research, Redmond, USA
  • Zbigniew Kalbarczyk, University of Illinois atUrbana-Champaign, IL, USA 

Paper presentations:

  • ADACS A Domain Specific Language for Security Policies
Robin Gandhi (Univ. of Nebraska, Omaha, USA), William Mahoney (Univ. of Nebraska, Omaha, USA) and Ken Dick (Univ. of Nebraska, Omaha, USA)

  • Architectural Mechanisms Leveraging the Floating Point Subsystem for Soft Error Mitigation
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)

  • iMOP: An In-Memory Object Protector
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)

  • A Model of Secretless Security in N-Variant Systems
Eric Weatherwax (University of Virginia, USA), John Knight (University of Virginia, USA) and Anh Nguyen-Tuong (University of Virginia, USA)

  • Characterizing the Use of Program Vulnerability Factors for Studying Transient Fault Tolerance in Multi-core Architectures
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)

  • Christof Fetzer, TU Desden, Germany
  • Rodrigo Rodrigues, MPI-SWS, Saarbrücken,Germany 

Paper presentations:

  • Building Flexible, Fault-Tolerant Flash-based Storage Systems
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)

  • Selective Symbolic Execution
Vitaly Chipounov (EPFL, Switzerland), Vlad Georgescu (EPFL, Switzerland) and George Candea (EPFL, Switzerland)

  • Crystal: The Power of Structure Against Corruptions
Hongyi Wang (Microsoft Research Asia), Bingsheng He (Microsoft Research Asia), Vijayan Prabhakaran (Microsoft Research Silicon Valley, USA) and Lidong Zhou (Microsoft Research Asia)

  • Distributed Clustering for Robust Aggregation in Large Networks
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)

  • sPoW: On-Demand Cloud-based eDDoS Mitigation Mechanism
Soon Hin Khor (University of Tokyo, Japan) and Akihiro Nakao (University of Tokyo, Japan)

  • Don’t Test Harder, Test Smarter !
Silviu Andrica (EPFL, Switzerland) and George Candea (EPFL, Switzerland)

  • System-Call Based Problem Diagnosis for PVFS
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)

  • Towards Low Latency State Machine Replication for Uncivil Wide-area Networks
Yanhua Mao (CSE, UC San Diego, USA), Flavio P. Junqueira (Yahoo! Research Barcelona, Spain) and Keith Marzullo (CSE, UC San Diego, USA)

  • Not Quickly, Just in Time: Improving the Timeliness and Reliability of Control Traffic in Utility Networks
Wagner Dantas (University of Lisbon, Portugal), Alysson Bessani (University of Lisbon, Portugal) and Miguel Correia (University of Lisbon, Portugal)

  • Fault Injection for Failure Prediction Methods Validation
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

  • Jean Arlat, LAAS-CNRS, Toulouse, France
  • Cristian Constantinescu, AMD, Fort Collins, CO, USA
  • Ravishankar K. Iyer, University of Illinois atUrbana-Champaign, IL, USA
  • Johan Karlsson, Chalmers University of Technology,Göteborg, Sweden
  • Michael Nicolaďdis, TIMA, Grenoble, France
Paper presentations:

  • Scaling Effects on Neutron-Induced Soft Error in SRAMs Down to 22nm Process
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)

  • On CMOS Circuit Reliability from MOSFETs and Input Vectors
Valeriu Beiu (UAE University, Al-Ain, UAE; University of Ulster, Londonderry, UK) and Walid Ibrahim (UAE University, Al-Ain, UAE; Carleton University, Ottawa, Canada)

  • Impact of Manufacturing Defects on Carbon Nanotube Logic Circuits
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)

  • Enhanced Fault Coverage Analysis Using ABVFI
Scott Bingham (University of Virginia, Charlottesville, USA) and John Lach (University of Virginia, Charlottesville, USA)

  • Achieving Degradation Tolerance in a Hardware Accelerator with Parallel Functional Units
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)

  • Software Mechanisms for Tolerating Soft Errors in an Automotive Brake-controller
Daniel Skarin (Chalmers University of Technology, Goteborg, Sweden) and Johan Karlsson (Chalmers University of Technology, Goteborg, Sweden)

  • Power Efficient Redundant Execution for Chip Multiprocessors
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)

  • On the Stability and Robustness of Non-Synchronous Circuits with Timing Loops
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)

  • Antonio Casimiro, University of Lisbon, Portugal
  • Rogério de Lemos, University of Coimbra,Portugal 
  • Cristina Gacek, Newcastle University, UK

Session A: Software Architectures and Dependability
Chair: Cristina Gacek
  • Keynote: Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures?
Paola Inverardi (Universitŕ dell'Aquila, Italy)

Session B: Software Architectures and Dependability
Chair: Rogério de Lemos
  • Invited Talk: Architecting Self-Adaptive Critical Systems: Contradiction or Panacea?
Holger Giese (Hasso-Plattner-Institut, Germany)

  • The SOA Dependability Cube
Graham Fletcher (Cranfield University, UK) and Ian Owens (Cranfield University, UK)

  • Fault Tree Generation from EMF Models
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
  • Invited Talk:  On the Design of Adaptive-and-Dependable Systems
Vincenzo De Florio (University of Antwerp, Belgium)

  • Tongo: A framework for Supporting Mobile Application Architectures
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)

  • Data Backup for Mobile Nodes : a Cooperative Middleware and Experimentation Platform
Marc-Olivier Killijian (LAAS-CNRS, France), Matthieu Roy (LAAS-CNRS, France), Gaétan Séverac (LAAS-CNRS, France) and Christophe Zanon (LAAS-CNRS, France)

  • Identification of authenticity requirements in systems of systems by functional security analysis
Andreas Fuchs, Roland Rieke (Fraunhofer Institute for Secure Information Technology (SIT), Germany)

Session D:  What is the future in architecting dependable and secure systems?
  • Breakout discussions and Plenary

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

  • Saurabh Bagchi, Purdue University, USA
  • Miguel Correia, University of Lisbon,Portugal 
  • Partha Pal, BBN Technologies, USA
Paper presentations:

  • What Next in Intrusion Tolerance
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)

  • Quantitative Approach to Tuning of a Time-Based Intrusion-Tolerant System Architecture
Q. Nguyen (George Mason University, USA) and A. Sood (George Mason University, USA)

  • Network Intrusion Detection with Minimal Communication Overhead
O. Kreidl (MIT, USA) and A. Willsky (MIT, USA)

  • On the Use of Radio Resource Tests in Wireless ad hoc Networks
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)

  • Enhancing Fault / Intrusion Tolerance through Design and Configuration Diversity
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)

  • Practical Techniques for Regeneration and Immunization of COTS Applications
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)