BOMBARDA, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.700
NA - Nord America 490
AS - Asia 113
OC - Oceania 5
SA - Sud America 3
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
Totale 2.315
Salva come PNG Salva come JPEG
Nazione #
IE - Irlanda 836
US - Stati Uniti d'America 482
GB - Regno Unito 307
IT - Italia 217
DE - Germania 198
FR - Francia 76
CN - Cina 34
SE - Svezia 27
SG - Singapore 18
IN - India 14
ID - Indonesia 9
KR - Corea 9
CA - Canada 8
TR - Turchia 8
BG - Bulgaria 7
FI - Finlandia 7
JP - Giappone 5
UA - Ucraina 5
VN - Vietnam 5
NL - Olanda 4
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
ZA - Sudafrica 1
Totale 2.315
Salva come PNG Salva come JPEG
Città #
Dublin 821
Southend 286
Chandler 109
Duelmen 82
Ratingen 62
Ashburn 58
Princeton 47
Bergamo 38
Dalmine 37
Hamburg 33
Washington 22
Jacksonville 19
New York 19
Shanghai 19
Wilmington 18
Ann Arbor 17
Altamura 12
Ogden 12
Pune 12
Milan 8
Seoul 8
Toronto 8
Kocaeli 7
London 7
Rome 7
Sofia 7
Houston 6
Mountain View 6
Beijing 5
Dong Ket 5
Fairfield 5
Menlo Park 5
San Mateo 5
Auckland 4
Bologna 4
Cagliari 4
Citeureup 4
Lappeenranta 4
Merate 4
Monza 4
Redwood City 4
Vimercate 4
Andover 3
Cambridge 3
Chicago 3
Helsinki 3
Kilburn 3
Pordenone 3
Seattle 3
Verona 3
Abbeyfeale 2
Albano 2
Amsterdam 2
Angers 2
Arezzo 2
Berlin 2
Boardman 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
Omegna 2
Ottaviano 2
Portland 2
Porto Mantovano 2
Romainville 2
San Giuliano 2
San Vito di Leguzzano 2
Semarang 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
Dhaka 1
Durban 1
Florence 1
Groningen 1
Hangzhou 1
Hebei 1
Totale 1.951
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 162
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study 158
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare 147
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller 139
Dealing with Robustness of Convolutional Neural Networks for Image Classification 134
The ASMETA Approach to Safety Assurance of Software Systems 130
The novel Mechanical Ventilator Milano for the COVID-19 pandemic 124
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines 121
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation 119
Software Quality Assurance per Sistemi Medici 118
Extending ASMETA with Time Features 113
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA 106
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 102
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 101
Efficient Computation of Robustness of Convolutional Neural Networks 82
RATE: A model-based testing approach that combines model refinement and test execution 80
Guidelines for the development of a critical software under emergency 77
Towards an Evaluation Framework for Autonomous Systems 72
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams 69
An environment for benchmarking combinatorial test suite generators 69
Incremental generation of combinatorial test suites starting from existing seed tests 53
On the Reuse of Existing Configurations for Testing Evolving Feature Models 48
Multi-thread Combinatorial Test Generation with SMT solvers 45
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development 37
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools 6
Totale 2.412
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.566
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 10.566
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.204 69 34 44 30 48 248 655 38 30 8 0 0
Totale 2.412