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 × Israel
1 × USA
Collaborated with:
A.Deutsch L.Sui V.Vianu D.Zhou Y.Kesten O.Maler A.Pnueli E.Shahar
Talks about:
ssertion (1) interact (1) languag (1) verifi (1) symbol (1) driven (1) applic (1) model (1) check (1) rich (1)

Person: Monica Marcus

DBLP DBLP: Marcus:Monica

Contributed to:

SIGMOD 20052005
CAV 19971997

Wrote 2 papers:

SIGMOD-2005-DeutschMSVZ #data-driven #interactive #verification #web
A Verifier for Interactive, Data-Driven Web Applications (AD, MM, LS, VV, DZ), pp. 539–550.
CAV-1997-KestenMMPS #model checking
Symbolic Model Checking with Rich ssertional Languages (YK, OM, MM, AP, ES), pp. 424–435.

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.