| 2005 |
|---|
| 4 | EE | Alin Deutsch,
Monica Marcus,
Liying Sui,
Victor Vianu,
Dayou Zhou:
A Verifier for Interactive, Data-Driven Web Applications.
SIGMOD Conference 2005: 539-550 |
| 2001 |
|---|
| 3 | EE | Yonit Kesten,
Oded Maler,
Monica Marcus,
Amir Pnueli,
Elad Shahar:
Symbolic model checking with rich assertional languages.
Theor. Comput. Sci. 256(1-2): 93-112 (2001) |
| 1997 |
|---|
| 2 | | Yonit Kesten,
Oded Maler,
Monica Marcus,
Amir Pnueli,
Elad Shahar:
Symbolic Model Checking with Rich ssertional Languages.
CAV 1997: 424-435 |
| 1996 |
|---|
| 1 | | Monica Marcus,
Amir Pnueli:
Using Ghost Variables to Prove Refinement.
AMAST 1996: 226-240 |
