Marcelo Glusman

Publication Activity (10 Years)

Years Active: 1999-2003
Publications (10 Years): 0

Publications

Marcelo Glusman, Shmuel Katz
Model Checking Conformance with Scenario-Based Specifications. CAV (2003)
Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. TACAS (2003)
Marcelo Glusman, Shmuel Katz
A Mechanized Proof Environment for the Convenient Computations Proof Method. Formal Methods Syst. Des. 23 (2) (2003)
Marcelo Glusman, Shmuel Katz
Extending Memory Consistency of Finite Prefixes to Infinite Computations. CONCUR (2001)
Marcelo Glusman, Shmuel Katz
Mechanizing Proofs of Computation Equivalence. CAV (1999)