Rodolfo Totaro

According to our database, Rodolfo Totaro authored at least 5 papers between 2005 and 2008.

Collaborative distances:

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

2008

ONE Client: An RCP Application to Browse NewsML news.

Alessandro Assab, Gianvito Rossi, Angelo Marrara, Rodolfo Totaro

Proceedings of the 3rd Italian Workshop on Eclipse Technologies, 2008

2005

A Model Checking-based Method for Verifying Web Application Design.

Francesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro

Proceedings of the International Workshop on Web Languages and Formal Methods, 2005

WAVer: A Model Checking-based Tool to Verify Web Application Design.

Daniela Castelluccia, Marina Mongiello, Michele Ruta, Rodolfo Totaro

Proceedings of the Third International Workshop on Software Verification and Validation, 2005

Design Verification of Web Applications Using Symbolic Model Checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia

Proceedings of the Web Engineering, 5th International Conference, 2005

Automatic Ontology Mapping for Agent Communication in an e-Commerce Environment.

Marina Mongiello, Rodolfo Totaro

Proceedings of the E-Commerce and Web Technologies: 6th International Conference, 2005