IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

LANOTTE, RUGGERO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.464
EU - Europa 2.966
AS - Asia 2.158
Continente sconosciuto - Info sul continente non disponibili 168
SA - Sud America 155
AF - Africa 42
OC - Oceania 4
Totale 11.957
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.360
IT - Italia 1.330
SG - Singapore 738
UA - Ucraina 491
CN - Cina 480
SE - Svezia 380
TR - Turchia 321
VN - Vietnam 249
HK - Hong Kong 248
DE - Germania 137
FI - Finlandia 132
BR - Brasile 129
IE - Irlanda 121
GB - Regno Unito 114
FR - Francia 98
RU - Federazione Russa 73
CA - Canada 59
BD - Bangladesh 36
MX - Messico 36
IN - India 34
PL - Polonia 17
BE - Belgio 13
AT - Austria 12
JP - Giappone 12
NL - Olanda 12
DZ - Algeria 10
IQ - Iraq 9
NG - Nigeria 8
ZA - Sudafrica 8
ES - Italia 7
VE - Venezuela 7
AR - Argentina 5
EU - Europa 5
JM - Giamaica 5
RO - Romania 5
CO - Colombia 4
EG - Egitto 4
KE - Kenya 4
LT - Lituania 4
MY - Malesia 4
AE - Emirati Arabi Uniti 3
CL - Cile 3
EC - Ecuador 3
LU - Lussemburgo 3
MA - Marocco 3
MD - Moldavia 3
SA - Arabia Saudita 3
AU - Australia 2
BG - Bulgaria 2
BY - Bielorussia 2
CH - Svizzera 2
CR - Costa Rica 2
HN - Honduras 2
ID - Indonesia 2
KZ - Kazakistan 2
NP - Nepal 2
PH - Filippine 2
PY - Paraguay 2
SN - Senegal 2
TN - Tunisia 2
TW - Taiwan 2
UZ - Uzbekistan 2
AL - Albania 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
GA - Gabon 1
GE - Georgia 1
HR - Croazia 1
HU - Ungheria 1
IR - Iran 1
JO - Giordania 1
KH - Cambogia 1
LK - Sri Lanka 1
LV - Lettonia 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
OM - Oman 1
PE - Perù 1
PK - Pakistan 1
PT - Portogallo 1
PW - Palau 1
RS - Serbia 1
TH - Thailandia 1
UY - Uruguay 1
Totale 11.794
Salva come PNG Salva come JPEG
Città #
Milan 922
Fairfield 776
San Jose 500
Woodbridge 494
Ashburn 489
Singapore 394
Jacksonville 385
Houston 359
Chandler 304
Seattle 301
Cambridge 281
Wilmington 268
Hong Kong 241
Ann Arbor 236
Nyköping 163
Beijing 149
Dallas 148
Dearborn 142
Princeton 140
Council Bluffs 139
Izmir 137
Dublin 119
Boardman 88
Dong Ket 87
Chicago 67
Lauterbourg 66
The Dalles 66
Los Angeles 62
Rome 62
San Mateo 48
San Diego 44
Ho Chi Minh City 42
New York 38
Santa Clara 37
Ottawa 32
London 29
Mexico City 27
Redmond 27
Hanoi 24
Hefei 23
Munich 22
Ogden 22
Como 20
Brooklyn 18
Guangzhou 18
Orem 16
Espoo 15
Helsinki 15
Kunming 15
Düsseldorf 14
Warsaw 14
Brussels 13
Norwalk 13
Shanghai 12
São Paulo 12
Washington 12
Chennai 11
Montreal 11
Tokyo 11
Varese 11
Nanjing 10
San Francisco 10
Verona 10
Amsterdam 9
Denver 9
Fuzhou 9
Abuja 8
Buffalo 8
Philadelphia 8
Phoenix 8
Zhengzhou 8
Magnago 7
Pittsburgh 7
Tianjin 7
Atlanta 6
Belo Horizonte 6
Johannesburg 6
Kilburn 6
Mumbai 6
Nanchang 6
Salt Lake City 6
Shenzhen 6
Toronto 6
Berlin 5
Boston 5
Columbus 5
Hangzhou 5
Kocaeli 5
Manchester 5
Parkville 5
Poplar 5
Rio de Janeiro 5
Stockholm 5
Vienna 5
Betim 4
Changsha 4
Clifton 4
Da Nang 4
Edinburgh 4
Frankfurt am Main 4
Totale 8.502
Salva come PNG Salva come JPEG
Nome #
Complexity and Succinctness Issues for Linear-Time Hybrid Logics 234
Probabilistic Bisimulation as a Congruence 217
A modest security analysis of cyber-physical systems: A case study 217
Security policies enforcement using finite and pushdown edit automata 216
Computing Bisimilarity Metrics for Probabilistic Timed Automata 214
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics 213
A Formal Approach to Cyber-Physical Attacks 210
A function elimination method for checking satisfiability of arithmetical logics 209
Automatic Analysis of the NRL Pump 205
Privacy in Real Time Systems 203
Decidability results for parametric probabilistic transition systems with an application to security 198
Taylor Approximation for Hybrid Systems 197
Distributed time-asynchronous automata 195
Runtime Enforcement for Control System Security 191
Automated Analysis of Timed Security: A Case Study on Web Privacy 189
A Classification of Time and/or Probability Dependent Security Properties 186
Automatic Analysis of a Non-Repudiation Protocol 185
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks 185
A specification format for rooted branching bisimulation 184
Design and Verification of Long-Running Transactions in a Timed Framework 181
Concurrency in Timed Automata 176
On the decidability of linear bounded periodic cyber-physical systems 175
Security Policies Enforcement Using Finite Edit Automata 171
Weak simulation quasimetric in a gossip scenario 170
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics 170
A calculus of cyber-physical systems 167
A semantic theory of the internet of things (Extended abstract) 167
Hybrid and First-Order Complete Extensions of CaRet 167
A semantic theory of the Internet of Things 166
Automatic Covert Channel Analysis of a Multilevel Secure Component 165
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security 165
A probabilistic calculus of cyber-physical systems 163
Towards a formal notion of impact metric for cyber-physical attacks 163
Information Flow in Hybrid Systems 162
A Rule Format for Rooted Branching Bisimulation 162
Concurrency in timed automata 160
Complexity and succinctness issues for linear-time hybrid logics 160
Time and Probability-Based Information Flow Analysis 160
Monotonic Hybrid Systems 160
Expressive Power of Hybrid Systems with Variables, Parameters and Arrays 156
Structural model checking for communicating hierarchical machines 153
Taylor Approximation for Hybrid Systems 151
Reachability results for timed automata with unbounded data structures 149
Information Flow Analysis for Probabilistic Timed Automata 148
Dynamic Hierarchical Machines 147
A Decidable Probability Logic for Timed Probabilistic Systems 143
Timed Automata with Monotonic Activities 142
Extending Taylor approximation to hybrid automata with integrals 142
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata 141
Removing All Silent Transitions from Timed Automata 140
Probabilistic Congruence for Generative Semistochastic Processes 140
Parametric probabilistic transition systems for system design and analysis 138
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces 138
Weak bisimulation for Probabilistic Timed Automata 130
epsilon-transitions in Concurrent Timed Automata 128
Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays. 128
Compositional weak metrics for group key update 124
A formal approach to physics-based attacks in cyber-physical systems 124
Hiding Information in Multi Level Systems 123
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces 123
Timed Cooperating Automata 122
Timed Automata with Data Structures for Distributed Systems Design and Analysis 121
Transformations of timed cooperating automata 116
A process calculus approach to detection and mitigation of PLC malware 113
Dynamic Hierarchical Machines 112
Formal Models of Timing Attacks on Web Privacy 98
Equational reasonings in wireless network gossip protocols 97
A process calculus approach to correctness enforcement of PLCs 87
Step-by-step Robustness for Biochemical Networks 80
Formal Impact Metrics for Cyber-physical Attacks 77
Transformations of Timed Cooparating Automata 75
A study on shuffle, stopwatches and independently evolving clocks 74
Hiding information in multi level security systems 73
Obfuscation strategies for industrial control systems 68
Formal Robustness for Cyber-Physical Systems Under Timed Attacks 68
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems 66
Industrial Control Systems Security via Runtime Enforcement 57
Back to the format: A survey on SOS for probabilistic processes 57
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations 55
Measuring robustness in cyber-physical systems under sensor attacks 51
Towards Reverse Engineering of Industrial Physical Processes 48
Robustness for biochemical networks: Step-by-step approach 48
null 40
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study 36
DT-Stark: a tool for evaluating the effectiveness of digital twins through feedback and perturbations 28
Formal Quantitative Tolerance of Cyber-Physical Systems Under Periodic Attacks 4
Totale 11.957
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.062
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 49.062
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022613 0 0 67 21 48 29 63 41 41 143 65 95
2022/2023951 104 14 65 94 82 214 1 147 148 20 36 26
2023/20241.398 239 229 227 254 267 69 20 26 39 14 1 13
2024/20251.057 18 16 185 42 36 53 90 26 102 79 146 264
2025/20262.605 123 159 147 331 217 186 579 184 308 176 102 93
2026/2027239 32 156 51 0 0 0 0 0 0 0 0 0
Totale 11.957