| * | 2008 |
|---|
| 6 | 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 |
| 5 | EE | Federico Chesani,
Paola Mello,
Marco Montali,
Fabrizio Riguzzi,
Maurizio Sebastianis,
Sergio Storari:
Checking Compliance of Execution Traces to Business Rules.
Business Process Management Workshops 2008: 134-145 |
| 4 | EE | Yudistira Asnar,
Paolo Giorgini,
Paolo Ciancarini,
Rocco Moretti,
Maurizio Sebastianis,
Nicola Zannone:
An evaluation of business solutions in manufacturing enterprises.
IJBIDM 3(3): 305-329 (2008) |
| 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 |
