| |
| 2003 | ||
|---|---|---|
| 5 | EE | Marcelo Glusman, Shmuel Katz: Model Checking Conformance with Scenario-Based Specifications. CAV 2003: 328-340 |
| 4 | EE | Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi: Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. TACAS 2003: 176-191 |
| 3 | EE | Marcelo Glusman, Shmuel Katz: A Mechanized Proof Environment for the Convenient Computations Proof Method. Formal Methods in System Design 23(2): 115-142 (2003) |
| 2001 | ||
| 2 | EE | Marcelo Glusman, Shmuel Katz: Extending Memory Consistency of Finite Prefixes to Infinite Computations. CONCUR 2001: 411-425 |
| 1999 | ||
| 1 | EE | Marcelo Glusman, Shmuel Katz: Mechanizing Proofs of Computation Equivalence. CAV 1999: 354-367 |
| 1 | Ranan Fraer | [4] |
| 2 | Gila Kamhi | [4] |
| 3 | Shmuel Katz | [1] [2] [3] [5] |
| 4 | Sela Mador-Haim | [4] |
| 5 | Moshe Y. Vardi | [4] |