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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022695 0 4 119 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/2027968 544 424 0 0 0 0 0 0 0 0 0 0
Totale 12.142