Marcelo Glusman

According to our database, Marcelo Glusman authored at least 6 papers between 1999 and 2003.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2003

Mechanizing proofs of computation equivalence.

Marcelo Glusman

PhD thesis, 2003

A Mechanized Proof Environment for the Convenient Computations Proof Method.

Marcelo Glusman, Shmuel Katz

Formal Methods Syst. Des., 2003

Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation.

Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Model Checking Conformance with Scenario-Based Specifications.

Marcelo Glusman, Shmuel Katz

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2001

Extending Memory Consistency of Finite Prefixes to Infinite Computations.

Marcelo Glusman, Shmuel Katz

Proceedings of the CONCUR 2001, 2001

1999

Mechanizing Proofs of Computation Equivalence.

Marcelo Glusman, Shmuel Katz

Proceedings of the Computer Aided Verification, 11th International Conference, 1999