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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021178 0 0 0 0 0 0 0 0 0 27 115 36
2021/2022715 20 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/20263.949 173 143 352 652 380 264 765 705 294 221 0 0
Totale 10.614