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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202116 0 0 0 0 0 0 0 0 0 0 0 16
2021/2022717 19 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.722 656 415 610 498 984 287 758 359 703 339 87 26
Totale 13.250