| 2008 |
|---|
| 4 | EE | Yudistira Asnar,
Rocco Moretti,
Maurizio Sebastianis,
Nicola Zannone:
Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach.
ARES 2008: 1240-1247 |
| 2005 |
|---|
| 3 | EE | Maurice H. ter Beek,
Mieke Massink,
Diego Latella,
Stefania Gnesi,
Alessandro Forghieri,
Maurizio Sebastianis:
A case study on the automated verification of groupware protocols.
ICSE 2005: 596-603 |
| 2 | EE | Maurice H. ter Beek,
Mieke Massink,
Diego Latella,
Stefania Gnesi,
Alessandro Forghieri,
Maurizio Sebastianis:
Model Checking Publish/Subscribe Notification for thinkteam®.
Electr. Notes Theor. Comput. Sci. 133: 275-294 (2005) |
| 2004 |
|---|
| 1 | EE | Massimo Tivoli,
Paola Inverardi,
Valentina Presutti,
Alessandro Forghieri,
Maurizio Sebastianis:
Correct Components Assembly for a Product Data Management Cooperative System.
CBSE 2004: 84-99 |
