The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Hana Chockler" ( http://dblp.L3S.de/Authors/Hana_Chockler )

URL (Homepage):  https://nms.kcl.ac.uk/hana.chockler/  Author page on DBLP  Author page in RDF  Community of Hana Chockler in ASPL-2

Publication years (Num. hits)
2001-2005 (15) 2006-2010 (18) 2011-2014 (16) 2015-2018 (21) 2019 (2)
Publication types (Num. hits)
article(21) book(1) incollection(4) inproceedings(43) proceedings(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 14 occurrences of 7 keywords

Results
Found 73 publication records. Showing 72 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening Explaining Deep Neural Networks Using Spectrum-Based Fault Localization. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina Lattice-based SMT for program verification. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina Lattice-Based Refinement in Bounded Model Checking. Search on Bibsonomy VSTTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler Function Summarization Modulo Theories. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina Lookahead-Based SMT Solving. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Hana Chockler, Georg Weissenbacher (eds.) 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 Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Georg Weissenbacher (eds.) 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 Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Shibashis Guha, Orna Kupferman Timed Vacuity. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern Combining Experts' Causal Judgments. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii The Computational Complexity of Structure-Based Causality. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina Theory Refinement for Program Verification. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina HiFrog: SMT-based Function Summarization for Software Verification. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Hana Chockler, Masoud Ebrahimi 0002, Ofer Strichman Synthesizing Non-Vacuous Systems. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hana Chockler Causality and Responsibility for Formal Verification and Beyond. Search on Bibsonomy CREST@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Landsberg, Hana Chockler, Daniel Kroening Probabilistic Fault Localisation. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Sitvanit Ruah Lightweight Static Analysis Check of Upgrades in C/C++ Software. Search on Bibsonomy Validation of Evolving Software The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina Complementarities Among the Technologies Presented in the Book. Search on Bibsonomy Validation of Evolving Software The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina Challenges of Existing Technology. Search on Bibsonomy Validation of Evolving Software The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina Introduction. Search on Bibsonomy Validation of Evolving Software The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina (eds.) Validation of Evolving Software Search on Bibsonomy 2015 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Norman E. Fenton, Jeroen Keppens, David A. Lagnado Causal analysis for attributing responsibility in legal cases. Search on Bibsonomy ICAIL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig Learning the Language of Error. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. Search on Bibsonomy FASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii The Computational Complexity of Structure-Based Causality. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii The Computational Complexity of Structure-Based Causality. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Hana Chockler Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Arie Gurfinkel, Ofer Strichman Beyond vacuity: towards the strongest passing formula. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sara Bouchenak, Gregory V. Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos 0001, Alexander Shraer Verifying cloud services: present and future. Search on Bibsonomy Operating Systems Review The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina Using cross-entropy for satisfiability. Search on Bibsonomy SAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hana 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 PINCETTE - Validating Changes and Upgrades in Networked Software. Search on Bibsonomy CSMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Karine Even, Eran Yahav Finding rare numerical stability errors in concurrent computations. Search on Bibsonomy ISSTA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shoham Ben-David, Hana Chockler, Orna Kupferman Attention-Based Coverage Metrics. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Dmitry Pidan, Sitvanit Ruah Improving Representative Computation in ExpliSAT. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler Explaining counterexamples using causality. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Daniel Kroening, Mitra Purandare Computing Mutation Coverage in Interpolation-Based Model Checking. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Alexander Ivrii, Arie Matsliah Computing Interpolants without Proofs. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Sitvanit Ruah Verification of software changes with ExpliSAT. Search on Bibsonomy HotSWUp The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Alan J. Hu Preface. Search on Bibsonomy STTT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo Incremental formal verification of hardware. Search on Bibsonomy FMCAD The full citation details ... 2011 DBLP  BibTeX  RDF
1Hana Chockler, Joseph Y. Halpern, Orna Kupferman Erratum for "What causes a system to satisfy a specification?". Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Arie Gurfinkel, Ofer Strichman Variants of LTL Query Checking. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hana Chockler PINCETTE - Validating changes and upgrades in networked software. Search on Bibsonomy FMCAD The full citation details ... 2010 DBLP  BibTeX  RDF
1Hana Chockler, Daniel Kroening, Mitra Purandare Coverage in interpolation-based model checking. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Ofer Strichman Before and after vacuity. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Vacuity, Model-checking, Complexity
1Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler Explaining Counterexamples Using Causality. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Alan J. Hu (eds.) Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings Search on Bibsonomy Haifa Verification Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov Cross-Entropy-Based Replay of Concurrent Programs. Search on Bibsonomy FASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Joseph Y. Halpern, Orna Kupferman What causes a system to satisfy a specification?. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model checking, causality, responsibility, coverage metrics
1Hana Chockler, Orna Grumberg, Avi Yadgar Efficient Automatic STE Refinement Using Responsibility. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Arie Gurfinkel, Ofer Strichman Beyond Vacuity: Towards the Strongest Passing Formula. Search on Bibsonomy FMCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Ofer Strichman Easier and More Informative Vacuity Checks. Search on Bibsonomy MEMOCODE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov Cross-Entropy Based Testing. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, Hana Chockler Automatic Verification of Fault-Tolerant Register Emulations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Orna Kupferman, Moshe Y. Vardi Coverage metrics for temporal logic model checking*. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Algorithms, Model checking, Formal verification, Coverage metrics
1Hana Chockler, Orna Kupferman, Moshe Y. Vardi Coverage metrics for formal verification. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Algorithms, Model checking, Formal verification, Coverage metrics
1Paul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System. Search on Bibsonomy CBSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz Formal verification of concurrent software: two case studies. Search on Bibsonomy PADTAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Kathi Fisler Temporal Modalities for Concisely Capturing Timing Diagrams. Search on Bibsonomy CHARME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, Hana Chockler Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Dan Gutfreund A lower bound for testing juntas. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Orna Kupferman w-Regular languages are testable with a constant number of queries. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Joseph Y. Halpern Responsibility and Blame: A Structural-Model Approach. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Joseph Y. Halpern Responsibility and blame: a structural-model approach Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Hana Chockler, Joseph Y. Halpern, Orna Kupferman What Causes a System to Satisfy a Specification? Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Hana Chockler, Orna Kupferman, Moshe Y. Vardi Coverage Metrics for Formal Verification. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Joseph Y. Halpern Responsibility and Blame: A Structural-Model Approach. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Hana Chockler, Orna Kupferman omega-Regular Languages Are Testable with a Constant Number of Queries. Search on Bibsonomy RANDOM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Orna Kupferman Coverage of Implementations by Simulating Specifications. Search on Bibsonomy IFIP TCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Uri Zwick Which bases admit non-trivial shrinkage of formulae? Search on Bibsonomy Computational Complexity The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi A Practical Approach to Coverage in Model Checking. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Uri Zwick Which formulae shrink under random restrictions? Search on Bibsonomy SODA The full citation details ... 2001 DBLP  BibTeX  RDF
1Hana Chockler, Orna Kupferman, Moshe Y. Vardi Coverage Metrics for Temporal Logic Model Checking. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #72 of 72 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license