×

zbMATH — the first resource for mathematics

Chockler, Hana

Compute Distance To:
Author ID: chockler.hana Recent zbMATH articles by "Chockler, Hana"
Published as: Chockler, Hana
External Links: MGP
Documents Indexed: 33 Publications since 2001, including 3 Books

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 63 times in 55 Documents Cited by Year
Responsibility and blame: a structural-model approach. Zbl 1080.68680
Chockler, Hana; Halpern, Joseph Y.
17
2004
A lower bound for testing juntas. Zbl 1178.68668
Chockler, Hana; Gutfreund, Dan
8
2004
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs. Zbl 1111.68495
Attie, Paul C.; Chockler, Hana
7
2005
What causes a system to satisfy a specification? Zbl 1367.68185
Chockler, Hana; Halpern, Joseph Y.; Kupferman, Orna
3
2008
Coverage metrics for temporal logic model checking. Zbl 0978.68092
Chockler, Hana; Kupferman, Orna; Vardi, Moshe Y.
3
2001
Efficient automatic STE refinement using responsibility. Zbl 1134.68401
Chockler, Hana; Grumberg, Orna; Yadgar, Avi
3
2008
\(\omega\)-regular languages are testable with a constant number of queries. Zbl 1086.68071
Chockler, Hana; Kupferman, Orna
3
2004
Beyond vacuity: towards the strongest passing formula. Zbl 1291.68253
Chockler, Hana; Gurfinkel, Arie; Strichman, Ofer
3
2013
Before and after vacuity. Zbl 1165.68402
Chockler, Hana; Strichman, Ofer
2
2009
Explaining counterexamples using causality. Zbl 1242.68150
Beer, Ilan; Ben-David, Shoham; Chockler, Hana; Orni, Avigail; Trefler, Richard
2
2009
Erratum for “What causes a system to satisfy a specification?”. Zbl 1370.68197
Chockler, Hana; Halpern, Joseph Y.; Kupferman, Orna
2
2010
Coverage metrics for temporal logic model checking. Zbl 1105.68075
Chockler, Hana; Kupferman, Orna; Vardi, Moshe Y.
2
2006
Coverage metrics for formal verification. Zbl 1179.68080
Chockler, Hana; Kupferman, Orna; Vardi, Moshe Y.
2
2003
Explaining counterexamples using causality. Zbl 1247.68158
Beer, Ilan; Ben-David, Shoham; Chockler, Hana; Orni, Avigail; Trefler, Richard
2
2012
Learning the language of software errors. Zbl 1437.68071
Chockler, Hana; Kesseli, Pascal; Kroening, Daniel; Strichman, Ofer
1
2020
Which bases admit non-trivial shrinkage of formulae? Zbl 0988.06009
Chockler, Hana; Zwick, Uri
1
2001
A practical approach to coverage in model checking. Zbl 0991.68042
Chockler, Hana; Kupferman, Orna; Kurshan, Robert P.; Vardi, Moshe Y.
1
2001
Variants of LTL query checking. Zbl 1325.68144
Chockler, Hana; Gurfinkel, Arie; Strichman, Ofer
1
2011
Learning the language of software errors. Zbl 1437.68071
Chockler, Hana; Kesseli, Pascal; Kroening, Daniel; Strichman, Ofer
1
2020
Beyond vacuity: towards the strongest passing formula. Zbl 1291.68253
Chockler, Hana; Gurfinkel, Arie; Strichman, Ofer
3
2013
Explaining counterexamples using causality. Zbl 1247.68158
Beer, Ilan; Ben-David, Shoham; Chockler, Hana; Orni, Avigail; Trefler, Richard
2
2012
Variants of LTL query checking. Zbl 1325.68144
Chockler, Hana; Gurfinkel, Arie; Strichman, Ofer
1
2011
Erratum for “What causes a system to satisfy a specification?”. Zbl 1370.68197
Chockler, Hana; Halpern, Joseph Y.; Kupferman, Orna
2
2010
Before and after vacuity. Zbl 1165.68402
Chockler, Hana; Strichman, Ofer
2
2009
Explaining counterexamples using causality. Zbl 1242.68150
Beer, Ilan; Ben-David, Shoham; Chockler, Hana; Orni, Avigail; Trefler, Richard
2
2009
What causes a system to satisfy a specification? Zbl 1367.68185
Chockler, Hana; Halpern, Joseph Y.; Kupferman, Orna
3
2008
Efficient automatic STE refinement using responsibility. Zbl 1134.68401
Chockler, Hana; Grumberg, Orna; Yadgar, Avi
3
2008
Coverage metrics for temporal logic model checking. Zbl 1105.68075
Chockler, Hana; Kupferman, Orna; Vardi, Moshe Y.
2
2006
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs. Zbl 1111.68495
Attie, Paul C.; Chockler, Hana
7
2005
Responsibility and blame: a structural-model approach. Zbl 1080.68680
Chockler, Hana; Halpern, Joseph Y.
17
2004
A lower bound for testing juntas. Zbl 1178.68668
Chockler, Hana; Gutfreund, Dan
8
2004
\(\omega\)-regular languages are testable with a constant number of queries. Zbl 1086.68071
Chockler, Hana; Kupferman, Orna
3
2004
Coverage metrics for formal verification. Zbl 1179.68080
Chockler, Hana; Kupferman, Orna; Vardi, Moshe Y.
2
2003
Coverage metrics for temporal logic model checking. Zbl 0978.68092
Chockler, Hana; Kupferman, Orna; Vardi, Moshe Y.
3
2001
Which bases admit non-trivial shrinkage of formulae? Zbl 0988.06009
Chockler, Hana; Zwick, Uri
1
2001
A practical approach to coverage in model checking. Zbl 0991.68042
Chockler, Hana; Kupferman, Orna; Kurshan, Robert P.; Vardi, Moshe Y.
1
2001
all top 5

