Monica Marcus

According to our database, Monica Marcus authored at least 6 papers between 1990 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2009

Specification and Verification of Multi-user Data-Driven Web Applications.

Monica Marcus

Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

2005

A Verifier for Interactive, Data-Driven Web Applications.

Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005

2001

Symbolic model checking with rich assertional languages.

Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar

Theor. Comput. Sci., 2001

1997

Symbolic Model Checking with Rich ssertional Languages.

Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Using Ghost Variables to Prove Refinement.

Monica Marcus, Amir Pnueli

Proceedings of the Algebraic Methodology and Software Technology, 1996

1990

Regulated Galiukschov semicontextual grammars.

Monica Marcus, Gheorghe Paun

Kybernetika, 1990