Monica Marcus

Publication Activity (10 Years)

Years Active: 1990-2009
Publications (10 Years): 0

Publications

Monica Marcus
Specification and Verification of Multi-user Data-Driven Web Applications. WS-FM (2009)
Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou
A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference (2005)
Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar
Symbolic model checking with rich assertional languages. Theor. Comput. Sci. 256 (1-2) (2001)
Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar
Symbolic Model Checking with Rich ssertional Languages. CAV (1997)
Monica Marcus, Amir Pnueli
Using Ghost Variables to Prove Refinement. AMAST (1996)
Monica Marcus, Gheorghe Paun
Regulated Galiukschov semicontextual grammars. Kybernetika 26 (4) (1990)