BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Glusman:Marcelo

Contributed to:

CAV 20032003
TACAS 20032003
CAV 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.