IRIS
VITTORINI, VALERIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.350
EU - Europa 1.752
AS - Asia 683
AF - Africa 31
SA - Sud America 2
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 4.820
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.295
IT - Italia 938
SG - Singapore 389
UA - Ucraina 281
CN - Cina 252
DE - Germania 137
FI - Finlandia 118
IE - Irlanda 73
SE - Svezia 71
CA - Canada 54
GB - Regno Unito 47
CI - Costa d'Avorio 23
FR - Francia 20
NL - Olanda 20
BG - Bulgaria 15
IL - Israele 11
TR - Turchia 11
ES - Italia 8
ID - Indonesia 6
BE - Belgio 5
NG - Nigeria 5
CZ - Repubblica Ceca 4
HK - Hong Kong 4
IN - India 4
KE - Kenya 3
BD - Bangladesh 2
BY - Bielorussia 2
LT - Lituania 2
NO - Norvegia 2
RU - Federazione Russa 2
AL - Albania 1
AT - Austria 1
AU - Australia 1
BR - Brasile 1
CH - Svizzera 1
CL - Cile 1
DK - Danimarca 1
EU - Europa 1
HR - Croazia 1
HU - Ungheria 1
JP - Giappone 1
KR - Corea 1
MX - Messico 1
PK - Pakistan 1
PT - Portogallo 1
SA - Arabia Saudita 1
Totale 4.820
Salva come PNG Salva come JPEG
Città #
Chandler 438
Singapore 326
Jacksonville 292
Santa Clara 151
Millbury 140
Princeton 107
Napoli 102
Naples 99
Wilmington 68
Ashburn 65
Nanjing 60
Houston 53
Boston 52
Beijing 47
Ottawa 44
Rome 36
Milan 31
Des Moines 29
Nanchang 26
Kronberg 25
Shenyang 23
Hebei 17
Woodbridge 17
Boardman 16
Lawrence 15
Sofia 15
Jiaxing 14
Pisa 14
Tianjin 14
Cagliari 12
Salerno 12
Nocera Inferiore 11
Norwalk 11
Orange 10
Pozzuoli 10
Ann Arbor 9
Changsha 9
Lod 9
Redwood City 9
Toronto 9
Bacoli 8
Helsinki 8
Sant'antimo 8
Amsterdam 6
Aversa 6
El Segundo 6
Giugliano in Campania 6
L'aquila 6
Pagani 6
Poggiomarino 6
Wuppertal 6
Caserta 5
Cava De' Tirreni 5
Fuzhou 5
Honselersdijk 5
Sennori 5
Vietri Sul Mare 5
Afragola 4
Bologna 4
Falls Church 4
Indiana 4
Kunming 4
Lyon 4
Marcianise 4
Palermo 4
Paris 4
Pontecagnano 4
Puglianello 4
San Giorgio A Cremano 4
Sant'Antimo 4
Torino 4
Benevento 3
Casagiove 3
Dublin 3
Duncan 3
Fairfield 3
Ha Kwai Chung 3
Hangzhou 3
Lappeenranta 3
Livorno 3
London 3
Marano 3
Marigliano 3
New York 3
Padova 3
Sessa Aurunca 3
The Dalles 3
Tomares 3
Allston 2
Brest 2
Busto Arsizio 2
Caivano 2
Campagna 2
Carate Brianza 2
Casoria 2
Cassino 2
Castellammare di Stabia 2
Castellanza 2
Catania 2
Centro 2
Totale 2.680
Salva come PNG Salva come JPEG
Nome #
Dynamic state machines for modelling railway control systems 166
GAUSS - Governing Adaptive and Unplanned Systems of Systems 126
From Dynamic State Machines to Promela 100
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS 89
Trustworthiness evaluation of multi-sensor situation recognition in transit surveillance scenarios 87
Modeling railway control systems in promela 86
Dynamic State Machines for Formalizing Railway Control System Specifications 67
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 66
Towards Railway Virtual Coupling 65
A Mapping Method for Distributed Heterogeneous Systems 63
TOWARDS AN OBJECT BASED MULTI-FORMALISM MULTI-SOLUTION MODELING APPROACH 62
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys 62
A Survey on Audio-Video based Defect Detection through Deep Learning in Railway Maintenance 61
An Experience in Railway interlocking Systems Specification and Formal Verification 59
Artificial Intelligence in Railway Transport: Taxonomy, Regulations and Applications 59
A parallel graph-traversing procedure for multicomputer architectures 56
Fuzzy decision fusion and multiformalism modelling in physical security monitoring 55
The OsMoSys/DrawNET Xe: Languages System: A novel infrastructure for MultiFormalism Object-Oriented Modelling 54
Automatic generation of formal models for diagnosability of DES 54
DrawNET Xe!: GUI and Formalism Definition Language 53
The METRIP Tool 53
Multisolution of complex performability models in the OsMoSys/DrawNET framework 52
A model-driven approach for vulnerability evaluation of modern physical protection systems 52
Workflow Pattern Analysis in Web Services Orchestration: the BPEL4WS Example 51
Modelling System Reliability Aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks 51
A method for predictive performance evaluation of distributed programs 50
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis 50
DRAWNET++: A FLEXIBLE FRAMEWORK FOR BUILDING DEPENDABILITY MODELS 48
A method for predictive performance of distributed programs 48
A multiformalism modular approach to ertms/etcs failure modeling 48
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 47
A systematic approach to the Petri net based specification of concurrent systems 47
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks 46
Multiformalism techniques for critical infrastructure modelling 46
A Study on Multiformalism Modelling of Critical Infrastructures 45
A model-driven process for physical protection system design and vulnerability evaluation 45
A method for predictive performance evaluation of distributed programs 43
Policy Formalization to combine separate systems into larger connected network of trust 43
Specification and Modeling of Flexible Manufacturing Systems Using Behaviours and Petri Nets Building Blocks 43
The OsMoSys/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling 43
Modeling and control specification of flexible manufacturing system using behavioral traces and petri ets building blocks 42
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 42
An Experience in Railway interlocking Systems Specification and Formal Verification 42
A new modelling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance 42
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 42
Improving the dependability of distributed surveillance systems using diverse redundant detectors 42
Repairable Fault Tree for the Automatic Evaluation of Repair Policies 40
Building formal models of concurrent and distributed systems: an experience in applicability with two different Petri nets approaches 40
Integrating Trace Logic and Petri Nets Specifications 40
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks 39
Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach 39
A Vision of Intelligent Train Control 38
Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach 37
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 37
SWN Client-server composition operators in the OsMoSys framework 36
A Petri Net pattern-oriented approach for the design of physical protection systems 36
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review 36
The Osmosys approach to multi-formalism modelling of systems 34
An Experience in Railway interlocking System Specification and formal Verification 34
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance 34
Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection 34
Vulnerability modeling and analysis for critical infrastructure protection applications 34
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 33
Integrating trace logic and Petri nets specifications 33
Modelling Flexible manufacturing systems: a Petri Net Modular Approach 33
Automatic generation of context-aware web services compositions 33
A Study on Multiformalism Modeling of Critical Infrastructures 33
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 33
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems 33
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 33
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance 32
Una metodologia per la modellazione formale di sistemi critici basata su metodi e tecniche di model driven engineering 32
An interoperable testing environment for ERTMS/ETCS control systems 32
Formal Specification of Concurrent Systems: a Structured Approach 31
Automatic Analysis of Control Flow inWeb Services Composition Processes 31
An integrated lifetime and network quality model of large WSNs. 31
Vulnerability analysis and modeling for critical infrastructure protection 31
Information Fusion e sorveglianza 31
A robust approach for on-line and off-line threat detection based on event tree similarity analysis 31
null 30
The Osmosys approach to multiformalism modelling of system 30
Policy Formalization to combine separate systems into larger connected network of trust 30
Associate Editor 30
Building formal models of concurrent and distribited system: an experience in applicability with two different Petri nets approaches 29
The modelling process and Petri Nets: reasoning on different approaches 29
Policy based interoperability in distribuited security infrastructures 29
DrawNET++: model objects to support performance analysis and simulation of complex systems 29
Efficient Model Checking of Properties of a Multimedia Application 29
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways 29
Workflow principles applied to Multi-Solution Analysis of dependable distribuited system 28
Efficient Model checking of properties of a distribuited application: a multimedia case study 28
Methodologies, architecture and tools for automated service composition in SOA 28
Model-Driven Availability Evaluation of Railway Control Systems 28
Towards Model-Driven V&V assessment of railway control systems 28
Efficient Model checking of properties of a distributed application: a multimedia case study 27
Formal specification of concurrent systems: a structured approach 27
Formal methods integration for the specification of dependable distributed system 26
Formal methods integration for the specification of dependable distributed systems 26
Methods Integration for the Specification of Dependable Distributed Systems 26
Formal Specification of Concurrent Systems: a Structured Approach 25
Totale 4.418
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.044
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 20.044
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020230 0 0 0 0 0 20 14 10 13 20 63 90
2020/2021664 15 60 68 75 78 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/2025643 200 234 19 49 141 0 0 0 0 0 0 0
Totale 5.016