@InProceedings{feldman19sequential,
author = {Alexander Feldman and Ingo Pill and Franz Wotawa and
Ion Matei and Johan de Kleer},
title = {Diagnosing Sequential Circuits as Boolean
Satisfaction},
booktitle = {Proceedings of the Thirtieth International Workshop
on Principles of Diagnosis (DX'19), Klagenfurt,
Austria},
pages = {1--8},
year = 2019
}
@InProceedings{dekleer18duality,
author = {Johan de Kleer and Alexander Feldman and Ion Matei},
title = {The Duality of Design and Diagnosis},
booktitle = {Proceedings of the Twenty-Ninth International
Workshop on Principles of Diagnosis (DX'18), Warsaw,
Poland},
year = 2018
}
@InProceedings{feldman18analog,
author = {Alexander Feldman and Ion Matei and Emil Totev and
Johan de Kleer},
title = {Analog Accelerator for Simulation and Diagnostics},
booktitle = {Proceedings of the Twenty-Ninth International
Workshop on Principles of Diagnosis (DX'18), Warsaw,
Poland},
year = 2018
}
@InProceedings{feldman17sequential,
author = {Alexander Feldman and Johan de Kleer},
title = {Diagnosing Multiple Faults in Sequential Logic},
booktitle = {Proceedings of the Twenty-Eighth International
Workshop on Principles of Diagnosis (DX'17),
Brescia, Italy},
pages = {1--8},
year = 2017
}
@InProceedings{feldman13optimizing,
author = {Alexander Feldman and Gregory Provan},
title = {Optimizing Model-Based Diagnosis Complexity for
Analogue Linear Systems},
booktitle = {Proceedings of the Twenty-Fourth International
Workshop on Principles of Diagnosis (DX'13),
Jerusalem, Israel},
pages = {2--8},
year = 2013
}
@InProceedings{bregon13improving,
author = {Anibal Bregon and Alexander Feldman and Belarmino
Pulido, Gregory Provan and Carlos Alonso Gonz\'alez},
title = {Improving the Diagnostic Performance for Dynamic
Systems by Using Conflict-Driven Model
Decomposition},
booktitle = {Proceedings of the Twenty-Fourth International
Workshop on Principles of Diagnosis (DX'13),
Jerusalem, Israel},
pages = {105--110},
year = 2013
}
@InProceedings{feldman13genius_dx,
author = {Alexander Feldman and Helena Vicente de Castro and
Arjan van Gemund and Gregory Provan},
title = {Model-Based Diagnostic Decision-Support System for
Satellites},
booktitle = {Proceedings of the Twenty-Fourth International
Workshop on Principles of Diagnosis (DX'13),
Jerusalem, Israel},
pages = {111--122},
year = 2013
}
@InProceedings{stern13finding,
author = {Roni Stern and Meir Kalech and Alexander Feldman and
Shelly Rogov and Tom Zamir},
title = {Finding All Subset Minimal Diagnoses is Redundant},
booktitle = {Proceedings of the Twenty-Fourth International
Workshop on Principles of Diagnosis (DX'13),
Jerusalem, Israel},
pages = {15--21},
year = 2013
}
@InProceedings{stern12exploring,
author = {Roni Stern and Meir Kalech and Alexander Feldman and
Gregory Provan},
title = {Exploring the Duality in Conflict-Directed
Model-Based Diagnosis},
booktitle = {Proceedings of the Twenty-Third International
Workshop on Principles of Diagnosis (DX'12), Great
Malvern, United Kingdom},
year = 2012
}
@InProceedings{feldman12dreamap,
author = {Alexander Feldman and Johan de Kleer and Gregory
Provan},
title = {Computing Manifestations of Max-Size Min-Cardinality
Ambiguity Groups},
booktitle = {Proceedings of the Diagnostic Reasoning: Model
Analysis and Performance ECAI Workshop (DREAMAP'12)},
pages = {26--33},
year = 2012
}
@InProceedings{feldman11modeling,
author = {Alexander Feldman and Tom Janssen and Arjan van
Gemund},
title = {Modeling Diagnostic Stochastic Search},
booktitle = {Proceedings of the Twenty-Second International
Workshop on Principles of Diagnosis (DX'11), Munich,
Germany},
pages = {1--6},
year = 2011,
month = {October}
}
@InProceedings{feldman10solving,
author = {Alexander Feldman and Gregory Provan and Johan de
Kleer and Stephan Robert and Arjan van Gemund},
title = {Solving Model-Based Diagnosis Problems with
{Max-SAT} Solvers and Vice Versa},
booktitle = {Proceedings of the Twenty-First International
Workshop on Principles of Diagnosis (DX'10),
Portland, Oregon, USA},
pages = {185--192},
year = 2010,
month = {October}
}
@InProceedings{kurtoglu09first,
author = {Tolga Kurtoglu and Sriram Narasimhan and Scott Poll
and David Garcia and Lukas Kuhn and Johan de Kleer
and Arjan van Gemund and Alexander Feldman},
title = {First International Diagnosis Competition -
{DXC'09}},
booktitle = {Proceedings of the Twentieth International Workshop
on Principles of Diagnosis (DX'09), Stockholm,
Sweden},
year = 2009,
pages = {383--396},
month = {June}
}
@InProceedings{kurtoglu09towards,
author = {Tolga Kurtoglu and Sriram Narasimhan and Scott Poll
and David Garcia and Lukas Kuhn and Johan de Kleer
and Arjan van Gemund and Alexander Feldman},
title = {Towards a Framework for Evaluating and Comparing
Diagnosis Algorithms},
booktitle = {Proceedings of the Twentieth International Workshop
on Principles of Diagnosis (DX'09), Stockholm,
Sweden},
year = 2009,
pages = {373--382},
month = {June}
}
@InProceedings{feldman09lydia,
author = {Alexander Feldman and Gregory Provan and Arjan van
Gemund},
title = {The {Lydia} Approach to Combinational Model-Based
Diagnosis},
booktitle = {Proceedings of the Twentieth International Workshop
on Principles of Diagnosis (DX'09), Stockholm,
Sweden},
year = 2009,
pages = {403--408},
month = {June}
}
@InProceedings{feldman09gre_dx,
author = {Alexander Feldman and Gregory Provan and Johan de
Kleer and Lukas Kuhn and Arjan van Gemund},
title = {Automated Redesign with the {General Redesign
Engine}},
booktitle = {Proceedings of the Twentieth International Workshop
on Principles of Diagnosis (DX'09), Stockholm,
Sweden},
year = 2009,
pages = {307--314},
month = {June}
}
@InProceedings{feldman09gre_sara,
author = {Alexander Feldman and Gregory Provan and Johan de
Kleer and Lukas Kuhn and Arjan van Gemund},
title = {Automated Redesign with the {General Redesign
Engine}},
booktitle = {Proceedings of the Eighth Symposium on Abstraction,
Reformulation, and Approximation (SARA'09), Lake
Arrowhead, California, US},
year = 2009,
month = {July}
}
@InProceedings{feldman08fractal_dx,
author = {Alexander Feldman and Gregory Provan and Arjan van
Gemund},
title = {A Framework and Algorithm for Model-Based Active
Testing},
booktitle = {Proceedings of the Nineteenth International Workshop
on Principles of Diagnosis (DX'08), Blue Mountains,
Australia},
pages = {71--78},
year = 2008,
month = {September}
}
@InProceedings{feldman07safari_sara,
author = {Alexander Feldman and Gregory Provan and Arjan van
Gemund},
title = {Approximate Model-Based Diagnosis Using Greedy
Stochastic Search},
booktitle = {Proceedings of the Seventh Symposium on Abstraction,
Reformulation, and Approximation (SARA'07),
Whistler, Canada},
pages = {139--154},
year = 2007,
month = {July}
}
@InProceedings{feldman07safari_dx,
author = {Alexander Feldman and Gregory Provan and Arjan van
Gemund},
title = {Approximate Model-Based Diagnosis Using Greedy
Stochastic Search},
booktitle = {Proceedings of the Eighteenth International Workshop
on Principles of Diagnosis (DX'07), Nashville,
Tennessee, USA},
pages = {290--297},
year = 2007,
month = {May}
}
@InProceedings{feldman07miranda,
author = {Alexander Feldman and Gregory Provan and Arjan van
Gemund},
title = {Generating Manifestations of Max-Fault
Min-Cardinality Diagnoses},
booktitle = {Proceedings of the Eighteenth International Workshop
on Principles of Diagnosis (DX'07), Nashville,
Tennessee, USA},
pages = {83--90},
year = 2007,
month = {May}
}
@InProceedings{feldman07interchange,
author = {Alexander Feldman and Gregory Provan and Arjan van
Gemund},
title = {Interchange Formats and Automated Benchmark Model
Generators for Model-Based Diagnostic Inference},
booktitle = {Proceedings of the Eighteenth International Workshop
on Principles of Diagnosis (DX'07), Nashville,
Tennessee, USA},
pages = {91--98},
year = 2007,
month = {May}
}
@InProceedings{feldman06multi,
author = {Alexander Feldman and Jurryt Pietersma and Arjan van
Gemund},
title = {A Multi-Valued {SAT}-Based Algorithm for Faster
Model-Based Diagnosis},
booktitle = {Proceedings of the Seventeenth International
Workshop on Principles of Diagnosis (DX'06),
Pe\~{n}aranda de Duero, Burgos, Spain},
year = 2006,
month = {June}
}
@InProceedings{feldman05hybrid,
author = {Alexander Feldman and Arjan van Gemund and Andr\'e
Bos},
title = {A Hybrid Approach to Hierarchical Fault Diagnosis},
booktitle = {Proceedings of the Sixteenth International Workshop
on Principles of Diagnosis (DX'05), Monterey,
California, USA},
pages = {101--106},
year = 2005,
month = {June}
}