BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Hungary
1 × Portugal
1 × Sweden
1 × Switzerland
1 × USA
2 × Italy
2 × United Kingdom
3 × France
Collaborated with:
P.C.Attie D.Kröning O.Kupferman M.Y.Vardi K.Even E.Yahav M.Purandare O.Grumberg A.Yadgar N.Sharygina D.Landsberg M.Lewis E.Farchi B.Godlin S.Novikov D.H.Lorenz A.Portnova R.P.Kurshan A.Ivrii A.Matsliah S.F.Rollini I.Beer S.Ben-David A.Orni R.J.Trefler G.Denaro M.Ling G.Fedyukovich A.E.J.Hyvärinen L.Mariani A.Muhammad M.Oriol A.Rajan O.Sery M.Tautschnig
Talks about:
coverag (3) concurr (3) model (3) check (3) base (3) use (3) program (2) entropi (2) effici (2) cross (2)

Person: Hana Chockler

DBLP DBLP: Chockler:Hana

Facilitated 2 volumes:

CAV (1) 2018Ed
CAV (2) 2018Ed

Contributed to:

FASE 20152015
CSMR 20132013
ISSTA 20132013
SAC 20132013
DAC 20102010
CAV 20092009
FASE 20092009
TACAS 20082008
CBSE 20062006
VMCAI 20052005
CAV 20012001
TACAS 20012001

Wrote 12 papers:

FASE-2015-LandsbergCKL #evaluation #fault #locality #metric #optimisation #statistics
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme (DL, HC, DK, ML), pp. 115–129.
CSMR-2013-ChocklerDLFHMMORSST #named #validation
PINCETTE — Validating Changes and Upgrades in Networked Software (HC, GD, ML, GF, AEJH, LM, AM, MO, AR, OS, NS, MT), pp. 461–464.
ISSTA-2013-ChocklerEY #concurrent #fault
Finding rare numerical stability errors in concurrent computations (HC, KE, EY), pp. 12–22.
SAC-2013-ChocklerIMRS #satisfiability #using
Using cross-entropy for satisfiability (HC, AI, AM, SFR, NS), pp. 1196–1203.
DAC-2010-ChocklerKP #model checking
Coverage in interpolation-based model checking (HC, DK, MP), pp. 182–187.
CAV-2009-BeerBCOT #using
Explaining Counterexamples Using Causality (IB, SBD, HC, AO, RJT), pp. 94–108.
FASE-2009-ChocklerFGN #concurrent #source code
Cross-Entropy-Based Replay of Concurrent Programs (HC, EF, BG, SN), pp. 201–215.
TACAS-2008-ChocklerGY #automation #performance #refinement #using
Efficient Automatic STE Refinement Using Responsibility (HC, OG, AY), pp. 233–248.
CBSE-2006-AttieLPC #behaviour #component #design #explosion #verification
Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System (PCA, DHL, AP, HC), pp. 33–49.
VMCAI-2005-AttieC #concurrent #scalability #source code
Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs (PCA, HC), pp. 465–481.
CAV-2001-ChocklerKKV #approach #model checking
A Practical Approach to Coverage in Model Checking (HC, OK, RPK, MYV), pp. 66–78.
TACAS-2001-ChocklerKV #logic #metric #model checking
Coverage Metrics for Temporal Logic Model Checking (HC, OK, MYV), pp. 528–542.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.