 | 2008 |
|---|
| 19 |       | Lorenzo Capra:
Addressing soundness and efficiency issues in dynamic processes: a reflective PN-based modeling approach.
SpringSim 2008: 256-264 |
| 2007 |
|---|
| 18 | | Lorenzo Capra,
Walter Cazzola:
A Reflective PN-Based Approach to Dynamic Workflow Change.
SYNASC 2007: 533-540 |
| 17 | | Lorenzo Capra,
Walter Cazzola:
Self-Evolving Petri Nets.
J. UCS 13(13): 2002-2034 (2007) |
| 16 | | 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 |
|---|
| 15 | | Lorenzo Capra:
Applying a Symbolic Approach for SWN Enabling Test to Workflow Models.
SYNASC 2006: 437-444 |
| 14 | | 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 |
|---|
| 13 | | Lorenzo Capra,
Massimiliano De Pierro,
Giuliana Franceschinis:
A High Level Language for Structural Relations in Well-Formed Nets.
ICATPN 2005: 168-187 |
| 12 | | Carlo Bellettini,
Lorenzo Capra:
Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches.
IPDPS 2005 |
| 11 | | Lorenzo Capra:
Colored Petri Nets State-Space Reduction via Symbolic Execution.
SYNASC 2005: 231-238 |
| 10 | | 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 |
|---|
| 9 | | Paolo Ballarini,
Lorenzo Capra,
Giuliana Franceschinis:
Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets.
ISCIS 2004: 553-563 |
| 8 | | Carlo Bellettini,
Lorenzo Capra:
A Quotient Graph for Asymmetric Distributed Systems.
MASCOTS 2004: 560-568 |
| 2003 |
|---|
| 7 | | 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 |
|---|
| 6 | | 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 |
|---|
| 5 | | 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 |
|---|
| 4 | | 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 |
| 3 | | Lorenzo Capra,
Claude Dutheillet,
Giuliana Franceschinis,
Jean-Michel Ilié:
Towards Performance Analysis with Partially Symmetrical SWN.
MASCOTS 1999: 148-155 |
| 1996 |
|---|
| 2 |  | 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 |
| 1 | | Oliver Botti,
Lorenzo Capra:
A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems.
Journal of Systems Architecture 42(6-7): 503-530 (1996) |
