[DSN logo] The International Conference on
Dependable Systems and Networks

The International Conference on Dependable Systems and Networks
Palazzo dei Congressi, Florence, Italy • June 28th - July 1, 2004

Conference Home

DSN At a Glance

Final Program




Student Forum

Keynote Speaker



Local Information

Hotel Reservations


Registration Desk at DSN 2004 will be open on June 28 during the entire afternoon and the Welcome Reception. We strongly suggest that attendees register on June 28, and only latecomers use June 29 from 7.30 to 8.00.
The Opening Session will start on June 29 at 8.00 sharp

Angelo Marino of EU will present during the Business Meeting the latest information on IST Programme and on the cooperation with NSF

Tutorial A "Creating Strategy and Tactics Cyberspace " and Tutorial C "Distributed Denial of Service Attacks Background, Diagnosis and Mitigation" have been cancelled all, other three Tutorials are confirmed

Dr. Leslie Lamport Keynote Speaker at DSN 2004

Student Grants


Original Call for Contributions

Preliminary information about DSN 2005


Final Program

Monday, June 28 – Palazzo dei Congressi

08:00-08:30 Room: La Limonaia - Registration

08:30-12:30 Tutorials

Room: Hall 6 - Tutorial A: Creating Strategy and Tactics in Cyberspace - O. Sami Saydjari (Cyber Defense Agency, USA)

Room: Hall 5 - Tutorial B: Survivability of Telecommunications Systems: Concepts, Architectures and Analysis - Veena Mendiratta (Bell Labs, Lucent Technologies, USA); Yun Liu, Kishor Trivedi (Duke U., USA)

12:30-14:00 Lunch (Rooms: Hall 4 and 9)

14:00-18:00 Tutorials

Room: Hall 6 - Tutorial C: Distributed Denial of Service Attacks: Background, Diagnosis and Mitigation - Sven Dietrich (CERT Research, CMU, USA)

Room: Hall 5 - Tutorial D: Avionics Architecture Description Language (AADL) - David Gluch (Embry-Riddle Aeronautical U., USA); Peter Feiler, Bruce Lewis (SEI, USA)

Room: Hall Onice - Tutorial E:Detecting Crash Failures in Asynchronous Distributed Systems: What? Why? How? - Michel Raynal (IFSIC-IRISA & U. of Rennes, France)

18:00-20:30 Room: Passi Perduti - Welcome Reception in Palazzo dei Congressi

Tuesday, June 29 – Palazzo dei Congressi

07:30-08:00 Room: La Limonaia - Registration

08:00-08:45 Room: Auditorium - Welcome to DSN 2004 (Includes Welcome from the General Chair and Conference Coordinator, Welcome from local Authorities, presentations of DCCS PC Chair and of PDS PC Co-Chairs, presentation of Carter Award, presentation of the students who have received Student Grants)

08:45-09:00 Room: Auditorium - IEEE Emanuel Piore Award ceremony presented by the President of IEEE Dr. Arthur W. Winston to Dr. Leslie Lamport

09:00-10:00 Room: Auditorium

Keynote Address
Chair: Michele Morganti (Siemens Mobile Communications, Italy)

Recent Discoveries from Paxos
Leslie Lamport (Microsoft Corp., Mountain View, USA)

10:00-10:30 Break (at bars in Palazzo dei Congressi)

10:30-12:00 Room: Auditorium

Session 1A: Overlay Networks
Chair: David Taylor (University of Waterloo, Canada)

Performance and Dependability of Structured Peer-to-Peer Overlays
Miguel Castro, Manuel Costa, Ant Rowstron (Microsoft Research, UK)

Robust Aggregation Protocols for Large-Scale Overlay Networks
Alberto Montresor, Mark Jelasity, Ozalp Babaoglu (U. of Bologna, Italy)

Impact of Path Diversity on Multi-homed and Overlay Networks
Junghee Han, Farnam Jahanian (U. of Michigan, USA)

10:30-12:00 Room: Hall Onice

Session 1B: Fault Tolerance Hardware Design
Chair: Paolo Prinetto (Turin Polytechnic, Italy)

Fault Detection and Isolation Techniques for Quasi Delay-Insensitive Circuits
Christopher C. LaFrieda, Rajit Manohar (Cornell U., USA)

Tolerating Hard Faults in Microprocessor Array Structures
Fred Bower (Duke U. & IBM, USA), Paul Shealy, Sule Ozev (Duke U., USA); Daniel J. Sorin (Duke U., USA)

Characterizing the Effects of Transient Faults on a High-Performance Processor Pipeline
Nicholas J. Wang, Justin Quek, Todd M. Rafacz, Sanjay J. Patel (UIUC, USA)

10:30-12:00 Room: Hall Verde

Session 1C: Fault Trees & Modelling
Chair: Chandra Kintala (Stevens Institute of Technology, USA)

Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques
Frank Ortmeier, Wolfgang Reif (U. of Augsburg, Germany)

Repairable Fault Tree for the Automatic Evaluation of Repair Policies
Daniele Codetta Raiteri (U. of Turin, Italy); Giuliana Franceschinis ('Amedeo Avogadro' U. of Eastern Piemonte, Italy); Mauro Iacono (Second U. of Naples, Italy); Valeria Vittorini ('Federico II' U. of Naples, Italy)

Availability Measurement and Modeling for an Application Server
Dong Tang, Dileep Kumar, Sreeram Duvur, Oystein Torbjornsen (Sun Microsystems, USA)

10:30-12:00 Room: Hall 202

Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability (IA)
Co-Chairs: Michael Harrison (University of York, UK); Lorenzo Strigini (City University, UK)

Session 1D: Psychological and Organisational Issues

Invited talk
Peter Ayton (City U., UK)

Heterogeneous Modelling of Evolution for Socio-Technical Systems
Stuart Anderson, Massimo Felici (U. of Edinburgh, UK)

10:30-12:00 Room: Hall 203

Workshop on Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks (DIWANS)
Co-Chairs: Saurabh Bagchi (Purdue University, USA); Douglas Blough (Georgia Institute of Technology, USA); Paolo Santi (Istituto di Informatica e Telematica del CNR, Italy); Nitin Vaidya (University of Illinois at Urbana-Champaign, USA)

Session 1E: Invited Lectures
Chair: Doug Blough (Georgia Institute of Technology, USA)

Lightweight Cryptography for Sensor Networks
Virgil Gligor (U. of Maryland, USA)

