BOMBARDA, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.287
NA - Nord America 1.824
AS - Asia 1.596
SA - Sud America 326
AF - Africa 75
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7.117
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.749
IE - Irlanda 842
SG - Singapore 654
RU - Federazione Russa 621
IT - Italia 456
CN - Cina 401
NL - Olanda 360
GB - Regno Unito 339
DE - Germania 305
BR - Brasile 252
VN - Vietnam 218
FR - Francia 145
IN - India 62
FI - Finlandia 49
HK - Hong Kong 43
PL - Polonia 39
ZA - Sudafrica 38
SE - Svezia 37
CA - Canada 36
ID - Indonesia 35
MX - Messico 28
JP - Giappone 27
AR - Argentina 26
BD - Bangladesh 26
AT - Austria 25
IQ - Iraq 21
KR - Corea 19
TR - Turchia 19
EC - Ecuador 17
ES - Italia 11
PK - Pakistan 11
UA - Ucraina 11
PY - Paraguay 9
TW - Taiwan 9
VE - Venezuela 9
BG - Bulgaria 8
TN - Tunisia 8
BE - Belgio 7
CZ - Repubblica Ceca 7
IL - Israele 7
CO - Colombia 6
LT - Lituania 6
SN - Senegal 6
EG - Egitto 5
JO - Giordania 5
RO - Romania 5
SA - Arabia Saudita 5
CL - Cile 4
KZ - Kazakistan 4
MY - Malesia 4
NZ - Nuova Zelanda 4
UZ - Uzbekistan 4
CH - Svizzera 3
DO - Repubblica Dominicana 3
DZ - Algeria 3
IR - Iran 3
LB - Libano 3
MA - Marocco 3
NP - Nepal 3
AE - Emirati Arabi Uniti 2
AU - Australia 2
CI - Costa d'Avorio 2
CR - Costa Rica 2
ET - Etiopia 2
GR - Grecia 2
KE - Kenya 2
KG - Kirghizistan 2
PE - Perù 2
PT - Portogallo 2
TH - Thailandia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AZ - Azerbaigian 1
BH - Bahrain 1
BO - Bolivia 1
BW - Botswana 1
DK - Danimarca 1
DM - Dominica 1
EE - Estonia 1
EU - Europa 1
GE - Georgia 1
GT - Guatemala 1
HU - Ungheria 1
IS - Islanda 1
KW - Kuwait 1
LC - Santa Lucia 1
LU - Lussemburgo 1
LY - Libia 1
NG - Nigeria 1
NO - Norvegia 1
OM - Oman 1
PA - Panama 1
PH - Filippine 1
PS - Palestinian Territory 1
PW - Palau 1
RW - Ruanda 1
SV - El Salvador 1
TG - Togo 1
TT - Trinidad e Tobago 1
YT - Mayotte 1
Totale 7.117
Salva come PNG Salva come JPEG
Città #
Dublin 827
Ashburn 376
San Jose 339
Singapore 315
Southend 286
Moscow 252
Chandler 109
Hefei 91
Beijing 86
Bergamo 82
Duelmen 82
Ho Chi Minh City 77
The Dalles 66
Ratingen 62
Milan 54
Los Angeles 49
New York 48
Princeton 48
Lauterbourg 46
Dalmine 45
Hanoi 45
Boardman 44
Hong Kong 38
Hamburg 35
Frankfurt am Main 34
Johannesburg 34
Buffalo 28
Shanghai 28
Council Bluffs 23
São Paulo 23
Washington 23
Warsaw 22
Lappeenranta 21
Santa Clara 21
Tokyo 21
Chicago 20
Helsinki 20
Munich 20
Jacksonville 19
Wilmington 19
Nuremberg 18
Orem 18
Ann Arbor 17
Redondo Beach 17
Da Nang 15
Amsterdam 14
Houston 14
Montreal 14
Pune 14
Rome 14
Seoul 14
Baghdad 13
Jakarta 13
London 13
Altamura 12
Dallas 12
Ogden 12
Atlanta 11
Chennai 11
Mexico City 11
Reggio Calabria 11
Vienna 11
Brooklyn 9
Denver 9
Toronto 9
Urgnano 9
Poplar 8
Stockholm 8
Turku 8
Berlin 7
Boston 7
Kocaeli 7
Phoenix 7
Quito 7
Shenzhen 7
Sofia 7
Taipei 7
Brno 6
Brusaporto 6
Brussels 6
Caravaggio 6
Dakar 6
Guangzhou 6
Hải Dương 6
Monza 6
Mountain View 6
Seattle 6
Treviglio 6
Amman 5
Bologna 5
Cairo 5
Dhaka 5
Dong Ket 5
Düsseldorf 5
Fairfield 5
Goiânia 5
Haiphong 5
Karachi 5
Menlo Park 5
Mumbai 5
Totale 4.419
Salva come PNG Salva come JPEG
Nome #
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study 243
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller 243
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines 233
Software Quality Assurance per Sistemi Medici 230
The novel Mechanical Ventilator Milano for the COVID-19 pandemic 213
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 207
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare 207
The ASMETA Approach to Safety Assurance of Software Systems 204
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines 201
Dealing with Robustness of Convolutional Neural Networks for Image Classification 199
Guidelines for the development of a critical software under emergency 198
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation 195
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 187
RATE: A model-based testing approach that combines model refinement and test execution 171
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA 165
Extending ASMETA with Time Features 161
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams 159
Towards an Evaluation Framework for Autonomous Systems 158
A Comprehensive Approach for Software Quality Assurance for Medical Systems 158
Efficient Computation of Robustness of Convolutional Neural Networks 158
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems 154
A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers 145
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development 143
A self-managing IoT-Edge-Cloud architecture for improved robustness in environmental monitoring 143
On the Reuse of Existing Configurations for Testing Evolving Feature Models 142
Incremental generation of combinatorial test suites starting from existing seed tests 139
Multi-thread Combinatorial Test Generation with SMT solvers 136
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools 133
An Android App for Training New Doctors in Mechanical Ventilation 120
On the Completion of Partial Combinatorial Test Suites 117
An environment for benchmarking combinatorial test suite generators 117
Automated Phenotype-Based Clustering of Clinical Reports Using Large Language Models 116
ASMETA Tool Set for Rigorous System Design 116
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code 112
State of the CArt: evaluating covering array generators at scale 108
A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models 103
SIMSPIRE: A Simulator of the Respiratory System 100
Testing the Evolution of Feature Models with Specific Combinatorial Tests 97
Integrating Uncertainty Into U-Net Robustness Evaluation Under Natural MRI Alterations: Application to Kidney Segmentation 97
Welcome to the IWCT 2025 Workshop 96
Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications 93
Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing 93
A Flexible and Open-Source Tool for Genetic Variant Annotation 91
Integrating formal specifications in the development and testing of UIs by formal model–view–controller pattern 90
QuTiP-MRL: A Library for Multiple-Valued Reversible Logic Simulations 85
On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models 84
Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements 82
My feature model has changed... What should I do with my tests? 79
Efficient and scalable designs for ternary quantum reversible multiplexer and demultiplexer systems 74
Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta [email protected] 73
Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE 63
A Pipeline for Automated Phenotype Extraction from Medical Reports Using Large Language Models 29
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain 21
Failure Modes and Effects Analysis: An Experience from the E-Bike Domain 18
Search-based Software Testing for Drone Applications: An Experience with the Simulink Environment 12
Genetic Synthesis of Compact Quaternary Reversible Comparators for Quantum Computing 2
Totale 7.313
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.219
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 27.219
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202174 0 0 0 0 0 0 0 0 0 0 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/20251.544 61 88 51 179 48 15 37 51 158 463 201 192
2025/20263.314 157 172 312 621 556 243 469 178 229 247 130 0
Totale 7.313