Regulated Galiukschov semicontextual grammars. - Monica Marcus; Gheorghe Paun (Kybernetika, 1990)

Using Ghost Variables to Prove Refinement. - Monica Marcus; Amir Pnueli (AMAST, 1996)

Symbolic Model Checking with Rich ssertional Languages. - Yonit Kesten; Oded Maler; Monica Marcus; Amir Pnueli; Elad Shahar (CAV, 1997)

Symbolic model checking with rich assertional languages. - Yonit Kesten; Oded Maler; Monica Marcus; Amir Pnueli; Elad Shahar (Theor. Comput. Sci., 2001)

A Verifier for Interactive, Data-Driven Web Applications. - Alin Deutsch; Monica Marcus; Liying Sui; Victor Vianu; Dayou Zhou (SIGMOD Conference, 2005)

Specification and Verification of Multi-user Data-Driven Web Applications. - Monica Marcus (WS-FM, 2009)