default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLorenzo Capra
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j9]Lorenzo Capra
, Michael Köhler-Bußmeier:
Modular rewritable Petri nets: An efficient model for dynamic distributed systems. Theor. Comput. Sci. 990: 114397 (2024)- [c61]Lorenzo Capra, Michael Köhler-Bussmeier, Heiko Rölke, Jan Sudeikat:
Petri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems. PNSE@Petri Nets 2024: 164-181 - 2023
- [c60]Michael Köhler-Bussmeier, Lorenzo Capra:
Robustness: A natural Definition based on Nets-within-Nets. PNSE@Petri Nets 2023: 70-87 - [c59]Lorenzo Capra, Michael Köhler-Bussmeier:
Modelling Adaptive Systems with Nets-Within-Nets in Maude. ENASE 2023: 487-496 - [c58]Lorenzo Capra, Michael Köhler-Bußmeier:
Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems. SAC 2023: 188-191 - [c57]Lorenzo Capra, Michael Köhler-Bußmeier:
Modelling Adaptive Systems with Maude Nets-within-Nets. WorldCIST (3) 2023: 178-189 - 2022
- [j8]Matteo Camilli, Lorenzo Capra:
Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Discret. Event Dyn. Syst. 32(4): 641 (2022) - [c56]Lorenzo Capra, Michael Köhler-Bußmeier:
A Maude Formalization of Object Nets. ECSA (Tracks and Workshops) 2022: 246-261 - [c55]Lorenzo Capra:
Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems. ICDCIT 2022: 140-156 - [c54]Lorenzo Capra:
Canonization of Reconfigurable PT Nets in Maude. RP 2022: 160-177 - 2021
- [j7]Matteo Camilli, Lorenzo Capra:
Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Discret. Event Dyn. Syst. 31(4): 609-657 (2021) - [j6]Lorenzo Capra:
A structural approach to graph transformation based on symmetric Petri nets. J. Log. Algebraic Methods Program. 120: 100639 (2021) - [c53]Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis:
General Composition for Symmetric Net Arc Functions with Applications. PNSE@Petri Nets 2021: 135-154 - [c52]Lorenzo Capra:
An Efficient Maude Formalization of (Rewritable) PT Nets. SYNASC 2021: 186-193 - [c51]Lorenzo Capra:
A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems. AppFM@FM 2021: 31-49 - 2020
- [c50]Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis:
SNexpression: A Symbolic Calculator for Symmetric Net Expressions. Petri Nets 2020: 381-391 - [c49]Lorenzo Capra:
Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets. SETTA 2020: 35-51 - [c48]Lorenzo Capra:
A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support. WorldCIST (1) 2020: 715-725 - [i4]Simone Pernice, Marco Beccuti, Greta Romano, Marzio Pennisi, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro, Gianfranco Balbo, Francesca Cordero, Raffaele A. Calogero:
Multiple Sclerosis disease: a computational approach for investigating its drug interactions. CoRR abs/2006.00813 (2020)
2010 – 2019
- 2019
- [c47]Matteo Camilli, Lorenzo Capra, Carlo Bellettini:
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems. Petri Nets 2019: 80-90 - [c46]Simone Pernice, Marco Beccuti, Greta Romano, Marzio Pennisi, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro, Gianfranco Balbo, Francesca Cordero, Raffaele A. Calogero:
Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions. CIBB 2019: 299-308 - [c45]Lorenzo Capra, Matteo Camilli:
Emulating Self-adaptive Stochastic Petri Nets. EPEW 2019: 33-49 - [c44]Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Laura Follia, Simone Pernice:
A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models. MASCOTS 2019: 36-48 - [c43]Lorenzo Capra, Matteo Camilli:
Formalizing distributed self-adaptive systems using high-level petri nets. SummerSim 2019: 28:1-28:12 - [c42]Lorenzo Capra:
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets. FROM 2019: 107-119 - 2018
- [c41]Matteo Camilli, Carlo Bellettini, Lorenzo Capra:
A high-level petri net-based formal model of distributed self-adaptive systems. ECSA (Companion) 2018: 40:1-40:7 - [c40]Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice:
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding. EPEW 2018: 30-45 - [c39]Lorenzo Capra, Matteo Camilli:
A Symmetric Nets Emulator for Adaptive P/T Nets. SYNASC 2018: 183-190 - 2017
- [c38]Lorenzo Capra:
Rewritable Stochastic Petri Nets. ICCMS 2017: 155-159 - [c37]Matteo Camilli, Carlo Bellettini, Lorenzo Capra:
Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). SEFM Workshops 2017: 168-173 - [c36]Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga:
A Formal Framework for Specifying and Verifying Microservices Based Process Flows. SEFM Workshops 2017: 187-202 - [c35]Lorenzo Capra:
Stochastic Petri Nets with Changeable Layout. WorldCIST (1) 2017: 831-840 - 2016
- [j5]Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga:
Distributed CTL model checking using MapReduce: theory and practice. Concurr. Comput. Pract. Exp. 28(11): 3025-3041 (2016) - [c34]Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga:
Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. SYNASC 2016: 165-172 - [c33]Lorenzo Capra:
A pure SPEC-inscribed PN model for reconfigurable systems. WODES 2016: 459-465 - 2015
- [c32]Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis:
Computing Structural Properties of Symmetric Nets. QEST 2015: 125-140 - [c31]Lorenzo Capra:
An Algebraic Petri Nets Emulator. SYNASC 2015: 61-65 - 2014
- [c30]Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga:
CTL Model Checking in the Cloud Using MapReduce. SYNASC 2014: 333-340 - 2013
- [c29]Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga:
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters. RP 2013: 83-95 - [c28]Lorenzo Capra, Vincenzo Stile:
An Extension of the Interpreter Pattern to Define Domain-Parametric Rewriting Systems. SYNASC 2013: 185-192 - [c27]Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis:
A tool for symbolic manipulation of arc functions in symmetric net models. VALUETOOLS 2013: 320-323 - [i3]Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga:
Distributed CTL Model Checking in the Cloud. CoRR abs/1310.6670 (2013) - 2012
- [c26]Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga:
Symbolic State Space Exploration of RT Systems in the Cloud. SYNASC 2012: 295-302 - [i2]Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga:
State Space Exploration of RT Systems in the Cloud. CoRR abs/1203.6806 (2012) - 2011
- [c25]Lorenzo Capra:
A lumped Markov process for a class of dynamic Petri nets. SpringSim (ANSS) 2011: 188-197 - [c24]Carlo Bellettini, Lorenzo Capra:
Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach. SYNASC 2011: 110-117 - [i1]Carlo Bellettini, Lorenzo Capra:
Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach. CoRR abs/1107.1166 (2011) - 2010
- [c23]Lorenzo Capra:
A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets. MASCOTS 2010: 458-461 - [c22]Lorenzo Capra, Walter Cazzola:
(Symbolic) state-space inspection of a class of dynamic Petri nets. SummerSim 2010: 522-530
2000 – 2009
- 2009
- [c21]Lorenzo Capra, Walter Cazzola:
Evolving System's Modeling and Simulation through Reflective Petri Nets. ENASE 2009: 59-70 - [c20]Lorenzo Capra:
(Toward) discrete-event simulation of reflective Petri nets. SpringSim 2009 - 2008
- [c19]Lorenzo Capra:
Addressing soundness and efficiency issues in dynamic processes: a reflective PN-based modeling approach. SpringSim 2008: 256-264 - [c18]Lorenzo Capra:
A (Timed) State-Transition Semantics for Reflective Petri Nets. SYNASC 2008: 164-170 - 2007
- [j4]Lorenzo Capra, Walter Cazzola:
Self-Evolving Petri Nets. J. Univers. Comput. Sci. 13(13): 2002-2034 (2007) - [j3]Carlo Bellettini, Lorenzo Capra, Mattia Monga:
Using a Stochastic Well-formed Net model for assessing a decentralized approach to configuration management. Perform. Evaluation 64(3): 229-246 (2007) - [c17]Lorenzo Capra, Walter Cazzola:
A Reflective PN-Based Approach to Dynamic Workflow Change. SYNASC 2007: 533-540 - 2006
- [c16]Lorenzo Capra:
Applying a Symbolic Approach for SWN Enabling Test to Workflow Models. SYNASC 2006: 437-444 - 2005
- [c15]Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis:
A High Level Language for Structural Relations in Well-Formed Nets. ICATPN 2005: 168-187 - [c14]Carlo Bellettini, Lorenzo Capra:
Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches. IPDPS 2005 - [c13]Lorenzo Capra:
Colored Petri Nets State-Space Reduction via Symbolic Execution. SYNASC 2005: 231-238 - [c12]Lorenzo Capra, Walter Cazzola:
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems. FSEN 2005: 41-59 - 2004
- [c11]Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis:
Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. ISCIS 2004: 553-563 - [c10]Carlo Bellettini, Lorenzo Capra:
A Quotient Graph for Asymmetric Distributed Systems. MASCOTS 2004: 560-568 - [c9]Carlo Bellettini, Lorenzo Capra, Mattia Monga:
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets. PASM 2004: 59-77 - 2003
- [c8]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 - [c7]Lorenzo Capra:
Exploitation of Local Symmetries for Efficient Performance Analysis. PDPTA 2003: 1782-1788 - 2001
- [j2]Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié:
On the use of partial symmetries for lumping Markov chains. SIGMETRICS Perform. Evaluation Rev. 28(4): 33-35 (2001) - 2000
- [c6]Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié:
Exploiting Partial Symmetries for Markov Chain Aggregation. MTCS 2000: 231-257
1990 – 1999
- 1999
- [c5]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 - [c4]Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié:
Towards Performance Analysis with Partially Symmetrical SWN. MASCOTS 1999: 148-155 - 1998
- [c3]Lorenzo Capra, Rossano Gaeta, Oliver Botti:
Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation. SMC 1998: 493-498 - 1996
- [j1]Oliver Botti, Lorenzo Capra:
A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems. J. Syst. Archit. 42(6-7): 503-530 (1996) - [c2]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 - 1995
- [c1]Oliver Botti, Lorenzo Capra, Carlo Bergomi:
Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applications. RTS 1995: 294-301
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-27 17:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
