 | 2009 |
|---|
| 8 |       | Maurice H. ter Beek,
Stefania Gnesi,
Diego Latella,
Mieke Massink,
Maurizio Sebastianis,
Gianluca Trentanni:
Assisting the design of a groupware system.
J. Log. Algebr. Program. 78(4): 191-232 (2009) |
| 2008 |
|---|
| 7 | | 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 |
| 6 | | 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 |
| 5 | | Maurice H. ter Beek,
Stefania Gnesi,
Diego Latella,
Mieke Massink,
Maurizio Sebastianis,
Gianluca Trentanni:
Assisting the Design of an Industrial Groupware System by Model Checking.
ERCIM News 2008(73): (2008) |
| 4 | | 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 | | 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 | | 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 | | Massimo Tivoli,
Paola Inverardi,
Valentina Presutti,
Alessandro Forghieri,
Maurizio Sebastianis:
Correct Components Assembly for a Product Data Management Cooperative System.
CBSE 2004: 84-99 |
Data released under the ODC-BY 1.0 license — See also our legal information page