BOMBARDA, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.992
NA - Nord America 558
AS - Asia 184
SA - Sud America 7
OC - Oceania 5
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 2.751
Salva come PNG Salva come JPEG
Nazione #
IE - Irlanda 837
US - Stati Uniti d'America 545
GB - Regno Unito 308
IT - Italia 262
DE - Germania 220
RU - Federazione Russa 198
FR - Francia 76
SG - Singapore 63
CN - Cina 45
SE - Svezia 27
ID - Indonesia 14
IN - India 14
FI - Finlandia 13
KR - Corea 9
TR - Turchia 9
CA - Canada 8
NL - Olanda 8
BG - Bulgaria 7
AT - Austria 6
BR - Brasile 6
CZ - Repubblica Ceca 6
HK - Hong Kong 5
JP - Giappone 5
MX - Messico 5
UA - Ucraina 5
VN - Vietnam 5
BE - Belgio 4
NZ - Nuova Zelanda 4
JO - Giordania 3
LT - Lituania 3
PL - Polonia 3
BD - Bangladesh 2
ES - Italia 2
GR - Grecia 2
IR - Iran 2
MY - Malesia 2
PK - Pakistan 2
PT - Portogallo 2
RO - Romania 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AR - Argentina 1
AU - Australia 1
EG - Egitto 1
EU - Europa 1
IL - Israele 1
KZ - Kazakistan 1
NO - Norvegia 1
SA - Arabia Saudita 1
TH - Thailandia 1
TN - Tunisia 1
ZA - Sudafrica 1
Totale 2.751
Salva come PNG Salva come JPEG
Città #
Dublin 822
Southend 286
Chandler 109
Duelmen 82
Ratingen 62
Ashburn 60
Princeton 47
Bergamo 45
Boardman 40
Dalmine 39
Singapore 39
Hamburg 35
Washington 22
Shanghai 20
Jacksonville 19
New York 19
Moscow 18
Wilmington 18
Ann Arbor 17
Milan 14
Altamura 12
Frankfurt am Main 12
Ogden 12
Pune 12
Los Angeles 9
London 8
Seoul 8
Toronto 8
Helsinki 7
Kocaeli 7
Rome 7
Sofia 7
Brno 6
Chicago 6
Houston 6
Lappeenranta 6
Mountain View 6
Munich 6
Treviglio 6
Amsterdam 5
Beijing 5
Dong Ket 5
Fairfield 5
Jakarta 5
Menlo Park 5
San Mateo 5
Auckland 4
Bologna 4
Brussels 4
Cagliari 4
Citeureup 4
Merate 4
Monza 4
Natal 4
Redwood City 4
Vimercate 4
Amman 3
Andover 3
Cambridge 3
Kilburn 3
Kirkland 3
Monterrey 3
Pordenone 3
Seattle 3
Verona 3
Abbeyfeale 2
Albano 2
Angers 2
Arezzo 2
Argelato 2
Berlin 2
Cantalupo Ligure 2
Chiswick 2
Cyberjaya 2
Grosseto 2
Hounslow 2
Karachi 2
Lanciano 2
Langenzersdorf 2
Lüneburg 2
Manaus 2
Nocera Umbra 2
Omegna 2
Ottaviano 2
Palazzolo sull'Oglio 2
Portland 2
Porto Mantovano 2
Romainville 2
San Giuliano 2
San Jose 2
San Vito di Leguzzano 2
Semarang 2
Shenzhen 2
Stimigliano 2
Tehran 2
Terno d'Isola 2
Tokyo 2
Vienna 2
Alès 1
Aprilia 1
Totale 2.134
Salva come PNG Salva come JPEG
Nome #
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines 171
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study 164
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare 161
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller 149
Software Quality Assurance per Sistemi Medici 145
Dealing with Robustness of Convolutional Neural Networks for Image Classification 145
The ASMETA Approach to Safety Assurance of Software Systems 137
The novel Mechanical Ventilator Milano for the COVID-19 pandemic 133
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation 133
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines 127
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 119
Extending ASMETA with Time Features 118
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA 118
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 109
Efficient Computation of Robustness of Convolutional Neural Networks 95
RATE: A model-based testing approach that combines model refinement and test execution 94
Guidelines for the development of a critical software under emergency 93
Towards an Evaluation Framework for Autonomous Systems 84
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams 81
An environment for benchmarking combinatorial test suite generators 76
Incremental generation of combinatorial test suites starting from existing seed tests 70
Multi-thread Combinatorial Test Generation with SMT solvers 63
On the Reuse of Existing Configurations for Testing Evolving Feature Models 63
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development 54
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code 30
An Android App for Training New Doctors in Mechanical Ventilation 26
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools 23
A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers 18
On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models 17
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems 16
State of the CArt: evaluating covering array generators at scale 16
ASMETA Tool Set for Rigorous System Design 12
A Comprehensive Approach for Software Quality Assurance for Medical Systems 8
Testing the Evolution of Feature Models with Specific Combinatorial Tests 5
Totale 2.873
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.837
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 13.837
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202024 0 0 0 0 0 0 4 5 10 1 2 2
2020/2021218 9 5 7 4 7 13 15 21 27 36 42 32
2021/2022425 33 20 21 17 33 47 27 16 54 47 57 53
2022/2023541 65 59 40 39 33 30 13 23 78 50 72 39
2023/20241.247 69 34 44 30 48 248 655 38 30 8 12 31
2024/2025418 61 88 51 179 39 0 0 0 0 0 0 0
Totale 2.873