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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021368 0 0 0 0 0 88 87 13 79 24 61 16
2021/2022700 19 0 32 8 17 29 19 25 75 70 124 282
2022/2023900 143 101 21 108 109 90 20 92 136 13 56 11
2023/2024585 27 94 60 38 30 20 27 113 20 8 117 31
2024/20253.082 195 225 19 49 138 118 239 185 290 291 1.087 246
2025/20263.267 640 408 597 491 962 169 0 0 0 0 0 0
Totale 10.639