statistiche ricercatore

LANOTTE, RUGGERO

Distribuzione geografica

Continente	#
NA - Nord America	4.898
EU - Europa	2.682
AS - Asia	779
AF - Africa	8
Continente sconosciuto - Info sul continente non disponibili	5
OC - Oceania	3
SA - Sud America	3
Totale	8.378

Salva come PNG Salva come JPEG

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

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
Varese	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
Vicenza	4
Amsterdam	3
Auburn Hills	3
Cagliari	3
Hebei	3
Islington	3
Pittsburgh	3
Quzhou	3
Shanghai	3
Shaoxing	3
Strasbourg	3
Trento	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
Totale	6.284

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2019/2020	959	0	0	0	0	0	0	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	440	18	16	187	42	36	53	88	0	0	0	0	0
Totale													8.527