Maurizio Sebastianis

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

Publications

Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni
Assisting the design of a groupware system. J. Log. Algebraic Methods Program. 78 (4) (2009)
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)
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)
Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone
Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach. ARES (2008)
Yudistira Asnar, Paolo Giorgini, Paolo Ciancarini, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone
An evaluation of business solutions in manufacturing enterprises. Int. J. Bus. Intell. Data Min. 3 (3) (2008)
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)
Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
. Electron. Notes Theor. Comput. Sci. 133 (2005)
Massimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, Maurizio Sebastianis
Correct Components Assembly for a Product Data Management Cooperative System. CBSE (2004)