Cited by 97 Authors

5 Chockler, Hana
3 Alon, Noga M.
3 Fisman, Dana
3 Majster-Cederbaum, Mila E.
3 Strichman, Ofer
3 Weinstein, Amit
2 Antonino, Pedro
2 Attie, Paul C.
2 Ben-David, Shoham
2 Bertossi, Leopoldo E.
2 Blais, Eric
2 Gibson-Robinson, Thomas
2 Jordan, Charles
2 Kupferman, Orna
2 Martens, Moritz
2 Mu, Kedian
2 Roscoe, Andrew William
2 Salimi, Babak
2 Schuppan, Viktor
2 Servedio, Rocco A.
2 Zeugmann, Thomas
1 Ábrahám, Erika
1 Angluin, Dana
1 Atıcı, Alp
1 Avni, Guy
1 Barnat, Jiří
1 Bauch, Petr
1 Becker, Bernd
1 Beer, Ilan
1 Beneš, Nikola
1 Beran, Jan
1 Bloem, Roderick
1 Boker, Udi
1 Bonnefon, Jean-François
1 Bozzelli, Laura
1 Braham, Matthew
1 Brim, Luboš
1 Brody, Joshua E.
1 Bruto da Costa, Antonio Anastasio
1 Cai, Zhipeng
1 Chen, Yu-Fang
1 Chen, Zhiyuan
1 Copty, Fady
1 Da Silva Neves, Rui
1 Dams, Dennis René
1 Dasgupta, Pallab
1 Dastani, Mehdi M.
1 de Rougemont, Michel
1 Dehnert, Christian
1 Dubois, Didier
1 Ebrahimi, Masoud
1 Eiter, Thomas
1 Gößler, Gregor
1 Grumberg, Orna
1 Gurfinkel, Arie
1 Halpern, Joseph Yehuda
1 Henzinger, Thomas A.
1 Hod, Rani
1 Holler, Manfred J.
1 Huang, Hongtao
1 Huang, Shaobin
1 Hughes, Jesse
1 Jansen, Nils
1 Katoen, Joost-Pieter
1 Kratochvíla, Tomáš
1 Li, Jianzhong
1 Liu, Depeng
1 Lorini, Emiliano
1 Lukasiewicz, Thomas
1 Lv, Tianyang
1 Magniez, Frédéric
1 Matulef, Kevin
1 Melham, Tom
1 Miao, Dongjing
1 Miller, Tim
1 Minnameier, Christoph
1 Murano, Aniello
1 Nurmi, Hannu
1 Orni, Avigail
1 Otop, Jan
1 Prade, Henri M.
1 Prakken, Henry
1 Ron, Dana
1 Royakkers, Lambèr M. M.
1 Ruah, Sitvanit
1 Sartor, Giovanni
1 Schwarzentruber, François
1 Sergeev, Igor’ Sergeevich
1 Sorrentino, Loredana
1 Stefani, Jean-Bernard
1 Trefler, Richard J.
1 Tsur, Gilad
1 van Hees, Martin Theodoor
1 Vardi, Moshe Y.
1 Wimmer, Ralf D.
1 Yazdanpanah, Vahid
1 Zhang, Lijun

Citations by Year