| 2026 | ICDCIT | Reconfigurable Multi-formalism Models for Performance Analysis of Distributed Systems. | Lorenzo Capra, Marco Gribaudo, Mauro Iacono |
| 2026 | ICDCIT | Integral Implementation of Higher-Order Algebraic Petri Nets in Maude. | Lorenzo Capra, Michael Khler-Bumeier |
| 2025 | FORTE | SNexpression: A New Component for SN Matrix-Based Structural Analysis. | Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis |
| 2025 | ICDCIT | A "Symbolic" Representation of Object-Nets. | Michael Khler-Bumeier, Lorenzo Capra |
| 2025 | IJCCI | Integral Maude Operation Semantics for Algebraic Petri Nets: An Effective Model of Adaptive Systems. | Lorenzo Capra |
| 2025 | SAC | Modelling Dependable Systems with Modular Rewritable Stochastic Petri Nets. | Lorenzo Capra |
| 2025 | SIMULTECH | Associating a Markov Process with Maude Executable Modules. | Lorenzo Capra |
| 2025 | SYNASC | Effective Translation of Algebraic PNs with Active Tokens in Maude: A Model for Adaptive Systems. | Lorenzo Capra, Michael Khler-Bumeier |
| 2024 | IJCCI | Modelling and Simulation of Adaptive Multi-Agent Systems with Stochastic Nets-within-Nets. | Michael Khler-Bumeier, Lorenzo Capra |
| 2023 | ENASE | Modelling Adaptive Systems with Nets-Within-Nets in Maude. | Lorenzo Capra, Michael Khler-Bussmeier |
| 2023 | SAC | Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems. | Lorenzo Capra, Michael Khler-Bumeier |
| 2023 | WorldCIST | Modelling Adaptive Systems with Maude Nets-within-Nets. | Lorenzo Capra, Michael Khler-Bumeier |
| 2022 | ECSA | A Maude Formalization of Object Nets. | Lorenzo Capra, Michael Khler-Bumeier |
| 2022 | ICDCIT | Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems. | Lorenzo Capra |
| 2021 | SYNASC | An Efficient Maude Formalization of (Rewritable) PT Nets. | Lorenzo Capra |
| 2020 | WorldCIST | A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support. | Lorenzo Capra |
| 2020 | SETTA | Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets. | Lorenzo Capra |
| 2019 | MASCOTS | A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models. | Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Laura Follia, Simone Pernice |
| 2018 | ECSA | A high-level petri net-based formal model of distributed self-adaptive systems. | Matteo Camilli, Carlo Bellettini, Lorenzo Capra |
| 2018 | SYNASC | A Symmetric Nets Emulator for Adaptive P/T Nets. | Lorenzo Capra, Matteo Camilli |
| 2017 | WorldCIST | Stochastic Petri Nets with Changeable Layout. | Lorenzo Capra |
| 2017 | SEFM | Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). | Matteo Camilli, Carlo Bellettini, Lorenzo Capra |
| 2017 | SEFM | A Formal Framework for Specifying and Verifying Microservices Based Process Flows. | Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga |
| 2016 | SYNASC | Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. | Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga |
| 2015 | SYNASC | An Algebraic Petri Nets Emulator. | Lorenzo Capra |
| 2014 | SYNASC | CTL Model Checking in the Cloud Using MapReduce. | Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga |
| 2013 | SYNASC | An Extension of the Interpreter Pattern to Define Domain-Parametric Rewriting Systems. | Lorenzo Capra, Vincenzo Stile |
| 2012 | SYNASC | Symbolic State Space Exploration of RT Systems in the Cloud. | Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga |
| 2011 | SYNASC | Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach. | Carlo Bellettini, Lorenzo Capra |
| 2010 | MASCOTS | A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets. | Lorenzo Capra |
| 2009 | ENASE | Evolving System's Modeling and Simulation through Reflective Petri Nets. | Lorenzo Capra, Walter Cazzola |
| 2008 | SYNASC | A (Timed) State-Transition Semantics for Reflective Petri Nets. | Lorenzo Capra |
| 2007 | SYNASC | A Reflective PN-Based Approach to Dynamic Workflow Change. | Lorenzo Capra, Walter Cazzola |
| 2006 | SYNASC | Applying a Symbolic Approach for SWN Enabling Test to Workflow Models. | Lorenzo Capra |
| 2005 | SYNASC | Colored Petri Nets State-Space Reduction via Symbolic Execution. | Lorenzo Capra |
| 2004 | MASCOTS | A Quotient Graph for Asymmetric Distributed Systems. | Carlo Bellettini, Lorenzo Capra |
| 2003 | PDPTA | Exploitation of Local Symmetries for Efficient Performance Analysis. | Lorenzo Capra |
| 1999 | MASCOTS | Towards Performance Analysis with Partially Symmetrical SWN. | Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ili |
| 1998 | SMC | Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation. | Lorenzo Capra, Rossano Gaeta, Oliver Botti |
| 1995 | ECRTS | Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applications. | Oliver Botti, Lorenzo Capra, Carlo Bergomi |