Rodolfo Totaro (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 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)

1 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

Selection of 2 from 4 records - Rodolfo Totaro has 5 coauthors

3		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)
1		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