Sfoglia per Autore
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
Exploiting Structural Dependency Relations for Efficient Agent Based Model Simulation
2023-01-01 Pennisi, Marzio; Amparore, Elvio G.; Franceschinis, Giuliana
A Modular Infrastructure for the Validation of Cyberattack Detection Systems
2023-01-01 Cerotti, Davide; CODETTA RAITERI, Daniele; Dondossola, Giovanna; Egidi, Lavinia; Franceschinis, Giuliana; Portinale, Luigi; Terruggia, Roberta
Rilevamento di anomalie ed intrusion detection in architetture ICT di sistemi di controllo energetico
2022-01-01 Cerotti, Davide; CODETTA RAITERI, Daniele; Dondossola, Giovanna; Egidi, Lavinia; Franceschinis, Giuliana Annamaria; Portinale, Luigi; Terruggia, Roberta
Special issue on the Workshop on TOols for Stochastic Modeling and Evaluation (TOSME 2021)
2022-01-01 Donatelli, S.; Franceschinis, G.
Editorial: Valuetools 2019
2021-01-01 Franceschinis, G. A.; Prabhu, B. J.; Touati, M.
Multiformalism modeling and simulation of immune system mechanisms
2021-01-01 Amparore, E. G.; Beccuti, M.; Castagno, P.; Franceschinis, G.; Pennisi, M.; Pernice, S.
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.
General Composition for Symmetric Net Arc Functions with Applications
2021-01-01 Capra, Lorenzo; De Pierro, Massimiliano; 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.
Evidence-Based Analysis of Cyber Attacks to Security Monitored Distributed Energy Resources
2020-01-01 Cerotti, D.; Codetta Raiteri, D.; Dondossola, G.; Egidi, L.; Franceschinis, G.; Portinale, L.; Terruggia, R.
SNexpression: A Symbolic Calculator for Symmetric Net Expressions
2020-01-01 Capra, L.; De Pierro, M.; Franceschinis, G.
Analisi e rilevamento intelligente di processi di attacco alle Smart-Grid
2019-01-01 Cerotti, Davide; CODETTA RAITERI, Daniele; Dondossola, Giovanna; Egidi, Lavinia; Franceschinis, Giuliana Annamaria; Portinale, Luigi; Terruggia, Roberta
Analysis and Detection of Cyber Attack Processes targeting Smart Grids
2019-01-01 Cerotti, D.; Codetta-Raiteri, D.; Egidi, L.; Franceschinis, G.; Portinale, L.; Dondossola, G.; Terruggia, R.
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.
Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools
2019-01-01 Franceschinis, Giuliana Annamaria; Prabhu, Balakrishna; Touati, Mikael
A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems
2019-01-01 Cerotti, Davide; CODETTA RAITERI, Daniele; Dondossola, Giovanna; Egidi, Lavinia; Franceschinis, Giuliana; Portinale, Luigi; Terruggia, Roberta
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
30 years of greatSPN
2016-01-01 Amparore, E. G.; Balbo, G.; Beccuti, M.; Donatelli, S.; Franceschinis, G.
Markov Decision Petri Nets with Uncertainty
2015-01-01 Beccuti, Marco; Amparore, Elvio G.; Donatelli, Susanna; Scheftelowitsch, Dimitri; Buchholz, Peter; Franceschinis, Giuliana Annamaria
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| Exploiting Structural Dependency Relations for Efficient Agent Based Model Simulation | 1-gen-2023 | Pennisi, Marzio; Amparore, Elvio G.; Franceschinis, Giuliana | |
| A Modular Infrastructure for the Validation of Cyberattack Detection Systems | 1-gen-2023 | Cerotti, Davide; CODETTA RAITERI, Daniele; Dondossola, Giovanna; Egidi, Lavinia; Franceschinis, Giuliana; Portinale, Luigi; Terruggia, Roberta | |
| Rilevamento di anomalie ed intrusion detection in architetture ICT di sistemi di controllo energetico | 1-gen-2022 | Cerotti, Davide; CODETTA RAITERI, Daniele; Dondossola, Giovanna; Egidi, Lavinia; Franceschinis, Giuliana Annamaria; Portinale, Luigi; Terruggia, Roberta | |
| Special issue on the Workshop on TOols for Stochastic Modeling and Evaluation (TOSME 2021) | 1-gen-2022 | Donatelli, S.; Franceschinis, G. | |
| Editorial: Valuetools 2019 | 1-gen-2021 | Franceschinis, G. A.; Prabhu, B. J.; Touati, M. | |
| Multiformalism modeling and simulation of immune system mechanisms | 1-gen-2021 | Amparore, E. G.; Beccuti, M.; Castagno, P.; Franceschinis, G.; Pennisi, M.; Pernice, S. | |
| 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. | |
| General Composition for Symmetric Net Arc Functions with Applications | 1-gen-2021 | Capra, Lorenzo; De Pierro, Massimiliano; 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. | |
| Evidence-Based Analysis of Cyber Attacks to Security Monitored Distributed Energy Resources | 1-gen-2020 | Cerotti, D.; Codetta Raiteri, D.; Dondossola, G.; Egidi, L.; Franceschinis, G.; Portinale, L.; Terruggia, R. | |
| SNexpression: A Symbolic Calculator for Symmetric Net Expressions | 1-gen-2020 | Capra, L.; De Pierro, M.; Franceschinis, G. | |
| Analisi e rilevamento intelligente di processi di attacco alle Smart-Grid | 1-gen-2019 | Cerotti, Davide; CODETTA RAITERI, Daniele; Dondossola, Giovanna; Egidi, Lavinia; Franceschinis, Giuliana Annamaria; Portinale, Luigi; Terruggia, Roberta | |
| Analysis and Detection of Cyber Attack Processes targeting Smart Grids | 1-gen-2019 | Cerotti, D.; Codetta-Raiteri, D.; Egidi, L.; Franceschinis, G.; Portinale, L.; Dondossola, G.; Terruggia, R. | |
| 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. | |
| Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools | 1-gen-2019 | Franceschinis, Giuliana Annamaria; Prabhu, Balakrishna; Touati, Mikael | |
| A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems | 1-gen-2019 | Cerotti, Davide; CODETTA RAITERI, Daniele; Dondossola, Giovanna; Egidi, Lavinia; Franceschinis, Giuliana; Portinale, Luigi; Terruggia, Roberta | |
| 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 | |
| 30 years of greatSPN | 1-gen-2016 | Amparore, E. G.; Balbo, G.; Beccuti, M.; Donatelli, S.; Franceschinis, G. | |
| Markov Decision Petri Nets with Uncertainty | 1-gen-2015 | Beccuti, Marco; Amparore, Elvio G.; Donatelli, Susanna; Scheftelowitsch, Dimitri; Buchholz, Peter; Franceschinis, Giuliana Annamaria |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile