Rodolfo Totaro

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Alessandro Assab, Gianvito Rossi, Angelo Marrara, Rodolfo Totaro
ONE Client: An RCP Application to Browse NewsML news. Eclipse-IT (2008)
Francesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro
A Model Checking-based Method for Verifying Web Application Design. Electron. Notes Theor. Comput. Sci. 151 (2) (2006)
Daniela Castelluccia, Marina Mongiello, Michele Ruta, Rodolfo Totaro
WAVer: A Model Checking-based Tool to Verify Web Application Design. Electron. Notes Theor. Comput. Sci. 157 (1) (2006)
Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia
Design Verification of Web Applications Using Symbolic Model Checking. ICWE (2005)
Marina Mongiello, Rodolfo Totaro
Automatic Ontology Mapping for Agent Communication in an e-Commerce Environment. EC-Web (2005)