Publications

Books and Collections

  1. Alexander Feldman, Meir Kalech, and Gregory Provan, editors. Proceedings of the Twenty-Fourth International Workshop on Principles of Diagnosis: DX-2013. 2013. pdf
  2. Yannick Pencolé, Alexander Feldman, and Alban Grastien, editors. Proceedings of the Diagnostic REAsoning: Model Analysis and Performance Workshop DREAMAP-2012 at ECAI-2012. 2012. pdf
  3. Alexander Feldman. Approximation Algorithms for Model-Based Diagnosis. PhD thesis, Delft University of Technology, 2010. pdf

Journal Papers

  1. Alejandro Perdomo-Ortiz, Alexander Feldman, Asier Ozaeta, Sergei V. Isakov, Zheng Zhu, Bryan O'Gorman, Helmut G. Katzgraber, Alexander Diedrich, Hartmut Neven, Johan de Kleer, Brad Lackey, and Rupak Biswas. Readiness of Quantum Optimization Machines for Industrial Applications. Phys. Rev. Applied, 12(1), pp. 014004, 2019. doi url pdf
  2. Roni Stern, Meir Kalech, Shelly Rogov, and Alexander Feldman. How Many Diagnoses do we Need?. Artificial Intelligence, 248, pp. 26 - 45, 2017. doi url pdf
  3. Alexander Feldman, Johan de Kleer, Tolga Kurtoglu, Sriram Narasimhan, Scott Poll, David Garcia, Lukas Kuhn, and Arjan van Gemund. The Diagnostic Competitions. AI Magazine, 2014. pdf
  4. Alexander Feldman, Gregory Provan, and Arjan van Gemund. A Model-Based Active Testing Approach to Sequential Diagnosis. Journal of Artificial Intelligence Research, 39, pp. 301–334, 2010. pdf
  5. Alexander Feldman, Tolga Kurtoglu, Sriram Narasimhan, Scott Poll, David Garcia, Johan de Kleer, Lukas Kuhn, and Arjan van Gemund. Empirical Evaluation of Diagnostic Algorithm Performance Using a Generic Framework. International Journal of Prognostics and Health Management, pp. 1–28, 2010. pdf
  6. Alexander Feldman, Gregory Provan, and Arjan van Gemund. Approximate Model-Based Diagnosis Using Greedy Stochastic Search. Journal of Artificial Intelligence Research, 38, pp. 371–413, 2010. pdf

