BibSonomy :: author  ::

bookmarks

publications

(49)

• Virtual infrastructure for collision-prone wireless networks.
  Gregory Chockler and Seth Gilbert and Nancy A. Lynch PODC 233-242 (2008)
  to dblp by dblp on 2008-08-19 00:00:00
  | URL | BibTeX  
• Formal verification of concurrent software: two case studies.
  Hana Chockler and Eitan Farchi and Ziv Glazberg and Benny Godlin and Yarden Nir-Buchbinder and Ishai Rabinovitz PADTAD 11-22 (2006)
  to dblp by dblp on 2008-08-14 00:00:00
  | URL | BibTeX  
• What causes a system to satisfy a specification?.
  Hana Chockler and Joseph Y. Halpern and Orna Kupferman ACM Trans. Comput. Log. 9 (2008)
  to dblp by dblp on 2008-06-10 00:00:00
  | URL | BibTeX  
• Consensus and collision detectors in radio networks.
  Gregory Chockler and Murat Demirbas and Seth Gilbert and Nancy A. Lynch and Calvin C. Newport and Tina Nolte Distributed Computing 21 55-84 (2008)
  to dblp by dblp on 2008-05-28 00:00:00
  | URL | BibTeX  
• Efficient Automatic STE Refinement Using Responsibility.
  Hana Chockler and Orna Grumberg and Avi Yadgar TACAS 233-248 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Cross-Entropy Based Testing.
  Hana Chockler and Eitan Farchi and Benny Godlin and Sergey Novikov FMCAD 101-108 (2007)
  to dblp by dblp on 2008-02-11 00:00:00
  | URL | BibTeX  
• What Causes a System to Satisfy a Specification?
  Hana Chockler and Joseph Y. Halpern and Orna Kupferman CoRR cs.LO/0312036 (2003)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Responsibility and blame: a structural-model approach
  Hana Chockler and Joseph Y. Halpern CoRR cs.AI/0312038 (2003)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• Amnesic Distributed Storage.
  Gregory Chockler and Rachid Guerraoui and Idit Keidar DISC 139-151 (2007)
  to dblp by dblp on 2007-09-07 00:00:00
  | URL | BibTeX  
• Constructing scalable overlays for pub-sub with many topics.
  Gregory Chockler and Roie Melamed and Yoav Tock and Roman Vitenberg PODC 109-118 (2007)
  to dblp by dblp on 2007-08-23 00:00:00
  | URL | BibTeX