BECCUTI, MARCO
BECCUTI, MARCO
30 years of greatSPN
2016-01-01 Amparore, E. G.; Balbo, G.; Beccuti, M.; Donatelli, S.; Franceschinis, G.
A new symbolic approach for network reliability analysis
2012-01-01 Beccuti, Marco; Bobbio, Andrea; Franceschinis, Giuliana Annamaria; Terruggia, Roberta
A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations
2021-01-01 Beccuti, M.; Castagno, P.; Franceschinis, G.; Pennisi, M.; Pernice, S.
A tool for the automatic derivation of symbolic ode from symmetric net models
2019-01-01 Beccuti, M.; Capra, L.; De Pierro, M.; Franceschinis, G.; Follia, L.; Pernice, S.
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding
2018-01-01 Beccuti, Marco; Capra, Lorenzo; DE PIERRO, Massimiliano; Franceschinis, Giuliana Annamaria; Pernice, Simone
From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models
2024-01-01 Amparore, Elvio; Beccuti, Marco; Castagno, Paolo; Pernice, Simone; Franceschinis, Giuliana; Pennisi, Marzio
Modeling and Verification of Distributed Systems Using Markov Decision Processes
2015-01-01 Beccuti, Marco; Franceschinis, Giuliana; Sproston, Jeremy
Multiformalism modeling and simulation of immune system mechanisms
2021-01-01 Amparore, E. G.; Beccuti, M.; Castagno, P.; Franceschinis, G.; Pennisi, M.; Pernice, S.
Multiple abstraction levels in performance analysis of WSN monitoring systems
2009-01-01 Beccuti, Marco; CODETTA RAITERI, Daniele; Franceschinis, Giuliana Annamaria
Multiple sclerosis disease: A computational approach for investigating its drug interactions
2020-01-01 Pernice, S.; Beccuti, M.; Romano, G.; Pennisi, M.; Maglione, A.; Cutrupi, S.; Pappalardo, F.; Capra, L.; Franceschinis, G.; De Pierro, M.; Balbo, G.; Cordero, F.; Calogero, R.
Non deterministic Repairable Fault Trees for computing optimal repair strategy
2008-01-01 Beccuti, Marco; Franceschinis, Giuliana Annamaria; CODETTA RAITERI, Daniele; Haddad, S.
Quantification of dependencies in electrical and information infrastructures: The crutial approach
2009-01-01 Beccuti, M.; Franceschinis, G.; Donatelli, S.; Chiaradonna, S.; Di Giandomenico, F.; Lollini, P.; Dondossola, G.; Garrone, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 30 years of greatSPN | 1-gen-2016 | Amparore, E. G.; Balbo, G.; Beccuti, M.; Donatelli, S.; Franceschinis, G. | |
| A new symbolic approach for network reliability analysis | 1-gen-2012 | Beccuti, Marco; Bobbio, Andrea; Franceschinis, Giuliana Annamaria; Terruggia, Roberta | |
| A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations | 1-gen-2021 | Beccuti, M.; Castagno, P.; Franceschinis, G.; Pennisi, M.; Pernice, S. | |
| A tool for the automatic derivation of symbolic ode from symmetric net models | 1-gen-2019 | Beccuti, M.; Capra, L.; De Pierro, M.; Franceschinis, G.; Follia, L.; Pernice, S. | |
| Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding | 1-gen-2018 | Beccuti, Marco; Capra, Lorenzo; DE PIERRO, Massimiliano; Franceschinis, Giuliana Annamaria; Pernice, Simone | |
| From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models | 1-gen-2024 | Amparore, Elvio; Beccuti, Marco; Castagno, Paolo; Pernice, Simone; Franceschinis, Giuliana; Pennisi, Marzio | |
| Modeling and Verification of Distributed Systems Using Markov Decision Processes | 1-gen-2015 | Beccuti, Marco; Franceschinis, Giuliana; Sproston, Jeremy | |
| Multiformalism modeling and simulation of immune system mechanisms | 1-gen-2021 | Amparore, E. G.; Beccuti, M.; Castagno, P.; Franceschinis, G.; Pennisi, M.; Pernice, S. | |
| Multiple abstraction levels in performance analysis of WSN monitoring systems | 1-gen-2009 | Beccuti, Marco; CODETTA RAITERI, Daniele; Franceschinis, Giuliana Annamaria | |
| Multiple sclerosis disease: A computational approach for investigating its drug interactions | 1-gen-2020 | Pernice, S.; Beccuti, M.; Romano, G.; Pennisi, M.; Maglione, A.; Cutrupi, S.; Pappalardo, F.; Capra, L.; Franceschinis, G.; De Pierro, M.; Balbo, G.; Cordero, F.; Calogero, R. | |
| Non deterministic Repairable Fault Trees for computing optimal repair strategy | 1-gen-2008 | Beccuti, Marco; Franceschinis, Giuliana Annamaria; CODETTA RAITERI, Daniele; Haddad, S. | |
| Quantification of dependencies in electrical and information infrastructures: The crutial approach | 1-gen-2009 | Beccuti, M.; Franceschinis, G.; Donatelli, S.; Chiaradonna, S.; Di Giandomenico, F.; Lollini, P.; Dondossola, G.; Garrone, F. |