Modello B - Università degli Studi di Genova

Ministero dell'Istruzione dell'Università e della Ricerca
Research interests
Performance and dependability evaluation of distributed systems. Formal approaches to software engineering. Dynamic systems. Workflow modeling.
Analysis/simulation of High-level Petri nets.
National and European Projects
1996-1997, Esprit EFTOS (Embedded Fault-TOlerant Supercomputing). 1998, European Community HCM (Human Capital and Mobility), progetto MATCH
(Modelling and Analysis of Time Constrained Hierarchical Systems).
1999-2000, Esprit TIRAN (Tailorable fault tolerance framework for embedded applications).
2001, ISIDE project (Sistemi di elaborazione reattivi ed affidabili per applicazioni industriali) - Programmi di ricerca di rilevante interesse nazionale.
2005-2007 EOS project (Extensible Object Systems) -MIUR Programmi di ricerca di rilevante interesse nazionale.
Professional activity
member of SCS (The Society for Modeling and Simulation International)
member of EUROSIS.
Pubblicazioni:
CAPRA L., CAZZOLA W (2008). Evolutionary design through reflective petri nets: An application to workflow. In: IASTED Software Engineering (SE
2008)acta press, ISBN/ISSN: 978-0-88986-715-4;
BELLETTINI C, CAPRA L., MONGA M (2007). Using a stochastic well formed net model for assessing a decentralized approach to configuration
management. PERFORMANCE EVALUATION, vol. 64; p. 229-246, ISSN: 0166-5316
CAPRA L. (2007). Algebraic techniques & symmetries: an efficient simulation approach for well-formed petri nets. European Simulation and Modelling.
In: European Simulation and Modelling Conference (ESM'2007)EUROSIS-ETI, p. 155-163, ISBN/ISSN: 978-90-77381-36-6
CAPRA L. (2007). Integrating symmetries and symbolic enabling test for efficient simulation of SWNs. In: EUROPEAN Conference on Modelling and
Simulation (ECMS 2007)ECMS-SCS, ISBN/ISSN: 978-0-9553018-2-7
CAPRA L., CAZZOLA W (2007). A reflective pn-based approach to dynamic workflow change. In: SYNASC '07: Proceedings of the 9th International
Symposium on Symbolic and Numeric Algorithms for Scientific ComputingIEEE CS Press, ISBN/ISSN: 0-7695-3078-8
CAPRA L., CAZZOLA W (2007). Self-evolving petri nets. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, vol. 13; p. 2002-2034, ISSN: 0948-6968
CAPRA L. (2006). Algebraic framework for efficient simulation of stochastic coloured petri nets. In: SummerSim'06SCS, ISBN/ISSN: ISBN 1-56555-309-8
CAPRA L. (2006). Applying a symbolic approach for swn enabling test to workflow models. In: SYNASC '06: Proceedings of the 8th International
Symposium on Symbolic and Numeric Algorithms for Scientific ComputingIEEE CS Press, p. 437-444, ISBN/ISSN: 0-7695-2740-X
CAPRA L. (2006). Applying structural techniques for efficient analysis of complex swn models. In: Workshop on Discrete Event Systems (WODES'06IEEE
CS Press, p. 338-344, ISBN/ISSN: 1-4244-0053-8
CAPRA L., DE PIERRO M, FRANCESCHINIS G (2005). A high level language for structural relations in well-formed nets. In: ICATPN 2005, 26th
International Conference on Applications and Theory of Petri Nets, LNCSSPRINGER, vol. 3536, p. 168-187
MIUR - BANDO 2008 - MODELLO B - 14 -