PORTO @ Archivio Istituzionale della Ricerca

VALENZANO, ADRIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 15.896
EU - Europa 9.477
AS - Asia 1.540
AF - Africa 27
SA - Sud America 10
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 5
Totale 26.960
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 15.843
GB - Regno Unito 2.700
FR - Francia 1.774
DE - Germania 1.701
IT - Italia 1.384
UA - Ucraina 543
CN - Cina 505
SG - Singapore 349
RU - Federazione Russa 294
TR - Turchia 258
NL - Olanda 198
SE - Svezia 178
IE - Irlanda 176
KR - Corea 157
CH - Svizzera 146
FI - Finlandia 102
BE - Belgio 77
IN - India 67
AT - Austria 56
CA - Canada 46
HK - Hong Kong 43
MY - Malesia 39
IL - Israele 37
JP - Giappone 31
RO - Romania 24
ID - Indonesia 23
CZ - Repubblica Ceca 17
PL - Polonia 15
IR - Iran 14
ES - Italia 13
SN - Senegal 13
JO - Giordania 12
EU - Europa 11
TW - Taiwan 11
DK - Danimarca 9
VN - Vietnam 7
TH - Thailandia 6
EE - Estonia 5
HR - Croazia 5
LT - Lituania 5
AU - Australia 4
BY - Bielorussia 4
CL - Cile 4
GH - Ghana 4
KZ - Kazakistan 4
PK - Pakistan 4
AP - ???statistics.table.value.countryCode.AP??? 3
BA - Bosnia-Erzegovina 3
BR - Brasile 3
MX - Messico 3
AE - Emirati Arabi Uniti 2
CI - Costa d'Avorio 2
DZ - Algeria 2
EG - Egitto 2
GT - Guatemala 2
LC - Santa Lucia 2
PE - Perù 2
SA - Arabia Saudita 2
SC - Seychelles 2
AR - Argentina 1
GR - Grecia 1
HU - Ungheria 1
KE - Kenya 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
OM - Oman 1
PH - Filippine 1
PT - Portogallo 1
SI - Slovenia 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 26.960
Salva come PNG Salva come JPEG
Città #
Ashburn 6.415
Southend 2.534
Boardman 2.176
Seattle 1.143
Fairfield 728
Chandler 602
Woodbridge 405
Fremont 393
Ann Arbor 364
Houston 343
Jacksonville 297
Cambridge 292
Princeton 282
Wilmington 277
Singapore 263
Turin 242
Santa Clara 201
Izmir 172
Berlin 169
Dublin 169
San Ramon 151
Bern 137
Milan 115
Chicago 107
Frankfurt 96
Helsinki 96
San Donato Milanese 90
Zhengzhou 83
Beijing 82
Torino 78
Brussels 74
Pennsylvania Furnace 74
Saint Petersburg 74
Baltimore 71
Shanghai 71
Overberg 61
Bologna 59
Des Moines 58
Mountain View 57
Vienna 52
Istanbul 47
Herkenbosch 43
Monopoli 43
Amsterdam 39
San Francisco 36
Norwalk 35
Council Bluffs 33
Lecce 33
Guangzhou 30
Buffalo 29
Malatya 29
New York 27
San Diego 25
London 24
Tel Aviv 24
Toronto 24
Hangzhou 23
Redwood City 23
Kwai Chung 22
Moscow 21
Galati 19
Andover 18
Rome 18
Falls Church 17
Yubileyny 17
Zaporozhye 17
Jakarta 16
Seoul 16
Grafing 14
Paris 14
Naples 13
Padua 13
Shenzhen 13
Taramani 13
Verona 13
Overland Park 12
Columbus 11
Lansing 11
Melun 11
Palermo 11
Kiev 10
Putian 10
Frankfurt am Main 9
Los Angeles 9
Madrid 9
Osaka 9
Piscataway 9
San Antonio 9
Washington 9
Wuhan 9
Fuzhou 8
Hellemmes 8
Imola 8
Kansas City 8
Las Vegas 8
Prague 8
Rotterdam 7
Shaoxing 7
Trecate 7
Valdagno 7
Totale 20.218
Salva come PNG Salva come JPEG
Nome #
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 700
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 698
A new knowledge representation strategy for cryptographic protocol analysis 672
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 671
Integrating Performance Analysis in the Context of LOTOS-Based Design 607
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 546
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 521
Tools for cryptographic protocols analysis: A technical and experimental comparison 515
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 504
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks 493
Detecting Chains of Vulnerabilities in Industrial Networks 492
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 489
Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS 470
A Graphical Tool for Protocol Design with Estelle 458
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems 449
Improving the Security of Industrial Networks by means of Formal Verification 439
Formal Specification and Verification of the Real-time Scheduler in FIP 439
Exploiting symmetries for testing equivalence verification in the SPI calculus 438
System-Level Performance of an Automation Solution Based on Industry Standards 425
Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication 424
A LOTOS Specification of the SERCOS Field-bus Protocol 419
A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems 390
Selection of token holding times in timed-token protocols 380
Implementation of algorithms for graphic surface modeling using transputers 362
On the equivalence of IEEE 802.4 and FDDI timed token protocols 357
Throughput Analysis of Timed Token Protocols in Double Ring Networks 348
A Model for the Analysis of Security Policies in Industrial Networks 346
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication 344
Requirements for token holding times in timed-token protocols 344
A Formalization Of The FIP Protocol Using Estelle 337
Some properties of double-ring networks with real-time constraints 336
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification 334
Esercizi di Fondamenti di Informatica 333
Software-Based Assessment of the Synchronization and Error Handling Behavior of a Real CAN Controller 322
Upper bounds for the token rotation time in the 802.4 token passing bus 319
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks 316
Systolic arrays for bicubical polynomial evaluation in computer graphics 315
A Static Semantic Analyzer for LOTOS Specifications 314
Automatic testing equivalence verification of spi calculus specifications 308
Performance analysis of type 3 LLC in industrial 802.5 nets 303
A Unified Class Model for Checking Security Policies in ICT Infrastructures 297
Design, verification, and performance of a MODBUS-CAN adaptation layer 297
Design and implementation of an ISO/OSI session layer for a microprocessor-based LAN 297
On a family of run length limited, block decodable codes to prevent payload-induced jitter in Controller Area Networks 295
Leveraging SDN To Improve Security in Industrial Networks 292
Probabilistic Characterization of Algebraic Protocol Specifications 291
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks 287
Effect of jitter-reducing encoders on CAN error detection mechanisms 285
Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines 284
Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico 271
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication 267
Graphic LOTOS specification of an EN50254 system 265
Flexible Manufacturing Systems: the MODIAC Project 263
High speed LANs based on fiber optics 257
Dynamic Data Management in STEP 245
MONOSK: A network operating system for real time applications 239
Automated Fixing of Access Policy Implementation in Industrial Networked Systems 238
ACKNOWLEDGEMENT AND PRIORITY MECHANISMS IN THE 802. 4 TOKEN-BUS. 231
VLSI STRUCTURES FOR SPEECH ANALYSIS AND PATTERN RECOGNITION. 226
Un codec a basso jitter per reti CAN 222
Efficient authentication mechanisms using the iAPX-432 222
Advanced Microprocessor Architectures 221
A Model for the Analysis of Security Policies in Service Function Chains 219
PARTITIONED ARRAY FOR STABLE MATRIX TRIANGULARISATION. 211
Low cost serial multipliers for high-speed specialised processors 201
Authentication mechanisms in microprocessor-based local area networks 201
DEFECT-TOLERANT ARRAY STRUCTURES FOR VLSI AND WSI ARCHITECTURES. 195
From Real Data of Wireless Sensor Networks based on TSCH, to a Prediction of Reliability, Power Consumption, and Latency (dataset) 195
Performance evaluation of MiniMAP networks 192
Evaluating and Modeling IEEE 802.15.4 TSCH Resilience against Wi-Fi Interference in New-Generation Highly-Dependable Wireless Sensor Networks 183
Reduced Protocol Architectures for Factory Applications 180
Le tecnologie per la descrizione dei dati di prodotto e la norma ISO 10303 180
iAPX 432 HARDWARE FAULT-HANDLING MECHANISMS. 178
Archiviazione a lungo termine di dati di prodotto conformi allo standard ISO 10303 178
PROCESS LOCATION STRATEGY IN A LAN FOR INDUSTRIAL APPLICATION. 177
MECHANISMS FOR COMMUNICATION RESOURCE MANAGEMENT IN ISO/OSI LAYERS. 171
A Distributed Operating System for Object-Based Machines 170
FAST AND ACCURATE MATRIX TRIANGULARIZATION USING AN ITERATIVE STRUCTURE. 163
Scambio di dati di prodotto: un caso di studio 162
RELIABILITY AND PERFORMANCE ISSUES IN FDDI NETWORKS. 155
A comprehensive approach to the automatic refinement and verification of access control policies 153
PERFORMANCE ANALYSIS OF ACKNOWLEDGEMENT MECHANISMS IN TOKEN-BUS NETWORKS. 127
Wireless Sensor Networks and TSCH: a compromise between Reliability, Power Consumption and Latency 122
Toward attribute-based access control policy in industrial networked systems 109
Assessing the Effectiveness of Channel Hopping in IEEE 802.15.4 TSCH Networks 45
Review of Security Issues in Industrial Networks 39
Standard field bus networks for industrial applications 34
On the description of access control policies in networked industrial systems 31
Linear Combination of Exponential Moving Averages for Wireless Channel Prediction 28
On the performance of the IEC 61158 Fieldbus 24
Predicting Wireless Channel Quality by means of Moving Averages and Regression Models 20
Totale 27.112
Salva come PNG Salva come JPEG
Categoria #
all - tutte 60.694
article - articoli 20.528
book - libri 1.287
conference - conferenze 36.646
curatela - curatele 0
other - altro 548
patent - brevetti 611
selected - selezionate 0
volume - volumi 1.074
Totale 121.388
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.046 0 0 0 0 0 0 160 283 290 158 80 75
2020/20211.771 199 228 95 219 86 159 100 228 100 144 147 66
2021/20221.525 73 123 36 102 90 149 60 81 90 141 285 295
2022/20231.778 175 307 111 179 133 263 140 77 161 8 75 149
2023/2024589 34 78 75 30 49 78 19 14 11 19 68 114
2024/20251.297 89 354 155 401 142 151 5 0 0 0 0 0
Totale 27.112