Sfoglia per Autore
From compositional Petri Net modeling to macro and micro simulation by means of Stochastic Simulation and Agent-Based models
2023-01-01 Amparore, Elvio; Beccuti, Marco; Castagno, Paolo; Pernice, Simone; Franceschinis, Giuliana; Pennisi, Marzio
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
General Composition for Symmetric Net Arc Functions with Applications
2021-01-01 Capra, Lorenzo; De Pierro, Massimiliano; Franceschinis, Giuliana Annamaria
Editorial: Valuetools 2019
2021-01-01 Franceschinis, G. A.; Prabhu, B. J.; Touati, M.
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.
Multiformalism modeling and simulation of immune system mechanisms
2021-01-01 Amparore, E. G.; Beccuti, M.; Castagno, P.; Franceschinis, G.; Pennisi, M.; Pernice, S.
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.
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.
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
Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools
2019-01-01 Franceschinis, Giuliana Annamaria; Prabhu, Balakrishna; Touati, Mikael
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.
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 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.
From Symmetric Nets to Differential Equations exploiting Model Symmetries
2015-01-01 M., Beccuti; C., Fornari; Franceschinis, Giuliana Annamaria; S. M., Halawani; O., Ba Rukab; A. R., Ahmad; G., Balbo
Computing Structural Properties of Symmetric Nets
2015-01-01 Capra, Lorenzo; DE PIERRO, Massimiliano; Franceschinis, Giuliana Annamaria
Modeling and Verification of Distributed Systems Using Markov Decision Processes
2015-01-01 Beccuti, Marco; Franceschinis, Giuliana; Sproston, Jeremy
| 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-2023 | Amparore, Elvio; Beccuti, Marco; Castagno, Paolo; Pernice, Simone; Franceschinis, Giuliana; Pennisi, Marzio | |
| 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 | |
| General Composition for Symmetric Net Arc Functions with Applications | 1-gen-2021 | Capra, Lorenzo; De Pierro, Massimiliano; Franceschinis, Giuliana Annamaria | |
| Editorial: Valuetools 2019 | 1-gen-2021 | Franceschinis, G. A.; Prabhu, B. J.; Touati, M. | |
| 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. | |
| Multiformalism modeling and simulation of immune system mechanisms | 1-gen-2021 | Amparore, E. G.; Beccuti, M.; Castagno, P.; Franceschinis, G.; Pennisi, M.; Pernice, S. | |
| 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. | |
| 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. | |
| 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 | |
| Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools | 1-gen-2019 | Franceschinis, Giuliana Annamaria; Prabhu, Balakrishna; Touati, Mikael | |
| 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. | |
| 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 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. | |
| From Symmetric Nets to Differential Equations exploiting Model Symmetries | 1-gen-2015 | M., Beccuti; C., Fornari; Franceschinis, Giuliana Annamaria; S. M., Halawani; O., Ba Rukab; A. R., Ahmad; G., Balbo | |
| Computing Structural Properties of Symmetric Nets | 1-gen-2015 | Capra, Lorenzo; DE PIERRO, Massimiliano; Franceschinis, Giuliana Annamaria | |
| Modeling and Verification of Distributed Systems Using Markov Decision Processes | 1-gen-2015 | Beccuti, Marco; Franceschinis, Giuliana; Sproston, Jeremy |
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