IRIS
FRANCESCHINIS, Giuliana Annamaria
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.536
NA - Nord America 2.266
AS - Asia 691
Continente sconosciuto - Info sul continente non disponibili 12
OC - Oceania 5
SA - Sud America 4
Totale 5.514
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.249
IE - Irlanda 761
SE - Svezia 430
DE - Germania 379
IT - Italia 354
UA - Ucraina 302
CN - Cina 234
FI - Finlandia 190
SG - Singapore 170
HK - Hong Kong 134
IN - India 91
FR - Francia 35
GB - Regno Unito 34
TR - Turchia 17
BE - Belgio 16
CA - Canada 16
VN - Vietnam 16
IR - Iran 12
EU - Europa 11
RO - Romania 8
NL - Olanda 5
GR - Grecia 4
PK - Pakistan 4
RU - Federazione Russa 4
AU - Australia 3
BR - Brasile 3
LT - Lituania 3
SA - Arabia Saudita 3
BD - Bangladesh 2
DK - Danimarca 2
ES - Italia 2
JP - Giappone 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
MY - Malesia 1
PL - Polonia 1
SI - Slovenia 1
Totale 5.514
Salva come PNG Salva come JPEG
Città #
Dublin 761
Jacksonville 540
Dearborn 288
Wilmington 235
Chandler 137
Ann Arbor 136
Hong Kong 133
Singapore 119
Lawrence 106
Princeton 106
Andover 83
Beijing 83
San Mateo 81
Bremen 63
Piemonte 60
Ashburn 46
Turin 28
Boardman 23
Helsinki 20
Milan 20
Munich 19
Hefei 17
Kunming 17
Woodbridge 17
Brussels 16
Dong Ket 16
Nanjing 15
Carmagnola 14
Fairfield 14
Grafing 13
Houston 13
Kocaeli 13
Novara 13
Toronto 11
Santa Clara 9
Horia 8
Norwalk 8
Vercelli 8
Brooklyn 7
Fullerton 7
Rivoli 7
Strasbourg 7
Bologna 6
College Park 6
Collegno 6
Hebei 6
Morgantown 6
Nanchang 6
Philadelphia 6
Torino 6
Anzio 5
Guangzhou 5
Jinan 5
Noicattaro 5
Novi Ligure 5
Rome 5
Wenzhou 5
Xian 5
Zanjan 5
Cambridge 4
Chieri 4
Florence 4
London 4
Ottawa 4
Pescara 4
Shenyang 4
Wuhan 4
Angri 3
Asti 3
Atlanta 3
Bushey 3
Castellazzo Bormida 3
Dalmine 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
Falkenstein 2
Frontone 2
Hangzhou 2
Imola 2
Totale 3.541
Salva come PNG Salva come JPEG
Nome #
A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems 141
Analysis and Detection of Cyber Attack Processes targeting Smart Grids 107
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding 90
A Symbolic Reachability Graph for Coloured Petri Nets 84
Analisi e rilevamento intelligente di processi di attacco alle Smart-Grid 84
30 years of greatSPN 83
Computing Structural Properties of Symmetric Nets 81
Markov Decision Petri Nets with Uncertainty 78
Clarifying the Priority Specification of GSPN: Detached Priorities 77
Advances in the GINSENG project 73
Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools 71
Understanding Parallel Programs Behaviour through Petri Net Models 70
Parametric Stochastic Well-Formed Nets and Compositional Modelling 68
A Hierarchical Approach for Designing Dependable Systems 68
GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets 67
Towards Performance Analysis with Partially Symmetrical SWN 67
Computing first passage time distributions in Stochastic Well-Formed Nets 67
A low – cost virtual reality framework for building cooperative and collaborative exercises 66
E-learning e alta formazione in medicina dei disastri: l’esperienza dello European Master in Disaster Medicine 64
A new symbolic approach for network reliability analysis 62
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras 61
A High Level Language for Structural Relations in Stochastic Well-formed Nets 61
Evidence-Based Analysis of Cyber Attacks to Security Monitored Distributed Energy Resources 61
Modelling and Analysis of Distributed Software using GSPNs 60
Comparison of Methodologies for the Safety and Dependability Assessment of an Industrial Programmable Logic Controller 60
A new symbolic approach for network reliability analysis 60
Stochastic Colored Petri Net Models for Rainbow Optical Networks 58
First Passage Time Computation in Tagged GSPN with Queue Places 58
A framework to design and solve Markov Decision Well-formed Net models 58
Rilevamento di anomalie ed intrusion detection in architetture ICT di sistemi di controllo energetico 57
The GreatSPN tool: recent enhancements 56
Stochastic Well-Formed coloured nets and multiprocessor modelling applications 55
SWN models of a contact center: a case study 55
Non deterministic Repairable Fault Trees for computing optimal repair strategy 55
Modeling clinical guidelines through Petri Nets 55
The PSR methodology: integrating hardware and software models 54
List of requirements on formalisms and selection of appropriate tools 54
SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures 54
A Modular Infrastructure for the Validation of Cyberattack Detection Systems 53
Towards a Second Generation of Computer Interpretable Guidelines 53
From Symmetric Nets to Differential Equations exploiting Model Symmetries 52
Performance Prediction of a Reconfigurable High Voltage Substation Simulator: A Case Study Using SWN 51
MDWNsolver: A Framework to Design and Solve Markov Decision Petri Nets 51
Collaborative virtual environments as research and teaching instruments in the field of emergency and disaster medicine 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
Computing bounds for the performance indices of quasi-lumpable Stochastic Well-Formed Nets 50
SNexpression: A Symbolic Calculator for Symmetric Net Expressions 50
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 disaster medicine: The "e-DISTRICT CiPro" simulator 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
An application example of symbolic calculus for SWN structural relations 47
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
A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations 46
Probe Automata for Passage Time Specification 45
RRE, a tool for retrieval of annotated non-coding regions from sequenced eukariotic genomes 45
Compositional modeling of complex systems: contact center scenarios in OsMoSys 45
Simple O(m logn) Time Markov Chain Lumping 45
Stochastic Well-Formed Coloured Nets for Symmetric Modelling Applications 45
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets 44
A tool for the automatic derivation of symbolic ode from symmetric net models 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
Repairable Fault Tree for the automatic evaluation of repair policies 42
Multiple abstraction levels in performance analysis of WSN monitoring systems 41
New solvers for asymmetric systems in GreatSPN 41
An introduction to generalized stochastic Petri nets 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
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
Modelling with Generalized Stochastic Petri Nets 36
Stochastic Petri Net Sensitivity to token scheduling policies 35
Exploiting Partial Symmetries for Markov Chain Aggregation 35
Generalized stochastic Petri nets for the performance evaluation of FMS 34
Totale 5.289
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.741
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 32.741
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020821 0 0 0 0 0 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/2025296 30 41 111 46 33 35 0 0 0 0 0 0
Totale 5.604