Conference Papers

  1. Alexander Feldman, Johan de Kleer, and Ion Matei. A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit. In Proceedings of the Thirty-Third International Workshop on Principles of Diagnosis (DX'22), Toulouse, France, pp. 1–6 2022. pdf
  2. Ingo Pill, Johan de Kleer, and Alexander Feldman. Diagnosing Resilience. In Proceedings of the Thirty-Third International Workshop on Principles of Diagnosis (DX'22), Toulouse, France, pp. 7–12 2022. pdf
  3. Alexander Feldman, Mikoláš Janota, Alexandre Perez, and Johan de Kleer. A SAT-Based Encoding for Finding a Minimal Automated Test Pattern Generation Test-Suite. In Proceedings of the Thirty-Second International Workshop on Principles of Diagnosis (DX'21), Hamburg, Germany, pp. 1–6 2021. pdf
  4. Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, and Johan de Kleer. Efficient Model-Based Diagnosis of Sequential Circuits. In Proceedings of the Thirty-Fourth Conference on Artificial Intelligence (AAAI'20), New York, New York, pp. 1–8 2020. pdf
  5. Alexander Feldman, Ion Matei, Emil Totev, and Johan de Kleer. Analog Accelerator for Simulation and Diagnostics. In Proceedings of the Thirty-Second Conference on Innovative Applications of Artificial Intelligence (IAAI'20), New York, New York, pp. 1–6 2020. pdf
  6. Ion Matei, Johan de Kleer, Alexander Feldman, Maksym Zhenirovskyy, and Rahul Rai. Classification Based Diagnosis: Integrating Partial Knowledge of the Physical System. In Proceedings of the Eleventh Annual Conference of the Prognostics and Health Management Society (PHM'19), Scottsdale, Arizona, USA, pp. 1–8 2019. pdf
  7. Ion Matei, Maksym Zhenirovskyy, Johan de Kleer, and Alexander Feldman. A Hybrid Qualitative and Quantitative Diagnosis Approach. In Proceedings of the Eleventh Annual Conference of the Prognostics and Health Management Society (PHM'19), Scottsdale, Arizona, USA, pp. 1–8 2019. pdf
  8. Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, and Johan de Kleer. Diagnosing Sequential Circuits as Boolean Satisfaction. In Proceedings of the Thirtieth International Workshop on Principles of Diagnosis (DX'19), Klagenfurt, Austria, pp. 1–8 2019. pdf
  9. Johan de Kleer, Alexander Feldman, and Ion Matei. Correcting Design Errors in Components and Connections. In Proceedings of the Thirtieth International Workshop on Principles of Diagnosis (DX'19), Klagenfurt, Austria, pp. 1–8 2019. pdf
  10. Alexander Feldman, Johan de Kleer, and Ion Matei. Correct by Construction Circuit Deisgn. In Proceedings of the Thirtieth International Workshop on Principles of Diagnosis (DX'19), Klagenfurt, Austria, pp. 1–8 2019. pdf
  11. Johan de Kleer, Alexander Feldman, and Ion Matei. The Duality of Design and Diagnosis. In Proceedings of the Twenty-Ninth International Workshop on Principles of Diagnosis (DX'18), Warsaw, Poland 2018. pdf
  12. Alexander Feldman, Ion Matei, Emil Totev, and Johan de Kleer. Analog Accelerator for Simulation and Diagnostics. In Proceedings of the Twenty-Ninth International Workshop on Principles of Diagnosis (DX'18), Warsaw, Poland 2018. pdf
  13. Alexander Feldman and Johan de Kleer. Diagnosing Multiple Faults in Sequential Logic. In Proceedings of the Twenty-Eighth International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, pp. 1–8 2017. pdf
  14. Alexander Feldman, Rui Abreu, Bhaskar Saha, Anurag Ganguli, and Johan de Kleer. Diagnosing PARC's Refrigerator Benchmark with Data-Driven Methods. In Proceedings of the Twenty-Sevent International Workshop on Principles of Diagnosis (DX'16), Denver, Colorado, pp. 1–8 2016. pdf
  15. Alexander Feldman, Gregory Provan, Rui Abreu, and Johan de Kleer. Model-Based Diagnosis Using Component Model Ensembles. In Proceedings of the Ninth IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS'15), pp. 1–6 2015. pdf
  16. Roni Tzvi Stern, Meir Kalech, Shelly Rogov, and Alexander Feldman. How Many Diagnoses Do We Need?. In Proceedings of the Twenty-Ninth Conference on Artificial Intelligence (AAAI'15) 2015. pdf
  17. Alexander Feldman and Gregory Provan. Diagnosing Analogue Linear Systems Using Dynamic Topological Reconfiguration. In Proceedings of the Twenty-Eighth Conference on Artificial Intelligence (AAAI'14) 2014. pdf
  18. Alexander Feldman, Helena Vicente de Castro, Arjan van Gemund, and Gregory Provan. Model-Based Diagnostic Decision-Support System for Satellites. In Proceedings of the IEEE Aerospace Conference, Big Sky, Montana, USA, pp. 1–14, March 2013. pdf
  19. Lior Rokach, Meir Kalech, Gregory Provan, and Alexander Feldman. Machine-Learning-Based Circuit Synthesis. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI'13), pp. 1635–1641 2013. pdf
  20. Alexander Feldman and Gregory Provan. Optimizing Model-Based Diagnosis Complexity for Analogue Linear Systems. In Proceedings of the Twenty-Fourth International Workshop on Principles of Diagnosis (DX'13), Jerusalem, Israel, pp. 2–8 2013. pdf
  21. Anibal Bregon, Alexander Feldman, Gregory Provan Belarmino Pulido, and Carlos Alonso González. Improving the Diagnostic Performance for Dynamic Systems by Using Conflict-Driven Model Decomposition. In Proceedings of the Twenty-Fourth International Workshop on Principles of Diagnosis (DX'13), Jerusalem, Israel, pp. 105–110 2013. pdf
  22. Alexander Feldman, Helena Vicente de Castro, Arjan van Gemund, and Gregory Provan. Model-Based Diagnostic Decision-Support System for Satellites. In Proceedings of the Twenty-Fourth International Workshop on Principles of Diagnosis (DX'13), Jerusalem, Israel, pp. 111–122 2013. pdf
  23. Roni Stern, Meir Kalech, Alexander Feldman, Shelly Rogov, and Tom Zamir. Finding All Subset Minimal Diagnoses is Redundant. In Proceedings of the Twenty-Fourth International Workshop on Principles of Diagnosis (DX'13), Jerusalem, Israel, pp. 15–21 2013. pdf
  24. Lior Rokach, Alexander Feldman, Meir Kalech, and Gregory Provan. Machine-Learning-Based Circuit Synthesis. In Proceedings of the Twenty-Seventh IEEE Convention of Electrical & Electronics Engineers in Israel (IEEEI'12), pp. 1–5 2012. pdf
  25. Roni Stern, Meir Kalech, Alexander Feldman, and Gregory Provan. Exploring the Duality in Conflict-Directed Model-Based Diagnosis. In Proceedings of the Twenty-Sixth Conference on Artificial Intelligence (AAAI'12), Toronto, Canada, July 2012. pdf
  26. Alexander Bahr, Alexander Feldman, James Colli-Vignarelli, Stephan Robert, Catherine Dehollain, and Alcherio Martinoli. Modeling and Benchmarking Ultra-Wideband Localization for Mobile Robots. In Proceedings of the 2012 IEEE International Conference on Ultra-Wideband (ICUWB'12), pp. 443–447, September 2012. doi pdf
  27. Roni Stern, Meir Kalech, Alexander Feldman, and Gregory Provan. Exploring the Duality in Conflict-Directed Model-Based Diagnosis. In Proceedings of the Twenty-Third International Workshop on Principles of Diagnosis (DX'12), Great Malvern, United Kingdom 2012. pdf
  28. Alexander Feldman, Johan de Kleer, and Gregory Provan. Computing Manifestations of Max-Size Min-Cardinality Ambiguity Groups. In Proceedings of the Diagnostic Reasoning: Model Analysis and Performance ECAI Workshop (DREAMAP'12), pp. 26–33 2012. pdf
  29. Alexander Feldman, Alexander Bahr, James Colli-Vignarelli, Stephan Robert, Catherine Dehollain, and Alcherio Martinoli. Toward the Deployment of an Ultra-Wideband Localization Test Bed. In Proceedings of the Seventy-Fourth IEEE Conference on Vehicular Technology (VTC'11-Fall), San Francisco, California, USA, pp. 1–5 2011. pdf
  30. Alexander Feldman, Tom Janssen, and Arjan van Gemund. Modeling Diagnostic Stochastic Search. In Proceedings of the Twenty-Second International Workshop on Principles of Diagnosis (DX'11), Munich, Germany, pp. 1–6, October 2011. pdf
  31. James Colli-Vignarelli, Alexander Feldman, Stephan Robert, and Catherine Dehollain. A discrete-component Impulse-Radio Ultra-Wide Band (IR-UWB) receiver with I/Q demodulation. In Proceedings of the Seventh Ph.D. Conference on Research in Microelectronics and Electronics (PRIME'11), Trento, Italy, pp. 245–248, July 2011. Gold Leaf Certificate. doi pdf
  32. Alexander Feldman, Gregory Provan, Johan de Kleer, Stephan Robert, and Arjan van Gemund. Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa. In Proceedings of the Twenty-First International Workshop on Principles of Diagnosis (DX'10), Portland, Oregon, USA, pp. 185–192, October 2010. pdf
  33. Alexander Feldman, Gregory Provan, and Arjan van Gemund. Computing Multiple Minimal Diagnoses. In Proceedings of the First Annual Conference of the Prognostics and Health Management Society (PHM'09), San Diego, California, USA, September 2009. pdf
  34. Alexander Feldman, Gregory Provan, and Arjan van Gemund. Solving Strong-Fault Diagnostic Models by Model Relaxation. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI'09), Pasadena, California, USA, pp. 785–790, July 2009. pdf
  35. Alexander Feldman, Gregory Provan, and Arjan van Gemund. FRACTAL: Efficient Fault Isolation Using Active Testing. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI'09), Pasadena, California, USA, pp. 778–784, July 2009. pdf
  36. Tolga Kurtoglu, Sriram Narasimhan, Scott Poll, David Garcia, Lukas Kuhn, Johan de Kleer, Arjan van Gemund, and Alexander Feldman. First International Diagnosis Competition - DXC'09. In Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm, Sweden, pp. 383–396, June 2009. pdf
  37. Tolga Kurtoglu, Sriram Narasimhan, Scott Poll, David Garcia, Lukas Kuhn, Johan de Kleer, Arjan van Gemund, and Alexander Feldman. Towards a Framework for Evaluating and Comparing Diagnosis Algorithms. In Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm, Sweden, pp. 373–382, June 2009. pdf
  38. Alexander Feldman, Gregory Provan, and Arjan van Gemund. The Lydia Approach to Combinational Model-Based Diagnosis. In Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm, Sweden, pp. 403–408, June 2009. pdf
  39. Alexander Feldman, Gregory Provan, Johan de Kleer, Lukas Kuhn, and Arjan van Gemund. Automated Redesign with the General Redesign Engine. In Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm, Sweden, pp. 307–314, June 2009. pdf
  40. Alexander Feldman, Gregory Provan, Johan de Kleer, Lukas Kuhn, and Arjan van Gemund. Automated Redesign with the General Redesign Engine. In Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation (SARA'09), Lake Arrowhead, California, US, July 2009. pdf
  41. Alexander Feldman, Gregory Provan, and Arjan van Gemund. A Framework and Algorithm for Model-Based Active Testing. In Proceedings of the First International Conference on Prognostics and Health Management (PHM'08), Denver, Colorado, USA, October 2008. Best Student Paper Award. pdf
  42. Alexander Feldman, Gregory Provan, and Arjan van Gemund. Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses. In Proceedings of the Twenty-Third National Conference on Artificial Intelligence (AAAI'08), Chicago, Illinois, USA, pp. 911–918, July 2008. pdf
  43. Alexander Feldman, Gregory Provan, and Arjan van Gemund. Computing Minimal Diagnoses by Greedy Stochastic Search. In Proceedings of the Twenty-Third National Conference on Artificial Intelligence (AAAI'08), Chicago, Illinois, USA, pp. 919–924, July 2008. pdf
  44. Peter Zoeteweij, Jurryt Pietersma, Rui Abreu, Alexander Feldman, and Arjan van Gemund. Automated Fault Diagnosis in Embedded Systems. In Proceedings of the Second International Conference on Secure System Integration and Reliability Improvement, (SSIRI'08), Yokohama, Japan, pp. 103–110, July 2008. pdf
  45. Alexander Feldman, Gregory Provan, and Arjan van Gemund. A Framework and Algorithm for Model-Based Active Testing. In Proceedings of the Nineteenth International Workshop on Principles of Diagnosis (DX'08), Blue Mountains, Australia, pp. 71–78, September 2008. pdf
  46. Alexander Feldman, Marco Caporicci, Oscar Gracia, and André Bos. Advances in Intelligent Health Reasoning and its Application to IBDM. In Proceedings of the IEEE Aerospace Conference, Big Sky, Montana, USA, March 2007. pdf
  47. Alexander Feldman, Gregory Provan, and Arjan van Gemund. Approximate Model-Based Diagnosis Using Greedy Stochastic Search. In Proceedings of the Seventh Symposium on Abstraction, Reformulation, and Approximation (SARA'07), Whistler, Canada, pp. 139–154, July 2007. pdf
  48. Alexander Feldman, Gregory Provan, and Arjan van Gemund. Approximate Model-Based Diagnosis Using Greedy Stochastic Search. In Proceedings of the Eighteenth International Workshop on Principles of Diagnosis (DX'07), Nashville, Tennessee, USA, pp. 290–297, May 2007. pdf
  49. Alexander Feldman, Gregory Provan, and Arjan van Gemund. Generating Manifestations of Max-Fault Min-Cardinality Diagnoses. In Proceedings of the Eighteenth International Workshop on Principles of Diagnosis (DX'07), Nashville, Tennessee, USA, pp. 83–90, May 2007. pdf
  50. Alexander Feldman, Gregory Provan, and Arjan van Gemund. Interchange Formats and Automated Benchmark Model Generators for Model-Based Diagnostic Inference. In Proceedings of the Eighteenth International Workshop on Principles of Diagnosis (DX'07), Nashville, Tennessee, USA, pp. 91–98, May 2007. pdf
  51. Alexander Feldman, Jurryt Pietersma, and Arjan van Gemund. All Roads Lead to Fault Diagnosis: Model-Based Reasoning with Lydia. In Proceedings of the Eighteenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC'06), Namur, Belgium, October 2006. pdf
  52. Alexander Feldman and Arjan van Gemund. A Two-Step Hierarchical Algorithm for Model-Based Diagnosis. In Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI'06), Boston, Massachusetts, USA, July 2006. pdf
  53. Jurryt Pietersma, Alexander Feldman, and Arjan van Gemund. Modeling and Compilation Aspects of Fault Diagnosis Complexity. In Proceedings of IEEE AUTOTESTCON'06, Anaheim, California, USA, September 2006. pdf
  54. Alexander Feldman, Jurryt Pietersma, and Arjan van Gemund. A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis. In Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX'06), Peñaranda de Duero, Burgos, Spain, June 2006. pdf
  55. Alexander Feldman, Arjan van Gemund, and André Bos. A Hybrid Approach to Hierarchical Fault Diagnosis. In Proceedings of the Sixteenth International Workshop on Principles of Diagnosis (DX'05), Monterey, California, USA, pp. 101–106, June 2005. pdf

Patents

  1. Alexander Feldman, Johan de Kleer, and Ion Matei. Method and System for Automated Design and Design-Space Exploration. U.S. Patent 10853540, 2020. pdf
  2. Alexander Feldman, Ion Matei, and Johan de Kleer. Automatic Redesign of Digital Circuits. U.S. Patent 10915684, 2021. pdf
  3. Alexander Feldman, Morad Behandish, Johan de Kleer, Ion Matei, and Saigopal Nelaturi. System and Method for Determining Hybrid-Manufacturing Process Plans for Integrated Circuits Based on Satisfiability Modulo Difference Logic Solver. U.S. Patent 11157672, 2022. pdf
  4. Alexander Feldman, Morad Behandish, Johan de Kleer, Ion Matei, and Saigopal Nelaturi. System and Method for Determining Hybrid-Manufacturing Process Plans Based on Satisfiability Modulo Difference Logic Solver. U.S. Patent 11386509, 2022. pdf
  5. Alexander Feldman, Morad Behandish, Johan de Kleer, Ion Matei, and Saigopal Nelaturi. System and Method for Determining Hybrid-Manufacturing Process Plans for Printed Circuit Boards Based on Satisfiability Modulo Difference Logic Solver. U.S. Patent 11244097, 2022. pdf
  6. Ion Matei, Alexander Feldman, and Johan de Kleer. Analog Computer Architecture for Fast Function Optimization. U.S. Patent 11043951, 2021. pdf
  7. Ion Matei, Saigopal Nelaturi, Johan de Kleer, Clinton Morris, and Alexander Feldman. System and method for augmenting lumped parameter model diagnosis engine. U.S. Patent 025617, 2021. (pending). pdf
  8. Ion Matei, Alexander Feldman, and Johan de Kleer. Re-design of Analog Circuits. U.S. Patent 11003823, 2021. pdf
  9. Ion Matei, Maksym Zhenirovskyy, Johan de Kleer, and Alexander Feldman. Method and System for Component-Based Design of Physical Systems. U.S. Patent 11386509, 2022. pdf
  10. Ion Matei, Alexander Feldman, and Johan de Kleer. Converting Implicit Dynamic Models into Explicit Dynamic Models. U.S. Patent 0253578, 2022. (pending). pdf
  11. Ion Matei, Alexander Feldman, and Johan de Kleer. Model-Based Diagnosis in Frequency Domain. U.S. Patent 11137318, 2021. pdf
  12. Ion Matei, Maksym Zhenirovskyy, Johan de Kleer, and Alexander Feldman. Reducing the Numerical Complexity of Designs. U.S. Patent 0180024, 2022. (pending). pdf
  13. Alexandre Campos Perez, Alexander Feldman, and Johan de Kleer. System and Method for Circuit Synthesis Using Partial Boolean Quantification. U.S. Patent 11010520, 2021. pdf