IRIS
FRANCESCHINIS, Giuliana Annamaria
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.506
NA - Nord America 2.247
AS - Asia 628
Continente sconosciuto - Info sul continente non disponibili 12
OC - Oceania 5
SA - Sud America 4
Totale 5.402
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.237
IE - Irlanda 761
SE - Svezia 430
DE - Germania 376
IT - Italia 334
UA - Ucraina 302
CN - Cina 213
FI - Finlandia 190
HK - Hong Kong 133
SG - Singapore 132
IN - India 91
FR - Francia 35
GB - Regno Unito 32
TR - Turchia 16
VN - Vietnam 16
BE - Belgio 15
IR - Iran 12
EU - Europa 11
CA - Canada 9
RO - Romania 8
GR - Grecia 4
NL - Olanda 4
PK - Pakistan 4
RU - Federazione Russa 4
AU - Australia 3
BR - Brasile 3
SA - Arabia Saudita 3
BD - Bangladesh 2
ES - Italia 2
LU - Lussemburgo 2
MV - Maldive 2
NO - Norvegia 2
NZ - Nuova Zelanda 2
TH - Thailandia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AM - Armenia 1
CH - Svizzera 1
CO - Colombia 1
CR - Costa Rica 1
DK - Danimarca 1
LT - Lituania 1
MY - Malesia 1
PL - Polonia 1
SI - Slovenia 1
Totale 5.402
Salva come PNG Salva come JPEG
Città #
Dublin 761
Jacksonville 540
Dearborn 288
Wilmington 235
Chandler 137
Ann Arbor 136
Hong Kong 132
Lawrence 106
Princeton 106
Andover 83
Beijing 83
Singapore 82
San Mateo 81
Bremen 63
Piemonte 60
Ashburn 46
Turin 27
Boardman 23
Helsinki 20
Milan 19
Munich 19
Hefei 17
Kunming 17
Woodbridge 17
Dong Ket 16
Brussels 15
Nanjing 15
Carmagnola 14
Fairfield 14
Grafing 13
Houston 13
Kocaeli 13
Novara 13
Santa Clara 9
Horia 8
Norwalk 8
Brooklyn 7
Fullerton 7
Rivoli 7
Strasbourg 7
Toronto 7
Bologna 6
Collegno 6
Hebei 6
Morgantown 6
Nanchang 6
Philadelphia 6
Torino 6
Anzio 5
College Park 5
Guangzhou 5
Jinan 5
Noicattaro 5
Novi Ligure 5
Rome 5
Vercelli 5
Wenzhou 5
Xian 5
Zanjan 5
Cambridge 4
Pescara 4
Shenyang 4
Wuhan 4
Angri 3
Asti 3
Atlanta 3
Bushey 3
Castellazzo Bormida 3
Des Moines 3
Düsseldorf 3
Fuzhou 3
San Diego 3
Seattle 3
Sydney 3
Zhengzhou 3
Alba 2
Albignasego 2
Alcamo 2
Altamura 2
Amsterdam 2
Arona 2
Athens 2
Auckland 2
Bangkok 2
Belfast 2
Berlin 2
Buti 2
Chaoyang 2
Chongqing 2
Dallas 2
Delft 2
Frontone 2
Hangzhou 2
Imola 2
Islamabad 2
Istanbul 2
Leawood 2
London 2
Luxembourg 2
Male 2
Totale 3.483
Salva come PNG Salva come JPEG
Nome #
A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems 135
Analysis and Detection of Cyber Attack Processes targeting Smart Grids 104
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding 90
Analisi e rilevamento intelligente di processi di attacco alle Smart-Grid 82
30 years of greatSPN 81
Computing Structural Properties of Symmetric Nets 81
A Symbolic Reachability Graph for Coloured Petri Nets 80
Markov Decision Petri Nets with Uncertainty 78
Clarifying the Priority Specification of GSPN: Detached Priorities 74
Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools 71
Advances in the GINSENG project 70
Understanding Parallel Programs Behaviour through Petri Net Models 68
Parametric Stochastic Well-Formed Nets and Compositional Modelling 68
GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets 66
Towards Performance Analysis with Partially Symmetrical SWN 66
Computing first passage time distributions in Stochastic Well-Formed Nets 66
A Hierarchical Approach for Designing Dependable Systems 65
E-learning e alta formazione in medicina dei disastri: l’esperienza dello European Master in Disaster Medicine 64
A low – cost virtual reality framework for building cooperative and collaborative exercises 63
Modelling and Analysis of Distributed Software using GSPNs 60
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras 60
Comparison of Methodologies for the Safety and Dependability Assessment of an Industrial Programmable Logic Controller 60
Evidence-Based Analysis of Cyber Attacks to Security Monitored Distributed Energy Resources 59
Stochastic Colored Petri Net Models for Rainbow Optical Networks 58
First Passage Time Computation in Tagged GSPN with Queue Places 58
A High Level Language for Structural Relations in Stochastic Well-formed Nets 58
A new symbolic approach for network reliability analysis 58
A new symbolic approach for network reliability analysis 57
Rilevamento di anomalie ed intrusion detection in architetture ICT di sistemi di controllo energetico 55
The GreatSPN tool: recent enhancements 55
A framework to design and solve Markov Decision Well-formed Net models 55
SWN models of a contact center: a case study 54
Non deterministic Repairable Fault Trees for computing optimal repair strategy 54
Modeling clinical guidelines through Petri Nets 54
The PSR methodology: integrating hardware and software models 53
Stochastic Well-Formed coloured nets and multiprocessor modelling applications 53
List of requirements on formalisms and selection of appropriate tools 53
From Symmetric Nets to Differential Equations exploiting Model Symmetries 52
Towards a Second Generation of Computer Interpretable Guidelines 52
Performance Prediction of a Reconfigurable High Voltage Substation Simulator: A Case Study Using SWN 51
Methods of Incresing Modeling Power for Safety Analysis, Applied to a Turbin Digital Control System 51
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities 50
MDWNsolver: A Framework to Design and Solve Markov Decision Petri Nets 50
Computing bounds for the performance indices of quasi-lumpable Stochastic Well-Formed Nets 50
SNexpression: A Symbolic Calculator for Symmetric Net Expressions 50
A Modular Infrastructure for the Validation of Cyberattack Detection Systems 49
Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets 49
The Draw-Net Modeling System: a framework for the design and the solution of single formalism and multi-formalism models 48
Collaborative virtual environments as research and teaching instruments in the field of emergency and disaster medicine 48
Multi-path continuous media streaming: what are the benefits? 48
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms 48
Multiple sclerosis disease: A computational approach for investigating its drug interactions 48
Proceedings 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency 46
Methodologies synthesis 46
Dependability assessment of an industrial programmable logic controller via parametric fault-tree and high level Petri net 46
Sequential application of heterogeneous models for the safety analysis of a control system: a case study 46
Expressing and Computing Passage Time Measures of GSPN Models with HASL 46
Probe Automata for Passage Time Specification 45
Compositional modeling of complex systems: contact center scenarios in OsMoSys 45
Simple O(m logn) Time Markov Chain Lumping 45
Collaborative virtual environments as research and teaching instruments in the field of disaster medicine: The "e-DISTRICT CiPro" simulator 45
Stochastic Well-Formed Coloured Nets for Symmetric Modelling Applications 45
An application example of symbolic calculus for SWN structural relations 44
RRE, a tool for retrieval of annotated non-coding regions from sequenced eukariotic genomes 44
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets 44
Modelli e tecnologie della formazione in rete 43
Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems 43
Defining formalisms and models in the Draw-Net Modeling System 43
Parametric NdRFT for the derivation of optimal repair strategies 43
Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis 43
Transactions on Petri Nets and Other Models of Concurrency VI 43
Lumping Partially Symmetrical Stochastic Models 43
A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations 43
Repairable Fault Tree for the automatic evaluation of repair policies 42
A tool for the automatic derivation of symbolic ode from symmetric net models 42
SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures 42
Multiple abstraction levels in performance analysis of WSN monitoring systems 41
New solvers for asymmetric systems in GreatSPN 41
Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets 40
System Level Dependability Analysis 40
Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid 40
Parametric Fault-Tree for the Dependability Analysis of Redundant Systems and its High Level Petri Net Semantics 39
Quantification of Dependencies between Electrical and Information Infrastructures 39
An introduction to generalized stochastic Petri nets 39
The Osmosys approach to multi-formalism modeling of systems 38
Non deterministic Repairable Fault Trees for computing optimal repair strategy 38
Efficient Analysis Algorithms for Parametric Fault Trees 38
On the Computation of Performance Characteristics of Concurrent Programs using GSPNs 38
Efficient Simulation of Stochastic Well-formed Nets Through Symmetry Exploitation 38
Modeling and Verification of Distributed Systems Using Markov Decision Processes 38
SWN Client-server composition operators in the OsMoSys framework 37
Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models 37
Special Issue with selected papers from the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency 37
Exploiting Petri Nets to support Fault Tree based dependability analysis 37
Efficient lumpability check in partially symmetric systems 36
Multi-level dependability modeling of interdependencies between the electricity and information infrastructures 36
Stochastic Petri Net Sensitivity to token scheduling policies 35
Exploiting Partial Symmetries for Markov Chain Aggregation 35
Modelling with Generalized Stochastic Petri Nets 35
Generalized stochastic Petri nets for the performance evaluation of FMS 34
Totale 5.193
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.051
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 30.051
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.025 0 0 0 10 194 184 242 61 121 110 101 2
2020/2021799 99 6 102 14 77 27 109 32 155 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/2025184 30 41 111 2 0 0 0 0 0 0 0 0
Totale 5.492