DI GUGLIELMO, Luigi
 Distribuzione geografica
Continente #
NA - Nord America 859
EU - Europa 572
AS - Asia 197
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
SA - Sud America 1
Totale 1.632
Nazione #
US - Stati Uniti d'America 856
GB - Regno Unito 204
CN - Cina 144
IT - Italia 68
SE - Svezia 56
FI - Finlandia 52
IE - Irlanda 52
DE - Germania 36
FR - Francia 34
RU - Federazione Russa 34
SG - Singapore 27
KR - Corea 18
UA - Ucraina 16
BE - Belgio 12
VN - Vietnam 3
CA - Canada 2
ES - Italia 2
JP - Giappone 2
PL - Polonia 2
AU - Australia 1
CO - Colombia 1
EU - Europa 1
IL - Israele 1
IN - India 1
MD - Moldavia 1
MX - Messico 1
NL - Olanda 1
RO - Romania 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
ZA - Sudafrica 1
Totale 1.632
Città #
Jacksonville 168
Southend 161
Chandler 134
Woodbridge 127
Ann Arbor 102
Dublin 50
Houston 42
Ashburn 37
Verona 30
Beijing 23
Lawrence 21
Princeton 21
Wilmington 19
Seoul 18
Singapore 17
Lancaster 13
Shenyang 13
Brussels 12
Nanjing 12
New York 12
Sindelfingen 12
Jinan 10
Hebei 9
Helsinki 7
Milan 7
Taizhou 7
Cagliari 6
Nanchang 6
Tianjin 6
Boardman 5
Duncan 5
Jiaxing 5
Los Angeles 5
Shanghai 5
Washington 5
Auburn Hills 4
Changsha 4
Dallas 4
Guangzhou 4
Santa Clara 4
Trento 4
East Hartford 3
Fuzhou 3
Haikou 3
Kent 3
Lappeenranta 3
London 3
Ningbo 3
Norwalk 3
Aosta 2
Dongguan 2
Hangzhou 2
Portarlington 2
San Francisco 2
Seattle 2
Shenzhen 2
Taiyuan 2
Tokyo 2
Toronto 2
Warsaw 2
Zhengzhou 2
Alexandria 1
Amsterdam 1
Bogotá 1
Bolzano 1
Bratislava 1
Canberra 1
Delhi 1
Dong Ket 1
Haifa 1
Johannesburg 1
Madrid 1
Mexico City 1
Moscow 1
New Orleans 1
Oakland 1
Ospedaletto Euganeo 1
Phoenix 1
Qingdao 1
Riyadh 1
Scandolara Ravara 1
Tappahannock 1
Torino 1
Villafranca 1
Widnes 1
Xuzhou 1
Totale 1.229
Nome #
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 121
Realizability of embedded controllers: from hybrid models to correct implementations 103
Enabling dynamic assertion-based verification of embedded software through model-driven design 101
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration 101
Open Problems in Verification and Refinement of Autonomous Robotic Systems 100
HIFSuite: Tools for HDL Code Conversion and Manipulation 97
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design 86
Correct-by-construction code generation from hybrid automata specification 80
HIFSuite: Tools for HDL Code Conversion and Manipulation 79
On the use of assertions for embedded-software dynamic verification 78
IPA: Assertion-based verification in embedded-software design 69
Vacuity Analysis by Fault Simulation 68
IPA: Reusing of Properties after Discretization of Hybrid Automata 68
On the Functional Qualification of a Platform Model 67
DDPSL: an Easy Way of Defining Properties 67
Vacuity Analysis for Property Qualification by Mutation of Checkers 65
Model-Driven Design and Validation of Embedded Software 65
The Role of Mutation Analysis for Property Qualification 63
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata 60
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 59
Reusing of Properties after Discretization of Hybrid Automata 58
Totale 1.655
Categoria #
all - tutte 5.256
article - articoli 778
book - libri 0
conference - conferenze 4.155
curatela - curatele 0
other - altro 323
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 10.512


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020140 0 0 3 20 10 18 7 21 7 22 14 18
2020/2021188 6 35 11 23 33 17 3 19 15 4 17 5
2021/2022170 20 44 1 9 10 1 6 5 9 6 13 46
2022/2023394 29 36 35 46 38 81 10 25 61 20 8 5
2023/2024181 12 18 24 18 13 26 1 14 3 23 23 6
2024/202562 19 43 0 0 0 0 0 0 0 0 0 0
Totale 1.655