BOMBARDA, Andrea
 Distribuzione geografica
Continente #
EU - Europa 218
AS - Asia 99
NA - Nord America 92
AF - Africa 12
SA - Sud America 8
OC - Oceania 5
Totale 434
Nazione #
US - Stati Uniti d'America 76
IT - Italia 67
IE - Irlanda 51
IN - India 22
DE - Germania 18
UA - Ucraina 13
AT - Austria 12
PK - Pakistan 12
NL - Olanda 10
CA - Canada 9
FR - Francia 9
SE - Svezia 9
CN - Cina 7
GB - Regno Unito 7
MX - Messico 7
ZA - Sudafrica 7
IR - Iran 6
MY - Malesia 6
PE - Perù 6
PH - Filippine 6
VN - Vietnam 6
ID - Indonesia 5
PL - Polonia 5
SA - Arabia Saudita 5
AU - Australia 4
SG - Singapore 4
TR - Turchia 4
TW - Taiwan 4
EG - Egitto 3
FI - Finlandia 3
HK - Hong Kong 3
JP - Giappone 3
BE - Belgio 2
CH - Svizzera 2
CZ - Repubblica Ceca 2
IL - Israele 2
RU - Federazione Russa 2
BD - Bangladesh 1
BR - Brasile 1
BY - Bielorussia 1
EC - Ecuador 1
ES - Italia 1
GR - Grecia 1
IQ - Iraq 1
KR - Corea 1
NZ - Nuova Zelanda 1
PT - Portogallo 1
RO - Romania 1
RS - Serbia 1
SD - Sudan 1
TH - Thailandia 1
TZ - Tanzania 1
Totale 434
Città #
Dublin 40
Dalmine 33
Council Bluffs 9
Vienna 9
Cape Town 6
Lahore 6
Lima 6
Limerick 6
Ashburn 5
Chennai 5
Ahmedabad 4
Bengaluru 4
Bergamo 4
Boardman 4
Cincinnati 4
Gothenburg 4
Istanbul 4
Milan 4
Zhongli District 4
Amsterdam 3
Borås 3
Cairo 3
Chicago 3
Columbus 3
Dundalk 3
Fairfield 3
Houston 3
Hyderabad 3
Kuala Lumpur 3
Las Vegas 3
Neumarkt in der Oberpfalz 3
Singapore 3
Sydney 3
Washington 3
Xalapa 3
Apodaca 2
Cambridge 2
Cologne 2
Dammam 2
Delhi 2
Florence 2
General Trias 2
Graz 2
Gujranwala 2
Hanoi 2
Hillsborough 2
Ipoh 2
Karaj 2
Lahug 2
Manchester 2
New York 2
Orio al Serio 2
Paris 2
Pordenone 2
Santa Ana 2
Stoney Creek 2
Toronto 2
Wichita 2
Albino 1
Alimos 1
Ann Arbor 1
Antwerp 1
Arlington 1
Atlanta 1
Auckland 1
Baghdad 1
Bandar Lampung 1
Bandung 1
Bangkok 1
Basel 1
Belgrade 1
Berlin 1
Blacksburg 1
Bloomington 1
Bonn 1
Brisbane 1
Bucharest 1
Camoel 1
Cardiff 1
Cassago Brianza 1
Central 1
Coimbatore 1
Collecchio 1
Cork 1
Durban 1
Eberstadt 1
Edmonton 1
El Pueblito 1
Elblag 1
Faisalabad 1
Frankfurt am Main 1
Fuengirola 1
Genoa 1
Grand Prairie 1
Guayaquil 1
Halsbrücke 1
Haluaghat 1
Hangzhou 1
Helsinki 1
Islamabad 1
Totale 297
Nome #
Software Quality Assurance per Sistemi Medici, file 0270e93f-abf6-49ea-8605-d5fb22a076fc 256
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19, file e40f7b8a-e7fb-afca-e053-6605fe0aeaf2 128
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools, file feb569bc-d6f7-405e-b9ca-1ddc19820a57 21
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development, file c2135fd6-49c4-4b91-af1b-7c00c4aacd10 3
On the Reuse of Existing Configurations for Testing Evolving Feature Models, file 35d7f022-8d47-47ff-99a1-89dd0a76c989 2
RATE: A model-based testing approach that combines model refinement and test execution, file 7d0dacd3-1f93-4828-90ac-9973cb08320c 2
Towards an Evaluation Framework for Autonomous Systems, file c55ed309-3e19-40f3-95b5-b97787225615 2
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study, file e40f7b88-ee46-afca-e053-6605fe0aeaf2 2
Extending ASMETA with Time Features, file e40f7b8a-1732-afca-e053-6605fe0aeaf2 2
The ASMETA Approach to Safety Assurance of Software Systems, file e40f7b8a-186c-afca-e053-6605fe0aeaf2 2
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare, file e40f7b8a-e206-afca-e053-6605fe0aeaf2 2
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation, file e40f7b8b-8c05-afca-e053-6605fe0aeaf2 2
Guidelines for the development of a critical software under emergency, file 519b3260-5a85-4283-b00f-636f7a51b7e0 1
Multi-thread Combinatorial Test Generation with SMT solvers, file 944e7f6e-1db9-4aa1-9d18-3eaa34478a11 1
Incremental generation of combinatorial test suites starting from existing seed tests, file 9a32ae35-16d9-405b-a397-e7a6236d3e26 1
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams, file de9cfcf2-6f94-4f42-9745-e8915571718c 1
Dealing with Robustness of Convolutional Neural Networks for Image Classification, file e40f7b89-886f-afca-e053-6605fe0aeaf2 1
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines, file e40f7b89-a174-afca-e053-6605fe0aeaf2 1
The novel Mechanical Ventilator Milano for the COVID-19 pandemic, file e40f7b89-fd6a-afca-e053-6605fe0aeaf2 1
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers, file e40f7b8a-52bc-afca-e053-6605fe0aeaf2 1
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA, file e40f7b8a-6483-afca-e053-6605fe0aeaf2 1
Efficient Computation of Robustness of Convolutional Neural Networks, file e40f7b8a-b2be-afca-e053-6605fe0aeaf2 1
An environment for benchmarking combinatorial test suite generators, file e40f7b8a-c5d1-afca-e053-6605fe0aeaf2 1
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller, file e40f7b8b-79e7-afca-e053-6605fe0aeaf2 1
Totale 436
Categoria #
all - tutte 862
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 862


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202 0 0 0 0 0 0 0 2 0 0 0 0
2020/20217 0 0 1 0 0 0 0 0 1 1 0 4
2021/202233 0 0 0 0 2 0 0 2 7 6 4 12
2022/2023114 10 3 6 11 7 4 6 3 23 15 16 10
2023/2024280 13 21 10 20 10 57 57 18 33 40 1 0
Totale 436