IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

56th Meeting

Óbidos, Portugal

July 2-5, 2009

Previous Page

Meeting Host
  Henrique Madeira, University of Coimbra, Portugal

Program-at-a-Glance and Contents

Workshop on Experimental Methods

Roy Maxion, Carnegie Mellon University, US
Session 1
Session 2
Session 3
Session 4
Session 5
Session 6
Session 7

Business Meeting

Research Reports

List of Attendees

Workshop  on Experimental Methods 

July 3 & 4, 2009 (Friday/Saturday)

Session 1
Roy Maxion, Carnegie Mellon University, US
Factors Relevant to the Validity of Experiments in Keystroke Forensics
.pdf icon 14.5 MB
John McHugh, Dalhousie University, Canada
Other Peoples' Data: Pitfalls and Requirements
.pdf icon  168 KB

Session 2
Alon Lavie, Carnegie Mellon University, US
Evaluation of Machine Translation Systems: Metrics and Methodology
.pdf icon 1.0 MB

Session 3

Tiffany Frazier, BAE Systems, US
Lessons from 8 Years of Government Experiments in Computer Network Operations (CNO) Research and Development
.pdf icon  209 KB

Session 4
Mary Theofanos, Brian Stanton, NIST, US
Counter Height and Fingerprint Scanner Angle: A Case Study on the Importance of Experimental Rigor
3.9 MB (ppsx)

Session 5
Elaine Weyuker, Tom Ostrand, AT&T Labs, US
Doing Empirical Software Engineering: Defect Prediction
Defect Prediction for Large, Long-Lived Software Systems
.pdf icon   70 KB
.pdf icon  352 KB

Session 6 
Kevin Killourhy, Carnegie Mellon University, US
Scientific Benefits of a Shared Experimental Framework: On Developing Public Keystroke-Dynamics Resources
.pdf icon 307 KB
Dan Siewiorek, Carnegie Mellon University, US
Multi-Year, Large-Scale Evaluation of an Integrated Intelligent System with Humans in the Loop
.pdf icon 303 KB

Session 7  --  Round-Table Discussion
Henrique Madeira, University of Coimbra, Portugal
Walt Heimerdinger, Honeywell Laboratories, US
.pdf icon   90 KB
.pdf icon   57 KB


Business Meeting

Rick Schlichting, AT&T Labs, US
Overall Presentation and News
.pdf icon  2.9 MB


Research Reports

July 5, 2009 (Sunday)

Phil Koopman, Carnegie Mellon University, US
On Understanding Emergence in the Context of System Safety
.pdf icon  319 KB
Luca Simoncini, University of Pisa, Italy
IFIP-SIG on Education in Resilient Computing
.pdf icon  950 KB
Priya Narasimhan,  Carnegie Mellon University, US
Problem Diagnosis for Cloud Computing
.pdf icon  1.4 MB
Brian Randell, Newcastle University, UK
Structured Occurrence Nets
.pdf icon  1.2 MB
Andrea Bondavalli, University of Florence, Italy
CHESS: Composition with guarantees for High-integrity Embedded Software componentS assembly
.pdf icon  565 KB
Christof Fetzer, TU-Dresden, Germany
PAREXC: Parallel Execution Checking 
  .pdf icon  229 KB
Aad van Moorsel, Newcastle University, UK
Risk Communication
.pdf icon  500 KB
Marco Vieira, Coimbra University, Portugal
Improving Failure Prediction Methods by Fault Injection
.pdf icon  815 KB
Michael Paulitsch, EADS, Germany
Time-Triggered (Gigabit) Ethernet
.pdf icon  410 KB
Kevin Driscoll, Honeywell Laboratories, US
Portrait of a Byzantine Assassin
.pdf icon  430 KB
Mohamed Kaâniche, LAAS-CNRS, France
Dependability Evaluation of Mobile Applications
.pdf icon  926 KB
Saurabh Bagchi, Purdue University, US
Achieving High Survivability in Distributed Systems through Automated Response
.pdf icon  463 KB

List of Attendees

Names and Contact Information
.pdf icon  90 KB