BRAGAGLIO, MORENO
 Distribuzione geografica
Continente #
NA - Nord America 86
EU - Europa 53
AS - Asia 18
Totale 157
Nazione #
US - Stati Uniti d'America 85
IE - Irlanda 15
CN - Cina 14
FR - Francia 9
IT - Italia 8
SE - Svezia 7
RU - Federazione Russa 5
SG - Singapore 4
DE - Germania 3
NL - Olanda 3
CZ - Repubblica Ceca 2
GB - Regno Unito 1
MX - Messico 1
Totale 157
Città #
Chandler 32
Dublin 15
Beijing 11
Ashburn 8
Seattle 4
Lawrence 3
Princeton 3
Sindelfingen 3
Verona 3
Azzano Decimo 2
Singapore 2
Waalwijk 2
Wilmington 2
Amsterdam 1
Dallas 1
Fairfield 1
Jacksonville 1
Milan 1
New York 1
Norwalk 1
Phoenix 1
Redmond 1
San Francisco 1
Totale 100
Nome #
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 48
MIST: monitor generation from informal specifications for firmware verification 38
System-level bug explanation through program slicing and instruction clusterization 34
Assertion-aware approximate computing design exploration on behavioral models 22
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 21
Totale 163
Categoria #
all - tutte 859
article - articoli 0
book - libri 0
conference - conferenze 476
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 383
Totale 1.718


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20217 0 0 0 0 0 0 3 2 1 0 1 0
2021/202218 1 0 1 1 2 2 1 2 0 1 1 6
2022/202384 6 8 7 15 7 21 0 4 9 0 7 0
2023/202449 3 5 2 5 5 7 8 6 1 0 5 2
2024/20255 5 0 0 0 0 0 0 0 0 0 0 0
Totale 163