CATALOGO DEI PRODOTTI DELLA RICERCA

DI GUGLIELMO, Luigi
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.463
EU - Europa 1.102
AS - Asia 767
SA - Sud America 101
Continente sconosciuto - Info sul continente non disponibili 24
AF - Africa 20
OC - Oceania 1
Totale 3.478
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.436
RU - Federazione Russa 428
SG - Singapore 297
GB - Regno Unito 219
CN - Cina 213
IT - Italia 136
BR - Brasile 79
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
NP - Nepal 3
SA - Arabia Saudita 3
TR - Turchia 3
AE - Emirati Arabi Uniti 2
AT - Austria 2
BY - Bielorussia 2
EG - Egitto 2
JM - Giamaica 2
JO - Giordania 2
KE - Kenya 2
MA - Marocco 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
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.455
Salva come PNG Salva come JPEG
Città #
Singapore 175
Jacksonville 168
Southend 161
Chandler 134
Moscow 133
Ashburn 129
Woodbridge 127
San Jose 108
Ann Arbor 102
Dallas 100
Hong Kong 69
Verona 59
Dublin 50
Council Bluffs 46
Houston 44
The Dalles 41
Beijing 36
Los Angeles 30
New York 28
Ho Chi Minh City 25
Helsinki 24
Lawrence 21
Princeton 21
Milan 20
Wilmington 19
Seoul 18
Buffalo 16
Hanoi 15
Lancaster 14
Shenyang 14
Brussels 12
Nanjing 12
Santa Clara 12
Sindelfingen 12
São Paulo 11
Jinan 10
Hebei 9
San Francisco 7
Shanghai 7
Taizhou 7
Tianjin 7
Abuja 6
Cagliari 6
Guangzhou 6
Johannesburg 6
Nanchang 6
Rome 6
Tokyo 6
Warsaw 6
Boardman 5
Columbus 5
Duncan 5
Frankfurt am Main 5
Jiaxing 5
London 5
Washington 5
Auburn Hills 4
Bexley 4
Changsha 4
Chennai 4
Montreal 4
Trento 4
Brooklyn 3
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
Campo Grande 2
Charlotte 2
Da Nang 2
Denver 2
Dhaka 2
Dongguan 2
Erbil 2
Falkenstein 2
Florence 2
Hangzhou 2
Jakarta 2
Malmo 2
Manchester 2
Medellín 2
Totale 2.253
Salva come PNG Salva come JPEG
Nome #
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 237
HIFSuite: Tools for HDL Code Conversion and Manipulation 213
Enabling dynamic assertion-based verification of embedded software through model-driven design 197
HIFSuite: Tools for HDL Code Conversion and Manipulation 183
Realizability of embedded controllers: from hybrid models to correct implementations 181
Open Problems in Verification and Refinement of Autonomous Robotic Systems 175
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design 171
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 170
Correct-by-construction code generation from hybrid automata specification 170
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration 169
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata 168
On the use of assertions for embedded-software dynamic verification 165
Model-Driven Design and Validation of Embedded Software 159
DDPSL: an Easy Way of Defining Properties 158
Vacuity Analysis by Fault Simulation 147
IPA: Assertion-based verification in embedded-software design 147
On the Functional Qualification of a Platform Model 144
IPA: Reusing of Properties after Discretization of Hybrid Automata 143
Reusing of Properties after Discretization of Hybrid Automata 135
The Role of Mutation Analysis for Property Qualification 123
Vacuity Analysis for Property Qualification by Mutation of Checkers 123
Totale 3.478
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.254
article - articoli 1.710
book - libri 0
conference - conferenze 8.975
curatela - curatele 0
other - altro 569
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 22.508
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022150 0 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.438 95 105 103 243 353 97 117 71 92 83 31 48
2026/202734 8 26 0 0 0 0 0 0 0 0 0 0
Totale 3.478