 | 2008 |
|---|
| 3 |       | Nicola Boffoli,
Danilo Caivano,
Daniela Castelluccia,
Fabrizio Maria Maggi,
Giuseppe Visaggio:
Business Process Lines to Develop Service-Oriented Architectures Through the Software Product Lines Paradigm.
SPLC (2) 2008: 143-147 |
| 2006 |
|---|
| 2 |  | 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 |
|---|
| 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 |
