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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201953 0 0 0 0 0 0 0 0 0 13 21 19
2019/2020577 156 9 73 21 88 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/2024440 28 96 60 38 30 20 27 113 20 8 0 0
Totale 4.222