BOMBARDA, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.413
NA - Nord America 2.806
AS - Asia 1.699
SA - Sud America 334
Continente sconosciuto - Info sul continente non disponibili 225
AF - Africa 81
OC - Oceania 8
Totale 8.566
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.675
IE - Irlanda 842
SG - Singapore 694
RU - Federazione Russa 621
IT - Italia 550
CN - Cina 422
NL - Olanda 361
GB - Regno Unito 341
DE - Germania 305
BR - Brasile 257
VN - Vietnam 220
FR - Francia 146
CA - Canada 78
IN - India 64
SE - Svezia 63
HK - Hong Kong 51
FI - Finlandia 49
BD - Bangladesh 48
PL - Polonia 39
ZA - Sudafrica 38
ID - Indonesia 36
MX - Messico 29
JP - Giappone 28
AR - Argentina 26
AT - Austria 25
IQ - Iraq 21
KR - Corea 21
TR - Turchia 19
EC - Ecuador 17
PK - Pakistan 12
ES - Italia 11
UA - Ucraina 11
PY - Paraguay 9
TW - Taiwan 9
VE - Venezuela 9
BG - Bulgaria 8
CO - Colombia 8
TN - Tunisia 8
BE - Belgio 7
CZ - Repubblica Ceca 7
IL - Israele 7
LT - Lituania 6
MY - Malesia 6
SA - Arabia Saudita 6
SN - Senegal 6
DZ - Algeria 5
EG - Egitto 5
JO - Giordania 5
RO - Romania 5
CH - Svizzera 4
CL - Cile 4
DO - Repubblica Dominicana 4
KZ - Kazakistan 4
NZ - Nuova Zelanda 4
SC - Seychelles 4
UZ - Uzbekistan 4
AU - Australia 3
IR - Iran 3
LB - Libano 3
MA - Marocco 3
NI - Nicaragua 3
NP - Nepal 3
AE - Emirati Arabi Uniti 2
CI - Costa d'Avorio 2
CR - Costa Rica 2
ET - Etiopia 2
GR - Grecia 2
GT - Guatemala 2
JM - Giamaica 2
KE - Kenya 2
KG - Kirghizistan 2
PE - Perù 2
PT - Portogallo 2
SV - El Salvador 2
TH - Thailandia 2
TT - Trinidad e Tobago 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AZ - Azerbaigian 1
BB - Barbados 1
BH - Bahrain 1
BO - Bolivia 1
BS - Bahamas 1
BW - Botswana 1
DK - Danimarca 1
DM - Dominica 1
EE - Estonia 1
EU - Europa 1
GD - Grenada 1
GE - Georgia 1
GG - Guernsey 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
Totale 8.334
Salva come PNG Salva come JPEG
Città #
Dublin 832
San Jose 627
Ashburn 422
Singapore 322
Southend 286
Moscow 252
Council Bluffs 240
Chandler 110
Beijing 92
Hefei 91
Bergamo 84
Duelmen 82
Dalmine 79
Ho Chi Minh City 78
Columbus 77
Santa Clara 66
The Dalles 66
Ratingen 62
Los Angeles 60
Milan 58
New York 49
Princeton 48
Hanoi 46
Lauterbourg 46
Boardman 45
Hong Kong 42
Montreal 39
Hamburg 35
Frankfurt am Main 34
Johannesburg 34
Shanghai 32
Buffalo 29
Washington 25
São Paulo 23
Warsaw 22
Chicago 21
Lappeenranta 21
Tokyo 21
Dallas 20
Helsinki 20
Jacksonville 20
Munich 20
Rome 20
Houston 19
Wilmington 19
Nuremberg 18
Orem 18
Ann Arbor 17
Redondo Beach 17
Da Nang 15
San Francisco 15
Seoul 15
Amsterdam 14
Atlanta 14
Pune 14
Baghdad 13
Jakarta 13
London 13
Phoenix 13
Altamura 12
Mexico City 12
Ogden 12
Chennai 11
Memphis 11
Reggio Calabria 11
Toronto 11
Vienna 11
Denver 10
North Kansas City 10
Brooklyn 9
Urgnano 9
Poplar 8
Stockholm 8
Turku 8
Berlin 7
Boston 7
Kocaeli 7
Philadelphia 7
Quito 7
Shenzhen 7
Sofia 7
Taipei 7
Brasília 6
Brno 6
Brusaporto 6
Brussels 6
Caravaggio 6
Dakar 6
Dhaka 6
Guangzhou 6
Hải Dương 6
Monza 6
Mountain View 6
Seattle 6
Treviglio 6
Amman 5
Bologna 5
Brescia 5
Cairo 5
Dong Ket 5
Totale 5.257
Salva come PNG Salva come JPEG
Nome #
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller 262
Software Quality Assurance per Sistemi Medici 256
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study 251
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines 236
The novel Mechanical Ventilator Milano for the COVID-19 pandemic 229
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare 228
The ASMETA Approach to Safety Assurance of Software Systems 223
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 222
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 212
Dealing with Robustness of Convolutional Neural Networks for Image Classification 206
Guidelines for the development of a critical software under emergency 205
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines 205
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation 204
RATE: A model-based testing approach that combines model refinement and test execution 184
Extending ASMETA with Time Features 174
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams 172
A Comprehensive Approach for Software Quality Assurance for Medical Systems 172
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA 170
Towards an Evaluation Framework for Autonomous Systems 169
Efficient Computation of Robustness of Convolutional Neural Networks 165
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems 164
A self-managing IoT-Edge-Cloud architecture for improved robustness in environmental monitoring 161
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development 160
On the Reuse of Existing Configurations for Testing Evolving Feature Models 157
A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers 153
Incremental generation of combinatorial test suites starting from existing seed tests 152
Multi-thread Combinatorial Test Generation with SMT solvers 150
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools 138
On the Completion of Partial Combinatorial Test Suites 135
Integrating Uncertainty Into U-Net Robustness Evaluation Under Natural MRI Alterations: Application to Kidney Segmentation 131
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code 131
Integrating formal specifications in the development and testing of UIs by formal model–view–controller pattern 128
An Android App for Training New Doctors in Mechanical Ventilation 126
ASMETA Tool Set for Rigorous System Design 125
Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications 124
Automated Phenotype-Based Clustering of Clinical Reports Using Large Language Models 124
SIMSPIRE: A Simulator of the Respiratory System 123
State of the CArt: evaluating covering array generators at scale 123
A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models 122
A Flexible and Open-Source Tool for Genetic Variant Annotation 121
An environment for benchmarking combinatorial test suite generators 121
QuTiP-MRL: A Library for Multiple-Valued Reversible Logic Simulations 111
Welcome to the IWCT 2025 Workshop 110
Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE 106
Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing 105
My feature model has changed... What should I do with my tests? 103
Testing the Evolution of Feature Models with Specific Combinatorial Tests 103
Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements 102
Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta [email protected] 100
Efficient and scalable designs for ternary quantum reversible multiplexer and demultiplexer systems 97
On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models 93
A Pipeline for Automated Phenotype Extraction from Medical Reports Using Large Language Models 77
ASMETA: A comprehensive tool set for formal system engineering based on abstract state machines 61
Can Large Language Models Support Modeling Systems with ASMETA? A Case Study with a Planetary Rover 59
Evaluating the Practical Impact of Parallelism in Asmeta 52
Search-based Software Testing for Drone Applications: An Experience with the Simulink Environment 51
Failure Modes and Effects Analysis: An Experience from the E-Bike Domain 51
A Bibliometric Analysis of the Abstract State Machine Research Production and Community over the Years 51
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain 40
Genetic Synthesis of Compact Quaternary Reversible Comparators for Quantum Computing 33
Evaluating Coverage and Fault Detection Capability of Scenario-Based Validation of Asmeta Specifications 22
Message from the IWCT 2026 Chairs 9
CTWedgeV: SMT-Based Validation of Combinatorial Test Suites 9
Generation of Constrained Combinatorial Tests for Multi-Label Classifiers 7
Totale 8.566
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.805
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 32.805
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022372 0 0 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.781 157 172 312 621 556 243 469 178 229 247 389 208
2026/2027786 276 404 106 0 0 0 0 0 0 0 0 0
Totale 8.566