Hana Chockler - RankMe

131 papers A* 14A 6B 15C 3Misc 1Journal 59Unranked 23

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Causal Framework for Mitigating Data Shifts in Healthcare. CoRR Kurt Butler, Stephanie Riley, Damian Machlanski, Edward Moroshko, Panagiotis Dimitrakopoulos, Thomas Melistas, Akchunya Chanchal, Konstantinos Vilouras, Zhihua Liu, Steven McDonagh, Hana Chockler, Ben Glocker, Niccoló Tempini, Matthew Sperrin, Sotirios A. Tsaftaris, Ricardo Silva
2026	B	`conf`	Causal Liability in Autonomous Systems. FASE Kaveh Aryan, Hana Chockler, Mohammad Reza Mousavi
2026	J	`jnl`	I Guess That's Why They Call it the Blues: Causal Analysis for Audio Classifiers. CoRR David A. Kelly, Hana Chockler
2025	J	`jnl`	3D ReX: Causal Explanations in 3D Neuroimaging Classification. CoRR Melane Navaratnarajah, Sophie A. Martin, David A. Kelly, Nathan Blake, Hana Chockler
2025	J	`jnl`	Activation-Deactivation: A General Framework for Robust Post-hoc Explainable AI. CoRR Akchunya Chanchal, David A. Kelly, Hana Chockler
2025	J	`jnl`	Causal Identification of Sufficient, Contrastive and Complete Feature Sets in Image Classification. CoRR David A. Kelly, Hana Chockler
2025	J	`jnl`	Causality for Cyber-Physical Systems. CoRR Hugo Araújo, Hana Chockler, Mohammad Reza Mousavi, Gustavo Carvalho, Augusto Sampaio
2025	—	`conf`	Counterfactual Influence in Markov Decision Processes. CLeaR Milad Kazemi, Jessica Lally, Ekaterina Tishchenko, Hana Chockler, Nicola Paoletti
2025	J	`jnl`	Defining and Quantifying Creative Behavior in Popular Image Generators. CoRR Aditi Ramaswamy, Hana Chockler, Melane Navaratnarajah
2025	J	`jnl`	Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae. CoRR Stav Armoni-Friedmann, Hana Chockler, David A. Kelly
2025	A	`conf`	Explaining Negative Classifications of AI Models in Tumor Diagnosis. UAI David A. Kelly, Hana Chockler, Nathan Blake
2025	A	`conf`	Multiple Different Black Box Explanations for Image Classifiers. ECAI Hana Chockler, David A. Kelly, Daniel Kroening
2025	J	`jnl`	Out-of-the-box: Black-box Causal Attacks on Object Detectors. CoRR Melane Navaratnarajah, David A. Kelly, Hana Chockler
2025	J	`jnl`	SpecReX: Explainable AI for Raman Spectroscopy. CoRR Nathan Blake, David A. Kelly, Akchunya Chanchal, Sarah Kapllani-Mucaj, Geraint Thomas, Hana Chockler
2024	J	`jnl`	A Causal Analysis of Harm. Minds Mach. Sander Beckers, Hana Chockler, Joseph Y. Halpern
2024	J	`jnl`	Causal Explanations for Image Classifiers. CoRR Hana Chockler, David A. Kelly, Daniel Kroening, Youcheng Sun
2024	J	`jnl`	Counterfactual Influence in Markov Decision Processes. CoRR Milad Kazemi, Jessica Lally, Ekaterina Tishchenko, Hana Chockler, Nicola Paoletti
2024	A*	`conf`	Explaining Image Classifiers. KR Hana Chockler, Joseph Y. Halpern
2024	J	`jnl`	Explaining Image Classifiers. CoRR Hana Chockler, Joseph Y. Halpern
2024	J	`jnl`	It's a Feature, Not a Bug: Measuring Creative Fluidity in Image Generators. CoRR Aditi Ramaswamy, Melane Navaratnarajah, Hana Chockler
2024	J	`jnl`	Real-Time Incremental Explanations for Object Detectors. CoRR Santiago Calderon Pena, Hana Chockler, David A. Kelly
2024	A*	`conf`	Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning. NeurIPS Stefan Pranger, Hana Chockler, Martin Tappler, Bettina Könighofer
2024	J	`jnl`	Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning. CoRR Stefan Pranger, Hana Chockler, Martin Tappler, Bettina Könighofer
2024	J	`jnl`	Trustworthiness and Responsibility in AI - Causality, Learning, and Verification (Dagstuhl Seminar 24121). Dagstuhl Reports Vaishak Belle, Hana Chockler, Shannon Vallor, Kush R. Varshney, Joost Vennekens, Sander Beckers
2023	—	`conf`	A Causal Analysis of Harm. EWAF Sander Beckers, Hana Chockler, Joseph Y. Halpern
2023	—	`conf`	Challenges in Explaining Brain Tumor Detection. TAS Bénédicte Legastelois, Amy Rafferty, Paul Brennan, Hana Chockler, Ajitha Rajan, Vaishak Belle
2023	J	`jnl`	Clustered Policy Decision Ranking. CoRR Mark Levin, Hana Chockler
2023	J	`jnl`	MRxaI: Black-Box Explainability for Image Classifiers in a Medical Setting. CoRR Nathan Blake, Hana Chockler, David A. Kelly, Santiago Calderon Pena, Akchunya Chanchal
2023	J	`jnl`	Multiple Different Explanations for Image Classifiers. CoRR Hana Chockler, David A. Kelly, Daniel Kroening
2023	A*	`conf`	Quantifying Harm. IJCAI Sander Beckers, Hana Chockler, Joseph Y. Halpern
2023	J	`jnl`	You Only Explain Once. CoRR David A. Kelly, Hana Chockler, Daniel Kroening, Nathan Blake, Aditi Ramaswamy, Melane Navaratnarajah, Aaditya Shivakumar
2022	A*	`conf`	A Causal Analysis of Harm. NeurIPS Sander Beckers, Hana Chockler, Joseph Y. Halpern
2022	J	`jnl`	A Causal Analysis of Harm. CoRR Sander Beckers, Hana Chockler, Joseph Y. Halpern
2022	J	`jnl`	A Quantitative Account of Harm. CoRR Sander Beckers, Hana Chockler, Joseph Y. Halpern
2022	—	`conf`	A Study of Demographic Bias in CNN-Based Brain MR Segmentation. MLCN@MICCAI Stefanos Ioannou, Hana Chockler, Alexander Hammers, Andrew P. King
2022	J	`jnl`	A Study of Demographic Bias in CNN-based Brain MR Segmentation. CoRR Stefanos Ioannou, Hana Chockler, Alexander Hammers, Andrew P. King
2022	J	`jnl`	Causal Analysis of the TOPCAT Trial: Spironolactone for Preserved Cardiac Function Heart Failure. CoRR Francesca E. D. Raimondi, Tadhg O'Keeffe, Hana Chockler, Andrew R. Lawrence, Tamara Stemberga, Andre Franca, Maksim Sipos, Javed Butler, Shlomo Ben-Haim
2022	J	`jnl`	Domain Knowledge in A*-Based Causal Discovery. CoRR Steven Kleinegesse, Andrew R. Lawrence, Hana Chockler
2022	J	`jnl`	Equality of Effort via Algorithmic Recourse. CoRR Francesca E. D. Raimondi, Andrew R. Lawrence, Hana Chockler
2022	A*	`conf`	On Testing for Discrimination Using Causal Models. AAAI Hana Chockler, Joseph Y. Halpern
2022	J	`jnl`	Specifiable robustness in reactive synthesis. Formal Methods Syst. Des. Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
2022	J	`jnl`	Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities. CoRR Xin Du, Bénédicte Legastelois, Bhargavi Ganesh, Ajitha Rajan, Hana Chockler, Vaishak Belle, Stuart Anderson, Subramanian Ramamoorthy
2022	B	`conf`	Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification. FMCAD Hana Chockler
2021	J	`jnl`	Causal policy ranking. CoRR Daniel C. McNamee, Hana Chockler
2021	J	`jnl`	Compositional Explanations for Image Classifiers. CoRR Hana Chockler, Daniel Kroening, Youcheng Sun
2021	A*	`conf`	Explanations for Occluded Images. ICCV Hana Chockler, Daniel Kroening, Youcheng Sun
2021	J	`jnl`	Preface of the special issue on the conference on computer-aided verification 2018. Formal Methods Syst. Des. Hana Chockler, Georg Weissenbacher
2021	A*	`conf`	Ranking Policy Decisions. NeurIPS Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening
2021	J	`jnl`	Transfer learning with causal counterfactual reasoning in Decision Transformers. CoRR Ayman Boustati, Hana Chockler, Daniel C. McNamee
2021	J	`jnl`	Vacuity in synthesis. Formal Methods Syst. Des. Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
2020	J	`jnl`	Combining Experts' Causal Judgments. CoRR Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern
2020	J	`jnl`	Combining experts' causal judgments. Artif. Intell. Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern
2020	—	`conf`	Explaining Image Classifiers Using Statistical Fault Localization. ECCV (28) Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening
2020	J	`jnl`	Learning the Language of Software Errors. J. Artif. Intell. Res. Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman
2020	J	`jnl`	Ranking Policy Decisions. CoRR Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening
2020	J	`jnl`	Safety Synthesis Sans Specification. CoRR Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Dana Fisman, Heinz Riener
2019	J	`jnl`	Explaining Deep Neural Networks Using Spectrum-Based Fault Localization. CoRR Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening
2019	C	`conf`	Lattice-based SMT for program verification. MEMOCODE Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina
2019	B	`conf`	Synthesizing Reactive Systems Using Robustness and Recovery Specifications. FMCAD Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
2018	A*	`conf`	Combining Experts' Causal Judgments. AAAI Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern
2018	—	`ed.`	Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I CAV (1) Hana Chockler, Georg Weissenbacher
2018	—	`ed.`	Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II CAV (2) Hana Chockler, Georg Weissenbacher
2018	B	`conf`	Function Summarization Modulo Theories. LPAR Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler
2018	—	`conf`	Lattice-Based Refinement in Bounded Model Checking. VSTTE Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina
2018	B	`conf`	Lookahead-Based SMT Solving. LPAR Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina
2018	B	`conf`	Timed Vacuity. FM Hana Chockler, Shibashis Guha, Orna Kupferman
2017	—	`conf`	HiFrog: SMT-based Function Summarization for Software Verification. TACAS (2) Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2017	B	`conf`	Synthesizing Non-Vacuous Systems. VMCAI Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
2017	J	`jnl`	The Computational Complexity of Structure-Based Causality. J. Artif. Intell. Res. Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
2017	A	`conf`	Theory Refinement for Program Verification. SAT Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina
2016	—	`conf`	Causality and Responsibility for Formal Verification and Beyond. CREST Hana Chockler
2016	—	`conf`	Probabilistic Fault Localisation. Haifa Verification Conference David Landsberg, Hana Chockler, Daniel Kroening
2015	C	`conf`	Causal analysis for attributing responsibility in legal cases. ICAIL Hana Chockler, Norman E. Fenton, Jeroen Keppens, David A. Lagnado
2015	—	`ch.`	Challenges of Existing Technology. Validation of Evolving Software Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
2015	—	`ch.`	Complementarities Among the Technologies Presented in the Book. Validation of Evolving Software Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
2015	B	`conf`	Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. FASE David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis
2015	—	`ch.`	Introduction. Validation of Evolving Software Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
2015	B	`conf`	Learning the Language of Error. ATVA Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig
2015	—	`ch.`	Lightweight Static Analysis Check of Upgrades in C/C++ Software. Validation of Evolving Software Hana Chockler, Sitvanit Ruah
2015	—	`book`	Validation of Evolving Software Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
2014	A*	`conf`	The Computational Complexity of Structure-Based Causality. AAAI Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
2014	J	`jnl`	The Computational Complexity of Structure-Based Causality. CoRR Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
2013	—	`conf`	Attention-Based Coverage Metrics. Haifa Verification Conference Shoham Ben-David, Hana Chockler, Orna Kupferman
2013	J	`jnl`	Beyond vacuity: towards the strongest passing formula. Formal Methods Syst. Des. Hana Chockler, Arie Gurfinkel, Ofer Strichman
2013	A	`conf`	Finding rare numerical stability errors in concurrent computations. ISSTA Hana Chockler, Karine Even, Eran Yahav
2013	—	`conf`	Improving Representative Computation in ExpliSAT. Haifa Verification Conference Hana Chockler, Dmitry Pidan, Sitvanit Ruah
2013	—	`conf`	PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig
2013	—	`conf`	Preface. VSSE Hana Chockler
2013	—	`ed.`	Proceedings of the 2013 Validation Strategies for Software Evolution Workshop, VSSE 2013, Rome, Italy, March 16, 2013 VSSE Hana Chockler
2013	Misc	`conf`	Using cross-entropy for satisfiability. SAC Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina
2013	J	`jnl`	Verifying cloud services: present and future. ACM SIGOPS Oper. Syst. Rev. Sara Bouchenak, Gregory V. Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, Alexander Shraer
2012	—	`conf`	Computing Interpolants without Proofs. Haifa Verification Conference Hana Chockler, Alexander Ivrii, Arie Matsliah
2012	J	`jnl`	Computing Mutation Coverage in Interpolation-Based Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hana Chockler, Daniel Kroening, Mitra Purandare
2012	J	`jnl`	Explaining counterexamples using causality. Formal Methods Syst. Des. Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler
2012	—	`conf`	Verification of software changes with ExpliSAT. HotSWUp Hana Chockler, Sitvanit Ruah
2011	B	`conf`	Incremental formal verification of hardware. FMCAD Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo
2011	J	`jnl`	Preface. Int. J. Softw. Tools Technol. Transf. Hana Chockler, Alan J. Hu
2010	A*	`conf`	Coverage in interpolation-based model checking. DAC Hana Chockler, Daniel Kroening, Mitra Purandare
2010	J	`jnl`	Erratum for "What causes a system to satisfy a specification?". ACM Trans. Comput. Log. Hana Chockler, Joseph Y. Halpern, Orna Kupferman
2010	B	`conf`	PINCETTE - Validating changes and upgrades in networked software. FMCAD Hana Chockler
2010	—	`conf`	Variants of LTL Query Checking. Haifa Verification Conference Hana Chockler, Arie Gurfinkel, Ofer Strichman
2009	J	`jnl`	Before and after vacuity. Formal Methods Syst. Des. Hana Chockler, Ofer Strichman
2009	B	`conf`	Cross-Entropy-Based Replay of Concurrent Programs. FASE Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov
2009	A*	`conf`	Explaining Counterexamples Using Causality. CAV Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler
2009	—	`ed.`	Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings Haifa Verification Conference Hana Chockler, Alan J. Hu
2008	B	`conf`	Beyond Vacuity: Towards the Strongest Passing Formula. FMCAD Hana Chockler, Arie Gurfinkel, Ofer Strichman
2008	A	`conf`	Efficient Automatic STE Refinement Using Responsibility. TACAS Hana Chockler, Orna Grumberg, Avi Yadgar
2008	J	`jnl`	What causes a system to satisfy a specification?. ACM Trans. Comput. Log. Hana Chockler, Joseph Y. Halpern, Orna Kupferman
2007	B	`conf`	Cross-Entropy Based Testing. FMCAD Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov
2007	C	`conf`	Easier and More Informative Vacuity Checks. MEMOCODE Hana Chockler, Ofer Strichman
2006	—	`conf`	Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System. CBSE Paul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler
2006	J	`jnl`	Coverage metrics for formal verification. Int. J. Softw. Tools Technol. Transf. Hana Chockler, Orna Kupferman, Moshe Y. Vardi
2006	J	`jnl`	Coverage metrics for temporal logic model checking Formal Methods Syst. Des. Hana Chockler, Orna Kupferman, Moshe Y. Vardi
2006	—	`conf`	Formal verification of concurrent software: two case studies. PADTAD Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz
2005	—	`conf`	Automatic Verification of Fault-Tolerant Register Emulations. INFINITY Paul C. Attie, Hana Chockler
2005	B	`conf`	Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. VMCAI Paul C. Attie, Hana Chockler
2005	—	`conf`	Temporal Modalities for Concisely Capturing Timing Diagrams. CHARME Hana Chockler, Kathi Fisler
2004	J	`jnl`	A lower bound for testing juntas. Inf. Process. Lett. Hana Chockler, Dan Gutfreund
2004	J	`jnl`	Responsibility and Blame: A Structural-Model Approach. J. Artif. Intell. Res. Hana Chockler, Joseph Y. Halpern
2004	J	`jnl`	w-Regular languages are testable with a constant number of queries. Theor. Comput. Sci. Hana Chockler, Orna Kupferman
2003	—	`conf`	Coverage Metrics for Formal Verification. CHARME Hana Chockler, Orna Kupferman, Moshe Y. Vardi
2003	—	`—`	Coverage metrics for model checking (מטריקות כיסוי לבדיקות מודל.). Hana Chockler
2003	A*	`conf`	Responsibility and Blame: A Structural-Model Approach. IJCAI Hana Chockler, Joseph Y. Halpern
2003	J	`jnl`	Responsibility and blame: a structural-model approach CoRR Hana Chockler, Joseph Y. Halpern
2003	J	`jnl`	What Causes a System to Satisfy a Specification? CoRR Hana Chockler, Joseph Y. Halpern, Orna Kupferman
2002	—	`conf`	Coverage of Implementations by Simulating Specifications. IFIP TCS Hana Chockler, Orna Kupferman
2002	—	`conf`	omega-Regular Languages Are Testable with a Constant Number of Queries. RANDOM Hana Chockler, Orna Kupferman
2001	A*	`conf`	A Practical Approach to Coverage in Model Checking. CAV Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi
2001	A	`conf`	Coverage Metrics for Temporal Logic Model Checking. TACAS Hana Chockler, Orna Kupferman, Moshe Y. Vardi
2001	J	`jnl`	Which bases admit non-trivial shrinkage of formulae? Comput. Complex. Hana Chockler, Uri Zwick
2001	A*	`conf`	Which formulae shrink under random restrictions? SODA Hana Chockler, Uri Zwick