Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 109
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
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.
Editorial: Valuetools 2019 1-gen-2021 Franceschinis, G. A.; Prabhu, B. J.; Touati, M.
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.
SNexpression: A Symbolic Calculator for Symmetric Net Expressions 1-gen-2020 Capra, L.; De Pierro, M.; Franceschinis, G.
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.
Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools 1-gen-2019 Franceschinis, Giuliana Annamaria; Prabhu, Balakrishna; Touati, Mikael
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
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
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.
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
Markov Decision Petri Nets with Uncertainty 1-gen-2015 Beccuti, Marco; Amparore, Elvio G.; Donatelli, Susanna; Scheftelowitsch, Dimitri; Buchholz, Peter; Franceschinis, Giuliana Annamaria
Mostrati risultati da 1 a 20 di 109
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