IRIS
FRANCESCHINIS, Giuliana Annamaria
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.358
EU - Europa 4.270
AS - Asia 2.608
SA - Sud America 462
Continente sconosciuto - Info sul continente non disponibili 120
AF - Africa 86
OC - Oceania 9
Totale 12.913
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.211
RU - Federazione Russa 1.018
SG - Singapore 888
IE - Irlanda 762
IT - Italia 650
CN - Cina 625
DE - Germania 459
SE - Svezia 445
BR - Brasile 359
VN - Vietnam 355
UA - Ucraina 332
HK - Hong Kong 320
FI - Finlandia 203
FR - Francia 178
IN - India 135
GB - Regno Unito 107
CA - Canada 71
BD - Bangladesh 47
KR - Corea 46
AR - Argentina 44
ZA - Sudafrica 33
ID - Indonesia 31
MX - Messico 30
TR - Turchia 29
JP - Giappone 24
IQ - Iraq 23
BJ - Benin 19
BE - Belgio 17
EC - Ecuador 17
NL - Olanda 17
ES - Italia 16
PL - Polonia 15
IR - Iran 12
PK - Pakistan 12
EU - Europa 11
CL - Cile 10
SA - Arabia Saudita 10
VE - Venezuela 10
AT - Austria 9
CO - Colombia 9
LT - Lituania 9
CR - Costa Rica 8
RO - Romania 8
AU - Australia 7
MA - Marocco 7
EG - Egitto 6
GT - Guatemala 6
HN - Honduras 6
PH - Filippine 6
TT - Trinidad e Tobago 6
UZ - Uzbekistan 6
NI - Nicaragua 5
PY - Paraguay 5
CH - Svizzera 4
DZ - Algeria 4
GR - Grecia 4
JM - Giamaica 4
KE - Kenya 4
MY - Malesia 4
TH - Thailandia 4
AE - Emirati Arabi Uniti 3
AL - Albania 3
CW - ???statistics.table.value.countryCode.CW??? 3
DK - Danimarca 3
ET - Etiopia 3
IL - Israele 3
NO - Norvegia 3
NP - Nepal 3
OM - Oman 3
PE - Perù 3
QA - Qatar 3
TN - Tunisia 3
UY - Uruguay 3
AM - Armenia 2
AZ - Azerbaigian 2
BF - Burkina Faso 2
CY - Cipro 2
DO - Repubblica Dominicana 2
GP - Guadalupe 2
KZ - Kazakistan 2
LU - Lussemburgo 2
MV - Maldive 2
NZ - Nuova Zelanda 2
SI - Slovenia 2
SN - Senegal 2
SV - El Salvador 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BG - Bulgaria 1
BZ - Belize 1
CI - Costa d'Avorio 1
GD - Grenada 1
GF - Guiana Francese 1
GY - Guiana 1
HR - Croazia 1
JO - Giordania 1
LB - Libano 1
LC - Santa Lucia 1
LK - Sri Lanka 1
LV - Lettonia 1
ML - Mali 1
Totale 12.801
Salva come PNG Salva come JPEG
Città #
San Jose 1.174
Dublin 762
Jacksonville 544
Hong Kong 316
Singapore 312
Council Bluffs 288
Dearborn 288
Ashburn 268
Wilmington 235
Beijing 192
Moscow 141
Chandler 137
Ann Arbor 136
Ho Chi Minh City 124
Lawrence 106
Princeton 106
Lauterbourg 104
Staranzano 99
Los Angeles 94
Andover 83
San Mateo 81
Hanoi 69
Bremen 63
Buffalo 62
Columbus 61
Piemonte 60
Turin 56
Santa Clara 55
New York 50
Munich 47
Novara 44
Phoenix 39
Milan 38
Seoul 38
São Paulo 35
Orem 33
Denver 31
Atlanta 25
Dallas 25
Toronto 24
Boardman 23
Chicago 23
Helsinki 23
Frankfurt am Main 22
Chennai 21
Rome 20
Cotonou 19
Hefei 19
Houston 19
Redondo Beach 19
Tokyo 19
Woodbridge 19
Brooklyn 18
Nanjing 18
Brussels 17
Haiphong 17
Kunming 17
Montreal 17
Dong Ket 16
Johannesburg 16
Carmagnola 14
Da Nang 14
Fairfield 14
Jakarta 14
Rio de Janeiro 14
Stockholm 14
Baldissero Torinese 13
Grafing 13
Kocaeli 13
North Bergen 13
Poplar 13
Vercelli 13
Warsaw 13
London 12
Amsterdam 11
Hangzhou 11
Philadelphia 11
San Francisco 11
Tianjin 11
Belo Horizonte 10
Guangzhou 10
Turku 10
Baghdad 9
St Louis 9
Boston 8
Horia 8
Manchester 8
Norwalk 8
Queens 8
Quito 8
Biên Hòa 7
Bologna 7
Cape Town 7
Charlotte 7
College Park 7
Collegno 7
Falkenstein 7
Fullerton 7
Guarulhos 7
Kyiv 7
Totale 7.235
Salva come PNG Salva come JPEG
Nome #
Analysis and Detection of Cyber Attack Processes targeting Smart Grids 282
SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures 271
A Modular Infrastructure for the Validation of Cyberattack Detection Systems 252
Analisi e rilevamento intelligente di processi di attacco alle Smart-Grid 246
A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems 240
Rilevamento di anomalie ed intrusion detection in architetture ICT di sistemi di controllo energetico 217
Risk Assessment Models in Hydroelectric Plants 187
30 years of greatSPN 174
Evidence-Based Analysis of Cyber Attacks to Security Monitored Distributed Energy Resources 162
A Symbolic Reachability Graph for Coloured Petri Nets 157
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding 153
E-learning e alta formazione in medicina dei disastri: l’esperienza dello European Master in Disaster Medicine 151
Efficient lumpability check in partially symmetric systems 145
Non deterministic Repairable Fault Trees for computing optimal repair strategy 144
Advances in the GINSENG project 144
Computing Structural Properties of Symmetric Nets 144
A low – cost virtual reality framework for building cooperative and collaborative exercises 143
A new symbolic approach for network reliability analysis 141
A Hierarchical Approach for Designing Dependable Systems 139
A framework to design and solve Markov Decision Well-formed Net models 138
Markov Decision Petri Nets with Uncertainty 135
Clarifying the Priority Specification of GSPN: Detached Priorities 132
Collaborative virtual environments as research and teaching instruments in the field of emergency and disaster medicine 132
A High Level Language for Structural Relations in Stochastic Well-formed Nets 131
Multiple sclerosis disease: A computational approach for investigating its drug interactions 130
From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models 129
SecuriDN: A Modeling Tool Supporting the Early Detection of Cyberattacks to Smart Energy Systems 128
List of requirements on formalisms and selection of appropriate tools 127
SNexpression: A Symbolic Calculator for Symmetric Net Expressions 125
A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations 123
A tool for the automatic derivation of symbolic ode from symmetric net models 121
Performance Prediction of a Reconfigurable High Voltage Substation Simulator: A Case Study Using SWN 119
An application example of symbolic calculus for SWN structural relations 117
Computing first passage time distributions in Stochastic Well-Formed Nets 116
An introduction to generalized stochastic Petri nets 116
Comparison of Methodologies for the Safety and Dependability Assessment of an Industrial Programmable Logic Controller 115
Parametric Stochastic Well-Formed Nets and Compositional Modelling 114
Collaborative virtual environments as research and teaching instruments in the field of disaster medicine: The "e-DISTRICT CiPro" simulator 113
Understanding Parallel Programs Behaviour through Petri Net Models 111
Expressing and Computing Passage Time Measures of GSPN Models with HASL 109
GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets 108
Sequential application of heterogeneous models for the safety analysis of a control system: a case study 108
A new symbolic approach for network reliability analysis 107
First Passage Time Computation in Tagged GSPN with Queue Places 105
Towards Performance Analysis with Partially Symmetrical SWN 104
RRE, a tool for retrieval of annotated non-coding regions from sequenced eukariotic genomes 104
Multiformalism modeling and simulation of immune system mechanisms 104
Evaluation of Cyberattack Detection Models in Power Grids: Automated Generation of Attack Processes 103
From Symmetric Nets to Differential Equations exploiting Model Symmetries 103
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities 102
Methodologies synthesis 102
Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis 101
Lumping Partially Symmetrical Stochastic Models 101
On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets 101
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras 100
Probe Automata for Passage Time Specification 100
The Draw-Net Modeling System: a framework for the design and the solution of single formalism and multi-formalism models 100
Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools 100
I primi passi di un TLC: l'esperienza dell'Università del Piemonte Orientale 99
Simple O(m logn) Time Markov Chain Lumping 99
Parametric Fault-Tree for the Dependability Analysis of Redundant Systems and its High Level Petri Net Semantics 98
Colored GSPN models and automatic symmetry detection 98
Multi-path continuous media streaming: what are the benefits? 97
Towards a Second Generation of Computer Interpretable Guidelines 97
Multi-level dependability modeling of interdependencies between the electricity and information infrastructures 97
Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets 97
Modeling clinical guidelines through Petri Nets 96
Generalized stochastic Petri nets for the performance evaluation of FMS 96
SWN Client-server composition operators in the OsMoSys framework 95
Modelling with Generalized Stochastic Petri Nets 95
Tagged Generalized Stochastic Petri Nets 94
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms 93
The PSR methodology: integrating hardware and software models 92
Non deterministic Repairable Fault Trees for computing optimal repair strategy 92
Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems 92
Modeling and Verification of Distributed Systems Using Markov Decision Processes 91
Modelling and Analysis of Distributed Software using GSPNs 90
Stochastic Colored Petri Net Models for Rainbow Optical Networks 89
Methods of Incresing Modeling Power for Safety Analysis, Applied to a Turbin Digital Control System 89
MDWNsolver: A Framework to Design and Solve Markov Decision Petri Nets 88
Modelli e tecnologie della formazione in rete 88
The GreatSPN tool: recent enhancements 87
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets 86
Special Issue with selected papers from the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency 85
Multiple abstraction levels in performance analysis of WSN monitoring systems 85
Computing bounds for the performance indices of quasi-lumpable Stochastic Well-Formed Nets 85
Stochastic Well-Formed coloured nets and multiprocessor modelling applications 84
SWN models of a contact center: a case study 84
Dependability assessment of an industrial programmable logic controller via parametric fault-tree and high level Petri net 84
Efficient Analysis Algorithms for Parametric Fault Trees 84
Efficient Simulation of Stochastic Well-formed Nets Through Symmetry Exploitation 84
Repairable Fault Tree for the automatic evaluation of repair policies 83
Transactions on Petri Nets and Other Models of Concurrency VI 83
Quantification of Dependencies between Electrical and Information Infrastructures 82
Stochastic Well-Formed Coloured Nets for Symmetric Modelling Applications 81
Parametric NdRFT for the derivation of optimal repair strategies 79
Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid 79
Dynamic Bayesian Networks for the Detection and Analysis of Cyber Attacks to Power Systems 77
System Level Dependability Analysis 77
Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets 76
Totale 11.653
Salva come PNG Salva come JPEG
Categoria #
all - tutte 61.799
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 61.799
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022572 0 0 0 71 42 5 98 11 46 30 113 156
2022/20231.571 121 69 97 47 130 120 24 105 766 11 48 33
2023/2024525 43 42 49 18 87 0 131 21 13 10 40 71
2024/20251.357 30 41 111 46 33 129 95 68 340 175 60 229
2025/20264.509 173 143 352 652 380 264 765 705 294 302 259 220
2026/20271.739 544 486 385 324 0 0 0 0 0 0 0 0
Totale 12.913