Maurizio Sebastianis

An Application of Stochastic Model Checking in the Industry: User-Centered Modeling and Analysis of Collaboration in ®

Mieke Massink, Maurice H. ter Beek, Stefania Gnesi, 2012 .

Checking Compliance of Execution Traces to Business Rules

Paola Mello, Fabrizio Riguzzi, Federico Chesani, 2008, Business Process Management Workshops.

Assisting the design of a groupware system

Diego Latella, Mieke Massink, Maurice H. ter Beek, 2009, J. Log. Algebraic Methods Program..

Assisting the design of a groupware system - Model checking usability aspects of thinkteam

Mieke Massink, Maurice H. ter Beek, Stefania Gnesi, 2009 .

Assisting the Design of an Industrial Groupware System by Model Checking

Diego Latella, Mieke Massink, Maurice H. ter Beek, 2008, ERCIM News.

An evaluation of business solutions in manufacturing enterprises

Paolo Ciancarini, Paolo Giorgini, Maurizio Sebastianis, 2008, Int. J. Bus. Intell. Data Min..

Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach

Maurizio Sebastianis, Rocco Moretti, Nicola Zannone, 2008, 2008 Third International Conference on Availability, Reliability and Security.

A case study on the automated verification of groupware protocols

Diego Latella, Mieke Massink, Maurice H. ter Beek, 2005, ICSE.

Correct Components Assembly for a Product Data Management Cooperative System

Paola Inverardi, Valentina Presutti, Maurizio Sebastianis, 2004, CBSE.

Model Checking Publish/Subscribe Notification for thinkteam®

Diego Latella, Mieke Massink, Maurice H. ter Beek, 2005, Electron. Notes Theor. Comput. Sci..