CATALOGO DEI PRODOTTI DELLA RICERCA

DI GUGLIELMO, Luigi
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.157
EU - Europa 1.020
AS - Asia 576
SA - Sud America 79
AF - Africa 11
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 2.845
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.137
RU - Federazione Russa 398
GB - Regno Unito 215
SG - Singapore 208
CN - Cina 197
IT - Italia 95
FI - Finlandia 71
HK - Hong Kong 68
BR - Brasile 64
SE - Svezia 56
IE - Irlanda 52
DE - Germania 43
FR - Francia 42
VN - Vietnam 40
KR - Corea 32
UA - Ucraina 16
BE - Belgio 12
CA - Canada 10
IN - India 9
PL - Polonia 7
ZA - Sudafrica 6
JP - Giappone 5
AR - Argentina 4
BD - Bangladesh 4
EC - Ecuador 4
ES - Italia 4
MX - Messico 4
DO - Repubblica Dominicana 3
AT - Austria 2
CO - Colombia 2
EG - Egitto 2
ID - Indonesia 2
IQ - Iraq 2
MA - Marocco 2
PY - Paraguay 2
TR - Turchia 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BY - Bielorussia 1
CZ - Repubblica Ceca 1
DM - Dominica 1
EU - Europa 1
IL - Israele 1
JM - Giamaica 1
JO - Giordania 1
KE - Kenya 1
KG - Kirghizistan 1
MD - Moldavia 1
NL - Olanda 1
NP - Nepal 1
PK - Pakistan 1
PT - Portogallo 1
RO - Romania 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 2.845
Salva come PNG Salva come JPEG
Città #
Jacksonville 168
Southend 161
Chandler 134
Moscow 129
Woodbridge 127
Ann Arbor 102
Dallas 99
Singapore 92
Hong Kong 68
Ashburn 64
Dublin 50
Houston 44
Beijing 36
Verona 32
Los Angeles 27
Helsinki 24
New York 22
Lawrence 21
Princeton 21
The Dalles 19
Wilmington 19
Seoul 18
Milan 17
Buffalo 14
Ho Chi Minh City 14
Shenyang 14
Lancaster 13
Brussels 12
Nanjing 12
Sindelfingen 12
Jinan 10
Hebei 9
São Paulo 9
Santa Clara 7
Taizhou 7
Cagliari 6
Johannesburg 6
Nanchang 6
San Francisco 6
Shanghai 6
Tianjin 6
Warsaw 6
Boardman 5
Columbus 5
Duncan 5
Hanoi 5
Jiaxing 5
London 5
Tokyo 5
Washington 5
Auburn Hills 4
Bexley 4
Changsha 4
Frankfurt am Main 4
Guangzhou 4
Rome 4
Trento 4
Chennai 3
Chicago 3
Delhi 3
East Hartford 3
Fuzhou 3
Haikou 3
Kent 3
Lappeenranta 3
Mexico City 3
Montreal 3
Ningbo 3
Norwalk 3
Phoenix 3
Thái Bình 3
Alexandria 2
Ankara 2
Aosta 2
Asunción 2
Atlanta 2
Brooklyn 2
Charlotte 2
Denver 2
Dhaka 2
Dongguan 2
Falkenstein 2
Haiphong 2
Hangzhou 2
Manchester 2
Poplar 2
Portarlington 2
Redondo Beach 2
Rio de Janeiro 2
Seattle 2
Shenzhen 2
São José do Rio Preto 2
São Leopoldo 2
Taiyuan 2
Toronto 2
Turku 2
Zhengzhou 2
Alvorada 1
Amman 1
Amsterdam 1
Totale 1.834
Salva come PNG Salva come JPEG
Nome #
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 211
Enabling dynamic assertion-based verification of embedded software through model-driven design 173
HIFSuite: Tools for HDL Code Conversion and Manipulation 166
Open Problems in Verification and Refinement of Autonomous Robotic Systems 155
Realizability of embedded controllers: from hybrid models to correct implementations 150
Correct-by-construction code generation from hybrid automata specification 149
HIFSuite: Tools for HDL Code Conversion and Manipulation 148
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design 147
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration 147
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata 137
On the use of assertions for embedded-software dynamic verification 131
Model-Driven Design and Validation of Embedded Software 129
IPA: Assertion-based verification in embedded-software design 124
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 123
DDPSL: an Easy Way of Defining Properties 122
Vacuity Analysis by Fault Simulation 119
On the Functional Qualification of a Platform Model 119
IPA: Reusing of Properties after Discretization of Hybrid Automata 118
Reusing of Properties after Discretization of Hybrid Automata 105
The Role of Mutation Analysis for Property Qualification 104
Vacuity Analysis for Property Qualification by Mutation of Checkers 91
Totale 2.868
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.375
article - articoli 1.405
book - libri 0
conference - conferenze 7.489
curatela - curatele 0
other - altro 481
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 18.750
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021113 0 0 0 0 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/2025413 19 43 13 70 23 20 5 28 58 21 49 64
2025/2026862 95 105 103 243 316 0 0 0 0 0 0 0
Totale 2.868