statistiche ricercatore

LANOTTE, RUGGERO

Distribuzione geografica

Continente	#
NA - Nord America	4.730
EU - Europa	2.539
AS - Asia	642
AF - Africa	8
Continente sconosciuto - Info sul continente non disponibili	5
OC - Oceania	2
SA - Sud America	2
Totale	7.928

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	4.694
IT - Italia	1.232
UA - Ucraina	490
SE - Svezia	356
TR - Turchia	314
CN - Cina	173
VN - Vietnam	144
IE - Irlanda	121
FI - Finlandia	108
DE - Germania	107
GB - Regno Unito	72
CA - Canada	36
FR - Francia	23
BE - Belgio	12
DZ - Algeria	8
EU - Europa	5
NL - Olanda	4
SG - Singapore	4
LU - Lussemburgo	3
RO - Romania	3
AT - Austria	2
IN - India	2
JP - Giappone	2
AU - Australia	1
BG - Bulgaria	1
BR - Brasile	1
CH - Svizzera	1
ES - Italia	1
HK - Hong Kong	1
HR - Croazia	1
KH - Cambogia	1
LT - Lituania	1
NO - Norvegia	1
NP - Nepal	1
NZ - Nuova Zelanda	1
PE - Perù	1
Totale	7.928

Salva come PNG Salva come JPEG

Città	#
Milan	902
Fairfield	776
Woodbridge	494
Jacksonville	382
Houston	356
Ashburn	336
Chandler	308
Seattle	301
Cambridge	281
Wilmington	266
Ann Arbor	236
Nyköping	163
Dearborn	142
Princeton	142
Izmir	136
Dublin	119
Dong Ket	87
Beijing	61
Rome	58
San Mateo	48
San Diego	44
Ottawa	31
Redmond	27
Hefei	22
Ogden	22
Como	19
Düsseldorf	13
Kunming	13
Brussels	12
Los Angeles	12
Norwalk	12
Washington	11
Verona	10
Boardman	9
London	9
Guangzhou	8
Nanjing	8
New York	8
Fuzhou	7
Helsinki	7
Magnago	7
Kilburn	6
Nanchang	6
Berlin	5
Chicago	5
Kocaeli	5
Parkville	5
Toronto	5
Zhengzhou	5
Changsha	4
Edinburgh	4
Philadelphia	4
Redwood City	4
Varese	4
Auburn Hills	3
Cagliari	3
Hebei	3
Islington	3
Pittsburgh	3
Quzhou	3
Shaoxing	3
Strasbourg	3
Amsterdam	2
Bologna	2
Busto Arsizio	2
Castellanza	2
Chiswick	2
Dallas	2
Frankfurt am Main	2
Mariano Comense	2
Olgiate Comasco	2
Savona	2
Shenyang	2
Southwark	2
Stockholm	2
Vienna	2
Acton	1
Ardee	1
Auckland	1
Bucharest	1
Calolziocorte	1
Castiglione Olona	1
Central	1
Changchun	1
Chengdu	1
Chioggia	1
Chongqing	1
Cork	1
Delhi	1
Denver	1
Falkenstein	1
Falls Church	1
Fenyang	1
Fremont	1
Groningen	1
Haikou	1
Hounslow	1
Indiana	1
Jiaxing	1
Jinan	1
Totale	6.043

Salva come PNG Salva come JPEG

