![]() |
|
Meeting Host
|
Andrea Bondavalli, University of Firenze, Italy |
Program-at-a-Glance and Contents
Workshop on Evaluation of Dependability and Resiliency
Workshop
Coordinators |
Andrea Bondavalli, University of Firenze, Italy Henrique Madeira, University of Coimbra, Portugal Lorenzo Strigini, City University London, UK |
Lorenzo Strigini, City University London, UK |
![]() |
John Meyer, University of Michigan, US Model-Based Evaluation of User-Perceived System Quality |
|
Ivan Mura, Microsoft Research, Trento, Italy From Computer Science to Systems Biology and Vice-Versa: New Modeling Challenges, Approaches, and Tools |
Bojan Cukic, West Virginia University, US In Pursuit of Software Faults: Status and Challenges |
|
William Sanders, University of Illinois at Urbana-Champaign, US Security Metrics |
![]() |
Michael Harrison, Newcastle University, UK Slips or Mistakes, Human Factors or Human Actors |
Lorenzo Strigini, City University London, UK Henrique Madeira, University of Coimbra, Portugal Miroslaw Malek, Humboldt University, Germany Roy Maxion, Carnegie-Mellon University, US John Rushby, SRI International, US |
Lothar Winzer, ESA, EU Developing and Evaluating Critical Software for Space Systems - The Do's and the Don't |
![]() |
Jean Arlat, LAAS-CNRS, France From Fault Injection-Based Assessment to Dependability Benchmarking: A 4-Way Street or a Long and Winding Road? |
![]() |
Joao Batista Camargo, USP, Brazil Challenges on Safety Evaluation in the Future Rail and Air Transportation Systems |
|
Fredrico Caruso, RINA, Italy Railway Safety Assessment Processes: The Past, the Present, and the Possible Future Challenges |
NA |
Susanna Donatelli, University of Torino, Italy Bev Littlewood, City University London, UK Aad van Moorsel, Newcastle University, UK Johan Karlsson, Chalmers University of Technology, Sweden |
Rick Schlichting, AT&T Labs, US Overall Presentation and News |
![]() |
Paulo Verissimo, University of Lisboa, Portugal Designing Modular and Redundant Cyber Architectures for Process Control: Lessons Learned |
![]() |
Marco Vieira, University of Coimbra, Portugal Do You Have Dependability Related Data? Share It! |
![]() |
Bev Littlewood, City University London, UK John Rushby, SRI International, US Reliability of 1oo2 Software-Based Systems in which One Channel is "Possibly Perfect" |
![]() |
Hermann Kopetz, TU-Wien, Austria Complexity Management in GENESYS |
![]() |
Bojan Cukic, West Virginia University, US V&V for Adaptive Systems |
![]() |
Roy Maxion, Carnegie-Mellon University, US Detection Algorithms for Keystroke Dynamics |
NA |
Aad van Moorsel, Newcastle University, UK Getting Rich from QoS Models |
![]() |
Luigi Romano, University of Naples Parthenope, Italy Research Report |
![]() |
Tomohiro Yoneda, National Institute of Informatics, Japan Development of a Dependable Network-on-Chip Platform |
![]() |
Hans-Peter Schwefel, Forschungszentrum Telekommunikation Wien, Austria Resilience Challenges and Solutions in Vehicular Settings |
![]() |
Miroslaw Malek, Humboldt University, Germany Analytical Availability Assessment of IT-Services |
![]() |
Lorenzo Strigini, City University London, UK Needs for a Dependability Case for an E-Voting System |
![]() |
Susanna Donatelli, University of Torino, Italy Modelling at Different Abstraction Levels: The CRUTIAL Experience |
![]() |
Roberto Baldoni, University of Rome La Sapienza, Italy Technologies for Adding Resiliency to Dynamic Distributed Systems |
![]() |
Johan Karlsson, Chalmers University of Technology, Sweden Impact of Software Errors on a Brake-by-Wire Controller |
![]() |
Names and Contact Information |