|
Search the dblp DataBase
Marcelo Glusman:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marcelo Glusman, Shmuel Katz
Model Checking Conformance with Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP] CAV, 2003, pp:328-340 [Conf]
- Marcelo Glusman, Shmuel Katz
Mechanizing Proofs of Computation Equivalence. [Citation Graph (0, 0)][DBLP] CAV, 1999, pp:354-367 [Conf]
- Marcelo Glusman, Shmuel Katz
Extending Memory Consistency of Finite Prefixes to Infinite Computations. [Citation Graph (0, 0)][DBLP] CONCUR, 2001, pp:411-425 [Conf]
- Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. [Citation Graph (0, 0)][DBLP] TACAS, 2003, pp:176-191 [Conf]
- Marcelo Glusman, Shmuel Katz
A Mechanized Proof Environment for the Convenient Computations Proof Method. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2003, v:23, n:2, pp:115-142 [Journal]
Search in 0.001secs, Finished in 0.001secs
|