statistiche ricercatore

LANOTTE, RUGGERO

Distribuzione geografica

Continente	#
NA - Nord America	4.895
EU - Europa	2.607
AS - Asia	716
AF - Africa	8
Continente sconosciuto - Info sul continente non disponibili	5
OC - Oceania	3
SA - Sud America	2
Totale	8.236

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	4.858
IT - Italia	1.259
UA - Ucraina	490
SE - Svezia	356
TR - Turchia	314
CN - Cina	179
VN - Vietnam	144
FI - Finlandia	126
DE - Germania	124
IE - Irlanda	121
GB - Regno Unito	74
SG - Singapore	70
CA - Canada	37
FR - Francia	23
BE - Belgio	13
DZ - Algeria	8
EU - Europa	5
NL - Olanda	5
AT - Austria	3
IN - India	3
JP - Giappone	3
LU - Lussemburgo	3
RO - Romania	3
AU - Australia	2
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
RU - Federazione Russa	1
Totale	8.236

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

Nome	#
Complexity and Succinctness Issues for Linear-Time Hybrid Logics	193
Security policies enforcement using finite and pushdown edit automata	180
Computing Bisimilarity Metrics for Probabilistic Timed Automata	172
Decidability results for parametric probabilistic transition systems with an application to security	168
A Formal Approach to Cyber-Physical Attacks	165
Taylor Approximation for Hybrid Systems	162
Probabilistic Bisimulation as a Congruence	161
Distributed time-asynchronous automata	161
Privacy in Real Time Systems	160
Runtime Enforcement for Control System Security	159
A modest security analysis of cyber-physical systems: A case study	156
Concurrency in Timed Automata	148
A function elimination method for checking satisfiability of arithmetical logics	146
Automatic Analysis of the NRL Pump	145
On the decidability of linear bounded periodic cyber-physical systems	144
Design and Verification of Long-Running Transactions in a Timed Framework	143
A Classification of Time and/or Probability Dependent Security Properties	141
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics	141
Automated Analysis of Timed Security: A Case Study on Web Privacy	140
Information Flow in Hybrid Systems	137
Security Policies Enforcement Using Finite Edit Automata	137
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks	136
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security	134
Automatic Analysis of a Non-Repudiation Protocol	131
Expressive Power of Hybrid Systems with Variables, Parameters and Arrays	130
Concurrency in timed automata	130
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics	130
Towards a formal notion of impact metric for cyber-physical attacks	128
Automatic Covert Channel Analysis of a Multilevel Secure Component	127
Monotonic Hybrid Systems	126
Complexity and succinctness issues for linear-time hybrid logics	120
null	120
Reachability results for timed automata with unbounded data structures	119
Information Flow Analysis for Probabilistic Timed Automata	119
Timed Automata with Monotonic Activities	119
A calculus of cyber-physical systems	118
Parametric probabilistic transition systems for system design and analysis	116
A semantic theory of the Internet of Things	116
A semantic theory of the internet of things (Extended abstract)	115
Removing All Silent Transitions from Timed Automata	113
A specification format for rooted branching bisimulation	112
Hybrid and First-Order Complete Extensions of CaRet	112
Time and Probability-Based Information Flow Analysis	110
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata	106
Weak bisimulation for Probabilistic Timed Automata	105
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces	104
A Rule Format for Rooted Branching Bisimulation	103
Structural model checking for communicating hierarchical machines	102
Taylor Approximation for Hybrid Systems	101
A Probabilistic Calculus of Cyber-Physical Systems	101
Dynamic Hierarchical Machines	100
epsilon-transitions in Concurrent Timed Automata	100
A Decidable Probability Logic for Timed Probabilistic Systems	99
Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays.	97
Probabilistic Congruence for Generative Semistochastic Processes	94
Timed Cooperating Automata	93
Extending taylor approximation to hybrid automata with integrals	91
Transformations of timed cooperating automata	89
Timed Automata with Data Structures for Distributed Systems Design and Analysis	88
Hiding Information in Multi Level Systems	88
Compositional weak metrics for group key update	88
Dynamic Hierarchical Machines	78
A formal approach to physics-based attacks in cyber-physical systems	71
Formal Models of Timing Attacks on Web Privacy	67
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces	57
A process calculus approach to detection and mitigation of PLC malware	55
Equational reasonings in wireless network gossip protocols	54
Transformations of Timed Cooparating Automata	46
Formal Impact Metrics for Cyber-physical Attacks	42
Hiding information in multi level security systems	41
null	40
Weak simulation quasimetric in a gossip scenario	33
A process calculus approach to correctness enforcement of PLCs	27
Step-by-step Robustness for Biochemical Networks	20
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems	12
Back to the format: A survey on SOS for probabilistic processes	12
Industrial Control Systems Security via Runtime Enforcement	9
A study on shuffle, stopwatches and independently evolving clocks	9
Towards Reverse Engineering of Industrial Physical Processes	8
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations	7
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study	4
Robustness for biochemical networks: Step-by-step approach	3
Totale	8.384

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2019/2020	1.284	0	0	0	0	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.422	244	233	232	258	272	70	20	26	39	14	1	13
2024/2025	297	18	16	187	42	34	0	0	0	0	0	0	0
Totale													8.384