MENGHI, CLAUDIO
 Distribuzione geografica
Continente #
NA - Nord America 561
EU - Europa 117
AS - Asia 26
AF - Africa 2
OC - Oceania 1
SA - Sud America 1
Totale 708
Nazione #
US - Stati Uniti d'America 554
IT - Italia 38
AT - Austria 34
CN - Cina 12
GB - Regno Unito 11
CA - Canada 7
FI - Finlandia 7
FR - Francia 7
DE - Germania 6
VN - Vietnam 6
SE - Svezia 5
IN - India 4
HK - Hong Kong 3
BE - Belgio 2
ES - Italia 2
NO - Norvegia 2
AU - Australia 1
BR - Brasile 1
GR - Grecia 1
MU - Mauritius 1
NL - Olanda 1
TN - Tunisia 1
TR - Turchia 1
UA - Ucraina 1
Totale 708
Città #
Fairfield 110
Woodbridge 72
Chandler 62
Houston 59
Ann Arbor 51
Cambridge 42
Wilmington 34
Vienna 33
Ashburn 31
Seattle 26
Milan 14
Lawrence 11
Beijing 9
Dearborn 8
Princeton 7
San Diego 7
Des Moines 5
Medford 4
Dong Ket 3
Brussels 2
Forlì 2
Mountain View 2
Andover 1
Auburn Hills 1
Blanes 1
Edgware 1
Eskisehir 1
Gorla Maggiore 1
Hefei 1
Jacksonville 1
Klagenfurt 1
Kunming 1
London 1
Los Angeles 1
Montréal 1
Norwalk 1
Ottawa 1
Pavia 1
Redwood City 1
Reggio Nell'emilia 1
Santa Rosa 1
Shanghai 1
Thessaloníki 1
Villaurbana 1
Totale 616
Nome #
On requirements verification for model refinements 99
Towards agile verification 93
Engineering topology aware adaptive security: Preventing requirements violations at runtime 89
Topology Aware Adaptive Security 87
PuRSUE -from specification of robotic environments to synthesis of controllers 84
Verifying incomplete and evolving specifications 75
On requirement verification for evolving Statecharts specifications 69
A control-theoretic approach to self-adaptive systems and an application to cloud-based software 63
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 32
TOrPEDO: witnessing model correctness with topological proofs 21
RoboMAX: Robotic Mission Adaptation eXemplars 20
Totale 732
Categoria #
all - tutte 915
article - articoli 271
book - libri 0
conference - conferenze 459
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 185
Totale 1830


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/201880 0000 02 859 3080
2018/2019119 0342 26 32 4213834
2019/2020189 158613 2026 2016 20181314
2020/202172 4926 49 31 106126
2021/2022146 661311 149 1210 1052327
2022/202379 3032611 00 00 0000
Totale 732