 | 2008 |
|---|
| 5 |       | Nicola Boffoli,
Daniela Castelluccia,
Fabrizio Maria Maggi,
Roberto Rutilo:
Business Process Modeling Aware to the Environment Changes - A Pattern Driven Approach.
ENASE 2008: 147-156 |
| 4 | | 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 |
|---|
| 3 |  | Marina Mongiello,
Daniela Castelluccia:
Modelling and verification of BPEL business processes.
MDB/MOMPES 2006: 144-148 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page