statistiche ricercatore

statistiche per SISTO, Riccardo

Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 29374
EU - Europa 15273
AS - Asia 1938
AF - Africa 91
SA - Sud America 44
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 7
Totale 46742
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 29246
IT - Italia 3308
GB - Regno Unito 3222
FR - Francia 3115
DE - Germania 3081
CN - Cina 1050
UA - Ucraina 784
RU - Federazione Russa 402
NL - Olanda 328
TR - Turchia 287
SE - Svezia 267
KR - Corea 170
IE - Irlanda 166
IN - India 132
CA - Canada 124
AT - Austria 116
FI - Finlandia 115
MY - Malesia 64
JP - Giappone 59
HK - Hong Kong 52
GR - Grecia 50
PL - Polonia 34
SN - Senegal 31
AP - ???statistics.table.value.countryCode.AP??? 29
RO - Romania 29
TW - Taiwan 28
ZA - Sudafrica 28
EU - Europa 26
IR - Iran 24
VN - Vietnam 23
CZ - Repubblica Ceca 22
DK - Danimarca 22
BE - Belgio 21
UZ - Uzbekistan 21
CL - Cile 19
EE - Estonia 18
ES - Italia 18
CH - Svizzera 17
BR - Brasile 15
IL - Israele 15
BG - Bulgaria 12
PK - Pakistan 11
GH - Ghana 10
LU - Lussemburgo 9
DZ - Algeria 8
HR - Croazia 8
AU - Australia 7
PT - Portogallo 7
AR - Argentina 6
BY - Bielorussia 6
EG - Egitto 6
TH - Thailandia 6
KW - Kuwait 5
SA - Arabia Saudita 5
ID - Indonesia 4
JO - Giordania 4
KZ - Kazakistan 4
MA - Marocco 4
SG - Singapore 4
CO - Colombia 3
HU - Ungheria 3
LT - Lituania 3
A2 - ???statistics.table.value.countryCode.A2??? 2
GE - Georgia 2
LC - Santa Lucia 2
LV - Lettonia 2
MD - Moldavia 2
PH - Filippine 2
QA - Qatar 2
SI - Slovenia 2
SK - Slovacchia (Repubblica Slovacca) 2
AE - Emirati Arabi Uniti 1
GT - Guatemala 1
KE - Kenya 1
MT - Malta 1
MX - Messico 1
NG - Nigeria 1
NO - Norvegia 1
OM - Oman 1
PE - Perù 1
TN - Tunisia 1
ZW - Zimbabwe 1
Totale 46742
Salva come PNG Salva come JPEG
Città #
Ashburn 12169
Boardman 6097
Southend 2868
Seattle 1806
Fairfield 1363
Fremont 1095
Ann Arbor 803
Woodbridge 789
Houston 578
Turin 575
Cambridge 512
Wilmington 475
Torino 437
Jacksonville 389
Princeton 309
San Ramon 254
Beijing 221
Izmir 215
Buffalo 213
Chicago 212
Milan 197
San Francisco 167
Dublin 149
San Donato Milanese 144
Guangzhou 138
Shanghai 137
Saint Petersburg 116
Zhengzhou 115
Vienna 108
Helsinki 106
Baltimore 99
Wuhan 95
San Jose 94
Frankfurt 93
Pennsylvania Furnace 93
Overberg 90
Bologna 89
Lecce 86
Zaporozhye 83
Amsterdam 79
Monopoli 72
Toronto 61
Mountain View 58
Norwalk 56
San Diego 56
Padua 50
Hangzhou 47
Herkenbosch 47
Rome 47
Moscow 45
Athens 44
Kwai Chung 43
Redwood City 43
Shenzhen 43
Malatya 40
Nanjing 38
University Park 38
Las Vegas 37
Overland Park 37
Paris 31
Falls Church 28
Cupertino 27
Osaka 27
Bangalore 24
Austin 23
Muizenberg 23
Melun 22
Phoenix 22
Putian 22
Seoul 22
Clearwater 21
Dallas 20
Imola 20
Columbus 19
Shaoxing 19
Frankfurt Am Main 18
Fuzhou 18
Indiana 18
Kansas City 18
Naples 18
Padova 18
Kiev 17
Ottawa 17
Phaltan 17
Sakarya 17
Venaria Reale 17
Dong Ket 16
Henderson 16
Modena 16
Valfenera 16
Los Angeles 15
Riva 15
Taipei 15
Atlanta 14
Dearborn 14
Galati 13
London 13
Sacramento 13
San Antonio 13
Verona 13
Totale 35325
Salva come PNG Salva come JPEG
Nome #
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 657
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 657
Automated Formal Verification of Application-specific Security Properties 645
Formally based semi-automatic implementation of an open security protocol 636
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 628
A new knowledge representation strategy for cryptographic protocol analysis 620
An Efficient Data Exchange Algorithm for Chained Network Functions 600
Formal Verification of Security Protocol Implementations: A Survey 595
SPAF: Stateless FSA-Based Packet Filters 586
Efficient Multistriding of Large Non-deterministic Finite State Automata for Deep Packet Inspection 583
Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs 575
Formal verification of Virtual Network Function graphs in an SP-DevOps context 562
A LOTOS Extension for the Performance Analysis of Distributed Systems 559
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code 557
Integrating Performance Analysis in the Context of LOTOS-Based Design 553
dSPIN: A Dynamic Extension of SPIN 541
An approach to refinement checking of SysML requirements 534
Provably correct Java implementations of Spi Calculus security protocols specifications 531
Using Garbage Collection in Model Checking 528
The JavaSPI Framework for Security Protocol Implementation 528
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access 525
Interest Flooding Attack Countermeasures Assessment on Content Centric Networking 525
Visual Model-Driven Design, Verification and Implementation of Security Protocols 515
Using SPIN to Verify Security Properties of Cryptographic Protocols 509
On the Implementation of an Interface for a Multichannel Local Area Network 508
Distributed-Memory Model Checking with SPIN 498
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation 497
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 497
Automatic Configuration of Opaque Network Functions in CMS 495
Formal Verification of LTE-UMTS Handover Procedures 489
An Overview of Software-based Support Tools for ISO 26262 482
Parallel CRC Generation 481
A Deadlock Detection Tool for Concurrent Java Programs 479
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study 478
An Experience in Embedded Control Software Verification 475
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 471
Tools for cryptographic protocols analysis: A technical and experimental comparison 465
PIT Overload Analysis in Content Centric Networks 463
Using Binary Decision Diagrams for Representation and Analysis of Communication Protocols 462
Resource Management Policies for Cloud-based Interactive 3D Applications 460
Using Data Flow Analysis to Infer Type Information in Java Bytecode 459
Safe abstractions of data encodings in formal security protocol models 455
A Protocol for Multirendezvous of LOTOS Processes 450
A Formal Model of Network Policy Analysis 450
Vulnerability Modelling for the Analysis of Network Attacks 446
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks'' 444
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 442
A Java-based Formal Development Environment for Factory Communication Systems 435
Rapid Prototyping of Protocols from LOTOS Specifications 435
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 433
Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS 432
Implementing innovative services supporting user and terminal mobility: the SCARAB architecture 429
Temporal Logic Properties of Java Objects 429
A Grid-Powered Framework to Support Courses on Distributed Programming 429
Detecting Chains of Vulnerabilities in Industrial Networks 428
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models 427
Formal verification of LTE-UMTS and LTE–LTE handover procedures 424
iNFAnt: NFA pattern matching on GPGPU devices 423
A Lightweight Security Analyzer inside GCC 421
The use of Estelle to specify manufacturing systems 421
Automated Formal Methods for Security Protocol Engineering 417
A formal approach for network security policy validation 416
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems 416
An Abstract Execution Model for Basic LOTOS 415
Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models 414
Vehicle Navigation Service Based on Real-Time Traffic Information 413
A Graphical Tool for Protocol Design with Estelle 412
Temporal Logic Properties of Java Objects 406
Improving the Security of Industrial Networks by means of Formal Verification 402
Formal Specification and Verification of the Real-time Scheduler in FIP 401
Implementation of Static Semantic Analysis of LOTOS Specifications 396
JavaSPI: A Framework for Security Protocol Implementation 394
Exploiting symmetries for testing equivalence verification in the SPI calculus 392
A LOTOS Specification of the SERCOS Field-bus Protocol 383
Spi2Java: automatic cryptographic protocol java code generation from spi calculus 375
Seamless configuration of virtual network functions in data center provider networks 374
A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems 356
DynNav: Toward Open and Interoperable Navigation Services 356
Push applications and dynamic content generation over content-centric networking 348
Formally sound implementations of security protocols with JavaSPI 340
An efficient data exchange mechanism for chained network functions 316
Throughput Analysis of Timed Token Protocols in Double Ring Networks 314
A framework for user-friendly verification-oriented VNF modeling 312
Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262 312
A Configurable Mobile Agent Data Protection Protocol 308
Wireless for the factory: The Wi-Fact analysis 306
Combining SysML modelling with refinement checking in Eclipse 300
A Formalization Of The FIP Protocol Using Estelle 296
SCARAB: Innovative Services Supporting User and Terminal Mobility 294
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification 292
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software 292
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks 284
Esercizi di Fondamenti di Informatica 281
Modeling and Validation of Java Multi-threading applications using Spin 272
A Static Semantic Analyzer for LOTOS Specifications 272
SRB Data Grid and Compute Grid integration via the EnginFrame Grid Portal 271
Automatic testing equivalence verification of spi calculus specifications 267
Probabilistic Characterization of Algebraic Protocol Specifications 261
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behaviour Expressions 256
Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines 255
Totale 43748
Salva come PNG Salva come JPEG
Categoria #
all - tutte 68098
article - articoli 23362
book - libri 413
conference - conferenze 43504
curatela - curatele 0
other - altro 0
patent - brevetti 158
selected - selezionate 0
volume - volumi 661
Totale 136196
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/201815885 127710959911281 14071431 23583207 2156356152174
2018/20194046 141160380333 51212 159100 272648825765
2019/20204672 452278250562 549498 441523 586214201118
2020/20213079 331399197309 238326 211288 153293205129
2021/20222219 12819270131 111171 18185 148175365462
2022/20232 2000 00 00 0000
Totale 47133
 
 
 
Powered by IRIS-about IRIS-Utilizzo dei cookie
Logo CINECA  Copyright © 2022