IRIS
VITTORINI, VALERIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.650
AS - Asia 4.353
EU - Europa 3.670
SA - Sud America 660
Continente sconosciuto - Info sul continente non disponibili 209
AF - Africa 100
OC - Oceania 7
Totale 13.649
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.457
SG - Singapore 2.108
RU - Federazione Russa 1.302
IT - Italia 1.128
CN - Cina 793
VN - Vietnam 705
BR - Brasile 531
UA - Ucraina 293
HK - Hong Kong 259
DE - Germania 225
FR - Francia 164
FI - Finlandia 153
CA - Canada 114
GB - Regno Unito 83
SE - Svezia 82
IE - Irlanda 76
IN - India 67
JP - Giappone 67
BD - Bangladesh 66
AR - Argentina 47
MX - Messico 42
ID - Indonesia 38
TH - Thailandia 36
NL - Olanda 33
IQ - Iraq 29
CI - Costa d'Avorio 26
ES - Italia 26
TR - Turchia 24
PH - Filippine 23
KR - Corea 21
PL - Polonia 21
ZA - Sudafrica 18
EC - Ecuador 17
BG - Bulgaria 15
CO - Colombia 15
IL - Israele 15
PK - Pakistan 15
VE - Venezuela 15
CL - Cile 14
AT - Austria 13
MY - Malesia 13
UZ - Uzbekistan 13
MA - Marocco 11
KE - Kenya 9
AE - Emirati Arabi Uniti 8
CR - Costa Rica 8
IR - Iran 8
PE - Perù 8
BE - Belgio 7
PY - Paraguay 7
RO - Romania 7
CZ - Repubblica Ceca 6
JM - Giamaica 6
LT - Lituania 6
NG - Nigeria 6
SA - Arabia Saudita 6
TW - Taiwan 6
DO - Repubblica Dominicana 5
EG - Egitto 5
LB - Libano 5
NI - Nicaragua 5
NP - Nepal 5
TN - Tunisia 5
UY - Uruguay 5
BY - Bielorussia 4
ET - Etiopia 4
AL - Albania 3
AU - Australia 3
AZ - Azerbaigian 3
BA - Bosnia-Erzegovina 3
HN - Honduras 3
HR - Croazia 3
JO - Giordania 3
PT - Portogallo 3
SV - El Salvador 3
AO - Angola 2
BH - Bahrain 2
CY - Cipro 2
DK - Danimarca 2
GA - Gabon 2
GE - Georgia 2
MK - Macedonia 2
ML - Mali 2
NO - Norvegia 2
OM - Oman 2
PA - Panama 2
PF - Polinesia Francese 2
RS - Serbia 2
SK - Slovacchia (Repubblica Slovacca) 2
TL - Timor Orientale 2
AG - Antigua e Barbuda 1
AM - Armenia 1
BB - Barbados 1
BF - Burkina Faso 1
BO - Bolivia 1
CH - Svizzera 1
DZ - Algeria 1
EU - Europa 1
GR - Grecia 1
GT - Guatemala 1
Totale 13.421
Salva come PNG Salva come JPEG
Città #
Singapore 1.004
San Jose 696
Chandler 439
Moscow 327
Jacksonville 293
Ashburn 286
Hong Kong 242
Santa Clara 230
Beijing 214
Ho Chi Minh City 212
The Dalles 179
Naples 176
Hanoi 158
Millbury 140
Lauterbourg 112
Princeton 108
Napoli 102
Hefei 98
Council Bluffs 95
Los Angeles 86
Wilmington 70
Buffalo 67
Nanjing 60
Tokyo 60
Boston 59
Houston 58
Rome 55
New York 49
Ottawa 44
Munich 43
São Paulo 41
Dallas 35
Redondo Beach 35
Milan 34
Da Nang 33
Orem 32
Des Moines 30
Helsinki 30
Nanchang 26
Rio de Janeiro 26
Kronberg 25
Shenyang 24
Haiphong 22
Montreal 22
Bangkok 21
Boardman 20
Brooklyn 20
Chennai 19
Frankfurt am Main 19
Toronto 19
Mexico City 18
Warsaw 18
Woodbridge 18
Chicago 17
Hebei 17
Tianjin 17
Jakarta 16
Seattle 16
Seoul 16
Cagliari 15
Jiaxing 15
Lawrence 15
Sofia 15
London 14
Pisa 14
Biên Hòa 13
Stockholm 13
Phoenix 12
Salerno 12
Turku 12
Baghdad 11
Brasília 11
Nocera Inferiore 11
Norwalk 11
Tashkent 11
Amsterdam 10
Changsha 10
Denver 10
Dhaka 10
Orange 10
Pozzuoli 10
San Francisco 10
Santo André 10
Ann Arbor 9
Giugliano in Campania 9
Guarulhos 9
Hải Dương 9
Lod 9
Mumbai 9
Redwood City 9
Santiago 9
Bacoli 8
Bologna 8
Bắc Giang 8
Falkenstein 8
Guangzhou 8
Kuala Selangor 8
Nairobi 8
Sant'antimo 8
Atlanta 7
Totale 6.876
Salva come PNG Salva come JPEG
Nome #
Dynamic state machines for modelling railway control systems 259
From Dynamic State Machines to Promela 208
A Survey on Audio-Video based Defect Detection through Deep Learning in Railway Maintenance 181
Evaluating the Hazardous Failure Rate of majority voting computer architectures by means of Bayesian Network models 176
Modeling railway control systems in promela 173
GAUSS - Governing Adaptive and Unplanned Systems of Systems 170
Artificial Intelligence in Railway Transport: Taxonomy, Regulations and Applications 162
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance 160
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks 157
Dynamic State Machines for Formalizing Railway Control System Specifications 154
A model-driven process for physical protection system design and vulnerability evaluation 151
A model-driven approach for vulnerability evaluation of modern physical protection systems 151
Trustworthiness evaluation of multi-sensor situation recognition in transit surveillance scenarios 150
Towards AI-assisted digital twins for smart railways: preliminary guideline and reference architecture 148
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS 147
Towards Railway Virtual Coupling 142
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 140
A multiformalism modular approach to ertms/etcs failure modeling 140
A Vision of Intelligent Train Control 138
Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection 136
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis 135
Vulnerability modeling and analysis for critical infrastructure protection applications 134
Integrating AI and DTs: challenges and opportunities in railway maintenance application and beyond 133
Analysis of safe and effective next-generation rail signalling systems 133
TOWARDS AN OBJECT BASED MULTI-FORMALISM MULTI-SOLUTION MODELING APPROACH 133
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 133
Vulnerability analysis and modeling for critical infrastructure protection 132
The OsMoSys/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling 130
Automatic generation of context-aware web services compositions 127
Fuzzy decision fusion and multiformalism modelling in physical security monitoring 127
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 127
Workflow Pattern Analysis in Web Services Orchestration: the BPEL4WS Example 123
Una metodologia per la modellazione formale di sistemi critici basata su metodi e tecniche di model driven engineering 123
An interoperable testing environment for ERTMS/ETCS control systems 122
Multiformalism techniques for critical infrastructure modelling 121
Improving the dependability of distributed surveillance systems using diverse redundant detectors 121
Policy Formalization to combine separate systems into larger connected network of trust 120
The OsMoSys/DrawNET Xe: Languages System: A novel infrastructure for MultiFormalism Object-Oriented Modelling 119
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 118
Artificial intelligence in railways: Current applications, challenges, and ongoing research 116
Multisolution of complex performability models in the OsMoSys/DrawNET framework 116
A Mapping Method for Distributed Heterogeneous Systems 116
A parallel graph-traversing procedure for multicomputer architectures 115
Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach 115
An Experience in Railway interlocking Systems Specification and Formal Verification 114
Formal Specification of Concurrent Systems: a Structured Approach 113
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks 113
A Petri Net pattern-oriented approach for the design of physical protection systems 113
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys 112
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 112
Automatic Analysis of Control Flow inWeb Services Composition Processes 111
Model-driven V&V processes for computer based control systems: A unifying perspective 111
Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach 110
An integrated lifetime and network quality model of large WSNs. 110
Model-driven estimation of distributed vulnerability in complex railway networks 110
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling 110
DrawNET Xe!: GUI and Formalism Definition Language 109
Modelling System Reliability Aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks 108
Repairable Fault Tree for the Automatic Evaluation of Repair Policies 107
A robust approach for on-line and off-line threat detection based on event tree similarity analysis 106
DRAWNET++: A FLEXIBLE FRAMEWORK FOR BUILDING DEPENDABILITY MODELS 103
The modelling process and Petri Nets: reasoning on different approaches 103
Associate Editor 103
Efficient Model checking of properties of a distribuited application: a multimedia case study 102
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 102
The METRIP Tool 102
Modeling and control specification of flexible manufacturing system using behavioral traces and petri ets building blocks 101
Information Fusion e sorveglianza 101
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 101
Automatic generation of formal models for diagnosability of DES 99
The Osmosys approach to multiformalism modelling of system 98
The software architecture of the OsMoSys Multisolution Framework 97
The Osmosys approach to multi-formalism modelling of systems 96
A method for predictive performance evaluation of distributed programs 95
A systematic approach to the Petri net based specification of concurrent systems 93
An Experience in Railway interlocking Systems Specification and Formal Verification 93
Building formal models of concurrent and distribited system: an experience in applicability with two different Petri nets approaches 92
Specification and Modeling of Flexible Manufacturing Systems Using Behaviours and Petri Nets Building Blocks 90
A literature review of Artificial Intelligence applications in railway systems 89
A method for predictive performance evaluation of distributed programs 87
Modelling Flexible manufacturing systems: a Petri Net Modular Approach 87
A method for predictive performance of distributed programs 85
An Experience in Railway interlocking System Specification and formal Verification 85
Turning Web Applications into Web Services by Wrapping Techniques 85
A new modelling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance 84
SWN Client-server composition operators in the OsMoSys framework 83
Formal methods integration for the specification of dependable distributed system 82
Formal Specification of Concurrent Systems: a Structured Approach 81
Modelling Flexible Manufacturing System: a Petri NEt Modular Approach 81
A Study on Multiformalism Modelling of Critical Infrastructures 81
DrawNET++: model objects to support performance analysis and simulation of complex systems 80
Workflow principles applied to Multi-Solution Analysis of dependable distribuited system 79
Model-Driven Availability Evaluation of Railway Control Systems 78
Efficient Model Checking of Properties of a Multimedia Application 76
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance 76
Petri net modelling of physical vulnerability 76
Building formal models of concurrent and distributed systems: an experience in applicability with two different Petri nets approaches 75
Policy Formalization to combine separate systems into larger connected network of trust 75
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review 75
The 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP2011) 74
Totale 11.546
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.736
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 44.736
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022698 0 0 32 9 18 29 19 25 81 71 124 290
2022/2023931 146 101 21 108 119 90 20 101 144 13 57 11
2023/2024591 28 96 60 38 30 20 27 113 20 8 120 31
2024/20253.155 200 234 19 49 141 121 249 189 294 294 1.112 253
2025/20265.794 656 415 610 498 984 287 758 359 703 339 87 98
2026/2027327 142 185 0 0 0 0 0 0 0 0 0 0
Totale 13.649