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: Chockler:Hana
Facilitated 2 volumes:
Contributed to:
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.