@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}
}