DI GUGLIELMO, Luigi
 Distribuzione geografica
Continente #
NA - Nord America 844
EU - Europa 539
AS - Asia 156
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
SA - Sud America 1
Totale 1.543
Nazione #
US - Stati Uniti d'America 841
GB - Regno Unito 204
CN - Cina 129
IT - Italia 68
SE - Svezia 56
IE - Irlanda 52
FI - Finlandia 51
DE - Germania 36
FR - Francia 34
KR - Corea 18
UA - Ucraina 16
BE - Belgio 12
VN - Vietnam 3
CA - Canada 2
ES - Italia 2
PL - Polonia 2
RU - Federazione Russa 2
SG - Singapore 2
AU - Australia 1
CO - Colombia 1
EU - Europa 1
IL - Israele 1
IN - India 1
JP - Giappone 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.543
Città #
Jacksonville 168
Southend 161
Chandler 134
Woodbridge 127
Ann Arbor 102
Dublin 50
Houston 42
Ashburn 35
Verona 30
Beijing 21
Lawrence 21
Princeton 21
Wilmington 19
Seoul 18
Lancaster 13
Shenyang 13
Brussels 12
Nanjing 12
New York 12
Sindelfingen 12
Jinan 10
Hebei 9
Milan 7
Taizhou 7
Cagliari 6
Helsinki 6
Nanchang 6
Tianjin 6
Duncan 5
Jiaxing 5
Los Angeles 5
Washington 5
Auburn Hills 4
Boardman 4
Changsha 4
Shanghai 4
Trento 4
East Hartford 3
Fuzhou 3
Haikou 3
Lappeenranta 3
London 3
Ningbo 3
Norwalk 3
Aosta 2
Dallas 2
Dongguan 2
Guangzhou 2
Hangzhou 2
Portarlington 2
San Francisco 2
Seattle 2
Taiyuan 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
New Orleans 1
Ospedaletto Euganeo 1
Phoenix 1
Qingdao 1
Riyadh 1
Scandolara Ravara 1
Singapore 1
Tappahannock 1
Tokyo 1
Torino 1
Villafranca 1
Widnes 1
Totale 1.189
Nome #
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 114
Enabling dynamic assertion-based verification of embedded software through model-driven design 98
Realizability of embedded controllers: from hybrid models to correct implementations 97
HIFSuite: Tools for HDL Code Conversion and Manipulation 96
Open Problems in Verification and Refinement of Autonomous Robotic Systems 95
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration 92
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design 83
Correct-by-construction code generation from hybrid automata specification 75
On the use of assertions for embedded-software dynamic verification 74
HIFSuite: Tools for HDL Code Conversion and Manipulation 74
DDPSL: an Easy Way of Defining Properties 65
On the Functional Qualification of a Platform Model 64
Vacuity Analysis by Fault Simulation 63
Model-Driven Design and Validation of Embedded Software 63
IPA: Assertion-based verification in embedded-software design 63
Vacuity Analysis for Property Qualification by Mutation of Checkers 62
IPA: Reusing of Properties after Discretization of Hybrid Automata 62
The Role of Mutation Analysis for Property Qualification 60
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata 57
Reusing of Properties after Discretization of Hybrid Automata 56
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 53
Totale 1.566
Categoria #
all - tutte 4.421
article - articoli 663
book - libri 0
conference - conferenze 3.511
curatela - curatele 0
other - altro 247
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 8.842


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20195 0 0 0 0 0 0 0 0 0 0 3 2
2019/2020166 22 4 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/2024154 12 18 24 18 13 26 1 14 3 23 2 0
Totale 1.566