Lorenzo Capra

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 37

Top Topics

Formal Specification

Adaptive Systems

Graph Transformation

Top Venues

PNSE@Petri Nets

Publications

Lorenzo Capra, Michael Köhler-Bußmeier
Modular rewritable Petri nets: An efficient model for dynamic distributed systems. Theor. Comput. Sci. 990 (2024)
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)
Lorenzo Capra, Michael Köhler-Bussmeier
Modelling Adaptive Systems with Nets-Within-Nets in Maude. ENASE (2023)
Lorenzo Capra, Michael Köhler-Bußmeier
Modelling Adaptive Systems with Maude Nets-within-Nets. WorldCIST (3) (2023)
Michael Köhler-Bussmeier, Lorenzo Capra
Robustness: A natural Definition based on Nets-within-Nets. PNSE@Petri Nets (2023)
Lorenzo Capra, Michael Köhler-Bußmeier
Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems. SAC (2023)
Lorenzo Capra
Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems. ICDCIT (2022)
Lorenzo Capra, Michael Köhler-Bußmeier
A Maude Formalization of Object Nets. ECSA (Tracks and Workshops) (2022)
Matteo Camilli, Lorenzo Capra
Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Discret. Event Dyn. Syst. 32 (4) (2022)
Lorenzo Capra
Canonization of Reconfigurable PT Nets in Maude. RP (2022)
Lorenzo Capra
A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems. AppFM@FM (2021)
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
General Composition for Symmetric Net Arc Functions with Applications. PNSE@Petri Nets (2021)
Lorenzo Capra
A structural approach to graph transformation based on symmetric Petri nets. J. Log. Algebraic Methods Program. 120 (2021)
Matteo Camilli, Lorenzo Capra
Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Discret. Event Dyn. Syst. 31 (4) (2021)
Lorenzo Capra
An Efficient Maude Formalization of (Rewritable) PT Nets. SYNASC (2021)
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 (2020)
Lorenzo Capra
A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support. WorldCIST (1) (2020)
Lorenzo Capra
Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets. SETTA (2020)
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
SNexpression: A Symbolic Calculator for Symmetric Net Expressions. Petri Nets (2020)
Lorenzo Capra, Matteo Camilli
Formalizing distributed self-adaptive systems using high-level petri nets. SummerSim (2019)
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)
Matteo Camilli, Lorenzo Capra, Carlo Bellettini
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems. Petri Nets (2019)
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)
Lorenzo Capra, Matteo Camilli
Emulating Self-adaptive Stochastic Petri Nets. EPEW (2019)
Lorenzo Capra
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets. FROM (2019)
Lorenzo Capra, Matteo Camilli
A Symmetric Nets Emulator for Adaptive P/T Nets. SYNASC (2018)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra
A high-level petri net-based formal model of distributed self-adaptive systems. ECSA (Companion) (2018)
Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding. EPEW (2018)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra
Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). SEFM Workshops (2017)
Lorenzo Capra
Rewritable Stochastic Petri Nets. ICCMS (2017)
Lorenzo Capra
Stochastic Petri Nets with Changeable Layout. WorldCIST (1) (2017)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
A Formal Framework for Specifying and Verifying Microservices Based Process Flows. SEFM Workshops (2017)
Lorenzo Capra
A pure SPEC-inscribed PN model for reconfigurable systems. WODES (2016)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. SYNASC (2016)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
Distributed CTL model checking using MapReduce: theory and practice. Concurr. Comput. Pract. Exp. 28 (11) (2016)
Lorenzo Capra
An Algebraic Petri Nets Emulator. SYNASC (2015)
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
Computing Structural Properties of Symmetric Nets. QEST (2015)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
CTL Model Checking in the Cloud Using MapReduce. SYNASC (2014)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
Distributed CTL Model Checking in the Cloud. CoRR (2013)
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
A tool for symbolic manipulation of arc functions in symmetric net models. VALUETOOLS (2013)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters. RP (2013)
Lorenzo Capra, Vincenzo Stile
An Extension of the Interpreter Pattern to Define Domain-Parametric Rewriting Systems. SYNASC (2013)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
State Space Exploration of RT Systems in the Cloud CoRR (2012)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
Symbolic State Space Exploration of RT Systems in the Cloud. SYNASC (2012)
Lorenzo Capra
A lumped Markov process for a class of dynamic Petri nets. SpringSim (ANSS) (2011)
Carlo Bellettini, Lorenzo Capra
Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach CoRR (2011)
Carlo Bellettini, Lorenzo Capra
Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach. SYNASC (2011)
Lorenzo Capra, Walter Cazzola
(Symbolic) state-space inspection of a class of dynamic Petri nets. SummerSim (2010)
Lorenzo Capra
A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets. MASCOTS (2010)
Lorenzo Capra
(Toward) discrete-event simulation of reflective Petri nets. SpringSim (2009)
Lorenzo Capra, Walter Cazzola
Evolving System's Modeling and Simulation through Reflective Petri Nets. ENASE (2009)
Lorenzo Capra
Addressing soundness and efficiency issues in dynamic processes: a reflective PN-based modeling approach. SpringSim (2008)
Lorenzo Capra
A (Timed) State-Transition Semantics for Reflective Petri Nets. SYNASC (2008)
Lorenzo Capra, Walter Cazzola
Self-Evolving Petri Nets. J. Univers. Comput. Sci. 13 (13) (2007)
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) (2007)
Lorenzo Capra, Walter Cazzola
A Reflective PN-Based Approach to Dynamic Workflow Change. SYNASC (2007)
Lorenzo Capra, Walter Cazzola
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems. Electron. Notes Theor. Comput. Sci. 159 (2006)
Lorenzo Capra
Applying a Symbolic Approach for SWN Enabling Test to Workflow Models. SYNASC (2006)
Lorenzo Capra
Colored Petri Nets State-Space Reduction via Symbolic Execution. SYNASC (2005)
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
A High Level Language for Structural Relations in Well-Formed Nets. ICATPN (2005)
Carlo Bellettini, Lorenzo Capra, Mattia Monga
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets. Electron. Notes Theor. Comput. Sci. 128 (4) (2005)
Carlo Bellettini, Lorenzo Capra
Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches. IPDPS (2005)
Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis
Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. ISCIS (2004)
Carlo Bellettini, Lorenzo Capra
A Quotient Graph for Asymmetric Distributed Systems. MASCOTS (2004)
Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro
Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. ACSD (2003)
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) (2001)
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
Exploiting Partial Symmetries for Markov Chain Aggregation. Electron. Notes Theor. Comput. Sci. 39 (3) (2000)
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)
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
Towards Performance Analysis with Partially Symmetrical SWN. MASCOTS (1999)
Lorenzo Capra, Rossano Gaeta, Oliver Botti
Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation. SMC (1998)
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)
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) (1996)
Oliver Botti, Lorenzo Capra, Carlo Bergomi
Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applications. RTS (1995)