Accepted Regular Papers
  • Computation of Minimal Sensor Sets from Precompiled Discriminability Relations - Gianluca Torta and Pietro Torasso (slides)

  • Sensor placement for maximum fault isolability - Erik Frisk and Mattias Krysander (slides)

  • Diagnosing Intermittent Faults - Johan de Kleer

  • HyDE – A General Framework for Stochastic and Hybrid Model-based Diagnosis - Sriram Narasimhan and Lee Brownston (slides)

  • Analyzing the influence of temporal constraints in possible conflicts calculation for model-based diagnosis - Belarmino Pulido, Carlos Alonso, Anibal Bregon, Vicenç Puig, and Teresa Escobet (slides)

  • Interchange Formats and Automated Benchmark Model Generators for Model-Based Diagnostic Inference - Alexander Feldman, Gregory Provan and Arjan van Gemund

  • Obtaining Models for Test Generation from Natural-language-like Functional Specifications - M. W. Esser and P. Struss (slides)

  • Models and Tradeoffs in Model-Based Debugging - Wolfgang Mayer and Markus Stumptner (slides)

  • Distributed Chronicles for On-line Diagnosis of Web Services - Marie-Odile Cordier, Xavier Le Guillou, Sophie Robin, Laurence Rozé, and Thierry Vidal

  • Online Posterior Probability Calculation for Failure Diagnosis in Finite State Machines based on Unreliable Sensor Information - Eleftheria Athanasopoulou, Lingxi Li, and Christoforos N. Hadjicostis (slides)

  • On Monotonic Monitoring of Discrete-Event Systems - Gianfranco Lamperti and Marina Zanella (slides)

  • Modeling and Solving Diagnosis of Discrete-Event Systems via Satisfiability - Alban Grastien, Anbulagan, Jussi Rintanen, and Elena Kelareva (slides)

  • Advanced Diagnostics and Prognostics Testbed - Scott Poll, Ann Patterson-Hine, Joe Camisa, David Garcia, David Hall, Charles Lee, Ole Mengshoel, Christian Neukom, David Nishikawa, John Ossenfort, Adam Sweet, Serge Yentus, Indranil Roychoudhury, Matthew Daigle, Gautam Biswas, and Xenofon Koutsoukos (slides)

  • Fault Detection using Interval LPV Models with Uncertain Transport Delay: Application to Canals - Joaquim Blesa, Vicenç Puig, and Yolanda Bolea (slides)

  • Fault Diagnosis of Civil Engineering Structures using the Bond Graph Approach - Abbas Moustafa, Matthew Daigle, Indranil Roychoudhury, Chris Shantz, Gautam Biswas, Sankaran Mahadevan, and Xenofon Koutsoukos

  • Automated Debugging and Repair of Utility Constraints in Recommender Knowledge Bases - A. Felfernig, G. Friedrich, and E. Teppan (slides)

  • Generating Manifestations of Max-Fault Min-Cardinality Diagnoses - Alexander Feldman, Gregory Provan, and Arjan van Gemund

  • Coverage Techniques for Checking Temporal-Observation Subsumption - Andrea Ducoli, Gianfranco Lamperti, Emanuele Piantoni, and Marina Zanella (slides)

  • Using An Oriented J-Measure to Prune Chronicle Models - Benayadi Nabil and Le Goc Marc (slides)

  • Troubleshooting temporal behavior in “combinational” Circuits - Johan de Kleer

  • Inversion-based residual generation for robust detection and isolation of faults by means of estimation of the inverse dynamics in linear dynamical systems - A. Edelmayer, J. Bokor, Z. Szabó, and S. Molnár (slides)

  • Passive Robust Fault Detection: Inverse vs Direct Image Tests using Zonotopes - Pedro Guerra, Vicenç Puig, Ari Ingimundarson (slides)

  • A Diagnosis Driven Self-Reconfigurable Filter - Emmanuel Benazera and Louise Travé-Massuyès (slides)

  • Symbolic Factorization of Propagation Delays out of Diagnostic System Models - Jurryt Pietersma and Arjan J.C. van Gemund (slides)

  • A Spectrum of Symbolic On-line Diagnosis Approaches - Anika Schumann, Yannick Pencolé, and  Sylvie Thiébaux

  • Ontologies for Data Mining and Knowledge Discovery to Support Diagnostic Maturation - Timothy J. Wilmering and John W. Sheppard