J

J Pietersma

13 records found

Authored

Automated Fault Diagnosis in Embedded Systems

A Model-Based Approach to Sequential Fault Diagnosis
Journal article (2007) - J Pietersma, A.J.C. van Gemund, A Bos

Model-Based Diagnosis
Book chapter (2007) - J Pietersma, A.J.C. van Gemund

Costs and Benefits of Model-Based Diagnosis
Book chapter (2007) - J Pietersma, A.J.C. van Gemund

Symbolic Factorization of Propagation Delays out of Diagnostic System Models
Conference paper (2007) - J Pietersma, A.J.C. van Gemund

Benefits and Costs of Model-Based Fault Diagnosis for Semiconductor Manufacturing Equipment
Conference paper (2007) - J Pietersma, A.J.C. van Gemund

Temporal versus Spatial Observability in Model-Based Diagnosis
Conference paper (2006) - J Pietersma, A.J.C. van Gemund

Diagnostic Accuracy of Models
Conference paper (2006) - J Pietersma, A.J.C. van Gemund

All Roads Lead to Fault Diagnosis: Model-Based Reasoning with textscLydia
Conference paper (2006) - A.B. Feldman, J Pietersma, A. van Gemund

Modeling and Compilation Aspects of Fault Diagnosis Complexity
Conference paper (2006) - J Pietersma, A.B. Feldman, A.J.C. van Gemund

A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis
Conference paper (2006) - A.B. Feldman, J Pietersma, A. van Gemund

A model-based approach to sequential fault diagnosis
Conference paper (2005) - J Pietersma, A.J.C. van Gemund, A Bos

A model-based approach to fault diagnosis of embedded systems
Conference paper (2004) - J Pietersma, A.J.C. van Gemund, A Bos