CATALOGO DEI PRODOTTI DELLA RICERCA

DI GUGLIELMO, Luigi
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.402
EU - Europa 1.098
AS - Asia 765
SA - Sud America 100
AF - Africa 20
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 3.387
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.376
RU - Federazione Russa 428
SG - Singapore 296
GB - Regno Unito 219
CN - Cina 213
IT - Italia 132
BR - Brasile 78
VN - Vietnam 78
FI - Finlandia 71
HK - Hong Kong 69
SE - Svezia 58
IE - Irlanda 52
DE - Germania 44
FR - Francia 44
KR - Corea 39
BD - Bangladesh 22
UA - Ucraina 16
BE - Belgio 12
CA - Canada 12
IN - India 12
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.387
Salva come PNG Salva come JPEG
Città #
Singapore 175
Jacksonville 168
Southend 161
Chandler 134
Moscow 133
Ashburn 127
Woodbridge 127
San Jose 107
Ann Arbor 102
Dallas 100
Hong Kong 69
Verona 59
Dublin 50
Houston 44
The Dalles 41
Beijing 36
Los Angeles 30
New York 27
Ho Chi Minh City 25
Helsinki 24
Lawrence 21
Princeton 21
Milan 20
Wilmington 19
Seoul 18
Buffalo 16
Hanoi 15
Shenyang 14
Lancaster 13
Brussels 12
Nanjing 12
Sindelfingen 12
São Paulo 11
Jinan 10
Santa Clara 10
Hebei 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.200
Salva come PNG Salva come JPEG
Nome #
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 234
HIFSuite: Tools for HDL Code Conversion and Manipulation 212
Enabling dynamic assertion-based verification of embedded software through model-driven design 194
HIFSuite: Tools for HDL Code Conversion and Manipulation 181
Realizability of embedded controllers: from hybrid models to correct implementations 175
Open Problems in Verification and Refinement of Autonomous Robotic Systems 174
Correct-by-construction code generation from hybrid automata specification 167
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design 166
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration 166
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 164
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata 164
On the use of assertions for embedded-software dynamic verification 161
DDPSL: an Easy Way of Defining Properties 157
Model-Driven Design and Validation of Embedded Software 156
Vacuity Analysis by Fault Simulation 143
IPA: Assertion-based verification in embedded-software design 143
On the Functional Qualification of a Platform Model 142
IPA: Reusing of Properties after Discretization of Hybrid Automata 140
Reusing of Properties after Discretization of Hybrid Automata 130
Vacuity Analysis for Property Qualification by Mutation of Checkers 121
The Role of Mutation Analysis for Property Qualification 120
Totale 3.410
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.780
article - articoli 1.639
book - libri 0
conference - conferenze 8.598
curatela - curatele 0
other - altro 543
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 21.560
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20215 0 0 0 0 0 0 0 0 0 0 0 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.404 95 105 103 243 353 97 117 71 92 83 31 14
Totale 3.410