Security Issues in Ad-Hoc Networks
Jean-Pierre Hubaux (EPFL, Switzerland)

12:00-13:30 Lunch (Room: Passi Perduti)

13:30-15:30 Room: Auditorium

Session 2A: Security Attacks
Chair: Roberto De Prisco (University of Salerno, Italy)

Dynamic Quarantine of Internet Worms
Cynthia Wong, Chenxi Wang, Dawn Song, Stan Bielski, Gregory R. Ganger (CMU, USA)

HOURS: Achieving DoS Resilience in an Open Service Hierarchy
Hao Yang, Haiyun Luo, Yi Yang, Songwu Lu, Lixia Zhang (UCLA, USA)

Robust Protection against Fault-Injection Attacks of Smart Cards Implementing the Advanced Encryption Standard
Mark Karpovsky, Konrad J. Kulikowski, Alexander Taubin (Boston U., USA)

A Defense-Centric Taxonomy Based on Attack Manifestations
Kevin S. Killourhy, Roy A. Maxion, Kymie M. C. Tan (CMU, USA)

13:30-15:30: Hall Onice

Session 2B: Coding Techniques
Chair: Algirdas Avizienis (Vytautas Magnus University, Lithuania)

A Practical Analysis of Low-Density Parity-Check Erasure Codes for Wide-Area Storage Applications
James S. Plank, Michael Thomason (U. of Tennessee, USA)

A Decentralized Algorithm for Erasure-Coded Virtual Disks
Svend Frølund, Arif Merchant, Yasushi Saito, Susan Spence, Alistair Veitch (Hewlett-Packard Laboratories, USA)

Efficient Byzantine-Tolerant Erasure-Coded Storage
Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger, Michael K. Reiter (CMU, USA)

Cyclic Redundancy Code (CRC) Polynomial Selection for Embedded Networks
Philip J. Koopman, Tridib Chakravarty (CMU, USA)

13:30-15:30 Room: Hall Verde

Session 2C: Fast Abstracts
Chair: Ricardo Jiménez Peris (Polytechnic University of Madrid, Spain)

Inner-circle Consistency for Wireless Networks
C. Basile, Z. Kalbarczyk, R. Iyer (UIUC, USA)

Redwood: Dependability Testbed Instrumentation Platform
V. Kotov, V. Mehrotra (CMU, USA)

A Framework for Characterizing Security Management: Methods, Practices, and Technologies using Ontology Domain Modelling Support for Security Architecture Multi-Agents Risk Assessment in E-Commerce Security Services
G. A. Santana Torrellas (Instituto Mexicano del Petroleo, Mexico)

A Dependable Information Infrastructure for Power Quality Control
G. Deconinck, J. Driesen, A. Dusa, R. Tirtea, J. Van de Vyver, K. Vanthournout (K.U. Leuven, Belgium)

Concept of Time-triggered Image Acquisition for Dependable Embedded Systems
W. Kubinger, M. Humenberger, W. Herzner (ARCS Seibersdorf research GmbH, Austria)

A General Purpose Fault Injector for CORBA Applications
M. Alsaeed, N. A. Speirs (U. of Newcastle upon Tyne, UK)

STER: A Strategy for TEsting Reactive Systems
E. Martins (UNICAMP, Brazil), D. C. Guimarães (UNICAMP/INPE, Brazil), A. M. Ambrosio (INPE, Brazil)

Adaptive Incremental Checkpointing on the BlueGene/L Supercomputer
S. Agarwal, R. Garg, M.S. Gupta (IBM India Research Labs, India); J. E. Moreira (IBM T.J. Watson Research Center, USA)

Dependability-explicit Computing in Service-oriented Architectures
J. Fitzgerald, S. Parastatidis, A. Romanovsky, P. Watson (U. of Newcastle upon Tyne, UK)

Routing by Estimation in Mobile Ad Hoc Networks
R. Beraldi (U. of Rome, Italy)

Recovery Protocols for an O2PL Consistency Protocol
J. E. Armendáriz, J.R. González de Mendívil (U. Publica de Navarra, Spain); F.D. Muñoz-Escoí (U. Politecnica de Valencia, Spain)

A Comparison of Failure Detector Classes S and ◊P
M. Larrea, A. Lafuente (U. of the Basque Country, Spain)

Synthetic Diversity for Intrusion Tolerance
J. E. Just, M. Cornwell (Global InfoTek, Inc.)

SAT-Based Synthesis of Fault-Tolerance
A. Ebnenasir, S. S. Kulkarni (Michigan State U., USA)

Intelligent Agents for FORCEnet: Greater Dependability in Network-Centric Warfare
M. G. Ceruti, B. J. Powers (SSC-SD, USA)

Modular Services with Byzantine Recovery
E. Anceaume (IRISA, France); C. Delporte-Gallet , H. Fauconnier (LIAFA, France), M. Hurfin (IRISA, France); G. Le Lann (INRIA, France)

Hardware Support for High-Performance, Intrusion- and Fault-Tolerant Systems
G.P. Saggese, C. Basile (UIUC, USA); L. Romano (U. of Naples, Italy); Z. Kalbarczyk, R.K. Iyer (UIUC, USA)

On the Assessment of Safety Critical Systems Essentially Built on COTS or Software of Uncertain Pedigree (SOUP)
T. Skramstad (Det Norske Veritas Research and NTNU, Norway); L. Bratthall (Det Norske Veritas Research, Norway)

E-DSR: a Mechanism Enhancing Salvaging performance for DSR
Y. Feng, C. Song (R&D Dept. Computer Network Info Center, China)

Towards Synchronization and Mutual Exclusion in Content-Based Publish/Subscribe Systems
P. Fenkam, M. Jazayeri, G. Reif (Technical U. of Vienna, Austria)

Extensions to ST-TCP
M. Marwah, S. Mishra (U. of Colorado, USA)

Applying Components to Access Control Design: Towards a Framework for OS Kernels
T. Jarboui, J-P. Fassino, M. Lacoste (France Telecom R&D, France)

13:30-15:30 Room: Hall 202

Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability (continued)

Session 2D: Methods and Applications

Improving dependability through a deviation analysis on distributed tasks in safety critical systems
A-M. Marhan (Institute for Educational Sciences, Romania); F. Paterno, C. Santoro (ISTI-CNR, Italy)

Dependability in RESCUE: A Concurrent Engineering Approach to
the Specification of Requirements for Air Traffic Management
N. Maiden, S. Jones (City U., UK)

