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: Marcus:Monica
Contributed to:
2005
1997Wrote 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.