@InProceedings{feldman20efficient,
  author =       {Alexander Feldman and Ingo Pill and Franz Wotawa and
                  Ion Matei and Johan de Kleer},
  title =        {Efficient Model-Based Diagnosis of Sequential
                  Circuits},
  booktitle =    {Proceedings of the Thirty-Fourth Conference on
                  Artificial Intelligence (AAAI'20), New York, New
                  York},
  year = 2020,
  pages =        {1--8}
}
@InProceedings{feldman20analog,
  author =       {Alexander Feldman and Ion Matei and Emil Totev and
                  Johan de Kleer},
  title =        {Analog Accelerator for Simulation and Diagnostics},
  booktitle =    {Proceedings of the Thirty-Second Conference on
                  Innovative Applications of Artificial Intelligence
                  (IAAI'20), New York, New York},
  year = 2020,
  pages =        {1--6}
}
@InProceedings{matei19partial,
  author =       {Ion Matei and Johan de Kleer and Alexander Feldman
                  and Maksym Zhenirovskyy and Rahul Rai},
  title =        {Classification Based Diagnosis: Integrating Partial
                  Knowledge of the Physical System},
  booktitle =    {Proceedings of the Eleventh Annual Conference of the
                  Prognostics and Health Management Society (PHM'19),
                  Scottsdale, Arizona, USA},
  year = 2019,
  pages =        {1--8}
}
@InProceedings{matei19hybrid,
  author =       {Ion Matei and Maksym Zhenirovskyy and Johan de Kleer
                  and Alexander Feldman},
  title =        {A Hybrid Qualitative and Quantitative Diagnosis
                  Approach},
  booktitle =    {Proceedings of the Eleventh Annual Conference of the
                  Prognostics and Health Management Society (PHM'19),
                  Scottsdale, Arizona, USA},
  year = 2019,
  pages =        {1--8}
}
@InProceedings{feldman15ensembles,
  author =       {Alexander Feldman and Gregory Provan and Rui Abreu
                  and Johan de Kleer},
  title =        {Model-Based Diagnosis Using Component Model
                  Ensembles},
  booktitle =    {Proceedings of the Ninth IFAC Symposium on Fault
                  Detection, Supervision and Safety of Technical
                  Processes (SAFEPROCESS'15)},
  pages =        {1--6},
  year = 2015
}
@InProceedings{stern15many,
  title =        {How Many Diagnoses Do We Need?},
  author =       {Roni Tzvi Stern and Meir Kalech and Shelly Rogov and
                  Alexander Feldman},
  booktitle =    {Proceedings of the Twenty-Ninth Conference on
                  Artificial Intelligence (AAAI'15)},
  year = 2015
}
@InProceedings{feldman14diagnosing,
  title =        {Diagnosing Analogue Linear Systems Using Dynamic
                  Topological Reconfiguration},
  author =       {Alexander Feldman and Gregory Provan},
  booktitle =    {Proceedings of the Twenty-Eighth Conference on
                  Artificial Intelligence (AAAI'14)},
  year = 2014
}
@InProceedings{feldman13genius,
  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 IEEE Aerospace Conference, Big
                  Sky, Montana, USA},
  year = 2013,
  pages =        {1--14},
  month =        {March}
}
@InProceedings{rokach13machine,
  title =        {Machine-Learning-Based Circuit Synthesis},
  author =       {Lior Rokach and Meir Kalech and Gregory Provan and
                  Alexander Feldman},
  booktitle =    {Proceedings of the Twenty-Third International Joint
                  Conference on Artificial Intelligence (IJCAI'13)},
  pages =        {1635--1641},
  year = 2013
}
@InProceedings{rokach12machine,
  title =        {Machine-Learning-Based Circuit Synthesis},
  author =       {Lior Rokach and Alexander Feldman and Meir Kalech
                  and Gregory Provan},
  booktitle =    {Proceedings of the Twenty-Seventh IEEE Convention of
                  Electrical \& Electronics Engineers in Israel
                  (IEEEI'12)},
  pages =        {1--5},
  year = 2012,
  organization = {IEEE}
}
@InProceedings{stern12duality,
  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-Sixth Conference on
                  Artificial Intelligence (AAAI'12), Toronto, Canada},
  year = 2012,
  month =        {July}
}
@InProceedings{bahr12uwb,
  author =       {Alexander Bahr and Alexander Feldman and James
                  Colli-Vignarelli and Stephan Robert and Catherine
                  Dehollain and Alcherio Martinoli},
  booktitle =    {Proceedings of the 2012 IEEE International
                  Conference on Ultra-Wideband (ICUWB'12)},
  title =        {Modeling and Benchmarking Ultra-Wideband
                  Localization for Mobile Robots},
  year = 2012,
  month =        {September},
  pages =        {443--447},
  doi =          {10.1109/ICUWB.2012.6340421},
  issn =         {2162--6588}
}
@InProceedings{feldman11testbed,
  author =       {Alexander Feldman and Alexander Bahr and James
                  Colli-Vignarelli and Stephan Robert and Catherine
                  Dehollain and Alcherio Martinoli},
  title =        {Toward the Deployment of an Ultra-Wideband
                  Localization Test Bed},
  booktitle =    {Proceedings of the Seventy-Fourth IEEE Conference on
                  Vehicular Technology (VTC'11-Fall), San Francisco,
                  California, USA},
  pages =        {1--5},
  year = 2011
}
@InProceedings{vignarelli11discrete,
  author =       {James Colli-Vignarelli and Alexander Feldman and
                  Stephan Robert and Catherine Dehollain},
  booktitle =    {Proceedings of the Seventh Ph.D. Conference on
                  Research in Microelectronics and Electronics
                  (PRIME'11), Trento, Italy},
  title =        {A discrete-component {Impulse-Radio Ultra-Wide Band
                  (IR-UWB)} receiver with {I/Q} demodulation},
  year = 2011,
  month =        {July},
  pages =        {245--248},
  doi =          {10.1109/PRIME.2011.5966279},
  note =         {\textbf{Gold Leaf Certificate}}
}
@InProceedings{feldman09multiple,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {Computing Multiple Minimal Diagnoses},
  booktitle =    {Proceedings of the First Annual Conference of the
                  Prognostics and Health Management Society (PHM'09),
                  San Diego, California, USA},
  year = 2009,
  month =        {September}
}
@InProceedings{feldman09solving,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {Solving Strong-Fault Diagnostic Models by Model
                  Relaxation},
  booktitle =    {Proceedings of the Twenty-First International Joint
                  Conference on Artificial Intelligence (IJCAI'09),
                  Pasadena, California, USA},
  pages =        {785--790},
  year = 2009,
  month =        {July}
}
@InProceedings{feldman09fractal,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {{FRACTAL}: Efficient Fault Isolation Using Active
                  Testing},
  booktitle =    {Proceedings of the Twenty-First International Joint
                  Conference on Artificial Intelligence (IJCAI'09),
                  Pasadena, California, USA},
  pages =        {778--784},
  year = 2009,
  month =        {July}
}
@InProceedings{feldman08fractal_phm,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {A Framework and Algorithm for Model-Based Active
                  Testing},
  booktitle =    {Proceedings of the First International Conference on
                  Prognostics and Health Management (PHM'08), Denver,
                  Colorado, USA},
  year = 2008,
  month =        {October},
  note =         {\textbf{Best Student Paper Award}}
}
@InProceedings{feldman08miranda,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {Computing Observation Vectors for Max-Fault
                  Min-Cardinality Diagnoses},
  booktitle =    {Proceedings of the Twenty-Third National Conference
                  on Artificial Intelligence (AAAI'08), Chicago,
                  Illinois, USA},
  pages =        {911--918},
  year = 2008,
  month =        {July}
}
@InProceedings{feldman08safari,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {Computing Minimal Diagnoses by Greedy Stochastic
                  Search},
  booktitle =    {Proceedings of the Twenty-Third National Conference
                  on Artificial Intelligence (AAAI'08), Chicago,
                  Illinois, USA},
  pages =        {919--924},
  year = 2008,
  month =        {July}
}
@InProceedings{zoeteweij08automated,
  author =       {Peter Zoeteweij and Jurryt Pietersma and Rui Abreu
                  and Alexander Feldman and Arjan van Gemund},
  title =        {Automated Fault Diagnosis in Embedded Systems},
  booktitle =    {Proceedings of the Second International Conference
                  on Secure System Integration and Reliability
                  Improvement, (SSIRI'08), Yokohama, Japan},
  pages =        {103--110},
  year = 2008,
  month =        {July}
}
@InProceedings{feldman07advances,
  author =       {Alexander Feldman and Marco Caporicci and Oscar
                  Gracia and Andr\'e Bos},
  title =        {Advances in Intelligent Health Reasoning and its
                  Application to {IBDM}},
  booktitle =    {Proceedings of the IEEE Aerospace Conference, Big
                  Sky, Montana, USA},
  year = 2007,
  month =        {March}
}
@InProceedings{feldman06all,
  author =       {Alexander Feldman and Jurryt Pietersma and Arjan van
                  Gemund},
  title =        {All Roads Lead to Fault Diagnosis: Model-Based
                  Reasoning with \textsc{Lydia}},
  booktitle =    {Proceedings of the Eighteenth Belgium-Netherlands
                  Conference on Artificial Intelligence (BNAIC'06),
                  Namur, Belgium},
  year = 2006,
  month =        {October}
}
@InProceedings{feldman06two,
  author =       {Alexander Feldman and Arjan van Gemund},
  title =        {A Two-Step Hierarchical Algorithm for Model-Based
                  Diagnosis},
  booktitle =    {Proceedings of the Twenty-First National Conference
                  on Artificial Intelligence (AAAI'06), Boston,
                  Massachusetts, USA},
  year = 2006,
  month =        {July}
}
@InProceedings{pietersma06modeling,
  author =       {Jurryt Pietersma and Alexander Feldman and Arjan van
                  Gemund},
  title =        {Modeling and Compilation Aspects of Fault Diagnosis
                  Complexity},
  booktitle =    {Proceedings of IEEE AUTOTESTCON'06, Anaheim,
                  California, USA},
  year = 2006,
  month =        {September}
}