Correct Components Assembly for a Product Data Management Cooperative System. - Massimo Tivoli; Paola Inverardi; Valentina Presutti; Alessandro Forghieri; Maurizio Sebastianis (CBSE, 2004)

Model Checking Publish/Subscribe Notification for thinkteam®. - Maurice H. ter Beek; Mieke Massink; Diego Latella; Stefania Gnesi; Alessandro Forghieri; Maurizio Sebastianis (FMICS, 2004)

A case study on the automated verification of groupware protocols. - Maurice H. ter Beek; Mieke Massink; Diego Latella; Stefania Gnesi; Alessandro Forghieri; Maurizio Sebastianis (ICSE, 2005)

Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach. - Yudistira Asnar; Rocco Moretti; Maurizio Sebastianis; Nicola Zannone (ARES, 2008)

Checking Compliance of Execution Traces to Business Rules. - Federico Chesani; Paola Mello; Marco Montali; Fabrizio Riguzzi; Maurizio Sebastianis; Sergio Storari (Business Process Management Workshops, 2008)

Assisting the Design of an Industrial Groupware System by Model Checking. - Maurice H. ter Beek; Stefania Gnesi; Diego Latella; Mieke Massink; Maurizio Sebastianis; Gianluca Trentanni (ERCIM News, 2008)

An evaluation of business solutions in manufacturing enterprises. - Yudistira Asnar; Paolo Giorgini; Paolo Ciancarini; Rocco Moretti; Maurizio Sebastianis; Nicola Zannone (Int. J. Bus. Intell. Data Min., 2008)

Assisting the design of a groupware system. - Maurice H. ter Beek; Stefania Gnesi; Diego Latella; Mieke Massink; Maurizio Sebastianis; Gianluca Trentanni (J. Log. Algebraic Methods Program., 2009)