Defining electronic authenticity
J-F. Blanchette (U. of British Columbia, Canada)

Towards an inter-disciplinary dependability analysis of an e-voting
J.W. Bryans, P.Y.A. Ryan (U. of Newcastle upon Tyne, UK)

Inferring Network Properties from Topological and Spectral Analysis
V. Rosato, S. Bologna (ENEA, Italy); F. Tiriticco (U. of Rome ‘Tor Vergata’, Italy)

13:30-15:30 Room: Hall 203

Workshop on Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks (continued)

Session 2E: Robust Communication
Chair: Paolo Santi (IIT- CNR, Italy)

Failure-Resilient Ad Hoc and Sensor Networks in a Shadow Fading Environment
C. Bettstetter (DoCoMo Euro-Labs, Germany)

A Robust and Light-Weight Routing Mechanism for Wireless Sensor Networks
Jing Deng, Richard Han, and Shivakant Mishra (U. of Colorado at Boulder, USA)

FLOC: A Fast Local Clustering Service for Wireless Sensor Networks
Murat Demirbas, Anish Arora, and Vineet Mittal (Ohio State U., USA)

Fault Tolerant Communication Topologies for Wireless Ad Hoc Networks
Bernd Thallner (Technical U. Wien, Austria)

15:30-16:00 Break (at bars in Palazzo dei Congressi)

16:00-17:30 Room: Auditorium

Session 3A: Emerging Technologies
Chair: Jacob Abraham (University of Texas, Austin, USA)

Fault Tolerant Computation on Ensemble Quantum Computers
P. Oscar Boykin (UCLA, USA); Tal Mor (Technion, Israel); Vwani P. Roychowdhury (UCLA, USA); Farrokh Vatan (JPL, USA)

The Recursive NanoBox Processor Grid: A Reliable System Architecture for Unreliable Nanotechnology Devices
AJ KleinOsowski, Kevin KleinOsowski, Vijay Rangarajan,
Priyadarshini Ranganath, David J. Lilja (U. of Minnesota, USA)

The Impact of Technology Scaling on Lifetime Reliability
Jayanth Srinivasan, Sarita V. Adve (UIUC, USA); Pradip Bose, Jude A. Rivers (IBM T.J. Watson Research Center, USA)
16:00-17:30 Room: Hall Onice

Session 3B: Formal Methods
Chair: Marie-Claude Gaudel (PCRI, Orsay, France) 

Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration to Exhaustive Fault Simulation
Wilfried Steiner (Vienna U. of Technology, Austria); John Rushby (SRI International, USA); Maria Sorea, Holger Pfeifer (U. of Ulm, Germany)

Verifying Web Application Using Bounded Model Checking
Yao-Wen Huang (National Taiwan U. & Academia Sinica, Taiwan); Fang Yu (Academia Sinica, Taiwan); Christian Hang (RWTH Aachen, Germany); Chung-Hung Tsai (National Taiwan U., Taiwan); Der-Tsai Lee (Academia Sinica); Sy-Yen Kuo (National Taiwan U., Taiwan)

Automated Synthesis of Multitolerance
Sandeep S. Kulkarni, Ali Ebnenasir (Michigan State U., USA)

16:00-17:30 Room: Hall Verde

Session 3C: Practical Experience on Dependability and Performance Assessment
Chair: Eliane Martins (University of Campinas, Brasil)

Benchmarking the Dependability of Windows NT4, 2000 and XP
Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat (LAAS-CNRS, France)

Checkpointing of Control Structures in Main Memory Database Systems
Long Wang, Zbigniew Kalbarczyk, Ravishankar K. Iyer (UIUC, USA); H. Vora, T. Chahande (Mascon IT Ltd., USA)

Hierarchical Computation of Interval Availability and Related Metrics
Dong Tang (Sun Microsystems, USA); Kishor S. Trivedi (Duke U., USA)

16:00-17:30 Room: Hall 202

Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability (continued)

Session 3D: Working Groups

16:00-17:30 Room: Hall 203

Workshop on Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks (continued)

Session 3E: Panel: Industry Perspectives on Ad Hoc and Sensor Networks
Moderator: Saurabh Bagchi (Purdue U., USA);
Christian Bettstetter (DoCoMo Euro-Labs, Germany); Salvatore Rotolo (STMicroelectronics, Italy); Fernando Genova (Telecom Italia Labs, Italy); Michele Morganti (Siemens Mobile Communications, Italy)

17:30-18:00 Break (at bars in Palazzo dei Congressi)

18:00-19:30 Room: Auditorium

Session 4A (Panel): Impact of Soft Errors in Future Computing Systems
Organizer: Ravishankar K. Iyer (University of Illinois at Urbana-Champaign, USA)

18:00-19:30 Room: Hall 202

Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability (continued)

Session 4D: Working Groups and feedback

18:00-19:30 Room: Hall 203

Workshop on Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks (continued)

Session 4E: Mobility

RAMBONODEs for the Metropolitan Ad Hoc Network
Jacob Beal, Seth Gilbert (MIT, USA)

Security Instantiation for Mobile Networks
Sandeep Kulkarni (Michigan State U., USA); Mohamed Gouda (U. of Texas at Austin, USA); Anish Arora (Ohio State U., USA)

19:30-20:30 Cocktail in Palazzo dei Congressi (Room: Passi Perduti)

Wednesday, June 30 – Palazzo Affari

08:30-10:30 Room: Hall A First Floor - Palazzo Affari

Session 5A: Broadcast & Multicast
Chair: Luís Rodrigues (University of Lisbon, Portugal)

Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast
Gal Badishi, Idit Keidar, Amir Sasson (Technion, Israel)

Data-Aware Multicast
Sébastien Baehni, Patrick Th. Eugster, Rachid Guerraoui (EPFL, Switzerland)

Timed Uniform Consensus Resilient to Crash and Timing Faults
Taisuke Izumi, Akinori Saitoh, Toshimitsu Masuzawa (Osaka U., Japan)

Caching-Enhanced Scalable Reliable Multicast
Carolos Livadas (BBN Technologies, USA); Idit Keidar (Technion, Israel) 

08:30-10:30 Room: Hall B First Floor - Palazzo Affari

Session 5B: Dependability Assessment
Chair: Johan Karlsson (Chalmers University, Sweden)

