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 5.489
EU - Europa 2.792
AS - Asia 1.626
SA - Sud America 135
AF - Africa 25
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 4
Totale 10.076
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.411
IT - Italia 1.284
SG - Singapore 568
UA - Ucraina 490
SE - Svezia 359
TR - Turchia 318
CN - Cina 282
HK - Hong Kong 224
VN - Vietnam 172
DE - Germania 134
FI - Finlandia 126
IE - Irlanda 121
BR - Brasile 118
GB - Regno Unito 108
RU - Federazione Russa 72
CA - Canada 50
MX - Messico 25
FR - Francia 24
IN - India 22
PL - Polonia 17
BE - Belgio 13
AT - Austria 12
JP - Giappone 11
NL - Olanda 9
DZ - Algeria 8
BD - Bangladesh 7
ZA - Sudafrica 7
ES - Italia 6
EU - Europa 5
IQ - Iraq 5
VE - Venezuela 5
AR - Argentina 4
KE - Kenya 4
LT - Lituania 4
AE - Emirati Arabi Uniti 3
LU - Lussemburgo 3
MY - Malesia 3
RO - Romania 3
AU - Australia 2
BY - Bielorussia 2
EC - Ecuador 2
JM - Giamaica 2
MA - Marocco 2
NP - Nepal 2
PY - Paraguay 2
AL - Albania 1
AZ - Azerbaigian 1
BG - Bulgaria 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
CR - Costa Rica 1
EG - Egitto 1
GA - Gabon 1
GE - Georgia 1
HR - Croazia 1
ID - Indonesia 1
JO - Giordania 1
KH - Cambogia 1
KZ - Kazakistan 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PE - Perù 1
PH - Filippine 1
PW - Palau 1
SA - Arabia Saudita 1
SN - Senegal 1
TN - Tunisia 1
TW - Taiwan 1
UY - Uruguay 1
Totale 10.076
Salva come PNG Salva come JPEG
Città #
Milan 910
Fairfield 776
Woodbridge 494
Ashburn 410
Jacksonville 383
Houston 358
Singapore 310
Chandler 304
Seattle 301
Cambridge 281
Wilmington 267
Ann Arbor 236
Hong Kong 222
Nyköping 163
Dallas 145
Dearborn 142
Princeton 140
Izmir 136
Beijing 129
Dublin 119
Boardman 88
Dong Ket 87
Rome 59
Los Angeles 52
San Mateo 48
San Diego 44
Chicago 43
The Dalles 39
Ottawa 31
New York 30
London 27
Redmond 27
Santa Clara 23
Hefei 22
Munich 22
Ogden 22
Como 20
Brooklyn 18
Mexico City 18
Düsseldorf 14
Espoo 14
Warsaw 14
Brussels 13
Kunming 13
Norwalk 12
São Paulo 12
Varese 11
Washington 11
Guangzhou 10
Helsinki 10
Tokyo 10
Verona 10
Ho Chi Minh City 9
Montreal 9
Nanjing 9
Denver 8
San Francisco 8
Chennai 7
Fuzhou 7
Hanoi 7
Magnago 7
Orem 7
Amsterdam 6
Johannesburg 6
Kilburn 6
Nanchang 6
Philadelphia 6
Belo Horizonte 5
Berlin 5
Boston 5
Columbus 5
Kocaeli 5
Parkville 5
Phoenix 5
Pittsburgh 5
Poplar 5
Rio de Janeiro 5
Stockholm 5
Toronto 5
Vienna 5
Zhengzhou 5
Buffalo 4
Changsha 4
Clifton 4
Edinburgh 4
Maslianico 4
Redwood City 4
Savona 4
Shanghai 4
Vicenza 4
Ankara 3
Auburn Hills 3
Betim 3
Cagliari 3
Concord 3
Garanhuns 3
Hebei 3
Islington 3
Kuala Lumpur 3
Manchester 3
Totale 7.344
Salva come PNG Salva come JPEG
Nome #
Complexity and Succinctness Issues for Linear-Time Hybrid Logics 209
Security policies enforcement using finite and pushdown edit automata 198
Computing Bisimilarity Metrics for Probabilistic Timed Automata 197
Probabilistic Bisimulation as a Congruence 193
A modest security analysis of cyber-physical systems: A case study 193
A Formal Approach to Cyber-Physical Attacks 191
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics 189
A function elimination method for checking satisfiability of arithmetical logics 184
Decidability results for parametric probabilistic transition systems with an application to security 182
Automatic Analysis of the NRL Pump 182
Distributed time-asynchronous automata 182
Privacy in Real Time Systems 180
Taylor Approximation for Hybrid Systems 178
Runtime Enforcement for Control System Security 173
A Classification of Time and/or Probability Dependent Security Properties 170
Automated Analysis of Timed Security: A Case Study on Web Privacy 167
Automatic Analysis of a Non-Repudiation Protocol 164
Concurrency in Timed Automata 163
On the decidability of linear bounded periodic cyber-physical systems 163
A specification format for rooted branching bisimulation 160
Design and Verification of Long-Running Transactions in a Timed Framework 158
Security Policies Enforcement Using Finite Edit Automata 154
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks 153
A semantic theory of the internet of things (Extended abstract) 153
A semantic theory of the Internet of Things 152
A calculus of cyber-physical systems 151
Information Flow in Hybrid Systems 150
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security 150
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics 150
Concurrency in timed automata 147
A probabilistic calculus of cyber-physical systems 147
Towards a formal notion of impact metric for cyber-physical attacks 146
Automatic Covert Channel Analysis of a Multilevel Secure Component 145
Monotonic Hybrid Systems 145
Expressive Power of Hybrid Systems with Variables, Parameters and Arrays 143
Hybrid and First-Order Complete Extensions of CaRet 143
A Rule Format for Rooted Branching Bisimulation 139
Reachability results for timed automata with unbounded data structures 136
Weak simulation quasimetric in a gossip scenario 135
Complexity and succinctness issues for linear-time hybrid logics 133
Time and Probability-Based Information Flow Analysis 131
Information Flow Analysis for Probabilistic Timed Automata 130
Timed Automata with Monotonic Activities 130
Parametric probabilistic transition systems for system design and analysis 127
Removing All Silent Transitions from Timed Automata 126
Structural model checking for communicating hierarchical machines 125
Dynamic Hierarchical Machines 123
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces 123
Extending Taylor approximation to hybrid automata with integrals 122
Taylor Approximation for Hybrid Systems 120
A Decidable Probability Logic for Timed Probabilistic Systems 120
epsilon-transitions in Concurrent Timed Automata 118
Probabilistic Congruence for Generative Semistochastic Processes 118
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata 116
Weak bisimulation for Probabilistic Timed Automata 116
Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays. 111
Compositional weak metrics for group key update 109
Timed Cooperating Automata 107
Transformations of timed cooperating automata 104
Hiding Information in Multi Level Systems 100
A formal approach to physics-based attacks in cyber-physical systems 100
Timed Automata with Data Structures for Distributed Systems Design and Analysis 98
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces 96
Dynamic Hierarchical Machines 91
A process calculus approach to detection and mitigation of PLC malware 89
Formal Models of Timing Attacks on Web Privacy 85
Equational reasonings in wireless network gossip protocols 76
A process calculus approach to correctness enforcement of PLCs 62
Transformations of Timed Cooparating Automata 61
Hiding information in multi level security systems 57
Formal Impact Metrics for Cyber-physical Attacks 56
Step-by-step Robustness for Biochemical Networks 46
A study on shuffle, stopwatches and independently evolving clocks 41
null 40
Formal Robustness for Cyber-Physical Systems Under Timed Attacks 38
Back to the format: A survey on SOS for probabilistic processes 38
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations 37
Industrial Control Systems Security via Runtime Enforcement 35
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems 34
Obfuscation strategies for industrial control systems 32
Robustness for biochemical networks: Step-by-step approach 28
Measuring robustness in cyber-physical systems under sensor attacks 27
Towards Reverse Engineering of Industrial Physical Processes 26
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study 19
DT-Stark: a tool for evaluating the effectiveness of digital twins through feedback and perturbations 2
Totale 10.238
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.989
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 41.989
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021830 0 0 0 0 0 133 79 104 175 72 111 156
2021/2022813 110 90 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/20261.125 123 159 147 331 217 148 0 0 0 0 0 0
Totale 10.238