Lorenzo Capra

According to our database1, Lorenzo Capra authored at least 70 papers between 1995 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Modelling Adaptive Systems with Maude Nets-within-Nets.
Proceedings of the Information Systems and Technologies, 2023

Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Modelling Adaptive Systems with Nets-Within-Nets in Maude.
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

Robustness: A natural Definition based on Nets-within-Nets.
Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), 2023

2022
Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets.
Discret. Event Dyn. Syst., 2022

Canonization of Reconfigurable PT Nets in Maude.
Proceedings of the Reachability Problems - 16th International Conference, 2022

Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems.
Proceedings of the Distributed Computing and Intelligent Technology, 2022

A Maude Formalization of Object Nets.
Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

2021
A structural approach to graph transformation based on symmetric Petri nets.
J. Log. Algebraic Methods Program., 2021

Formal specification and verification of decentralized self-adaptive systems using symmetric nets.
Discret. Event Dyn. Syst., 2021

A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems.
Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021

An Efficient Maude Formalization of (Rewritable) PT Nets.
Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021

General Composition for Symmetric Net Arc Functions with Applications.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021

2020
A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support.
Proceedings of the Trends and Innovations in Information Systems and Technologies, 2020

Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

SNexpression: A Symbolic Calculator for Symmetric Net Expressions.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets.
Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019

Formalizing distributed self-adaptive systems using high-level petri nets.
Proceedings of the 2019 Summer Simulation Conference, 2019

A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models.
Proceedings of the 27th IEEE International Symposium on Modeling, 2019

Emulating Self-adaptive Stochastic Petri Nets.
Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019

Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions.
Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2019

PNemu: An Extensible Modeling Library for Adaptable Distributed Systems.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018
A Symmetric Nets Emulator for Adaptive P/T Nets.
Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding.
Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

A high-level petri net-based formal model of distributed self-adaptive systems.
Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018

2017
Stochastic Petri Nets with Changeable Layout.
Proceedings of the Recent Advances in Information Systems and Technologies, 2017

A Formal Framework for Specifying and Verifying Microservices Based Process Flows.
Proceedings of the Software Engineering and Formal Methods, 2017

Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper).
Proceedings of the Software Engineering and Formal Methods, 2017

Rewritable Stochastic Petri Nets.
Proceedings of the 8th International Conference on Computer Modeling and Simulation, 2017

2016
Distributed CTL model checking using MapReduce: theory and practice.
Concurr. Comput. Pract. Exp., 2016

A pure SPEC-inscribed PN model for reconfigurable systems.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior.
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

2015
An Algebraic Petri Nets Emulator.
Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Computing Structural Properties of Symmetric Nets.
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

2014
CTL Model Checking in the Cloud Using MapReduce.
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

2013
Distributed CTL Model Checking in the Cloud.
CoRR, 2013

A tool for symbolic manipulation of arc functions in symmetric net models.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

An Extension of the Interpreter Pattern to Define Domain-Parametric Rewriting Systems.
Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters.
Proceedings of the Reachability Problems - 7th International Workshop, 2013

2012
State Space Exploration of RT Systems in the Cloud
CoRR, 2012

Symbolic State Space Exploration of RT Systems in the Cloud.
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

2011
Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach.
Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

A lumped Markov process for a class of dynamic Petri nets.
Proceedings of the 2011 Spring Simulation Multi-conference, 2011

2010
(Symbolic) state-space inspection of a class of dynamic Petri nets.
Proceedings of the SummerSim '10, 2010

A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets.
Proceedings of the MASCOTS 2010, 2010

2009
(Toward) discrete-event simulation of reflective Petri nets.
Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

Evolving System's Modeling and Simulation through Reflective Petri Nets.
Proceedings of the ENASE 2009, 2009

2008
A (Timed) State-Transition Semantics for Reflective Petri Nets.
Proceedings of the SYNASC 2008, 2008

Addressing soundness and efficiency issues in dynamic processes: a reflective PN-based modeling approach.
Proceedings of the 2008 Spring Simulation Multiconference, 2008

2007
Using a Stochastic Well-formed Net model for assessing a decentralized approach to configuration management.
Perform. Evaluation, 2007

Self-Evolving Petri Nets.
J. Univers. Comput. Sci., 2007

A Reflective PN-Based Approach to Dynamic Workflow Change.
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

2006
Applying a Symbolic Approach for SWN Enabling Test to Workflow Models.
Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

2005
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems.
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

Colored Petri Nets State-Space Reduction via Symbolic Execution.
Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

A High Level Language for Structural Relations in Well-Formed Nets.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets.
Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, 2004

A Quotient Graph for Asymmetric Distributed Systems.
Proceedings of the 12th International Workshop on Modeling, 2004

Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets.
Proceedings of the Computer and Information Sciences, 2004

2003
Exploitation of Local Symmetries for Efficient Performance Analysis.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2001
On the use of partial symmetries for lumping Markov chains.
SIGMETRICS Perform. Evaluation Rev., 2001

2000
Exploiting Partial Symmetries for Markov Chain Aggregation.
Proceedings of the International Workshop on Models for Time-Critical Systems, 2000

1999
Towards Performance Analysis with Partially Symmetrical SWN.
Proceedings of the MASCOTS 1999, 1999

SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation.
Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998
Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1996
A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems.
J. Syst. Archit., 1996

Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automation.
Proceedings of the Software Engineering for Parallel and Distributed Systems, 1996

1995
Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applications.
Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995


  Loading...