Maurizio Sebastianis

According to our database, Maurizio Sebastianis authored at least 8 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

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

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 an Industrial Groupware System by Model Checking.

Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni

ERCIM News, 2008

Checking Compliance of Execution Traces to Business Rules.

Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, Sergio Storari

Proceedings of the Business Process Management Workshops, 2008

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

Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone

Proceedings of the The Third International Conference on Availability, 2008

2005

A case study on the automated verification of groupware protocols.

Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

Model Checking Publish/Subscribe Notification for thinkteam^®.

Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Correct Components Assembly for a Product Data Management Cooperative System.

Massimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, Maurizio Sebastianis

Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004