CATALOGO DEI PRODOTTI DELLA RICERCA

DI GUGLIELMO, Luigi
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.369
EU - Europa 1.093
AS - Asia 753
SA - Sud America 100
AF - Africa 20
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 3.337
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.343
RU - Federazione Russa 428
SG - Singapore 296
GB - Regno Unito 219
CN - Cina 213
IT - Italia 127
BR - Brasile 78
VN - Vietnam 78
FI - Finlandia 71
HK - Hong Kong 68
SE - Svezia 58
IE - Irlanda 52
DE - Germania 44
FR - Francia 44
KR - Corea 39
UA - Ucraina 16
BE - Belgio 12
CA - Canada 12
IN - India 12
BD - Bangladesh 11
MX - Messico 7
PL - Polonia 7
ZA - Sudafrica 7
AR - Argentina 6
JP - Giappone 6
NG - Nigeria 6
CO - Colombia 5
EC - Ecuador 4
ES - Italia 4
DO - Repubblica Dominicana 3
ID - Indonesia 3
IQ - Iraq 3
SA - Arabia Saudita 3
TR - Turchia 3
AE - Emirati Arabi Uniti 2
AT - Austria 2
BY - Bielorussia 2
EG - Egitto 2
JO - Giordania 2
KE - Kenya 2
MA - Marocco 2
NP - Nepal 2
OM - Oman 2
PE - Perù 2
PH - Filippine 2
PK - Pakistan 2
PY - Paraguay 2
RO - Romania 2
VE - Venezuela 2
AU - Australia 1
AZ - Azerbaigian 1
CZ - Repubblica Ceca 1
DM - Dominica 1
EU - Europa 1
IL - Israele 1
JM - Giamaica 1
KG - Kirghizistan 1
KZ - Kazakistan 1
MD - Moldavia 1
MY - Malesia 1
NL - Olanda 1
PA - Panama 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 3.337
Salva come PNG Salva come JPEG
Città #
Singapore 175
Jacksonville 168
Southend 161
Chandler 134
Moscow 133
Woodbridge 127
Ashburn 126
Ann Arbor 102
San Jose 101
Dallas 100
Hong Kong 68
Verona 59
Dublin 50
Houston 44
The Dalles 41
Beijing 36
Los Angeles 27
Ho Chi Minh City 25
Helsinki 24
New York 23
Lawrence 21
Princeton 21
Milan 19
Wilmington 19
Seoul 18
Buffalo 15
Hanoi 15
Shenyang 14
Lancaster 13
Brussels 12
Nanjing 12
Sindelfingen 12
São Paulo 11
Jinan 10
Hebei 9
Santa Clara 9
San Francisco 7
Shanghai 7
Taizhou 7
Tianjin 7
Abuja 6
Cagliari 6
Guangzhou 6
Johannesburg 6
Nanchang 6
Tokyo 6
Warsaw 6
Boardman 5
Columbus 5
Duncan 5
Frankfurt am Main 5
Jiaxing 5
London 5
Rome 5
Washington 5
Auburn Hills 4
Bexley 4
Changsha 4
Chennai 4
Montreal 4
Trento 4
Chicago 3
Delhi 3
East Hartford 3
Fuzhou 3
Haikou 3
Haiphong 3
Kent 3
Lappeenranta 3
Mexico City 3
Ningbo 3
Norwalk 3
Phoenix 3
Rio de Janeiro 3
Shenzhen 3
Thái Bình 3
Toronto 3
Alexandria 2
Amman 2
Ankara 2
Aosta 2
Asunción 2
Atlanta 2
Bogotá 2
Brooklyn 2
Campo Grande 2
Charlotte 2
Da Nang 2
Denver 2
Dhaka 2
Dongguan 2
Erbil 2
Falkenstein 2
Hangzhou 2
Jakarta 2
Malmo 2
Manchester 2
Medellín 2
Muscat 2
Nairobi 2
Totale 2.182
Salva come PNG Salva come JPEG
Nome #
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 232
HIFSuite: Tools for HDL Code Conversion and Manipulation 211
Enabling dynamic assertion-based verification of embedded software through model-driven design 194
HIFSuite: Tools for HDL Code Conversion and Manipulation 180
Realizability of embedded controllers: from hybrid models to correct implementations 175
Open Problems in Verification and Refinement of Autonomous Robotic Systems 173
Correct-by-construction code generation from hybrid automata specification 165
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design 165
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration 165
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata 163
On the use of assertions for embedded-software dynamic verification 160
Model-Driven Design and Validation of Embedded Software 155
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 146
DDPSL: an Easy Way of Defining Properties 146
IPA: Assertion-based verification in embedded-software design 143
Vacuity Analysis by Fault Simulation 142
On the Functional Qualification of a Platform Model 142
IPA: Reusing of Properties after Discretization of Hybrid Automata 137
Reusing of Properties after Discretization of Hybrid Automata 129
The Role of Mutation Analysis for Property Qualification 119
Vacuity Analysis for Property Qualification by Mutation of Checkers 118
Totale 3.360
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.359
article - articoli 1.566
book - libri 0
conference - conferenze 8.271
curatela - curatele 0
other - altro 522
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 20.718
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202126 0 0 0 0 0 0 0 0 0 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/20261.354 95 105 103 243 353 97 117 71 92 78 0 0
Totale 3.360