IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

CAPRA, LORENZO

CAPRA, LORENZO  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 109 (tempo di esecuzione: 0.004 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
Associating a Markov Process with Maude Executable Modules 2025 Capra, Lorenzo Book Part (author) -
Analysing Probabilistic Hornets 2025 Capra, Lorenzo + Book Part (author) -
Modelling Dependable Systems with Modular Rewritable Stochastic Petri Nets 2025 Capra L. Book Part (author) -
Algebraic Petri Nets with Active Tokens: Effective Implementation in Maude 2025 Lorenzo Capra + Book Part (author) -
A “Symbolic” Representation of Object-Nets 2025 Capra, Lorenzo + Book Part (author) -
A Lumped CTMC for Modular Rewritable PN 2025 L. Capra + Book Part (author) -
SNexpression: A New Component for SN Matrix-Based Structural Analysis 2025 Capra, Lorenzo + Book Part (author) -
Modular Stochastic Rewritable Petri Nets 2025 Capra, Lorenzo Article (author) -
Efficient Performance Analysis of Modular Rewritable Petri Nets 2024 Capra, Lorenzo + Article (author) -
Modelling Adaptive Systems with Maude Nets-within-Nets 2024 Capra, Lorenzo + Book Part (author) -
A "Symbolic" Representation of Object-Nets (Extended Version) 2024 L. Capra + Article (author) -
Modular rewritable Petri nets: An efficient model for dynamic distributed systems 2024 Capra L. + Article (author) -
Modelling and Simulation of Adaptive Multi-Agent Systems with Stochastic Nets-within-Nets 2024 Capra, Lorenzo + Book Part (author) -
Petri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems Cost-Benefit Analysis of Structural Transformations 2024 Capra L. + Book Part (author) -
Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems 2023 Lorenzo Capra + Book Part (author) -
Modelling Adaptive Systems with Nets-Within-Nets in Maude 2023 Capra, Lorenzo + Book Part (author) -
Encoding Nets-Within-Nets in Maude 2023 Capra, Lorenzo + Book Part (author) -
A Maude Formalization of Object Nets 2023 Lorenzo Capra + Book Part (author) -
Robustness: A natural Definition based on Nets-within-Nets 2023 Capra L. + Book Part (author) -
Towards a Modelling Framework for Dynamically Reconfigurable Systems Using Maude (& Petri Nets) 2022 Lorenzo Capra Book Part (author) -