dblp.uni-trier.dewww.uni-trier.de

Ziv Glazberg

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
4EEJanees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia: Detecting Design Flaws in UML State Charts for Embedded Software. Haifa Verification Conference 2006: 109-121
3EESharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz: ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. Haifa Verification Conference 2006: 138-154
2EEHana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz: Formal verification of concurrent software: two case studies. PADTAD 2006: 11-22
2005
1EESharon Barner, Ziv Glazberg, Ishai Rabinovitz: Wolf - Bug Hunter for Concurrent Software Using Formal Methods. CAV 2005: 153-157

Coauthor Index

1Sharon Barner [1] [3]
2Hana Chockler [2]
3Sai Dattathrani [4]
4Cindy Eisner [3]
5Janees Elamkulam [4]
6Eitan Farchi [2]
7Benny Godlin [2]
8Satish Chandra Gupta [4]
9Sandeep Kohli [4]
10Gururaja Kowlali [4]
11Daniel Kroening (Daniel Kröning) [3]
12Claudio Paniagua Macia [4]
13Yarden Nir-Buchbinder [2]
14Ishai Rabinovitz [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)