J

J Pietersma

View Pure Profile

Authored

13 records found

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

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

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

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

Automated Fault Diagnosis in Embedded Systems

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

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

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

Modeling and Compilation Aspects of Fault Diagnosis Complexity

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

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

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

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