IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

64th Meeting

Visegrád, Hungary

June  27-30, 2013

Previous Page

Meeting Host

  Andràs Pataricza, Budapest University of Technology & Economics, Hungary

Program-at-a-Glance and Contents

Workshop on Dependability and Fault Tolerance

Andràs Pataricza, Paulo Veríssimo
Session 1
Session 2
Session 3
Session 4
Session 5
Session 6

Business Meeting

List of Attendees

Workshop  on Dependability and Fault Tolerance 

June 27-30, 2013 (Thursday to Sunday)

Paulo Veríssimo, Andràs Pataricza,
Meeting Start: Introduction to the meeting and workshop

Session 1
John Meyer, University of Michigan, Ann Arbor, USA
Measures of System Quality: A 50-year Evolution
.pdf icon 2.8 MB
Mootaz Elnozahy, King Abdullah University of Science and Technology, Saudi Arabia
The Challenges of Dependable High-Performance Computing at Exascale

.pdf icon 282 KB
Mirek Malek, Faculty of Informatics, University of Lugano (USI), Switzerland
Proactive Fault Management: Status and Perspectives

David Powell, LAAS-CNRS, Toulouse, France
Session 1 Summary

.pdf icon 29 KB

Session 2
Ken Birman, Cornell University, USA
GridCloud: Realtime infrastructure to monitor the smart power grid and host advanced power applications
.pdf icon 3.6 MB
Phill Koopman, Carnegie Mellon University, USA
External Runtime Monitoring for Safety of Embedded Systems
.pdf icon 1 MB
Luigi Romano, University of Naples "Parthenope", Italy
Real-time SEC&DEP monitoring: make it a bundle

Felicita Di Giandomenico, ISTI-CNRS, Pisa, Italy
Session 2 Summary

.pdf icon 54 KB

Session 3

Algidras Avizienis, University of California Los Angeles, USA and Vytautas Magnus University, Lithuania
The Architecture of a Resilience Infrastructure for Computing and Communication Systems
Jacob Abraham, University of Texas, Austin, USA
Defects and Faults in Emerging Integrated Circuit Technologies
.pdf icon 14.2 MB
Hermann Kopetz, Austria
A Conceptual Model for the Information Transfer in System of Systems
Jean Arlat, LAAS-CNRS, Toulouse, France
Session 3 Summary
.pdf icon 317 KB

Session 4
Stefan Poledna, TTTECH, Austria
Architecture, Issues and Challenges for Safety Related Autonomous Systems
.pdf icon 1.4 MB
Raimundo Macedo, University Federal da Bahia, Brazil
Self-Manageable Protocols for Dependability
.pdf icon 1.3 MB
Karthik Pattabiraman, University of British Colombia, Canada
Why do Modern Web Applications Fail and What Can We Do About It?
.pdf icon 6.2 MB

Phil Koopman, Carnegie Mellon University, USA
Session 4 Summary

.pdf icon 90 KB

Session 5
Takashi Nanya, Canon, Inc., Japan
Economics of Dependability (Research Proposal)
.pdf icon 1.1 MB
Ravishankar K. Iyer, University of Illinois at Urbana-Champaign, USA
From Measurements to Security Science: A Data Driven Approach
Farman Jahanian, NSF, USA
Emerging Frontiers in Dependability research
Kevin Driscoll, Honeyewll, USA
Murphy Was an Optimist
Paulo Veríssimo, University of Lisbon Faculty of Sciences, Portugal
The BiobankCloud Project: Genomic data in the clouds, how risky?
Stefan Poledna, TTTech, Austria
Session 5 Summary

Session 6
Felicita Di Giandomenico, ISTI-CNR, Italy
Smart Control of Energy Distribution Grids over Heterogeneous Communication Networks

.pdf icon 677 KB
Antònio Casimiro, University of Lisbon Faculty of Sciences, Portugal
The KARYON approach for Safe Coordination in Cooperative Vehicular Systems
Istvan Majzik, Budapest University of Technology and Economics, Hungary
Testing the robustness and safety of context-aware autonomous behavior
Wilfried Steiner, TTTech, Austria
Dependability of entering mainstream IT networking standards (IEEE 802.1)
Tomohiro Yoneda, National Institute of Informatics, Japan
Development of Dependable Network-on-Chip Platform (4)

Business Meeting

IFIP Working Group 10.4 business meeting
.pdf icon 873 KB

List of Attendees

Names and Contact Information