Lorenzo Capra - RankMe

90 papers A 1B 11C 3Misc 20Journal 15Unranked 40

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Geometric Aspects of Entanglement. Entropy Lucio De Simone, Lorenzo Capra, Arthur Vesperini, Leonardo Rossi, Loris Di Cairano, Roberto Franzosi
2026	Misc	`conf`	Integral Implementation of Higher-Order Algebraic Petri Nets in Maude. ICDCIT Lorenzo Capra, Michael Köhler-Bußmeier
2026	Misc	`conf`	Reconfigurable Multi-formalism Models for Performance Analysis of Distributed Systems. ICDCIT Lorenzo Capra, Marco Gribaudo, Mauro Iacono
2025	Misc	`conf`	A "Symbolic" Representation of Object-Nets. ICDCIT Michael Köhler-Bußmeier, Lorenzo Capra
2025	—	`conf`	Algebraic Petri Nets with Active Tokens: Effective Implementation in Maude. PNSE/ATAED/PeNGE@PETRI NETS Lorenzo Capra, Michael Köhler-Bußmeier
2025	B	`conf`	Analysing Probabilistic Hornets. Petri Nets Michael Köhler-Bußmeier, Lorenzo Capra
2025	C	`conf`	Associating a Markov Process with Maude Executable Modules. SIMULTECH Lorenzo Capra
2025	—	`conf`	Enhancing Multiformalism Models with Rewrite Engines. EPEW Enrico Barbierato, Lorenzo Capra, Marco Gribaudo, Mauro Iacono
2025	—	`conf`	Integral Maude Operation Semantics for Algebraic Petri Nets: An Effective Model of Adaptive Systems. IJCCI (2) Lorenzo Capra
2025	Misc	`conf`	Modelling Dependable Systems with Modular Rewritable Stochastic Petri Nets. SAC Lorenzo Capra
2025	C	`conf`	SNexpression: A New Component for SN Matrix-Based Structural Analysis. FORTE Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2024	J	`jnl`	A "Symbolic" Representation of Object-Nets (Extended Version). CoRR Michael Köhler-Bussmeier, Lorenzo Capra
2024	—	`conf`	A Lumped CTMC for Modular Rewritable PN. EPEW Lorenzo Capra, Marco Gribaudo
2024	—	`conf`	Efficient Performance Analysis of Modular Rewritable Petri Nets. FROM Lorenzo Capra, Marco Gribaudo
2024	C	`conf`	Modelling and Simulation of Adaptive Multi-Agent Systems with Stochastic Nets-within-Nets. IJCCI Michael Köhler-Bußmeier, Lorenzo Capra
2024	B	`conf`	Modular Stochastic Rewritable Petri Nets. ICLP Lorenzo Capra
2024	J	`jnl`	Modular rewritable Petri nets: An efficient model for dynamic distributed systems. Theor. Comput. Sci. Lorenzo Capra, Michael Köhler-Bußmeier
2024	—	`conf`	Petri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems. PNSE@Petri Nets Lorenzo Capra, Michael Köhler-Bussmeier, Heiko Rölke, Jan Sudeikat
2023	Misc	`conf`	Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems. SAC Lorenzo Capra, Michael Köhler-Bußmeier
2023	—	`conf`	Modelling Adaptive Systems with Maude Nets-within-Nets. WorldCIST (3) Lorenzo Capra, Michael Köhler-Bußmeier
2023	B	`conf`	Modelling Adaptive Systems with Nets-Within-Nets in Maude. ENASE Lorenzo Capra, Michael Köhler-Bussmeier
2023	—	`conf`	Robustness: A natural Definition based on Nets-within-Nets. PNSE@Petri Nets Michael Köhler-Bussmeier, Lorenzo Capra
2022	—	`conf`	A Maude Formalization of Object Nets. ECSA (Tracks and Workshops) Lorenzo Capra, Michael Köhler-Bußmeier
2022	—	`conf`	Canonization of Reconfigurable PT Nets in Maude. RP Lorenzo Capra
2022	J	`jnl`	Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Discret. Event Dyn. Syst. Matteo Camilli, Lorenzo Capra
2022	Misc	`conf`	Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems. ICDCIT Lorenzo Capra
2021	—	`conf`	A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems. AppFM@FM Lorenzo Capra
2021	J	`jnl`	A structural approach to graph transformation based on symmetric Petri nets. J. Log. Algebraic Methods Program. Lorenzo Capra
2021	Misc	`conf`	An Efficient Maude Formalization of (Rewritable) PT Nets. SYNASC Lorenzo Capra
2021	J	`jnl`	Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Discret. Event Dyn. Syst. Matteo Camilli, Lorenzo Capra
2021	—	`conf`	General Composition for Symmetric Net Arc Functions with Applications. PNSE@Petri Nets Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2020	—	`conf`	A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support. WorldCIST (1) Lorenzo Capra
2020	Misc	`conf`	Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets. SETTA Lorenzo Capra
2020	J	`jnl`	Multiple Sclerosis disease: a computational approach for investigating its drug interactions. CoRR 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
2020	B	`conf`	SNexpression: A Symbolic Calculator for Symmetric Net Expressions. Petri Nets Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2019	B	`conf`	A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models. MASCOTS Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Laura Follia, Simone Pernice
2019	—	`conf`	An Operational Semantics of Graph Transformation Systems Using Symmetric Nets. FROM Lorenzo Capra
2019	—	`conf`	Emulating Self-adaptive Stochastic Petri Nets. EPEW Lorenzo Capra, Matteo Camilli
2019	—	`conf`	Formalizing distributed self-adaptive systems using high-level petri nets. SummerSim Lorenzo Capra, Matteo Camilli
2019	—	`conf`	Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions. CIBB 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
2019	B	`conf`	PNemu: An Extensible Modeling Library for Adaptable Distributed Systems. Petri Nets Matteo Camilli, Lorenzo Capra, Carlo Bellettini
2018	Misc	`conf`	A Symmetric Nets Emulator for Adaptive P/T Nets. SYNASC Lorenzo Capra, Matteo Camilli
2018	—	`conf`	A high-level petri net-based formal model of distributed self-adaptive systems. ECSA (Companion) Matteo Camilli, Carlo Bellettini, Lorenzo Capra
2018	—	`conf`	Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding. EPEW Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice
2017	—	`conf`	A Formal Framework for Specifying and Verifying Microservices Based Process Flows. SEFM Workshops Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
2017	—	`conf`	Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). SEFM Workshops Matteo Camilli, Carlo Bellettini, Lorenzo Capra
2017	—	`conf`	Rewritable Stochastic Petri Nets. ICCMS Lorenzo Capra
2017	—	`conf`	Stochastic Petri Nets with Changeable Layout. WorldCIST (1) Lorenzo Capra
2016	—	`conf`	A pure SPEC-inscribed PN model for reconfigurable systems. WODES Lorenzo Capra
2016	Misc	`conf`	Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. SYNASC Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
2016	J	`jnl`	Distributed CTL model checking using MapReduce: theory and practice. Concurr. Comput. Pract. Exp. Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
2015	Misc	`conf`	An Algebraic Petri Nets Emulator. SYNASC Lorenzo Capra
2015	—	`conf`	Computing Structural Properties of Symmetric Nets. QEST Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2014	Misc	`conf`	CTL Model Checking in the Cloud Using MapReduce. SYNASC Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
2013	—	`conf`	A tool for symbolic manipulation of arc functions in symmetric net models. VALUETOOLS Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2013	Misc	`conf`	An Extension of the Interpreter Pattern to Define Domain-Parametric Rewriting Systems. SYNASC Lorenzo Capra, Vincenzo Stile
2013	J	`jnl`	Distributed CTL Model Checking in the Cloud. CoRR Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
2013	—	`conf`	MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters. RP Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
2012	J	`jnl`	State Space Exploration of RT Systems in the Cloud CoRR Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
2012	Misc	`conf`	Symbolic State Space Exploration of RT Systems in the Cloud. SYNASC Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
2011	—	`conf`	A lumped Markov process for a class of dynamic Petri nets. SpringSim (ANSS) Lorenzo Capra
2011	Misc	`conf`	Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach. SYNASC Carlo Bellettini, Lorenzo Capra
2011	J	`jnl`	Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach CoRR Carlo Bellettini, Lorenzo Capra
2010	—	`conf`	(Symbolic) state-space inspection of a class of dynamic Petri nets. SummerSim Lorenzo Capra, Walter Cazzola
2010	B	`conf`	A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets. MASCOTS Lorenzo Capra
2009	—	`conf`	(Toward) discrete-event simulation of reflective Petri nets. SpringSim Lorenzo Capra
2009	B	`conf`	Evolving System's Modeling and Simulation through Reflective Petri Nets. ENASE Lorenzo Capra, Walter Cazzola
2008	Misc	`conf`	A (Timed) State-Transition Semantics for Reflective Petri Nets. SYNASC Lorenzo Capra
2008	—	`conf`	Addressing soundness and efficiency issues in dynamic processes: a reflective PN-based modeling approach. SpringSim Lorenzo Capra
2007	Misc	`conf`	A Reflective PN-Based Approach to Dynamic Workflow Change. SYNASC Lorenzo Capra, Walter Cazzola
2007	J	`jnl`	Self-Evolving Petri Nets. J. Univers. Comput. Sci. Lorenzo Capra, Walter Cazzola
2007	J	`jnl`	Using a Stochastic Well-formed Net model for assessing a decentralized approach to configuration management. Perform. Evaluation Carlo Bellettini, Lorenzo Capra, Mattia Monga
2006	Misc	`conf`	Applying a Symbolic Approach for SWN Enabling Test to Workflow Models. SYNASC Lorenzo Capra
2005	—	`conf`	A High Level Language for Structural Relations in Well-Formed Nets. ICATPN Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2005	—	`conf`	A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems. FSEN Lorenzo Capra, Walter Cazzola
2005	Misc	`conf`	Colored Petri Nets State-Space Reduction via Symbolic Execution. SYNASC Lorenzo Capra
2005	A	`conf`	Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches. IPDPS Carlo Bellettini, Lorenzo Capra
2004	B	`conf`	A Quotient Graph for Asymmetric Distributed Systems. MASCOTS Carlo Bellettini, Lorenzo Capra
2004	—	`conf`	Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. ISCIS Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis
2004	—	`conf`	Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets. PASM Carlo Bellettini, Lorenzo Capra, Mattia Monga
2003	Misc	`conf`	Exploitation of Local Symmetries for Efficient Performance Analysis. PDPTA Lorenzo Capra
2003	—	`conf`	Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. ACSD Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro
2001	J	`jnl`	On the use of partial symmetries for lumping Markov chains. SIGMETRICS Perform. Evaluation Rev. Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
2000	—	`conf`	Exploiting Partial Symmetries for Markov Chain Aggregation. MTCS Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
1999	—	`conf`	SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation. ICATPN Lorenzo Capra, Rossano Gaeta, Oliver Botti
1999	B	`conf`	Towards Performance Analysis with Partially Symmetrical SWN. MASCOTS Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
1998	B	`conf`	Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation. SMC Lorenzo Capra, Rossano Gaeta, Oliver Botti
1996	J	`jnl`	A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems. J. Syst. Archit. Oliver Botti, Lorenzo Capra
1996	—	`conf`	Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automation. Software Engineering for Parallel and Distributed Systems Oliver Botti, Lorenzo Capra
1995	—	`conf`	Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applications. RTS Oliver Botti, Lorenzo Capra, Carlo Bergomi