The Effect of Testing on Reliability of Fault-Tolerant Software
Peter T. Popov, Bev Littlewood (CSR, City U., UK)

Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees
Elizabeth A. Latronico (CMU, USA); Paul S. Miner (NASA Langley Research Center, USA); Philip J. Koopman (CMU, USA)

Generic Faultloads Based on Software Faults for Dependability Benchmarking
João Durães (Polytechnic Institute of Coimbra, Portugal); Henrique Madeira (U. of Coimbra, Portugal)

Improving System Dependability with Functional Alternatives
Charles P. Shelton (Robert Bosch Corp., USA); Philip J. Koopman (CMU, USA)
08:30-10:30 Room: Adua First Floor - Palazzo Affari

Session 5C: Model Checking
Chair: Tohru Kikuno (University of Osaka, Japan)

Model Checking Action- and State-Labelled Markov Chains
Christel Baier (U. of Bonn, Germany); Lucia Cloth, Boudewijn Haverkort (U. of Twente, Netherlands); Matthias Kuntz (U. of Erlangen-Nürnberg, Germany); Markus Siegle (U. of the Federal Armed Forces Munich, Germany)

Model Checking Dependability Attributes of Wireless Group Communication
Mieke Massink (ISTI-CNR, Italy); Joost-Pieter Katoen (U. of Twente, Netherlands); Diego Latella (ISTI-CNR, Italy)

Min-Max Checkpoint Placement under Incomplete Failure Information
Tatsuya Ozaki, Tadashi Dohi, Hiroyuki Okamura (Hiroshima U., Japan); Naoto Kaio (Hiroshima Shudo U., Japan)

Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances
Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi (U. of Urbino, Italy)

08:30-10:30 Room: Hall 326 Third Floor - Palazzo Affari

Workshop on Architecting Dependable Systems
Co-Chairs: Rogério de Lemos (University of Kent at Canterbury, UK); Cristina Gacek, Alexander Romanovsky (University of Newcastle upon Tyne, UK)

From Dependable Architectures to Dependable Systems (invited lecture)
N. Medvidovic (USC, USA)

Session 5D: Architectural Compositionality
Chair: R. de Lemos (U. of Kent, UK)

Extracting Functional and Non-functional Contracts from Java Classes and Enterprise Java Beans
N. Milanovic, M. Malek (Humboldt U., Germany)

On Dependability of Composite Web Services with Components Upgraded Online
V. Kharchenko, (National Aerospace U., Ukraine); P. Popov (City U., UK); A. Romanovsky (U. of Newcastle upon Tyne, UK)

08:30-10:30 Room: 226 Second Floor - Palazzo Affari

Workshop on Fault Diagnosis and Tolerance in Cryptography

Co-Chairs: Luca Breveglieri (Milan Polytechnic, Italy); Israel Koren (University of Massachusetts, USA)

Session 5E: Cryptographic Systems and Potential Attacks – Overview

Luca Breveglieri (Polytechnic of Milan, Italy); Israel Koren (U. of Massachusetts at Amherst, USA)

The Sorcerer's Apprentice Guide to Fault Attacks (invited lecture)
David Naccache (speaker) (Gemplus Card International, France); with the co-operation of Hagai Bar-El (Discretix Technologies, Israel); Hamid Choukri (Gemplus Card International, France); Michael Tunstall (Gemplus Card International, France and Royal Holloway U.,UK); Claire Whelan, (Dublin City U., Ireland)

Basics of Fault Attacks
Christophe Giraud (Oberthur Card Systems, France); Hugues Thiebeauld (Thales Microelectronics, France)

10:30-11:00 Break (Room: Basement of Palazzo Affari)

11:00-13:00 Room: Hall A First Floor - Palazzo Affari

Session 6A: Distributed Algorithms
Chair: Michel Raynal (IRISA & University of Rennes, France)
Cheap Paxos
Leslie Lamport, Mike Massa (Microsoft, USA)

The Join Problem in Dynamic Network Algorithms
Kishori Konwar (U. of Connecticut, USA); Dariusz Kowalski (Max-Planck-Institute for Informatics, Germany); Alex A. Shvartsman (U. of Connecticut & MIT, USA)

A Framework for Dynamic Byzantine Storage
Jean-Philippe Martin, Lorenzo Alvisi (U. of Texas at Austin, USA)

Dependable Initialization of Large-Scale Distributed Software
Yansong (Jennifer) Ren, Rick Buskens, Oscar Gonzalez (Lucent Technologies, USA)
11:00-13:00 Room: Hall B First Floor - Palazzo Affari

Session 6B: Fast Abstracts (continued)
Chair: Michel Cukier (University of Maryland, USA)

Recovery of Peer-to-Peer Applications in the Mobile Network Infrastructure
M. Z. Beiroumi (Technical U. of Denmark, Denmark)

Towards a Lightweight Formal Approach to Constructing Dependable Event-Based Applications
P. Fenkam, M. Jazayeri (Technical U. of Vienna, Austria)

Using XML Schema as a Validation Mechanism to Provide Semantic Consistency for Dependable Information Exchange
J. D. Neushul (Marine Corps Tactical Systems Support Activity, USA), M. G. Ceruti (SSC-SD, USA)

Building Reliable Peer-to-Peer Systems with Formal Methods
L. Yan, K. Sere, N. Iqbal (Abo Akademi U., Finland)

Real-time Fault Injection with the Signal-Flip model by FIDYCO
B. Rahbaran, A. Steininger (Vienna U. of Technology, Austria)

Distributed Authentication and Key Generation with Multiple User Trust Levels
J. Ding, A. Mukherjee, D. Agrawal (U. of Cincinnati, USA)

A Modular Approach to Optimizing Highly-Dynamic Distributed Systems
B. Garbinato (U. of Lausanne, Switzerland), F. Pedone, R. Schmidt (EPFL, Switzerland)

On the Concept of Mobile Distributed Virtual Memory System
S. Bagchi, M. Nygaard (IDI-NTNU, Norway)

On the Effects of Graph-Structured Membership Views on the Reliability of Gossip
T. Tsuchiya, D. Igarashi, T. Kikuno (Osaka U., Japan)

Evolutionary Design Observations
M. Felici (U. of Edinburgh, UK)

Dependable Communications on Lossy Networks through Redundancy and Hop-to-Hop Recovery
J. E. Just (Global InfoTek, Inc.)

Reputation-based Security in Routed Networks
S. E. Coull, B. K. Szymanski (Rensselaer Polytechnic Institute, USA)