Nome	#
Complexity and Succinctness Issues for Linear-Time Hybrid Logics	186
Security policies enforcement using finite and pushdown edit automata	176
Computing Bisimilarity Metrics for Probabilistic Timed Automata	168
Decidability results for parametric probabilistic transition systems with an application to security	165
A Formal Approach to Cyber-Physical Attacks	161
Taylor Approximation for Hybrid Systems	159
Distributed time-asynchronous automata	159
Privacy in Real Time Systems	157
Runtime Enforcement for Control System Security	157
Probabilistic Bisimulation as a Congruence	156
A modest security analysis of cyber-physical systems: A case study	152
Concurrency in Timed Automata	146
A function elimination method for checking satisfiability of arithmetical logics	142
On the decidability of linear bounded periodic cyber-physical systems	142
Design and Verification of Long-Running Transactions in a Timed Framework	141
Automatic Analysis of the NRL Pump	138
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics	138
A Classification of Time and/or Probability Dependent Security Properties	137
Information Flow in Hybrid Systems	134
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks	134
Security Policies Enforcement Using Finite Edit Automata	134
Automated Analysis of Timed Security: A Case Study on Web Privacy	132
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security	132
Expressive Power of Hybrid Systems with Variables, Parameters and Arrays	128
Concurrency in timed automata	128
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics	128
Automatic Analysis of a Non-Repudiation Protocol	127
Automatic Covert Channel Analysis of a Multilevel Secure Component	124
Towards a formal notion of impact metric for cyber-physical attacks	124
Monotonic Hybrid Systems	124
null	120
Complexity and succinctness issues for linear-time hybrid logics	117
Information Flow Analysis for Probabilistic Timed Automata	117
Timed Automata with Monotonic Activities	117
Reachability results for timed automata with unbounded data structures	116
A calculus of cyber-physical systems	115
Parametric probabilistic transition systems for system design and analysis	114
Removing All Silent Transitions from Timed Automata	111
Hybrid and First-Order Complete Extensions of CaRet	110
A specification format for rooted branching bisimulation	108
A semantic theory of the Internet of Things	107
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata	104
Time and Probability-Based Information Flow Analysis	104
A semantic theory of the internet of things (Extended abstract)	104
Weak bisimulation for Probabilistic Timed Automata	103
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces	100
Structural model checking for communicating hierarchical machines	100
Taylor Approximation for Hybrid Systems	99
Dynamic Hierarchical Machines	98
epsilon-transitions in Concurrent Timed Automata	97
A Probabilistic Calculus of Cyber-Physical Systems	95
Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays.	95
A Rule Format for Rooted Branching Bisimulation	93
Probabilistic Congruence for Generative Semistochastic Processes	92
Timed Cooperating Automata	90
A Decidable Probability Logic for Timed Probabilistic Systems	90
Extending taylor approximation to hybrid automata with integrals	87
Transformations of timed cooperating automata	87
Timed Automata with Data Structures for Distributed Systems Design and Analysis	86
Hiding Information in Multi Level Systems	86
Compositional weak metrics for group key update	86
Dynamic Hierarchical Machines	76
A formal approach to physics-based attacks in cyber-physical systems	66
Formal Models of Timing Attacks on Web Privacy	65
Equational reasonings in wireless network gossip protocols	52
A process calculus approach to detection and mitigation of PLC malware	49
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces	46
Transformations of Timed Cooparating Automata	44
null	40
Hiding information in multi level security systems	37
Formal Impact Metrics for Cyber-physical Attacks	35
Weak simulation quasimetric in a gossip scenario	31
A process calculus approach to correctness enforcement of PLCs	23
Step-by-step Robustness for Biochemical Networks	13
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems	6
Back to the format: A survey on SOS for probabilistic processes	5
Towards Reverse Engineering of Industrial Physical Processes	3
A study on shuffle, stopwatches and independently evolving clocks	3
Industrial Control Systems Security via Runtime Enforcement	2
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study	1
Totale	8.074

Salva come PNG Salva come JPEG

Categoria	#
all - tutte	26.240
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	26.240

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2018/2019	522	0	0	0	0	0	0	0	0	0	0	219	303
2019/2020	1.878	97	85	81	331	116	209	282	208	159	136	49	125
2020/2021	1.319	39	175	74	103	98	133	79	104	175	72	111	156
2021/2022	814	110	90	67	21	48	29	63	41	41	143	65	96
2022/2023	957	105	14	65	97	82	216	1	147	148	20	36	26
2023/2024	1.409	244	233	232	258	272	70	20	26	39	14	1	0
Totale													8.074