Lorenzo Capra
Orcid: 0000-0002-1029-1169
According to our database1,
Lorenzo Capra
authored at least 75 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Theor. Comput. Sci., 2024
Modelling and Simulation of Adaptive Multi-Agent Systems with Stochastic Nets-within-Nets.
Proceedings of the 16th International Joint Conference on Computational Intelligence, 2024
Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024
2023
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
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023
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
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
Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022
2021
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
Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021
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
Proceedings of the Trends and Innovations in Information Systems and Technologies, 2020
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020
2019
Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019
Proceedings of the 2019 Summer Simulation Conference, 2019
Proceedings of the 27th IEEE International Symposium on Modeling, 2019
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
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019
2018
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
Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018
2017
Proceedings of the Recent Advances in Information Systems and Technologies, 2017
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
Proceedings of the 8th International Conference on Computer Modeling and Simulation, 2017
2016
Concurr. Comput. Pract. Exp., 2016
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016
2015
Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015
2014
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014
2013
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
Proceedings of the Reachability Problems - 7th International Workshop, 2013
2012
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012
2011
Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011
Proceedings of the 2011 Spring Simulation Multi-conference, 2011
2010
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
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
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
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007
2006
Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006
2005
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005
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
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
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
SIGMETRICS Perform. Evaluation Rev., 2001
2000
Proceedings of the International Workshop on Models for Time-Critical Systems, 2000
1999
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