- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| j4 |      | 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 | ||
| j3 | | 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) |
| j2 | | 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) |
| c4 | | 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 |
| c3 | | 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 |
| 2005 | ||
| j1 | | 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) |
| c2 | | 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 |
| 2004 | ||
| c1 | | 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