BOMBARDA, Andrea
 Distribuzione geografica
Continente #
EU - Europa 1.741
NA - Nord America 506
AS - Asia 121
OC - Oceania 5
SA - Sud America 3
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
Totale 2.380
Nazione #
IE - Irlanda 836
US - Stati Uniti d'America 498
GB - Regno Unito 307
IT - Italia 225
DE - Germania 201
FR - Francia 76
CN - Cina 36
SE - Svezia 27
SG - Singapore 23
RU - Federazione Russa 19
IN - India 14
FI - Finlandia 9
ID - Indonesia 9
KR - Corea 9
CA - Canada 8
TR - Turchia 8
BG - Bulgaria 7
NL - Olanda 7
CZ - Repubblica Ceca 6
JP - Giappone 5
UA - Ucraina 5
VN - Vietnam 5
NZ - Nuova Zelanda 4
AT - Austria 3
PL - Polonia 3
BD - Bangladesh 2
BE - Belgio 2
BR - Brasile 2
ES - Italia 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
GR - Grecia 1
HK - Hong Kong 1
IL - Israele 1
KZ - Kazakistan 1
NO - Norvegia 1
SA - Arabia Saudita 1
ZA - Sudafrica 1
Totale 2.380
Città #
Dublin 821
Southend 286
Chandler 109
Duelmen 82
Ratingen 62
Ashburn 59
Princeton 47
Dalmine 39
Bergamo 38
Hamburg 33
Washington 22
Jacksonville 19
New York 19
Shanghai 19
Moscow 18
Wilmington 18
Ann Arbor 17
Altamura 12
Ogden 12
Pune 12
Boardman 11
Milan 8
Seoul 8
Toronto 8
Kocaeli 7
London 7
Rome 7
Sofia 7
Brno 6
Chicago 6
Houston 6
Mountain View 6
Amsterdam 5
Beijing 5
Dong Ket 5
Fairfield 5
Lappeenranta 5
Menlo Park 5
San Mateo 5
Auckland 4
Bologna 4
Cagliari 4
Citeureup 4
Helsinki 4
Merate 4
Monza 4
Redwood City 4
Vimercate 4
Andover 3
Cambridge 3
Kilburn 3
Kirkland 3
Pordenone 3
Seattle 3
Singapore 3
Verona 3
Abbeyfeale 2
Albano 2
Angers 2
Arezzo 2
Berlin 2
Brussels 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
Portland 2
Porto Mantovano 2
Romainville 2
San Giuliano 2
San Vito di Leguzzano 2
Semarang 2
Shenzhen 2
Stimigliano 2
Tehran 2
Tokyo 2
Alès 1
Aprilia 1
Athens 1
Bandung 1
Basking Ridge 1
Bedford 1
Besana in Brianza 1
Borås 1
Buenos Aires 1
Bursa 1
Cairo 1
Calusco d'Adda 1
Camerino 1
Capriolo 1
Council Bluffs 1
Totale 1.999
Nome #
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines 163
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study 159
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare 150
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller 140
Dealing with Robustness of Convolutional Neural Networks for Image Classification 136
The ASMETA Approach to Safety Assurance of Software Systems 131
The novel Mechanical Ventilator Milano for the COVID-19 pandemic 129
Software Quality Assurance per Sistemi Medici 125
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines 122
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation 122
Extending ASMETA with Time Features 114
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA 108
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 104
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 102
RATE: A model-based testing approach that combines model refinement and test execution 82
Efficient Computation of Robustness of Convolutional Neural Networks 82
Guidelines for the development of a critical software under emergency 81
Towards an Evaluation Framework for Autonomous Systems 73
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams 70
An environment for benchmarking combinatorial test suite generators 69
Incremental generation of combinatorial test suites starting from existing seed tests 54
On the Reuse of Existing Configurations for Testing Evolving Feature Models 52
Multi-thread Combinatorial Test Generation with SMT solvers 49
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development 41
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools 9
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code 7
State of the CArt: evaluating covering array generators at scale 6
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems 5
An Android App for Training New Doctors in Mechanical Ventilation 4
Totale 2.489
Categoria #
all - tutte 11.409
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 11.409


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/202534 34 0 0 0 0 0 0 0 0 0 0 0
Totale 2.489