BOMBARDA, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.124
NA - Nord America 1.198
AS - Asia 1.079
SA - Sud America 285
AF - Africa 53
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 2
Totale 5.747
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.143
IE - Irlanda 841
RU - Federazione Russa 614
SG - Singapore 428
IT - Italia 405
NL - Olanda 354
GB - Regno Unito 333
CN - Cina 306
DE - Germania 285
BR - Brasile 229
VN - Vietnam 134
FR - Francia 94
FI - Finlandia 39
IN - India 39
PL - Polonia 35
ZA - Sudafrica 35
SE - Svezia 34
HK - Hong Kong 32
CA - Canada 29
ID - Indonesia 28
AT - Austria 25
JP - Giappone 20
MX - Messico 20
AR - Argentina 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
VE - Venezuela 8
CZ - Repubblica Ceca 7
PY - Paraguay 7
BE - Belgio 6
LT - Lituania 6
RO - Romania 5
TW - Taiwan 5
IL - Israele 4
NZ - Nuova Zelanda 4
TN - Tunisia 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
UZ - Uzbekistan 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
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.747
Salva come PNG Salva come JPEG
Città #
Dublin 826
Southend 286
Ashburn 272
Moscow 252
Singapore 220
Chandler 109
Hefei 91
Duelmen 82
Beijing 77
Bergamo 77
The Dalles 66
Ratingen 62
Ho Chi Minh City 50
Milan 47
Princeton 47
Los Angeles 45
Boardman 43
New York 42
Dalmine 39
Hamburg 35
Johannesburg 33
Hong Kong 27
Shanghai 26
Buffalo 25
Frankfurt am Main 23
São Paulo 22
Washington 22
Hanoi 20
Munich 20
Jacksonville 19
Warsaw 19
Wilmington 19
Ann Arbor 17
Redondo Beach 17
Chicago 16
Helsinki 16
Tokyo 16
Lappeenranta 15
Nuremberg 15
Montreal 13
Pune 13
Seoul 13
Altamura 12
London 12
Ogden 12
Rome 12
Santa Clara 12
Houston 11
Reggio Calabria 11
Vienna 11
Amsterdam 10
Toronto 9
Urgnano 9
Brooklyn 8
Jakarta 8
Poplar 8
Stockholm 8
Turku 8
Atlanta 7
Berlin 7
Boston 7
Chennai 7
Da Nang 7
Kocaeli 7
Mexico City 7
Sofia 7
Brno 6
Brusaporto 6
Brussels 6
Caravaggio 6
Dallas 6
Denver 6
Monza 6
Mountain View 6
Orem 6
Phoenix 6
Quito 6
Seattle 6
Treviglio 6
Baghdad 5
Bologna 5
Dong Ket 5
Fairfield 5
Goiânia 5
Menlo Park 5
Natal 5
San Mateo 5
Verona 5
Ankara 4
Auckland 4
Brasília 4
Cagliari 4
Citeureup 4
Düsseldorf 4
Haiphong 4
Hải Dương 4
Merate 4
Philadelphia 4
Porto Alegre 4
Redwood City 4
Totale 3.582
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 211
Software Quality Assurance per Sistemi Medici 201
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller 200
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 183
Dealing with Robustness of Convolutional Neural Networks for Image Classification 180
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines 180
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 174
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation 173
Guidelines for the development of a critical software under emergency 152
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA 152
RATE: A model-based testing approach that combines model refinement and test execution 150
Extending ASMETA with Time Features 146
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 146
Towards an Evaluation Framework for Autonomous Systems 141
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams 138
A Comprehensive Approach for Software Quality Assurance for Medical Systems 135
Efficient Computation of Robustness of Convolutional Neural Networks 134
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development 122
On the Reuse of Existing Configurations for Testing Evolving Feature Models 121
Multi-thread Combinatorial Test Generation with SMT solvers 118
Incremental generation of combinatorial test suites starting from existing seed tests 118
A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers 114
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems 112
A self-managing IoT-Edge-Cloud architecture for improved robustness in environmental monitoring 105
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools 105
An Android App for Training New Doctors in Mechanical Ventilation 104
An environment for benchmarking combinatorial test suite generators 102
Automated Phenotype-Based Clustering of Clinical Reports Using Large Language Models 90
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code 90
ASMETA Tool Set for Rigorous System Design 90
On the Completion of Partial Combinatorial Test Suites 76
A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models 76
State of the CArt: evaluating covering array generators at scale 74
Testing the Evolution of Feature Models with Specific Combinatorial Tests 72
Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing 70
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 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 68
Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta Models@run.time 52
Efficient and scalable designs for ternary quantum reversible multiplexer and demultiplexer systems 50
QuTiP-MRL: A Library for Multiple-Valued Reversible Logic Simulations 49
Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE 49
Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements 47
My feature model has changed... What should I do with my tests? 40
Totale 5.927
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.117
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 24.117
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.928 157 172 312 621 556 110 0 0 0 0 0 0
Totale 5.927