Kalech, Meir

22 publications

AAAI 2023 Distributed Spectrum-Based Fault Localization Avraham Natan, Roni Stern, Meir Kalech
AAAI 2022 Model-Based Diagnosis of Multi-Agent Systems: A Survey Meir Kalech, Avraham Natan
AAAI 2020 AI for Software Quality Assurance Blue Sky Ideas Talk Meir Kalech, Roni Stern
AAAI 2020 Model-Based Diagnosis with Uncertain Observations Dean Cazes, Meir Kalech
AAAI 2019 DeBGUer: A Tool for Bug Prediction and Diagnosis Amir Elmishali, Roni Stern, Meir Kalech
AAAI 2017 Plan Recognition Design Reuth Mirsky, Roni Stern, Ya'akov (Kobi) Gal, Meir Kalech
IJCAI 2016 Anticipatory Troubleshooting Netantel Hasidi, Roni Stern, Meir Kalech, Shulamit Reches
AAAI 2016 Data-Augmented Software Diagnosis Amir Elmishali, Roni Stern, Meir Kalech
AAAI 2016 Implementing Troubleshooting with Batch Repair Roni Stern, Meir Kalech, Hilla Shinitzky
IJCAI 2016 Sequential Plan Recognition Reuth Mirsky, Roni Stern, Ya'akov (Kobi) Gal, Meir Kalech
JAIR 2015 Decision Making with Dynamic Uncertain Events Meir Kalech, Shulamit Reches
AAAI 2015 How Many Diagnoses Do We Need? Roni Tzvi Stern, Meir Kalech, Shelly Rogov, Alexander Feldman
IJCAI 2015 Lie on the Fly: Iterative Voting Center with Manipulative Voters Lihi Naamani Dery, Svetlana Obraztsova, Zinovi Rabinovich, Meir Kalech
JAIR 2014 A Novel SAT-Based Approach to Model Based Diagnosis Amit Metodi, Roni Stern, Meir Kalech, Michael Codish
AAAI 2014 Using Model-Based Diagnosis to Improve Software Testing Tom Zamir, Roni Tzvi Stern, Meir Kalech
IJCAI 2013 Machine-Learning-Based Circuit Synthesis Lior Rokach, Meir Kalech, Gregory M. Provan, Alexander Feldman
AAAI 2012 Compiling Model-Based Diagnosis to Boolean Satisfaction Amit Metodi, Roni Stern, Meir Kalech, Michael Codish
AAAI 2012 Exploring the Duality in Conflict-Directed Model-Based Diagnosis Roni Tzvi Stern, Meir Kalech, Alexander Feldman, Gregory M. Provan
AAAI 2011 When to Stop? That Is the Question Shulamit Reches, Meir Kalech, Rami Stern
AAAI 2006 Diagnosis of Multi-Robot Coordination Failures Using Distributed CSP Algorithms Meir Kalech, Gal A. Kaminka, Amnon Meisels, Yehuda Elmaliach
AAAI 2005 Towards Model-Based Diagnosis of Coordination Failures Meir Kalech, Gal A. Kaminka
IJCAI 2003 On the Design of Social Diagnosis Algorithms for Multi-Agent Teams Meir Kalech, Gal A. Kaminka