 | 2012 |
|---|
| 28 |       | Carlo Bellettini,
Matteo Camilli,
Lorenzo Capra,
Mattia Monga:
State Space Exploration of RT Systems in the Cloud
CoRR abs/1203.6806: (2012) |
| 2011 |
|---|
| 27 | | Carlo Bellettini,
Lorenzo Capra:
Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach.
SYNASC 2011: 110-117 |
| 26 | | Lorenzo Capra:
A lumped Markov process for a class of dynamic Petri nets.
SpringSim (ANSS) 2011: 188-197 |
| 25 | | Carlo Bellettini,
Lorenzo Capra:
Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach
CoRR abs/1107.1166: (2011) |
| 2010 |
|---|
| 24 | | Lorenzo Capra:
A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets.
MASCOTS 2010: 458-461 |
| 23 | | Lorenzo Capra,
Walter Cazzola:
(Symbolic) state-space inspection of a class of dynamic Petri nets.
SummerSim 2010: 522-530 |
| 2009 |
|---|
| 22 |  | Lorenzo Capra,
Walter Cazzola:
Evolving System's Modeling and Simulation through Reflective Petri Nets.
ENASE 2009: 59-70 |
| 21 | | Lorenzo Capra:
(Toward) discrete-event simulation of reflective Petri nets.
SpringSim 2009 |
| 2008 |
|---|
| 20 | | Lorenzo Capra:
A (Timed) State-Transition Semantics for Reflective Petri Nets.
SYNASC 2008: 164-170 |
| 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): 231-257 (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) |
Data released under the ODC-BY 1.0 license — See also our legal information page