Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hana Chockler
@article{DBLP:journals/corr/abs-2401-13752,
author = {Hana Chockler and
Joseph Y. Halpern},
title = {Explaining Image Classifiers},
journal = {CoRR},
volume = {abs/2401.13752},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.13752},
doi = {10.48550/ARXIV.2401.13752},
eprinttype = {arXiv},
eprint = {2401.13752},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-13752.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-08514,
author = {Milad Kazemi and
Jessica Lally and
Ekaterina Tishchenko and
Hana Chockler and
Nicola Paoletti},
title = {Counterfactual Influence in Markov Decision Processes},
journal = {CoRR},
volume = {abs/2402.08514},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.08514},
doi = {10.48550/ARXIV.2402.08514},
eprinttype = {arXiv},
eprint = {2402.08514},
timestamp = {Mon, 19 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-08514.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewaf/BeckersCH23,
author = {Sander Beckers and
Hana Chockler and
Joseph Y. Halpern},
editor = {Jose M. Alvarez and
Alessandro Fabris and
Christoph Heitz and
Corinna Hertweck and
Michele Loi and
Meike Zehlike},
title = {A Causal Analysis of Harm},
booktitle = {Proceedings of the 2nd European Workshop on Algorithmic Fairness,
Winterthur, Switzerland, June 7th to 9th, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3442},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3442/paper-24.pdf},
timestamp = {Wed, 19 Jul 2023 17:21:16 +0200},
biburl = {https://dblp.org/rec/conf/ewaf/BeckersCH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BeckersCH23,
author = {Sander Beckers and
Hana Chockler and
Joseph Y. Halpern},
title = {Quantifying Harm},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {363--371},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/41},
doi = {10.24963/IJCAI.2023/41},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BeckersCH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tas/LegasteloisRBCR23,
author = {B{\'{e}}n{\'{e}}dicte Legastelois and
Amy Rafferty and
Paul Brennan and
Hana Chockler and
Ajitha Rajan and
Vaishak Belle},
title = {Challenges in Explaining Brain Tumor Detection},
booktitle = {Proceedings of the First International Symposium on Trustworthy Autonomous
Systems, {TAS} 2023, Edinburgh, United Kingdom, July 11-12, 2023},
pages = {21:1--21:8},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597512.3600208},
doi = {10.1145/3597512.3600208},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tas/LegasteloisRBCR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-14309,
author = {Hana Chockler and
David A. Kelly and
Daniel Kroening},
title = {Multiple Different Explanations for Image Classifiers},
journal = {CoRR},
volume = {abs/2309.14309},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.14309},
doi = {10.48550/ARXIV.2309.14309},
eprinttype = {arXiv},
eprint = {2309.14309},
timestamp = {Wed, 27 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-14309.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-12970,
author = {Mark Levin and
Hana Chockler},
title = {Clustered Policy Decision Ranking},
journal = {CoRR},
volume = {abs/2311.12970},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.12970},
doi = {10.48550/ARXIV.2311.12970},
eprinttype = {arXiv},
eprint = {2311.12970},
timestamp = {Thu, 30 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-12970.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-14081,
author = {David A. Kelly and
Hana Chockler and
Daniel Kroening and
Nathan Blake and
Aditi Ramaswamy and
Melane Navaratnarajah and
Aaditya Shivakumar},
title = {You Only Explain Once},
journal = {CoRR},
volume = {abs/2311.14081},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.14081},
doi = {10.48550/ARXIV.2311.14081},
eprinttype = {arXiv},
eprint = {2311.14081},
timestamp = {Thu, 30 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-14081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-14471,
author = {Nathan Blake and
Hana Chockler and
David A. Kelly and
Santiago Calderon Pena and
Akchunya Chanchal},
title = {MRxaI: Black-Box Explainability for Image Classifiers in a Medical
Setting},
journal = {CoRR},
volume = {abs/2311.14471},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.14471},
doi = {10.48550/ARXIV.2311.14471},
eprinttype = {arXiv},
eprint = {2311.14471},
timestamp = {Thu, 30 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-14471.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BloemCES22,
author = {Roderick Bloem and
Hana Chockler and
Masoud Ebrahimi and
Ofer Strichman},
title = {Specifiable robustness in reactive synthesis},
journal = {Formal Methods Syst. Des.},
volume = {60},
number = {2},
pages = {259--276},
year = {2022},
url = {https://doi.org/10.1007/s10703-023-00418-x},
doi = {10.1007/S10703-023-00418-X},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BloemCES22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChocklerH22,
author = {Hana Chockler and
Joseph Y. Halpern},
title = {On Testing for Discrimination Using Causal Models},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {5548--5555},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20494},
doi = {10.1609/AAAI.V36I5.20494},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ChocklerH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Chockler22,
author = {Hana Chockler},
editor = {Alberto Griggio and
Neha Rungta},
title = {Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning
to Verification},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {1},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_2},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_2},
timestamp = {Mon, 13 Feb 2023 21:53:10 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Chockler22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/IoannouCHK22,
author = {Stefanos Ioannou and
Hana Chockler and
Alexander Hammers and
Andrew P. King},
editor = {Ahmed Abdulkadir and
Deepti R. Bathula and
Nicha C. Dvornek and
Mohamad Habes and
Seyed Mostafa Kia and
Vinod Kumar and
Thomas Wolfers},
title = {A Study of Demographic Bias in CNN-Based Brain {MR} Segmentation},
booktitle = {Machine Learning in Clinical Neuroimaging - 5th International Workshop,
{MLCN} 2022, Held in Conjunction with {MICCAI} 2022, Singapore, September
18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13596},
pages = {13--22},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17899-3\_2},
doi = {10.1007/978-3-031-17899-3\_2},
timestamp = {Tue, 10 Oct 2023 14:59:33 +0200},
biburl = {https://dblp.org/rec/conf/miccai/IoannouCHK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/BeckersCH22,
author = {Sander Beckers and
Hana Chockler and
Joseph Y. Halpern},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {A Causal Analysis of Harm},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/100c1f131893d3b4b34bb8db49bef79f-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/BeckersCH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-11674,
author = {Xin Du and
B{\'{e}}n{\'{e}}dicte Legastelois and
Bhargavi Ganesh and
Ajitha Rajan and
Hana Chockler and
Vaishak Belle and
Stuart Anderson and
Subramanian Ramamoorthy},
title = {Vision Checklist: Towards Testable Error Analysis of Image Models
to Help System Designers Interrogate Model Capabilities},
journal = {CoRR},
volume = {abs/2201.11674},
year = {2022},
url = {https://arxiv.org/abs/2201.11674},
eprinttype = {arXiv},
eprint = {2201.11674},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-11674.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-06613,
author = {Stefanos Ioannou and
Hana Chockler and
Alexander Hammers and
Andrew P. King},
title = {A Study of Demographic Bias in CNN-based Brain {MR} Segmentation},
journal = {CoRR},
volume = {abs/2208.06613},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.06613},
doi = {10.48550/ARXIV.2208.06613},
eprinttype = {arXiv},
eprint = {2208.06613},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-06613.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-08247,
author = {Steven Kleinegesse and
Andrew R. Lawrence and
Hana Chockler},
title = {Domain Knowledge in A*-Based Causal Discovery},
journal = {CoRR},
volume = {abs/2208.08247},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.08247},
doi = {10.48550/ARXIV.2208.08247},
eprinttype = {arXiv},
eprint = {2208.08247},
timestamp = {Mon, 22 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-08247.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-15111,
author = {Sander Beckers and
Hana Chockler and
Joseph Y. Halpern},
title = {A Quantitative Account of Harm},
journal = {CoRR},
volume = {abs/2209.15111},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.15111},
doi = {10.48550/ARXIV.2209.15111},
eprinttype = {arXiv},
eprint = {2209.15111},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-15111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-05327,
author = {Sander Beckers and
Hana Chockler and
Joseph Y. Halpern},
title = {A Causal Analysis of Harm},
journal = {CoRR},
volume = {abs/2210.05327},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.05327},
doi = {10.48550/ARXIV.2210.05327},
eprinttype = {arXiv},
eprint = {2210.05327},
timestamp = {Thu, 13 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-05327.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-11892,
author = {Francesca E. D. Raimondi and
Andrew R. Lawrence and
Hana Chockler},
title = {Equality of Effort via Algorithmic Recourse},
journal = {CoRR},
volume = {abs/2211.11892},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.11892},
doi = {10.48550/ARXIV.2211.11892},
eprinttype = {arXiv},
eprint = {2211.11892},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-11892.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-12983,
author = {Francesca E. D. Raimondi and
Tadhg O'Keeffe and
Hana Chockler and
Andrew R. Lawrence and
Tamara Stemberga and
Andre Franca and
Maksim Sipos and
Javed Butler and
Shlomo Ben{-}Haim},
title = {Causal Analysis of the {TOPCAT} Trial: Spironolactone for Preserved
Cardiac Function Heart Failure},
journal = {CoRR},
volume = {abs/2211.12983},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.12983},
doi = {10.48550/ARXIV.2211.12983},
eprinttype = {arXiv},
eprint = {2211.12983},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ChocklerW21,
author = {Hana Chockler and
Georg Weissenbacher},
title = {Preface of the special issue on the conference on computer-aided verification
2018},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {1},
pages = {1--2},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00365-5},
doi = {10.1007/S10703-021-00365-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/ChocklerW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BloemCES21,
author = {Roderick Bloem and
Hana Chockler and
Masoud Ebrahimi and
Ofer Strichman},
title = {Vacuity in synthesis},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {3},
pages = {473--495},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00381-5},
doi = {10.1007/S10703-021-00381-5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BloemCES21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccv/ChocklerKS21,
author = {Hana Chockler and
Daniel Kroening and
Youcheng Sun},
title = {Explanations for Occluded Images},
booktitle = {2021 {IEEE/CVF} International Conference on Computer Vision, {ICCV}
2021, Montreal, QC, Canada, October 10-17, 2021},
pages = {1214--1223},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCV48922.2021.00127},
doi = {10.1109/ICCV48922.2021.00127},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccv/ChocklerKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/PougetCSK21,
author = {Hadrien Pouget and
Hana Chockler and
Youcheng Sun and
Daniel Kroening},
editor = {Marc'Aurelio Ranzato and
Alina Beygelzimer and
Yann N. Dauphin and
Percy Liang and
Jennifer Wortman Vaughan},
title = {Ranking Policy Decisions},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference
on Neural Information Processing Systems 2021, NeurIPS 2021, December
6-14, 2021, virtual},
pages = {8702--8713},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/48db71587df6c7c442e5b76cc723169a-Abstract.html},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/PougetCSK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-03622,
author = {Hana Chockler and
Daniel Kroening and
Youcheng Sun},
title = {Compositional Explanations for Image Classifiers},
journal = {CoRR},
volume = {abs/2103.03622},
year = {2021},
url = {https://arxiv.org/abs/2103.03622},
eprinttype = {arXiv},
eprint = {2103.03622},
timestamp = {Mon, 15 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-03622.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-14355,
author = {Ayman Boustati and
Hana Chockler and
Daniel C. McNamee},
title = {Transfer learning with causal counterfactual reasoning in Decision
Transformers},
journal = {CoRR},
volume = {abs/2110.14355},
year = {2021},
url = {https://arxiv.org/abs/2110.14355},
eprinttype = {arXiv},
eprint = {2110.14355},
timestamp = {Fri, 29 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-14355.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-08415,
author = {Daniel C. McNamee and
Hana Chockler},
title = {Causal policy ranking},
journal = {CoRR},
volume = {abs/2111.08415},
year = {2021},
url = {https://arxiv.org/abs/2111.08415},
eprinttype = {arXiv},
eprint = {2111.08415},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-08415.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AlrajehCH20,
author = {Dalal Alrajeh and
Hana Chockler and
Joseph Y. Halpern},
title = {Combining experts' causal judgments},
journal = {Artif. Intell.},
volume = {288},
pages = {103355},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2020.103355},
doi = {10.1016/J.ARTINT.2020.103355},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AlrajehCH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ChocklerKKS20,
author = {Hana Chockler and
Pascal Kesseli and
Daniel Kroening and
Ofer Strichman},
title = {Learning the Language of Software Errors},
journal = {J. Artif. Intell. Res.},
volume = {67},
pages = {881--903},
year = {2020},
url = {https://doi.org/10.1613/jair.1.11798},
doi = {10.1613/JAIR.1.11798},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/ChocklerKKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/SunCHK20,
author = {Youcheng Sun and
Hana Chockler and
Xiaowei Huang and
Daniel Kroening},
editor = {Andrea Vedaldi and
Horst Bischof and
Thomas Brox and
Jan{-}Michael Frahm},
title = {Explaining Image Classifiers Using Statistical Fault Localization},
booktitle = {Computer Vision - {ECCV} 2020 - 16th European Conference, Glasgow,
UK, August 23-28, 2020, Proceedings, Part {XXVIII}},
series = {Lecture Notes in Computer Science},
volume = {12373},
pages = {391--406},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58604-1\_24},
doi = {10.1007/978-3-030-58604-1\_24},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eccv/SunCHK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-10180,
author = {Dalal Alrajeh and
Hana Chockler and
Joseph Y. Halpern},
title = {Combining Experts' Causal Judgments},
journal = {CoRR},
volume = {abs/2005.10180},
year = {2020},
url = {https://arxiv.org/abs/2005.10180},
eprinttype = {arXiv},
eprint = {2005.10180},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-10180.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-13607,
author = {Hadrien Pouget and
Hana Chockler and
Youcheng Sun and
Daniel Kroening},
title = {Ranking Policy Decisions},
journal = {CoRR},
volume = {abs/2008.13607},
year = {2020},
url = {https://arxiv.org/abs/2008.13607},
eprinttype = {arXiv},
eprint = {2008.13607},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-13607.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-07630,
author = {Roderick Bloem and
Hana Chockler and
Masoud Ebrahimi and
Dana Fisman and
Heinz Riener},
title = {Safety Synthesis Sans Specification},
journal = {CoRR},
volume = {abs/2011.07630},
year = {2020},
url = {https://arxiv.org/abs/2011.07630},
eprinttype = {arXiv},
eprint = {2011.07630},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-07630.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BloemC0S19,
author = {Roderick Bloem and
Hana Chockler and
Masoud Ebrahimi and
Ofer Strichman},
editor = {Clark W. Barrett and
Jin Yang},
title = {Synthesizing Reactive Systems Using Robustness and Recovery Specifications},
booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
CA, USA, October 22-25, 2019},
pages = {147--151},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/FMCAD.2019.8894276},
doi = {10.23919/FMCAD.2019.8894276},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/BloemC0S19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Even-MendozaHCS19,
author = {Karine Even{-}Mendoza and
Antti E. J. Hyv{\"{a}}rinen and
Hana Chockler and
Natasha Sharygina},
editor = {Partha S. Roop and
Naijun Zhan and
Sicun Gao and
Pierluigi Nuzzo},
title = {Lattice-based {SMT} for program verification},
booktitle = {Proceedings of the 17th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2019, La Jolla, CA,
USA, October 9-11, 2019},
pages = {16:1--16:11},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359986.3361214},
doi = {10.1145/3359986.3361214},
timestamp = {Sat, 20 May 2023 11:52:14 +0200},
biburl = {https://dblp.org/rec/conf/memocode/Even-MendozaHCS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-02374,
author = {Youcheng Sun and
Hana Chockler and
Xiaowei Huang and
Daniel Kroening},
title = {Explaining Deep Neural Networks Using Spectrum-Based Fault Localization},
journal = {CoRR},
volume = {abs/1908.02374},
year = {2019},
url = {http://arxiv.org/abs/1908.02374},
eprinttype = {arXiv},
eprint = {1908.02374},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-02374.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AljarehCH18,
author = {Dalal Alrajeh and
Hana Chockler and
Joseph Y. Halpern},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Combining Experts' Causal Judgments},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {6311--6318},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.12112},
doi = {10.1609/AAAI.V32I1.12112},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AljarehCH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ChocklerGK18,
author = {Hana Chockler and
Shibashis Guha and
Orna Kupferman},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {Timed Vacuity},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {438--455},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_26},
doi = {10.1007/978-3-319-95582-7\_26},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/ChocklerGK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AsadiBFHESC18,
author = {Sepideh Asadi and
Martin Blicha and
Grigory Fedyukovich and
Antti E. J. Hyv{\"{a}}rinen and
Karine Even{-}Mendoza and
Natasha Sharygina and
Hana Chockler},
editor = {Gilles Barthe and
Geoff Sutcliffe and
Margus Veanes},
title = {Function Summarization Modulo Theories},
booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
series = {EPiC Series in Computing},
volume = {57},
pages = {56--75},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/d3bt},
doi = {10.29007/D3BT},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/AsadiBFHESC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HyvarinenMSCS18,
author = {Antti E. J. Hyv{\"{a}}rinen and
Matteo Marescotti and
Parvin Sadigova and
Hana Chockler and
Natasha Sharygina},
editor = {Gilles Barthe and
Geoff Sutcliffe and
Margus Veanes},
title = {Lookahead-Based {SMT} Solving},
booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
series = {EPiC Series in Computing},
volume = {57},
pages = {418--434},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/gzzf},
doi = {10.29007/GZZF},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HyvarinenMSCS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Even-MendozaAHC18,
author = {Karine Even{-}Mendoza and
Sepideh Asadi and
Antti E. J. Hyv{\"{a}}rinen and
Hana Chockler and
Natasha Sharygina},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Lattice-Based Refinement in Bounded Model Checking},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {50--68},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_4},
doi = {10.1007/978-3-030-03592-1\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/Even-MendozaAHC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2018-1,
editor = {Hana Chockler and
Georg Weissenbacher},
title = {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}},
series = {Lecture Notes in Computer Science},
volume = {10981},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3},
doi = {10.1007/978-3-319-96145-3},
isbn = {978-3-319-96144-6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2018-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2018-2,
editor = {Hana Chockler and
Georg Weissenbacher},
title = {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}},
series = {Lecture Notes in Computer Science},
volume = {10982},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2},
doi = {10.1007/978-3-319-96142-2},
isbn = {978-3-319-96141-5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2018-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/AleksandrowiczC17,
author = {Gadi Aleksandrowicz and
Hana Chockler and
Joseph Y. Halpern and
Alexander Ivrii},
title = {The Computational Complexity of Structure-Based Causality},
journal = {J. Artif. Intell. Res.},
volume = {58},
pages = {431--451},
year = {2017},
url = {https://doi.org/10.1613/jair.5229},
doi = {10.1613/JAIR.5229},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/AleksandrowiczC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HyvarinenAMFCS17,
author = {Antti E. J. Hyv{\"{a}}rinen and
Sepideh Asadi and
Karine Even{-}Mendoza and
Grigory Fedyukovich and
Hana Chockler and
Natasha Sharygina},
editor = {Serge Gaspers and
Toby Walsh},
title = {Theory Refinement for Program Verification},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th
International Conference, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10491},
pages = {347--363},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66263-3\_22},
doi = {10.1007/978-3-319-66263-3\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/HyvarinenAMFCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AltACMFHS17,
author = {Leonardo Alt and
Sepideh Asadi and
Hana Chockler and
Karine Even{-}Mendoza and
Grigory Fedyukovich and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Axel Legay and
Tiziana Margaria},
title = {HiFrog: SMT-based Function Summarization for Software Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {207--213},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_12},
doi = {10.1007/978-3-662-54580-5\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AltACMFHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BloemCES17,
author = {Roderick Bloem and
Hana Chockler and
Masoud Ebrahimi and
Ofer Strichman},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Synthesizing Non-Vacuous Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {55--72},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_4},
doi = {10.1007/978-3-319-52234-0\_4},
timestamp = {Sat, 09 Apr 2022 12:46:16 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BloemCES17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/LandsbergCK16,
author = {David Landsberg and
Hana Chockler and
Daniel Kroening},
editor = {Roderick Bloem and
Eli Arbel},
title = {Probabilistic Fault Localisation},
booktitle = {Hardware and Software: Verification and Testing - 12th International
Haifa Verification Conference, {HVC} 2016, Haifa, Israel, November
14-17, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10028},
pages = {65--81},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49052-6\_5},
doi = {10.1007/978-3-319-49052-6\_5},
timestamp = {Mon, 03 Jan 2022 22:33:54 +0100},
biburl = {https://dblp.org/rec/conf/hvc/LandsbergCK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Chockler16,
author = {Hana Chockler},
editor = {Gregor G{\"{o}}{\ss}ler and
Oleg Sokolsky},
title = {Causality and Responsibility for Formal Verification and Beyond},
booktitle = {Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical
Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands,
8th April 2016},
series = {{EPTCS}},
volume = {224},
pages = {1--8},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.224.1},
doi = {10.4204/EPTCS.224.1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Chockler16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChapmanCKKST15,
author = {Martin Chapman and
Hana Chockler and
Pascal Kesseli and
Daniel Kroening and
Ofer Strichman and
Michael Tautschnig},
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Learning the Language of Error},
booktitle = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
pages = {114--130},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7\_9},
doi = {10.1007/978-3-319-24953-7\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/ChapmanCKKST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LandsbergCKL15,
author = {David Landsberg and
Hana Chockler and
Daniel Kroening and
Matt Lewis},
editor = {Alexander Egyed and
Ina Schaefer},
title = {Evaluation of Measures for Statistical Fault Localisation and an Optimising
Scheme},
booktitle = {Fundamental Approaches to Software Engineering - 18th International
Conference, {FASE} 2015, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2015, London, UK, April
11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9033},
pages = {115--129},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46675-9\_8},
doi = {10.1007/978-3-662-46675-9\_8},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/LandsbergCKL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/ChocklerFKL15,
author = {Hana Chockler and
Norman E. Fenton and
Jeroen Keppens and
David A. Lagnado},
editor = {Ted Sichelman and
Katie Atkinson},
title = {Causal analysis for attributing responsibility in legal cases},
booktitle = {Proceedings of the 15th International Conference on Artificial Intelligence
and Law, {ICAIL} 2015, San Diego, CA, USA, June 8-12, 2015},
pages = {33--42},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2746090.2746102},
doi = {10.1145/2746090.2746102},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icail/ChocklerFKL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/ChocklerKMS15,
author = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
editor = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
title = {Introduction},
booktitle = {Validation of Evolving Software},
pages = {3--5},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-10623-6\_1},
doi = {10.1007/978-3-319-10623-6\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/15/ChocklerKMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/ChocklerKMS15a,
author = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
editor = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
title = {Challenges of Existing Technology},
booktitle = {Validation of Evolving Software},
pages = {7--17},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-10623-6\_2},
doi = {10.1007/978-3-319-10623-6\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/15/ChocklerKMS15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/ChocklerKMS15b,
author = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
editor = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
title = {Complementarities Among the Technologies Presented in the Book},
booktitle = {Validation of Evolving Software},
pages = {19--21},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-10623-6\_3},
doi = {10.1007/978-3-319-10623-6\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/15/ChocklerKMS15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/ChocklerR15,
author = {Hana Chockler and
Sitvanit Ruah},
editor = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
title = {Lightweight Static Analysis Check of Upgrades in {C/C++} Software},
booktitle = {Validation of Evolving Software},
pages = {25--36},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-10623-6\_4},
doi = {10.1007/978-3-319-10623-6\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/15/ChocklerR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/CKMS2015,
editor = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
title = {Validation of Evolving Software},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-10623-6},
doi = {10.1007/978-3-319-10623-6},
isbn = {978-3-319-10622-9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/CKMS2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AleksandrowiczCHI14,
author = {Gadi Aleksandrowicz and
Hana Chockler and
Joseph Y. Halpern and
Alexander Ivrii},
editor = {Carla E. Brodley and
Peter Stone},
title = {The Computational Complexity of Structure-Based Causality},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {974--980},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8863},
doi = {10.1609/AAAI.V28I1.8863},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AleksandrowiczCHI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AleksandrowiczCHI14,
author = {Gadi Aleksandrowicz and
Hana Chockler and
Joseph Y. Halpern and
Alexander Ivrii},
title = {The Computational Complexity of Structure-Based Causality},
journal = {CoRR},
volume = {abs/1412.3076},
year = {2014},
url = {http://arxiv.org/abs/1412.3076},
eprinttype = {arXiv},
eprint = {1412.3076},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AleksandrowiczCHI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ChocklerGS13,
author = {Hana Chockler and
Arie Gurfinkel and
Ofer Strichman},
title = {Beyond vacuity: towards the strongest passing formula},
journal = {Formal Methods Syst. Des.},
volume = {43},
number = {3},
pages = {552--571},
year = {2013},
url = {https://doi.org/10.1007/s10703-013-0192-6},
doi = {10.1007/S10703-013-0192-6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ChocklerGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/BouchenakCCGSS13,
author = {Sara Bouchenak and
Gregory V. Chockler and
Hana Chockler and
Gabriela Gheorghe and
Nuno Santos and
Alexander Shraer},
title = {Verifying cloud services: present and future},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {47},
number = {2},
pages = {6--19},
year = {2013},
url = {https://doi.org/10.1145/2506164.2506167},
doi = {10.1145/2506164.2506167},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/BouchenakCCGSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/ChocklerDLFHMMORSST13,
author = {Hana Chockler and
Giovanni Denaro and
Meijia Ling and
Grigory Fedyukovich and
Antti Eero Johannes Hyv{\"{a}}rinen and
Leonardo Mariani and
Ali Muhammad and
Manuel Oriol and
Ajitha Rajan and
Ondrej Sery and
Natasha Sharygina and
Michael Tautschnig},
editor = {Anthony Cleve and
Filippo Ricca and
Maura Cerioli},
title = {{PINCETTE} - Validating Changes and Upgrades in Networked Software},
booktitle = {17th European Conference on Software Maintenance and Reengineering,
{CSMR} 2013, Genova, Italy, March 5-8, 2013},
pages = {461--464},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CSMR.2013.72},
doi = {10.1109/CSMR.2013.72},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/ChocklerDLFHMMORSST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Ben-DavidCK13,
author = {Shoham Ben{-}David and
Hana Chockler and
Orna Kupferman},
editor = {Valeria Bertacco and
Axel Legay},
title = {Attention-Based Coverage Metrics},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {230--245},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_16},
doi = {10.1007/978-3-319-03077-7\_16},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Ben-DavidCK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ChocklerPR13,
author = {Hana Chockler and
Dmitry Pidan and
Sitvanit Ruah},
editor = {Valeria Bertacco and
Axel Legay},
title = {Improving Representative Computation in ExpliSAT},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {359--364},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_24},
doi = {10.1007/978-3-319-03077-7\_24},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ChocklerPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChocklerEY13,
author = {Hana Chockler and
Karine Even and
Eran Yahav},
editor = {Mauro Pezz{\`{e}} and
Mark Harman},
title = {Finding rare numerical stability errors in concurrent computations},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'13, Lugano, Switzerland, July 15-20, 2013},
pages = {12--22},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2483760.2483791},
doi = {10.1145/2483760.2483791},
timestamp = {Sun, 02 Oct 2022 16:10:12 +0200},
biburl = {https://dblp.org/rec/conf/issta/ChocklerEY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ChocklerIMRS13,
author = {Hana Chockler and
Alexander Ivrii and
Arie Matsliah and
Simone Fulvio Rollini and
Natasha Sharygina},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {Using cross-entropy for satisfiability},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1196--1203},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480588},
doi = {10.1145/2480362.2480588},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/ChocklerIMRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Chockler13,
author = {Hana Chockler},
editor = {Hana Chockler},
title = {Preface},
booktitle = {Proceedings of the 2013 Validation Strategies for Software Evolution
Workshop, {VSSE} 2013, Rome, Italy, March 16, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {294},
pages = {1},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2013.02.011},
doi = {10.1016/J.ENTCS.2013.02.011},
timestamp = {Tue, 22 Nov 2022 13:49:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Chockler13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vsse/2013,
editor = {Hana Chockler},
title = {Proceedings of the 2013 Validation Strategies for Software Evolution
Workshop, {VSSE} 2013, Rome, Italy, March 16, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {294},
publisher = {Elsevier},
year = {2013},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/294/suppl/C},
timestamp = {Tue, 22 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vsse/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BeerBCOT12,
author = {Ilan Beer and
Shoham Ben{-}David and
Hana Chockler and
Avigail Orni and
Richard J. Trefler},
title = {Explaining counterexamples using causality},
journal = {Formal Methods Syst. Des.},
volume = {40},
number = {1},
pages = {20--40},
year = {2012},
url = {https://doi.org/10.1007/s10703-011-0132-2},
doi = {10.1007/S10703-011-0132-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BeerBCOT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ChocklerKP12,
author = {Hana Chockler and
Daniel Kroening and
Mitra Purandare},
title = {Computing Mutation Coverage in Interpolation-Based Model Checking},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {31},
number = {5},
pages = {765--778},
year = {2012},
url = {https://doi.org/10.1109/TCAD.2011.2180382},
doi = {10.1109/TCAD.2011.2180382},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ChocklerKP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotswup/ChocklerR12,
author = {Hana Chockler and
Sitvanit Ruah},
editor = {Michael Wahler and
Danny Dig},
title = {Verification of software changes with ExpliSAT},
booktitle = {4th International Workshop on Hot Topics in Software Upgrades, HotSWUp
2012, Zurich, Switzerland, June 3, 2012},
pages = {31--35},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/HotSWUp.2012.6226614},
doi = {10.1109/HOTSWUP.2012.6226614},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotswup/ChocklerR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ChocklerIM12,
author = {Hana Chockler and
Alexander Ivrii and
Arie Matsliah},
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {Computing Interpolants without Proofs},
booktitle = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
pages = {72--85},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39611-3\_12},
doi = {10.1007/978-3-642-39611-3\_12},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ChocklerIM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ChocklerH11,
author = {Hana Chockler and
Alan J. Hu},
title = {Preface},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {13},
number = {3},
pages = {201--205},
year = {2011},
url = {https://doi.org/10.1007/s10009-011-0194-x},
doi = {10.1007/S10009-011-0194-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ChocklerH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChocklerIMMN11,
author = {Hana Chockler and
Alexander Ivrii and
Arie Matsliah and
Shiri Moran and
Ziv Nevo},
editor = {Per Bjesse and
Anna Slobodov{\'{a}}},
title = {Incremental formal verification of hardware},
booktitle = {International Conference on Formal Methods in Computer-Aided Design,
{FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
pages = {135--143},
publisher = {{FMCAD} Inc.},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2157676},
timestamp = {Mon, 09 Aug 2021 15:21:44 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ChocklerIMMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ChocklerHK10,
author = {Hana Chockler and
Joseph Y. Halpern and
Orna Kupferman},
title = {Erratum for "What causes a system to satisfy a specification?"},
journal = {{ACM} Trans. Comput. Log.},
volume = {11},
number = {4},
pages = {29:1--29:2},
year = {2010},
url = {https://doi.org/10.1145/1805950.1805959},
doi = {10.1145/1805950.1805959},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/ChocklerHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChocklerKP10,
author = {Hana Chockler and
Daniel Kroening and
Mitra Purandare},
editor = {Sachin S. Sapatnekar},
title = {Coverage in interpolation-based model checking},
booktitle = {Proceedings of the 47th Design Automation Conference, {DAC} 2010,
Anaheim, California, USA, July 13-18, 2010},
pages = {182--187},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837274.1837320},
doi = {10.1145/1837274.1837320},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/ChocklerKP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Chockler10,
author = {Hana Chockler},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {{PINCETTE} - Validating changes and upgrades in networked software},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {277},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770962/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Chockler10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ChocklerGS10,
author = {Hana Chockler and
Arie Gurfinkel and
Ofer Strichman},
editor = {Sharon Barner and
Ian G. Harris and
Daniel Kroening and
Orna Raz},
title = {Variants of {LTL} Query Checking},
booktitle = {Hardware and Software: Verification and Testing - 6th International
Haifa Verification Conference, {HVC} 2010, Haifa, Israel, October
4-7, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6504},
pages = {76--92},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19583-9\_11},
doi = {10.1007/978-3-642-19583-9\_11},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/ChocklerGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ChocklerS09,
author = {Hana Chockler and
Ofer Strichman},
title = {Before and after vacuity},
journal = {Formal Methods Syst. Des.},
volume = {34},
number = {1},
pages = {37--58},
year = {2009},
url = {https://doi.org/10.1007/s10703-008-0060-y},
doi = {10.1007/S10703-008-0060-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ChocklerS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BeerBCOT09,
author = {Ilan Beer and
Shoham Ben{-}David and
Hana Chockler and
Avigail Orni and
Richard J. Trefler},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Explaining Counterexamples Using Causality},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {94--108},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_11},
doi = {10.1007/978-3-642-02658-4\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BeerBCOT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ChocklerFGN09,
author = {Hana Chockler and
Eitan Farchi and
Benny Godlin and
Sergey Novikov},
editor = {Marsha Chechik and
Martin Wirsing},
title = {Cross-Entropy-Based Replay of Concurrent Programs},
booktitle = {Fundamental Approaches to Software Engineering, 12th International
Conference, {FASE} 2009, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5503},
pages = {201--215},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00593-0\_14},
doi = {10.1007/978-3-642-00593-0\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/ChocklerFGN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2008,
editor = {Hana Chockler and
Alan J. Hu},
title = {Hardware and Software: Verification and Testing, 4th International
Haifa Verification Conference, {HVC} 2008, Haifa, Israel, October
27-30, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5394},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01702-5},
doi = {10.1007/978-3-642-01702-5},
isbn = {978-3-642-01701-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ChocklerHK08,
author = {Hana Chockler and
Joseph Y. Halpern and
Orna Kupferman},
title = {What causes a system to satisfy a specification?},
journal = {{ACM} Trans. Comput. Log.},
volume = {9},
number = {3},
pages = {20:1--20:26},
year = {2008},
url = {https://doi.org/10.1145/1352582.1352588},
doi = {10.1145/1352582.1352588},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/ChocklerHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChocklerGS08,
author = {Hana Chockler and
Arie Gurfinkel and
Ofer Strichman},
editor = {Alessandro Cimatti and
Robert B. Jones},
title = {Beyond Vacuity: Towards the Strongest Passing Formula},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2008, Portland, Oregon,
USA, 17-20 November 2008},
pages = {1--8},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/FMCAD.2008.ECP.28},
doi = {10.1109/FMCAD.2008.ECP.28},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ChocklerGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChocklerGY08,
author = {Hana Chockler and
Orna Grumberg and
Avi Yadgar},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Efficient Automatic {STE} Refinement Using Responsibility},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {233--248},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_17},
doi = {10.1007/978-3-540-78800-3\_17},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChocklerGY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChocklerFGN07,
author = {Hana Chockler and
Eitan Farchi and
Benny Godlin and
Sergey Novikov},
title = {Cross-Entropy Based Testing},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {101--108},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.19},
doi = {10.1109/FAMCAD.2007.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ChocklerFGN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ChocklerS07,
author = {Hana Chockler and
Ofer Strichman},
title = {Easier and More Informative Vacuity Checks},
booktitle = {5th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2007), May 30 - June 1st, Nice,
France},
pages = {189--198},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MEMCOD.2007.371225},
doi = {10.1109/MEMCOD.2007.371225},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/ChocklerS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ChocklerKV06,
author = {Hana Chockler and
Orna Kupferman and
Moshe Y. Vardi},
title = {Coverage metrics for temporal logic model checking\({}^{\mbox{*}}\)},
journal = {Formal Methods Syst. Des.},
volume = {28},
number = {3},
pages = {189--212},
year = {2006},
url = {https://doi.org/10.1007/s10703-006-0001-6},
doi = {10.1007/S10703-006-0001-6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ChocklerKV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ChocklerKV06,
author = {Hana Chockler and
Orna Kupferman and
Moshe Y. Vardi},
title = {Coverage metrics for formal verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {4-5},
pages = {373--386},
year = {2006},
url = {https://doi.org/10.1007/s10009-004-0175-4},
doi = {10.1007/S10009-004-0175-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ChocklerKV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/AttieLPC06,
author = {Paul C. Attie and
David H. Lorenz and
Aleksandra Portnova and
Hana Chockler},
editor = {Ian Gorton and
George T. Heineman and
Ivica Crnkovic and
Heinz W. Schmidt and
Judith A. Stafford and
Clemens A. Szyperski and
Kurt C. Wallnau},
title = {Behavioral Compatibility Without State Explosion: Design and Verification
of a Component-Based Elevator Control System},
booktitle = {Component-Based Software Engineering, 9th International Symposium,
{CBSE} 2006, V{\"{a}}ster{\aa}s, Sweden, June 29 - July 1, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4063},
pages = {33--49},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11783565\_3},
doi = {10.1007/11783565\_3},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cbse/AttieLPC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChocklerFGGNR06,
author = {Hana Chockler and
Eitan Farchi and
Ziv Glazberg and
Benny Godlin and
Yarden Nir{-}Buchbinder and
Ishai Rabinovitz},
editor = {Shmuel Ur and
Eitan Farchi},
title = {Formal verification of concurrent software: two case studies},
booktitle = {Proceedings of the 4th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, held in conjunction with the {ACM}
{SIGSOFT} International Symposium on Software Testing and Analysis
{(ISSTA} 2006), {PADTAD} 2006, Portland, Maine, USA, July 17, 2006},
pages = {11--22},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1147403.1147406},
doi = {10.1145/1147403.1147406},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ChocklerFGGNR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ChocklerF05,
author = {Hana Chockler and
Kathi Fisler},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Temporal Modalities for Concisely Capturing Timing Diagrams},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {176--190},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_15},
doi = {10.1007/11560548\_15},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/ChocklerF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AttieC05,
author = {Paul C. Attie and
Hana Chockler},
editor = {Radhia Cousot},
title = {Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent
Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {465--481},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_30},
doi = {10.1007/978-3-540-30579-8\_30},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/AttieC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AttieC06,
author = {Paul C. Attie and
Hana Chockler},
editor = {Jir{\'{\i}} Srba and
Scott A. Smolka},
title = {Automatic Verification of Fault-Tolerant Register Emulations},
booktitle = {Proceedings of the 7th International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2005, San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {149},
number = {1},
pages = {49--60},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.016},
doi = {10.1016/J.ENTCS.2005.11.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AttieC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ChocklerG04,
author = {Hana Chockler and
Dan Gutfreund},
title = {A lower bound for testing juntas},
journal = {Inf. Process. Lett.},
volume = {90},
number = {6},
pages = {301--305},
year = {2004},
url = {https://doi.org/10.1016/j.ipl.2004.01.023},
doi = {10.1016/J.IPL.2004.01.023},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ChocklerG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ChocklerH04,
author = {Hana Chockler and
Joseph Y. Halpern},
title = {Responsibility and Blame: {A} Structural-Model Approach},
journal = {J. Artif. Intell. Res.},
volume = {22},
pages = {93--115},
year = {2004},
url = {https://doi.org/10.1613/jair.1391},
doi = {10.1613/JAIR.1391},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/ChocklerH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChocklerK04,
author = {Hana Chockler and
Orna Kupferman},
title = {w-Regular languages are testable with a constant number of queries},
journal = {Theor. Comput. Sci.},
volume = {329},
number = {1-3},
pages = {71--92},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.08.004},
doi = {10.1016/J.TCS.2004.08.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ChocklerK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/il/Chockler03,
author = {Hana Chockler},
title = {Coverage metrics for model checking ({\unicode{1502}}{\unicode{1496}}{\unicode{1512}}{\unicode{1497}}{\unicode{1511}}{\unicode{1493}}{\unicode{1514}}
{\unicode{1499}}{\unicode{1497}}{\unicode{1505}}{\unicode{1493}}{\unicode{1497}}
{\unicode{1500}}{\unicode{1489}}{\unicode{1491}}{\unicode{1497}}{\unicode{1511}}{\unicode{1493}}{\unicode{1514}}
{\unicode{1502}}{\unicode{1493}}{\unicode{1491}}{\unicode{1500}}.)},
school = {Hebrew University of Jerusalem, Israel},
year = {2003},
url = {https://huji-primo.hosted.exlibrisgroup.com/permalink/f/13ns5ae/972HUJI\_ALMA21160113620003701},
timestamp = {Wed, 14 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/il/Chockler03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ChocklerKV03,
author = {Hana Chockler and
Orna Kupferman and
Moshe Y. Vardi},
editor = {Daniel Geist and
Enrico Tronci},
title = {Coverage Metrics for Formal Verification},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {111--125},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_11},
doi = {10.1007/978-3-540-39724-3\_11},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/ChocklerKV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChocklerH03,
author = {Hana Chockler and
Joseph Y. Halpern},
editor = {Georg Gottlob and
Toby Walsh},
title = {Responsibility and Blame: {A} Structural-Model Approach},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {147--153},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/021.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ChocklerH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0312038,
author = {Hana Chockler and
Joseph Y. Halpern},
title = {Responsibility and blame: a structural-model approach},
journal = {CoRR},
volume = {cs.AI/0312038},
year = {2003},
url = {http://arxiv.org/abs/cs/0312038},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0312038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0312036,
author = {Hana Chockler and
Joseph Y. Halpern and
Orna Kupferman},
title = {What Causes a System to Satisfy a Specification?},
journal = {CoRR},
volume = {cs.LO/0312036},
year = {2003},
url = {http://arxiv.org/abs/cs/0312036},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0312036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/ChocklerK02,
author = {Hana Chockler and
Orna Kupferman},
editor = {Ricardo A. Baeza{-}Yates and
Ugo Montanari and
Nicola Santoro},
title = {Coverage of Implementations by Simulating Specifications},
booktitle = {Foundations of Information Technology in the Era of Networking and
Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress
- {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference
on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002,
Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {223},
pages = {409--421},
publisher = {Kluwer},
year = {2002},
url = {https://doi.org/10.1007/978-0-387-35608-2\_34},
doi = {10.1007/978-0-387-35608-2\_34},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/ChocklerK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/random/ChocklerK02,
author = {Hana Chockler and
Orna Kupferman},
editor = {Jos{\'{e}} D. P. Rolim and
Salil P. Vadhan},
title = {omega-Regular Languages Are Testable with a Constant Number of Queries},
booktitle = {Randomization and Approximation Techniques, 6th International Workshop,
{RANDOM} 2002, Cambridge, MA, USA, September 13-15, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2483},
pages = {26--28},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45726-7\_3},
doi = {10.1007/3-540-45726-7\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/random/ChocklerK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cc/ChocklerZ01,
author = {Hana Chockler and
Uri Zwick},
title = {Which bases admit non-trivial shrinkage of formulae?},
journal = {Comput. Complex.},
volume = {10},
number = {1},
pages = {28--40},
year = {2001},
url = {https://doi.org/10.1007/PL00001610},
doi = {10.1007/PL00001610},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cc/ChocklerZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChocklerKKV01,
author = {Hana Chockler and
Orna Kupferman and
Robert P. Kurshan and
Moshe Y. Vardi},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {A Practical Approach to Coverage in Model Checking},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {66--78},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_7},
doi = {10.1007/3-540-44585-4\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChocklerKKV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/ChocklerZ01,
author = {Hana Chockler and
Uri Zwick},
editor = {S. Rao Kosaraju},
title = {Which formulae shrink under random restrictions?},
booktitle = {Proceedings of the Twelfth Annual Symposium on Discrete Algorithms,
January 7-9, 2001, Washington, DC, {USA}},
pages = {702--708},
publisher = {{ACM/SIAM}},
year = {2001},
url = {http://dl.acm.org/citation.cfm?id=365411.365755},
timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
biburl = {https://dblp.org/rec/conf/soda/ChocklerZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChocklerKV01,
author = {Hana Chockler and
Orna Kupferman and
Moshe Y. Vardi},
editor = {Tiziana Margaria and
Wang Yi},
title = {Coverage Metrics for Temporal Logic Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
pages = {528--542},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_36},
doi = {10.1007/3-540-45319-9\_36},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChocklerKV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
