Formal verification, model checking

  1. Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou, "A Verifier for Interactive, Data-driven Web Applications", SIGMOD Conference 2005.
  2. Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar, "Symbolic Model Checking with Rich Assertional Languages", Theor. Comp. Sci., 256:93-112, 2001.
  3. Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar, "Symbolic Model Checking with Rich Assertional Languages", Proc. 9th Intl. Conference on Computer Aided Verification, (CAV'97), LNCS 1254, p.424-435, 1997.

Temporal logic applied to the verification of reactive systems

  1. Monica Marcus and Amir Pnueli, "Using Ghost Variables to Prove Refinement", Proc. AMAST'96, LNCS 1101, p.226-240.
  2. Monica Marcus and Amir Pnueli, "A Stuttering-Robust Temporal Logic with Next but without Previous", TR CS96-01, Weizmann Institute of Science.

Term rewriting

  1. Joseph Goguen and Monica Marcus, "Scritical Pairs and Sunification", 18th Workshop on Unification (UNIF'04), Cork, Ireland, July 5, 2004.

Formal language theory: automata and grammars

  1. Monica Marcus and Gheorghe Paun, "Regulated Galiukschov Semicontextual Grammars", Kybernetica (Czechoslovakia) 26, 1990, p. 316-326.
  2. Monica Marcus, "Generalized Langford Languages", International Journal of Computer Mathematics (Great Britain), 28, no.2-3, 1989, p. 97-101.
  3. Monica Marcus and Gheorghe Paun, "Valence Generalized Sequential Machines Mappings", Bulletin Mathematique de la Societe des Sciences Mathematiques de la Roumanie, Tome 31(79), no.3, 1987, p. 219-229; Mathematical Reviews, June 1989, p.3429, 89f:68018.
  4. Monica Marcus and Gheorghe Paun, "Parallel Compound Generalized Sequential Machines" (in Romanian), Studii si Cercetari Matematice, 1986, 38 no.1, p. 61-71.

PhD Thesis