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 |