| 2006 |
|---|
| 4 | EE | Francesco M. Donini,
Marina Mongiello,
Michele Ruta,
Rodolfo Totaro:
A Model Checking-based Method for Verifying Web Application Design.
Electr. Notes Theor. Comput. Sci. 151(2): 19-32 (2006) |
| 3 | EE | Daniela Castelluccia,
Marina Mongiello,
Michele Ruta,
Rodolfo Totaro:
WAVer: A Model Checking-based Tool to Verify Web Application Design.
Electr. Notes Theor. Comput. Sci. 157(1): 61-76 (2006) |
| 2005 |
|---|
| 2 | EE | Marina Mongiello,
Rodolfo Totaro:
Automatic Ontology Mapping for Agent Communication in an e-Commerce Environment.
EC-Web 2005: 21-30 |
| 1 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello,
Rodolfo Totaro,
Daniela Castelluccia:
Design Verification of Web Applications Using Symbolic Model Checking.
ICWE 2005: 69-74 |