Design of Dependable VLSI Processor Using Triple Modular Redundancy
M. Arai, S. Fukumoto, K. Iwasaki (Tokyo Metropolitan U., Japan)

A Modular Middleware for Reliable Distributed Programming
M. Larrea, A. Lafuente, C. Martín (U. of the Basque Country, Spain)

CASPA: A Tool for Symbolic Performance and Dependability Evaluation
M. Kuntz, M. Siegle (U. of the Federal Armed Forces Munich, Germany), E. Werner (Georg-August-Universitat Gottingen, Germany)

Checkpointing and Logging for Intrusion Analysis and Recovery
W. Zhao, L.E. Moser, P.M. Melliar-Smith (U. of California, Santa Barbara, USA)

Distributed Backup Path Bandwidth Management for Network Reliability
M. Li, C. Huang, A. Srinivasan (Carleton U., Canada)

An OBDD-based Complete Algorithm for Memory Reconfiguration Problems
H.-Y. Lin (National Taiwan U., Taiwan), F.-M. Yeh (Chung-Shan Institute of Science and Technology, Taiwan), S.-Y. Kuo (National Taiwan U., Taiwan)

Energy Efficiency and Fault Tolerance in Wireless Network Cards Through Buffering
N. Pettis, S. Bagchi (Purdue U., USA)

Reliable Schemes in Jini Middleware for Mobile Ad Hoc Networks
S.-J. Lee, J.-H. Kim, Y.-B. Ko (Ajou U., South Korea)

Timely ACID Transactions in DBMS
M. Vieira (ISEC-CISUC, Portugal), A. C. Costa (FCUL, Portugal), H. Madeira (DEI-CISUC, Portugal)

Costs/Benefits of Using Formal Methods
A. Pataricza, O. Dobán, Á. Szöke (Budapest U. of Technology and Economics, Hungary)

11:00-13:00 Room: Adua First Floor - Palazzo Affari

Session 6C: QoS and Performance Evaluation
Chair: William H. Sanders (University of Illinois at Urbana-Champaign, USA)

An SLA-Oriented Capacity Planning Tool for Streaming Media Services
Ludmila Cherkasova, Wenting Tang, Sharad Singhal (Hewlett-Packard Laboratories, USA)

QoS of Timeout-Based Self-Tuned Failure Detectors: The Effects of the Communication Delay Predictor and the Safety Margin
Raul Ceretta Nunes (Federal U. of Santa Maria, Brazil); Ingrid Jansch-Pôrto (Federal U. of Rio Grande do Sul, Brazil)

Optimal Object State Transfer-Recovery Policies for Fault-Tolerant Distributed Systems
Panagiotis Katsaros, Constantine Lazos (Aristotle U. of Thessaloniki, Greece)

Failure Data Analysis of a Large-Scale Heterogeneous Server Environment
Ramendra K. Sahoo (IBM T.J. Watson Research Center, USA); Anand Sivasubramaniam (Pennsylvania State U., USA); Mark S. Squillante, Yanyong Zhang (IBM T.J. Watson Research Center, USA)

11:00-13:00 Room: Hall 326 Third Floor - Palazzo Affari

Workshop on Architecting Dependable Systems (continued)

Session 6D: Architectures for Dependability
Chair: C. Gacek (U. of Newcastle upon Tyne, UK)

High-level Supervision of Program Execution Based on Formal Specification
G. Pintér, I. Majzik (Budapest U. of Measurement and Economics, Hungary)

Building Dependable Peer-to-Peer Systems
K. Vanthournout, G.Deconinck, R. Belmans (Catholic University of Leuven, Belgium)

An Architecture for Versatile Dependability
T. Dumitras¸ P. Narasimhan (CMU, USA)

Classification of Quality Attributes for Predictability in Component-based
I. Crnkovic (Malardalen U., Sweden); M. Larsson (ABB Corp. Res.,Sweden)

Applying Design Diversity to Aspects of System Architectures and Deployment Configurations to Enhance System Dependability
M. J. Hawthorne, D. E. Perry (U. of Texas at Austin, USA)

11:00-13:00 Room: 226 Second Floor - Palazzo Affari

Workshop on Fault Diagnosis and Tolerance in Cryptography (continued)

Session 6E: Fault Attacks on Cryptographic Circuits – Theory and Practical Cases
Chair: J.P. Seifert (Infineon, Germany)

Early Analysis of Fault-Attack Effects for Cryptographic Hardware
Régis Leveugle (TIMA Laboratory, France)

Fault Resistance: from Reliability to Safety
Pierre-Yvan Liardet, Yannick Teglia (ST Microelectronics, France)

Fault Attacks on Signature Schemes
Christophe Giraud (Oberthur Card Systems, France); Erik Knudsen (Logos Smart Card, Denmark)

Detecting Faults in Integer and Finite Field Arithmetic Operations for Cryptography
Luca Breveglieri (Polytechnic of Milan, Italy); Israel Koren (U. of Massachusetts at Amherst, USA); Paolo Maistri (Polytechnic of Milan, Italy)

13:00-14:30 Lunch (Room: Basement of Palazzo Affari)

14:30-16:30 Room: Hall A First Floor - Palazzo Affari

Session 7A: Embedded & Real-Time Systems
Chair: András Pataricza (Budapest University of Technology and Economics, Hungary)

A Bi-criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints
Ismail Assayad (Verimag & ST Microelectronics, France); Alain Girault (INRIA Rhône-Alpes, France); Hamoudi Kalla (INRIA Rhône-Alpes, France)

Proactive Recovery in Distributed CORBA Applications
Soila M. Pertet, Priya Narasimhan (CMU, USA)

Assured Reconfiguration of Embedded Real-Time Software
Elisabeth A. Strunk, John C. Knight (U. of Virginia, USA)

Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems
Jennifer A. Morris, Daniel Kroening, Philip J. Koopman (CMU, USA)

14:30-16:30 Room: Hall B First Floor - Palazzo Affari

Session 7B: Practical Experience of Evaluation Tools & Methods
Chair: João Gabriel Silva (University of Coimbra, Portugal)

Fault Diversity Among Off-the-Shelf SQL Database Servers
Ilir I. Gashi, Peter T. Popov, Lorenzo Strigini (CSR, City U., UK)

Does Your Result Checker Really Check?
Lan Guo (West Virginia U., USA); Supratik Mukhopadhyay (NASA & West Virginia U., USA); Bojan Cukic (West Virginia U., USA)

