BOMBARDA, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.118
NA - Nord America 1.175
AS - Asia 1.060
SA - Sud America 281
AF - Africa 52
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 2
Totale 5.694
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.123
IE - Irlanda 841
RU - Federazione Russa 614
SG - Singapore 420
IT - Italia 403
NL - Olanda 354
GB - Regno Unito 332
CN - Cina 304
DE - Germania 284
BR - Brasile 226
VN - Vietnam 129
FR - Francia 94
FI - Finlandia 39
IN - India 38
SE - Svezia 34
ZA - Sudafrica 34
PL - Polonia 33
HK - Hong Kong 31
CA - Canada 28
ID - Indonesia 28
AT - Austria 25
JP - Giappone 20
AR - Argentina 18
MX - Messico 18
BD - Bangladesh 16
EC - Ecuador 15
KR - Corea 15
TR - Turchia 14
ES - Italia 11
IQ - Iraq 11
UA - Ucraina 9
BG - Bulgaria 8
CZ - Repubblica Ceca 7
PY - Paraguay 7
VE - Venezuela 7
BE - Belgio 6
LT - Lituania 6
RO - Romania 5
IL - Israele 4
NZ - Nuova Zelanda 4
TN - Tunisia 4
TW - Taiwan 4
CH - Svizzera 3
CL - Cile 3
CO - Colombia 3
EG - Egitto 3
JO - Giordania 3
KZ - Kazakistan 3
MA - Marocco 3
SA - Arabia Saudita 3
CI - Costa d'Avorio 2
GR - Grecia 2
IR - Iran 2
LB - Libano 2
MY - Malesia 2
PE - Perù 2
PK - Pakistan 2
PT - Portogallo 2
SN - Senegal 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AL - Albania 1
AU - Australia 1
AZ - Azerbaigian 1
BW - Botswana 1
CR - Costa Rica 1
DK - Danimarca 1
DM - Dominica 1
DO - Repubblica Dominicana 1
EE - Estonia 1
EU - Europa 1
GE - Georgia 1
GT - Guatemala 1
HU - Ungheria 1
KE - Kenya 1
KG - Kirghizistan 1
KW - Kuwait 1
LU - Lussemburgo 1
NO - Norvegia 1
NP - Nepal 1
PA - Panama 1
PW - Palau 1
TG - Togo 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
YT - Mayotte 1
Totale 5.694
Salva come PNG Salva come JPEG
Città #
Dublin 826
Southend 286
Ashburn 267
Moscow 252
Singapore 214
Chandler 109
Hefei 91
Duelmen 82
Beijing 77
Bergamo 77
The Dalles 66
Ratingen 62
Ho Chi Minh City 49
Milan 47
Princeton 47
Los Angeles 44
Boardman 43
New York 42
Dalmine 39
Hamburg 35
Johannesburg 32
Hong Kong 26
Shanghai 26
Buffalo 25
Frankfurt am Main 23
São Paulo 22
Washington 22
Munich 20
Jacksonville 19
Wilmington 19
Hanoi 18
Ann Arbor 17
Redondo Beach 17
Warsaw 17
Chicago 16
Helsinki 16
Tokyo 16
Lappeenranta 15
Nuremberg 14
Pune 13
Seoul 13
Altamura 12
London 12
Montreal 12
Ogden 12
Rome 12
Reggio Calabria 11
Vienna 11
Amsterdam 10
Houston 9
Santa Clara 9
Toronto 9
Urgnano 9
Jakarta 8
Stockholm 8
Turku 8
Berlin 7
Brooklyn 7
Kocaeli 7
Poplar 7
Sofia 7
Atlanta 6
Boston 6
Brno 6
Brusaporto 6
Brussels 6
Caravaggio 6
Chennai 6
Da Nang 6
Dallas 6
Monza 6
Mountain View 6
Orem 6
Phoenix 6
Quito 6
Seattle 6
Treviglio 6
Baghdad 5
Bologna 5
Denver 5
Dong Ket 5
Fairfield 5
Menlo Park 5
Mexico City 5
Natal 5
San Mateo 5
Verona 5
Ankara 4
Auckland 4
Brasília 4
Cagliari 4
Citeureup 4
Düsseldorf 4
Goiânia 4
Haiphong 4
Merate 4
Philadelphia 4
Porto Alegre 4
Redwood City 4
San Francisco 4
Totale 3.546
Salva come PNG Salva come JPEG
Nome #
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study 219
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines 210
Software Quality Assurance per Sistemi Medici 199
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller 199
The novel Mechanical Ventilator Milano for the COVID-19 pandemic 193
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare 189
The ASMETA Approach to Safety Assurance of Software Systems 181
Dealing with Robustness of Convolutional Neural Networks for Image Classification 179
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines 179
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 172
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation 172
Guidelines for the development of a critical software under emergency 151
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA 150
RATE: A model-based testing approach that combines model refinement and test execution 148
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 146
Extending ASMETA with Time Features 145
Towards an Evaluation Framework for Autonomous Systems 141
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams 136
A Comprehensive Approach for Software Quality Assurance for Medical Systems 133
Efficient Computation of Robustness of Convolutional Neural Networks 133
On the Reuse of Existing Configurations for Testing Evolving Feature Models 121
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development 120
Multi-thread Combinatorial Test Generation with SMT solvers 118
Incremental generation of combinatorial test suites starting from existing seed tests 117
A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers 111
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems 109
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools 105
An Android App for Training New Doctors in Mechanical Ventilation 103
An environment for benchmarking combinatorial test suite generators 101
A self-managing IoT-Edge-Cloud architecture for improved robustness in environmental monitoring 98
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code 90
ASMETA Tool Set for Rigorous System Design 90
Automated Phenotype-Based Clustering of Clinical Reports Using Large Language Models 88
On the Completion of Partial Combinatorial Test Suites 76
A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models 75
State of the CArt: evaluating covering array generators at scale 74
Testing the Evolution of Feature Models with Specific Combinatorial Tests 72
On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models 70
Welcome to the IWCT 2025 Workshop 70
Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications 69
SIMSPIRE: A Simulator of the Respiratory System 69
Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing 69
Integrating Uncertainty Into U-Net Robustness Evaluation Under Natural MRI Alterations: Application to Kidney Segmentation 69
Integrating formal specifications in the development and testing of UIs by formal model–view–controller pattern 69
A Flexible and Open-Source Tool for Genetic Variant Annotation 66
Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta Models@run.time 51
QuTiP-MRL: A Library for Multiple-Valued Reversible Logic Simulations 48
Efficient and scalable designs for ternary quantum reversible multiplexer and demultiplexer systems 48
Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE 48
Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements 46
My feature model has changed... What should I do with my tests? 39
Totale 5.874
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.964
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 23.964
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021186 0 0 0 0 0 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/20251.544 61 88 51 179 48 15 37 51 158 463 201 192
2025/20261.875 157 172 312 621 556 57 0 0 0 0 0 0
Totale 5.874