Computer Science Institute

Publications

A Case-based Approach to Business Process Monitoring
Stefania Montani, Giorgio Leonardi
Published on TR-INF-2010-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2010

From partially to fully lumped Markov chains in stochastic well formed Petri nets
Soheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis
Published on VALUETOOLS, 2009, Pages: 43

Interfaces and binding in component based development of formal models
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Francesco Moscato, Valeria Vittorini
Published on VALUETOOLS, 2009, Pages: 44

Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
Giuliana Franceschinis, Karsten Wolf
Published on Petri Nets Vol. 5606, Ed. Springer, 2009

Tagged Generalized Stochastic Petri Nets
G. Balbo, Massimiliano De Pierro, Giuliana Franceschinis
Published on EPEW, 2009, Pages: 1-15

The GreatSPN tool: recent enhancements
Soheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis
Published on SIGMETRICS Performance Evaluation Review Vol. 36 n. 4, 2009, Pages: 4-9

At your service: Service-Oriented Computing from an EU perspective
D. Ardagna, L. Ardissono, S. Bocconi, C. Cappiello, L. Console, M-O Cordier, P. Dague, K. Drira, J. Eder, G. Friedrich, M. Fugini, Roberto Furnari, A. Goy, K. Guennoun, A. Hess, V. Ivanchenko, X. Le Guillou, M. Lehmann, Y. Li, J. Mangler, T. Melliti, S. Modafferi, E. Mussi, Y. Pencolè, B. Pernici, G. Petrone, C. Picardi, X. Pucel, S. Robin, L. Rozè, M. Segnan, A. Subias, A. Tahamtan, A. Ten Tejie, Daniele Theseider Dupré, L. Travé-Massuyès, F. Van Harmelen, T. Vidal
Ed. MIT Press, 2009, Pages: 213--239

Abductive Problem Solving with Abstractions
Daniele Theseider Dupré, G. Torta
Published on Proc. Eighth Symposium on Abstraction, Reformulation and Approximation (SARA2009), 2009

Enhancing Web Service Composition by Means of Diagnosis
L. Ardissono, S. Bocconi, L. Console, Roberto Furnari, A. Goy, G. Petrone, C. Picardi, M. Segnan, Daniele Theseider Dupré
Published on Business Process Management Workshops, 2009, Pages: --

An intensional approach to qualitative and quantitative periodicity-dependent temporal constraints
Luca Anselma, Stefania Montani, Paolo Terenziani
Published on Int. J. Intell. Syst. 24 8, 2009, Pages: 902-918