Experience with Evaluating Human-Assisted Recovery Processes
Aaron B. Brown, Leonard Chung, William Kakes, Calvin Ling, David A. Patterson (UC Berkeley, USA)

Automated System Design for Availability
G. (John) Janakiraman, Jose Renato Santos, Yoshio Turner (Hewlett-Packard Laboratories, USA)

14:30-16:00 Room: Adua First Floor - Palazzo Affari

Session 7C: Sensor Networks
Chair: Miroslaw Malek (Humboldt University of Berlin, Germany)

Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks
Patrick Downey, Rachel Cardell-Oliver (U. of Western Australia, Australia)

Fault Tolerant Energy Aware Data Dissemination Protocol in Sensor Network
Gunjan Khanna, Saurabh Bagchi, Yu-Sung Wu (Purdue U., USA)

Cluster-Based Failure Detection Service for Large-Scale Ad Hoc Wireless Network Applications
Ann T. Tai, Kam S. Tso (IA Tech, USA); William H. Sanders (UIUC, USA)

14:30-16:30 Room: Hall 326 Third Floor - Palazzo Affari

Workshop on Architecting Dependable Systems (continued)

Session 7D: Architectural Dependability Evaluation
Chair: A. Romanovsky (U. of Newcastle upon Tyne, UK)

Architecture-based Dependability Prediction for Service-oriented Computing
V. Grassi (U. of Rome ‘Tor Vergata’, Italy)

Architecture-based Strategy for Interface Fault Injection
R. L. de O. Moraes, E. Martins (UNICAMP, Brazil)

Toward Architecture-Based Reliability Estimation
R. Roshandel, N. Medvidovic (USC, USA)

Panel: How to Guarantee at the Architectural Level the Dependability Requirements of a System?

14:30-16:30 Room: 226 Second Floor - Palazzo Affari

Workshop on Fault Diagnosis and Tolerance in Cryptography (continued)

Session 7E: Fault Detection for Protection against Attacks
Chair: David Naccache (Gemplus Card International, France)

Fault Detection Mechanisms for Smart-Cards performing Modular Exponentiation (RSA)
Shay Gueron (Discretix Technologies, Israel and University of Haifa, Israel)

Can Scan Chains be Used to Attack the Data Encryption Standard
Bo Yang, Kaijie Wu, Ramesh Karri (Polytechnic U. of Brooklyn, USA)

Error Detection by Parity Mdification for the 128-bit Serpent Encryption Algorithm
Grigori Kusnezov (U. of Potsdam, Germany); Ramesh Karri, (Polytechnic U. of Brooklyn, USA); Michael Goessel (U. of Potsdam, Germany)

Cryptanalysis of two Protocols for RSA with CRT based on Fault Infection
Sung-Ming Yen (National Central U., Taiwan); Dongryeol Kim (Korea Information Security Agency, Korea)

17:00-20:00 Reception in Salone dei Cinquecento, Palazzo Vecchio (entrance from Porta della Dogana, via dei Gondi) and visit of Corridoio Vasariano

20:00-21:30 Buffet Dinner in Cortile dell'Ammannati in Palazzo Pitti

21:30-23:30 Final Rehearsal of 'Il Viaggio a Reims' of Gioacchino Rossini in Cortile della Meridiana in Palazzo Pitti

Thursday, July 1

08:30-10:30 Room: Hall A First Floor - Palazzo Affari

Session 8A: Intrusion Detection & Intrusion Tolerance
Chair: Carl E. Landwehr (National Science Foundation, USA)

Secure Distributed DNS
Christian Cachin (IBM Research Zurich, Switzerland); Asad Samar (CMU, USA)

SCIDIVE: A Stateful and Cross Protocol Intrusion Detection Architecture for Voice-over-IP Environments
Yu-Sung Wu, Saurabh Bagchi (Purdue U., USA); Sachin Garg, Navjot Singh, Tim Tsai (Avaya Labs, USA)

A Portable Implementation Framework for Intrusion-Resilient Database Management Systems
Alexey I. Smirnov, Tzi-cker Chiueh (SUNY at Stony Brook, USA)

A Qualitative Analysis of the Intrusion-Tolerance Capabilities of the MAFTIA Architecture
Robert J. Stroud (U. of Newcastle upon Tyne, UK); Ian Welch (Victoria U., New Zealand); John Warne, Peter Ryan (U. of Newcastle upon Tyne, UK)

08:30-10:30 Room: Hall B First Floor - Palazzo Affari

Session 8B: Fault-Tolerant Routing
Chair: Arun Somani (Iowa State University, USA)

FRTR: A Scalable Mechanism for Global Routing Table Consistency
Lan Wang (UCLA, USA); Daniel Massey (USC/ISI, USA); Keyur Patel (Cisco, USA); Lixia Zhang (UCLA, USA)

On Failure Dependent Protection in Optical Grooming Networks Srinivasan Ramasubramanian (U. of Arizona, USA)

Analyses of the Reverse Path Forwarding Routing Algorithm
Christie M. Bolton, Gavin Lowe (Oxford U., UK)

Delivering Packets during the Routing Convergence Latency Interval through Highly Connected Detours
Elias P. Duarte Jr. (Federal U. of Paraná, Brazil); Rogério Santini (Federal U. of Paraná, Brazil); Jaime Cohen (State U. of Paraná at Ponta Grossa, Brazil)

08:30-10:30 Room: Adua First Floor - Palazzo Affari

Session 8C: Evaluation Theory
Chair: Boudewijn Haverkort (University of Twente, Netherlands)

A Markov Reward Model for Reliable Synchronous Dataflow System Design
Vinu Vijay Kumar, Rashi Verma, John Lach, Joanne Bechta Dugan (U. of Virginia, USA)

A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy
Mehdi Kargahi, Ali Movaghar (Sharif U. of Technology & IPM, Iran)

An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets
Marco Gribaudo, Matteo Sereno (U. of Turin, Italy)

Analysis of Second-Order Markov Reward Models
Gabor Horváth, Sandor Rácz, Miklos Telek (Technical U. of Budapest, Hungary)

08:30-10:30 Room: Hall 326 Third Floor - Palazzo Affari

Workshop on Assurance Cases: Best Practices, Possible Obstacles and Future Opportunities (AC)
Co-Chairs: Charles C. Howell (MITRE, USA); Sofia Guerra (Adelard, UK); Shari Lawrence Pfleeger (RAND, USA); Victoria Stavridou-Coleman (SRI, USA)

Session 8D: Current Best Practices, Experiences and Recurring Challenges

Session Introduction: The Future of Goal-based Assurance Cases
Sofia Guerra (Adelard, UK)

Formalism and Judgment in Assurance Cases
Lorenzo Strigini (CSR, City U., UK)

Regulatory Assessment of Software Based Safety Systems: Experiences and Conclusions
Bo Liwång (Swedish Nuclear Power Inspectorate, Sweden)

Assurance in Security Evaluation
Charles P. Pfleeger (Pfleeger Consulting Group)

08:30-10:30 Room: Hall 226 Second Floor - Palazzo Affari

Session 8E: Student Forum
Chair: Gianfranco Ciardo (University of California at Riverside, USA)

Causal Ordering of Asynchronous Request Services
Christian Delbé (INRIA - CNRS - U. Nice-Sophia Antipolis, France)

Parametric Dynamic Fault Tree and its Solution through Modularization
Daniele Codetta Raiteri (U. of Turin, Italy)

On Queuing Networks of VBR Video
Wenze Hu (Tsinghua U., P.R.China)

Dependable Self-organizing Overlay Networks for Resource Discovery
Koen Vanthournout (Catholic University of Leuven, Belgium)

Experimental Validation of LinuxJournaling Filesystems
Leonardo Garcia de Mello (Federal U. of Rio Grande do Sul, Brazil)

A Self-Healing Network for Content-Based Publish/Subscribe Systems
Leonardo Querzoni (U. of Rome "La Sapienza", Italy)

Performance Evaluation in Overlay Communication Networks
Daniele Manini (University of Turin, Italy)

Achieving Dependability in Nomadic Environments
Marcello Cinque ('Federico II' U. of Naples, Italy)

Performance Analysis of MAC Layer in IEEE 802.11 Networks
Muhammad Umar Ilyas (National U. of Sciences & Technology, Pakistan)

10:30-11:00 Break (Room: Basement of Palazzo Affari)

11:00-13:00 Room: Hall A First Floor - Palazzo Affari

Session 9A: Dissemination & Diffusion
Chair: Raimundo A. Macêdo (Federal University of Bahia, Brazil)

An Adaptive Algorithm for Efficient Message Diffusion in Unreliable Environments
Benoît Garbinato (U. of Lausanne, Switzerland); Fernando Pedone, Rodrigo Schmidt (EPFL, Switzerland)

Efficient Hierarchic Management for Reconfiguration of
 Networked Information System
Jonathan Rowanhill, John C. Knight, Philip Varner (U. of Virginia, USA)

Collective Endorsement and the Dissemination Problem in Malicious Environments
Subramanian Lakshmanan, Deepak J. Manohar, Mustaque Ahamad, H. Venkateswaran (Georgia Institute of Technology, USA)

Support for Mobility and Fault Tolerance in Mykil
Jyh-How Huang, Shivakant Mishra (U. of Colorado at Boulder, USA)

11:00-13:00 Room: Hall B First Floor - Palazzo Affari

Session 9B: Practical Experience in Fault-Tolerance & Real-Time
Chair: David Powell (LAAS-CNRS, France)

Implementing Simple Replication Protocols Using CORBA Portable Interceptors and Java Serialization
Taha Bennani, Laurent Blain, Ludovic Courtes, Jean-Charles Fabre, Marc-Olivier Killijian, Eric Marsden, François Taïani (LAAS-CNRS, France)

In Advance Activation of Backup Channels for Real-Time Transmission
Enrique Hernández Orallo, Joan Vila Carbó (Polytechnic U. of Valencia, Spain)

Why PCs are Fragile and What We Can Do about It: A Study of Windows Registry Problems
Archana S. Ganapathi (UC Berkeley, USA); Yi-Min Wang (Microsoft Research, USA); Ni Lao, Ji-Rong Wen (Microsoft Research, China)

Dependable Adaptive Real-Time Applications in Wormhole-Based Systems
Pedro R. Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo (U. of Lisbon, Portugal)

11:00-13:00 Room: Adua First Floor - Palazzo Affari

Session 9C: Dependability Benchmarking
Chair: Cristian Constantinescu (Intel, USA)

On Benchmarking the Dependability of Automotive Engine Control Applications
Juan-Carlos Ruiz, Pedro Yuste, Pedro Gil, Lenin Lemus (Technical U. of Valencia, Spain)

Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel
Arnaud Albinet, Jean Arlat, Jean-Charles Fabre (LAAS-CNRS, France)

A Framework for Evaluating Storage System Dependability
Kimberly Keeton, Arif Merchant (Hewlett-Packard Laboratories, USA)

Error Sensitivity of the Linux Kernel Executing on PowerPC G4 and Pentium 4 Processors
Weining Gu, Zbigniew Kalbarczyk, Ravishankar K. Iyer (UIUC, USA)

11:00-13:00 Room: Hall 326 Third Floor - Palazzo Affari

Workshop on Assurance Cases: Best Practices, Possible Obstacles and Future Opportunities (continued)

Session 9D: Promising Research and New Opportunities

Session Introduction: Information Assurance Cases: Problems and Approaches
Victoria Stavridou-Coleman (SRI, USA)

Dependability Cases
Chuck Weinstock, John Goodenough, (SEI, USA)

The Goal Structuring Notation - A Safety Argument Notation
Tim Kelly, Rob Weaver (U. of York, UK)

Assurance Cases: how assured are you?
Samantha Lautieri, David Cooper, David Jackson, Trevor Cockram, (Praxis Critical Systems, UK)

11:00-13:00 Room: Hall 226 Second Floor - Palazzo Affari

Session 9E: Student Forum (continued)
Chair: Susanna Donatelli (University of Turin, Italy)

Middleware Services for Trusted Coordination
Paul Robinson (U. of Newcastle, UK)

Integration of adaptable fault management techniques into a dependable middleware architecture
Rodica Tirtea (Catholic University of Leuven, Belgium)

Edge Services: Generating Dynamic Web Content for E-commerce
Sameh Elnikety (EPFL, Switzerland)

Asynchronous Duplex Commucation Based on Wire-Shared Current-Mode Signal Multiplexing
Tomohiro Takahashi (Tohoku U., Japan)

Application Specific Small-Scale Reconfigurability
Vinu Vijay Kumar (U. of Virginia, USA)

Denial of Service – A Study of Latest Trends
Muhammad Abu Baker Ilyas (National U. of Sciences & Technology, Pakistan)

