Marcelo Glusman

	2003
5		Marcelo Glusman, Shmuel Katz: Model Checking Conformance with Scenario-Based Specifications. CAV 2003: 328-340
4		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		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		Marcelo Glusman, Shmuel Katz: Extending Memory Consistency of Finite Prefixes to Infinite Computations. CONCUR 2001: 411-425
	1999
1		Marcelo Glusman, Shmuel Katz: Mechanizing Proofs of Computation Equivalence. CAV 1999: 354-367

Coauthor Index

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]

Colors in the list of coauthors