IRIS
VITTORINI, VALERIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.383
AS - Asia 3.373
NA - Nord America 3.236
SA - Sud America 621
AF - Africa 79
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 1
Totale 10.699
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.106
SG - Singapore 1.984
RU - Federazione Russa 1.297
IT - Italia 1.033
CN - Cina 705
BR - Brasile 511
UA - Ucraina 291
HK - Hong Kong 223
VN - Vietnam 215
DE - Germania 210
FI - Finlandia 151
SE - Svezia 82
CA - Canada 75
GB - Regno Unito 75
IE - Irlanda 75
AR - Argentina 43
IN - India 36
MX - Messico 36
BD - Bangladesh 35
ID - Indonesia 30
NL - Olanda 30
CI - Costa d'Avorio 26
FR - Francia 25
ES - Italia 22
TR - Turchia 22
PL - Polonia 21
KR - Corea 17
EC - Ecuador 16
BG - Bulgaria 15
IQ - Iraq 14
IL - Israele 13
ZA - Sudafrica 13
CL - Cile 11
CO - Colombia 11
UZ - Uzbekistan 11
VE - Venezuela 10
JP - Giappone 9
MA - Marocco 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
MY - Malesia 6
NG - Nigeria 6
PE - Perù 6
PK - Pakistan 6
IR - Iran 5
PH - Filippine 5
SA - Arabia Saudita 5
UY - Uruguay 5
AE - Emirati Arabi Uniti 4
BY - Bielorussia 4
NI - Nicaragua 4
AZ - Azerbaigian 3
CR - Costa Rica 3
DO - Repubblica Dominicana 3
EG - Egitto 3
LB - Libano 3
NP - Nepal 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
PT - Portogallo 2
RS - Serbia 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
HR - Croazia 1
HU - Ungheria 1
KH - Cambogia 1
KW - Kuwait 1
ME - Montenegro 1
MK - Macedonia 1
Totale 10.688
Salva come PNG Salva come JPEG
Città #
Singapore 947
Chandler 438
Moscow 327
Jacksonville 292
Hong Kong 220
Santa Clara 218
Beijing 210
Ashburn 164
Millbury 140
Naples 135
Princeton 107
Napoli 102
Hefei 98
Los Angeles 73
Wilmington 69
Buffalo 64
Ho Chi Minh City 62
Nanjing 60
Boston 58
Houston 57
Hanoi 52
Rome 52
The Dalles 49
Ottawa 44
Munich 43
New York 40
São Paulo 39
Redondo Beach 35
Milan 33
Des Moines 30
Dallas 29
Helsinki 29
Nanchang 26
Kronberg 25
Rio de Janeiro 25
Shenyang 24
Boardman 20
Warsaw 18
Woodbridge 18
Hebei 17
Tianjin 17
Brooklyn 16
Mexico City 16
Jiaxing 15
Lawrence 15
Montreal 15
Orem 15
Seoul 15
Sofia 15
Cagliari 14
Chennai 14
Pisa 14
London 13
Seattle 13
Stockholm 13
Toronto 13
Chicago 12
Salerno 12
Turku 12
Brasília 11
Da Nang 11
Nocera Inferiore 11
Norwalk 11
Changsha 10
Denver 10
Dhaka 10
Jakarta 10
Orange 10
Pozzuoli 10
Santo André 10
Amsterdam 9
Ann Arbor 9
Guarulhos 9
Lod 9
Redwood City 9
San Francisco 9
Tashkent 9
Tokyo 9
Bacoli 8
Falkenstein 8
Frankfurt am Main 8
Haiphong 8
Sant'antimo 8
Bangkok 7
Caxias do Sul 7
Guangzhou 7
Hangzhou 7
Sumaré 7
Aversa 6
Belo Horizonte 6
Biên Hòa 6
Bắc Ninh 6
Caserta 6
Charlotte 6
El Segundo 6
Giugliano in Campania 6
Johannesburg 6
Juiz de Fora 6
L'aquila 6
Nairobi 6
Totale 5.091
Salva come PNG Salva come JPEG
Nome #
Dynamic state machines for modelling railway control systems 230
From Dynamic State Machines to Promela 170
GAUSS - Governing Adaptive and Unplanned Systems of Systems 153
Modeling railway control systems in promela 143
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks 134
A Survey on Audio-Video based Defect Detection through Deep Learning in Railway Maintenance 134
Trustworthiness evaluation of multi-sensor situation recognition in transit surveillance scenarios 133
Dynamic State Machines for Formalizing Railway Control System Specifications 127
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance 126
Towards Railway Virtual Coupling 126
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS 126
Artificial Intelligence in Railway Transport: Taxonomy, Regulations and Applications 124
Evaluating the Hazardous Failure Rate of majority voting computer architectures by means of Bayesian Network models 120
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
Vulnerability modeling and analysis for critical infrastructure protection applications 110
A model-driven process for physical protection system design and vulnerability evaluation 109
Workflow Pattern Analysis in Web Services Orchestration: the BPEL4WS Example 108
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 107
A multiformalism modular approach to ertms/etcs failure modeling 105
Fuzzy decision fusion and multiformalism modelling in physical security monitoring 105
The OsMoSys/DrawNET Xe: Languages System: A novel infrastructure for MultiFormalism Object-Oriented Modelling 103
Automatic generation of context-aware web services compositions 103
Multisolution of complex performability models in the OsMoSys/DrawNET framework 102
A Mapping Method for Distributed Heterogeneous Systems 102
The OsMoSys/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling 101
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 98
Multiformalism techniques for critical infrastructure modelling 97
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 92
A Petri Net pattern-oriented approach for the design of physical protection systems 91
Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach 90
An integrated lifetime and network quality model of large WSNs. 90
Repairable Fault Tree for the Automatic Evaluation of Repair Policies 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 87
An interoperable testing environment for ERTMS/ETCS control systems 87
Formal Specification of Concurrent Systems: a Structured Approach 86
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
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 85
Modeling and control specification of flexible manufacturing system using behavioral traces and petri ets building blocks 84
Model-driven V&V processes for computer based control systems: A unifying perspective 84
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 84
The METRIP Tool 84
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 83
The modelling process and Petri Nets: reasoning on different approaches 83
Efficient Model checking of properties of a distribuited application: a multimedia case study 82
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling 82
Building formal models of concurrent and distribited system: an experience in applicability with two different Petri nets approaches 81
Specification and Modeling of Flexible Manufacturing Systems Using Behaviours and Petri Nets Building Blocks 81
Associate Editor 81
Information Fusion e sorveglianza 81
A method for predictive performance of distributed programs 79
Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection 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
Integrating AI and DTs: challenges and opportunities in railway maintenance application and beyond 78
A systematic approach to the Petri net based specification of concurrent systems 78
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
A Study on Multiformalism Modelling of Critical Infrastructures 70
The Osmosys approach to multi-formalism modelling of systems 69
SWN Client-server composition operators in the OsMoSys framework 69
A new modelling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance 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
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
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review 60
Totale 9.242
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.399
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 35.399
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/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/20263.379 656 415 610 498 984 216 0 0 0 0 0 0
Totale 10.907