Client Based Stateful Session Bean Replication Algorithm
Jaksa Vuckovic (U. of Bologna, Italy)

Dependable Application Hosting
Giorgia Lodi (U. of Bologna, Italy)

An Efficient Multicasting Protocol for ad hoc Networks
P.Athi Sivasankari (Anna U., India)

13:00-14:30 Lunch (Room: Basement of Palazzo Affari)

14:30-16:30 Room: Hall A First Floor - Palazzo Affari

Session 10A: Support for Security & Dependability
Chair: Hermann Kopetz (Technical University of Vienna, Austria)

High Throughput Byzantine Fault Tolerance
Ramakrishna Kotla, Mike Dahlin (U. of Texas at Austin, USA)

An Architectural Framework for Providing Reliability and Security Support
Nithin M. Nakka (UIUC, USA); Zbigniew Kalbarczyk, Ravishankar K. Iyer (UIUC, USA); Jun Xu (North Carolina State U., USA)

Diverse Firewall Design
Alex X. Liu, Mohamed G. Gouda (U. of Texas at Austin, USA)

Component Middleware to Support Non-repudiable Service Interactions
Nick O. Cook, Paul Robinson, Santosh Shrivastava (U. of Newcastle upon Tyne, UK)

14:30-16:00 Room: Hall B First Floor - Palazzo Affari

Session 10B: Mobility & Wireless Systems
Chair: Roberto Baldoni (University of Rome "La Sapienza", Italy)

Customizing Dependability Attributes for Mobile Service Platforms
Jun He (U. of Arizona, USA); Matti A. Hiltunen (AT&T Labs - Research, USA); Richard Schlichting (AT&T Labs - Research, USA)

Discovering 1-FT Routes in Mobile Ad Hoc Networks
Rajesh Venkatasubramanian, John P. Hayes (U. of Michigan, USA)

Intrusion Tolerance and Anti-traffic Analysis Strategies for Wireless Sensor Networks
Jing Deng, Richard Han, Shivakant Mishra (U. of Colorado at Boulder, USA)

14:30-16:30 Room: Adua First Floor Palazzo Affari

Session 10C: Fast Abstracts (continued)
Chair: Ann Tai (IA Tech, Inc., USA)

Incompetence Faults: Let's Record that They Exist
A. Avizienis (Vytautas Magnus U., Lithuania)

A Component-based Methodology to Adapt the Fault Tolerance of Distributed Protocols
R. Baldoni (U. of Rome, Italy), J-M. Hélary (IRISA, France)

The Heisenbug Problem
P. M. Melliar-Smith and L. E. Moser (U. of California, Santa Barbara, USA)

Predictive Routing for Vide Streaming over MANETs
S. H. Srinivasan (Satyam Computer Services Ltd, India)

Survivable Design in Light Trail Optical Networks: A Heuristic Approach
W. He, A. K. Somani (Iowa State U., USA)

Recovery Oriented Device Driver Architecture
V. Sethi (SCO Software India Pvt. Ltd, India), P. Verma (U. of Michigan, USA)

Design Trade-offs for Systematic Tests of Embedded Communication Systems
E. Armengaud, A. Steininger (Vienna U. of Technology, Austria), M. Horauer (Technikum Wien, Austria), R. Pallierer (Dependable Computer Systems GmbH)

MAC Layer Multicast Protocol to Increase Reliability in WLANs
P. Ding, J. Holliday, A. Celik (Santa Clara U., USA)

A Hybrid Service Discovery for Improving Robustness in Mobile Ad Hoc Networks
C-S Oh, Y-B Ko, J-H Kim (Ajou U., Republic of Korea)

Towards Anti-Model-based Testing
A. Bertolino, A. Polini (ISTI-CNR, Italy), P. Inverardi, H. Muccini (U. of L’Aquila, Italy)

Scalable, Signature-Free Characterizations of Propagating Internet Phenomena
A. Valdes, M. Fong (SRI International)

Design Motivations of a Composable Group Service
F. Gonçalves Pereira Greve (Federal U. of Bahia, Brazil)

A Reliable Gradient Approach for Efficient Data Dissemination in Wireless Sensor Networks
K.-H. Han, Y.-B. Ko (Ajou U., Republic of Korea)

Towards a Framework for Distributed, Survivable Enterprises
A. Kim, J. Luo, J. Froscher (Naval Research Lab, USA)

Web-server Availability from the End-user Viewpoint: a Comparative Study
J. Durães (DEIS-ISEC/CISUC, Portugal), H. Madeira (DEI/CISUC, Portugal)

Dynamically Adaptive Replicated Databases
J. Milan-Franco, R. Jiménez-Peris, M. Patiño-Martínez (Universidad Politecnica de Madrid, Spain), B. Kemme (McGill U., Canada)

An API for Varying Criticality Requirements in Parallel Programs
A. Rabeler, Z. Chishti, S. Bagchi (Purdue U., USA)

A Fault Tolerance Strategy for Real-Time Distributed Multimedia Applications
D. Cotroneo, C. di Flora, G. Paolillo, S. Russo (U. of Naples "Federico II", Italy)

Reconfiguring Wireless Security and Fault Tolerance
M. T. Frederick, N. VanderHorn, A. K. Somani (Iowa State U., USA)

Overview of the Methodology and Tools Developed for the Validation of CNES Fault-Tolerant Architectures
M. Pignol (CNES, France)

Towards Uniform Interchange Formats for Performance Validation Tools
A. Di Marco, V. Cortellessa (U. of L’Aquila, Italy)

A Trust Index Based Protocol to Tolerate Byzantine Failures in Sensor Networks
M. Krasniewski, P. Varadharajan, S. Bagchi (Purdue U., USA)

14:30-16:30 Room: Hall 326 Third Floor - Palazzo Affari

Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities (continued)

Session 10D: Moderated Discussion – Conclusions, Consensus, Next Steps

Session Introduction: The Need for Careful Evidential Analysis in Assurance Cases
Shari Lawrence Pfleeger (RAND, USA)

14:30-16:30 Room: Hall 226 Second Floor - Palazzo Affari

Session 10E: Student Forum (continued)
Chair: Geert Deconinck (Catholic University of Leuven, Belgium)

Students meet Industry

16:30-16:45 Break (Room: Basement of Palazzo Affari)

16:45-18:00 Room: Hall A First Floor - Palazzo Affari
Business Meeting: IEEE Technical Committee on Fault-Tolerant Computing