Travelled to:1 × Italy
1 × Poland
1 × USA
Collaborated with:S.Katz G.Kamhi S.Mador-Haim R.Fraer M.Y.Vardi
Talks about:counterexampl (1) scenario (1) industri (1) abstract (1) multipl (1) equival (1) conform (1) specif (1) mechan (1) comput (1)
Person: Marcelo Glusman
DBLP: Glusman:Marcelo
Contributed to:
2003
20031999Wrote 3 papers:
- CAV-2003-GlusmanK #consistency #model checking #specification
- Model Checking Conformance with Scenario-Based Specifications (MG, SK), pp. 328–340.
- TACAS-2003-GlusmanKMFV #abstraction #evaluation #industrial #multi #refinement
- Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation (MG, GK, SMH, RF, MYV), pp. 176–191.
- CAV-1999-GlusmanK #equivalence #proving
- Mechanizing Proofs of Computation Equivalence (MG, SK), pp. 354–367.