2008 |
18 | EE | Lorenzo Capra:
Addressing soundness and efficiency issues in dynamic processes: a reflective PN-based modeling approach.
SpringSim 2008: 256-264 |
2007 |
17 | EE | Lorenzo Capra,
Walter Cazzola:
A Reflective PN-Based Approach to Dynamic Workflow Change.
SYNASC 2007: 533-540 |
16 | EE | Lorenzo Capra,
Walter Cazzola:
Self-Evolving Petri Nets.
J. UCS 13(13): 2002-2034 (2007) |
15 | EE | Carlo Bellettini,
Lorenzo Capra,
Mattia Monga:
Using a Stochastic Well-formed Net model for assessing a decentralized approach to configuration management.
Perform. Eval. 64(3): 229-246 (2007) |
2006 |
14 | EE | Lorenzo Capra:
Applying a Symbolic Approach for SWN Enabling Test to Workflow Models.
SYNASC 2006: 437-444 |
13 | EE | Lorenzo Capra,
Walter Cazzola:
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems.
Electr. Notes Theor. Comput. Sci. 159: 41-59 (2006) |
2005 |
12 | EE | Lorenzo Capra,
Massimiliano De Pierro,
Giuliana Franceschinis:
A High Level Language for Structural Relations in Well-Formed Nets.
ICATPN 2005: 168-187 |
11 | EE | Carlo Bellettini,
Lorenzo Capra:
Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches.
IPDPS 2005 |
10 | EE | Lorenzo Capra:
Colored Petri Nets State-Space Reduction via Symbolic Execution.
SYNASC 2005: 231-238 |
9 | EE | Carlo Bellettini,
Lorenzo Capra,
Mattia Monga:
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets.
Electr. Notes Theor. Comput. Sci. 128(4): 59-77 (2005) |
2004 |
8 | EE | Paolo Ballarini,
Lorenzo Capra,
Giuliana Franceschinis:
Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets.
ISCIS 2004: 553-563 |
7 | EE | Carlo Bellettini,
Lorenzo Capra:
A Quotient Graph for Asymmetric Distributed Systems.
MASCOTS 2004: 560-568 |
2003 |
6 | EE | Paolo Ballarini,
Lorenzo Capra,
Giuliana Franceschinis,
Massimiliano De Pierro:
Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models.
ACSD 2003: 111-121 |
2001 |
5 | EE | Lorenzo Capra,
Claude Dutheillet,
Giuliana Franceschinis,
Jean-Michel Ilié:
On the use of partial symmetries for lumping Markov chains.
SIGMETRICS Performance Evaluation Review 28(4): 33-35 (2001) |
2000 |
4 | EE | Lorenzo Capra,
Claude Dutheillet,
Giuliana Franceschinis,
Jean-Michel Ilié:
Exploiting Partial Symmetries for Markov Chain Aggregation.
Electr. Notes Theor. Comput. Sci. 39(3): (2000) |
1999 |
3 | EE | Lorenzo Capra,
Rossano Gaeta,
Oliver Botti:
SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation.
ICATPN 1999: 168-187 |
2 | EE | Lorenzo Capra,
Claude Dutheillet,
Giuliana Franceschinis,
Jean-Michel Ilié:
Towards Performance Analysis with Partially Symmetrical SWN.
MASCOTS 1999: 148-155 |
1996 |
1 | | Oliver Botti,
Lorenzo Capra:
Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automation.
Software Engineering for Parallel and Distributed Systems 1996: 232-243 |