sign in · help · news · about ·

BibSonomy :: author :: Sebastianis ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(9)

<< < 1 > >>

Correct Components Assembly for a Product Data Management Cooperative System.
Massimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, and Maurizio Sebastianis CBSE, volume 3054 of Lecture Notes in Computer Science, page 84-99. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
Assisting the Design of an Industrial Groupware System by Model Checking.
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, and Gianluca Trentanni ERCIM News (2008)
to dblp by dblp on Mar 19, 2010, 12:00 AM
URL | BibTeX
Assisting the design of a groupware system.
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, and Gianluca Trentanni J. Log. Algebr. Program. 78(4):191-232 (2009)
to dblp by dblp on Nov 27, 2009, 12:00 AM
URL | BibTeX
Checking Compliance of Execution Traces to Business Rules.
Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, and Sergio Storari Business Process Management Workshops, volume 17 of Lecture Notes in Business Information Processing, page 134-145. Springer, (2008)
to dblp by dblp on Aug 17, 2009, 12:00 AM
URL | BibTeX
Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach
Y. Asnar, R. Moretti, M. Sebastianis, and N. Zannone International Conference on Availability, Reliability and Security, page 1240-1247. (March 2008)
to management risk tropos by neilernst and 1 other user on Jun 28, 2009, 5:14 PM
URL | BibTeX
An evaluation of business solutions in manufacturing enterprises.
Yudistira Asnar, Paolo Giorgini, Paolo Ciancarini, Rocco Moretti, Maurizio Sebastianis, and Nicola Zannone IJBIDM 3(3):305-329 (2008)
to dblp by dblp on Mar 19, 2009, 12:00 AM
URL | BibTeX
Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach.
Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, and Nicola Zannone ARES, page 1240-1247. IEEE Computer Society, (2008)
to dblp by dblp and 1 other user on May 11, 2008, 12:00 AM
URL | BibTeX
A case study on the automated verification of groupware protocols.
Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, and Maurizio Sebastianis ICSE, page 596-603. ACM, (2005)
to dblp by dblp on Feb 13, 2006, 12:00 AM
URL | BibTeX
Model Checking Publish/Subscribe Notification for thinkteam®.
Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, and Maurizio Sebastianis Electr. Notes Theor. Comput. Sci. (2005)
to dblp by dblp on Jul 7, 2005, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper