IRIS

FRANCESCHINIS, Giuliana Annamaria

FRANCESCHINIS, Giuliana Annamaria  

Dipartimento di Scienze e Innovazione Tecnologica  

Mostra records
Risultati 1 - 20 di 113 (tempo di esecuzione: 0.024 secondi).
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 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 framework to design and solve Markov Decision Well-formed Net models 1-gen-2007 Beccuti, M.; CODETTA RAITERI, Daniele; Franceschinis, Giuliana Annamaria; Haddad, S.
A Hierarchical Approach for Designing Dependable Systems 1-gen-2002 M., SONZA REORDA; M., Violante; N., Mazzocca; S., Venticinque; Franceschinis, Giuliana Annamaria; Bobbio, Andrea
A High Level Language for Structural Relations in Stochastic Well-formed Nets 1-gen-2005 Capra, L.; DE PIERRO, M.; Franceschinis, Giuliana Annamaria
A low – cost virtual reality framework for building cooperative and collaborative exercises 1-gen-2004 M., Gribaudo; F., LA MURA; A., LIVIO BECCARIA; Franceschinis, Giuliana Annamaria; DELLA CORTE, Francesco
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
A new symbolic approach for network reliability analysis 1-gen-2012 Beccuti, Marco; Bobbio, Andrea; Franceschinis, Giuliana Annamaria; Terruggia, Roberta
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 Symbolic Reachability Graph for Coloured Petri Nets 1-gen-1997 G., Chiola; C., Dutheillet; Franceschinis, Giuliana Annamaria; S., Haddad
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.
Advances in the GINSENG project 1-gen-2014 Terenziani, Paolo; Bottrighi, Alessio; Giordano, Laura; Franceschinis, Giuliana Annamaria; Montani, Stefania; Piovesan, Luca; Portinale, Luigi; S., Rubrichi; M., Spiotta; THESEIDER DUPRE', Daniele
An application example of symbolic calculus for SWN structural relations 1-gen-2004 Capra, L.; DE PIERRO, M.; Franceschinis, Giuliana Annamaria
An introduction to generalized stochastic Petri nets 1-gen-1991 Ajmone Marsan, M.; Balbo, G.; Chiola, G.; Conte, G.; Donatelli, S.; 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.
Clarifying the Priority Specification of GSPN: Detached Priorities 1-gen-1999 E., Teruel; Franceschinis, Giuliana Annamaria; M., DE PIERRO
Collaborative virtual environments as research and teaching instruments in the field of disaster medicine: The "e-DISTRICT CiPro" simulator 1-gen-2007 La Mura, F; DELLA CORTE, Francesco; Gribaudo, M; Tosi, B; Alciati, S; Bordino, R; Franceschinis, Giuliana Annamaria
Collaborative virtual environments as research and teaching instruments in the field of emergency and disaster medicine 1-gen-2007 F., LA MURA; Franceschinis, Giuliana Annamaria; DELLA CORTE, Francesco