BOMBARDA, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.353
NA - Nord America 2.346
AS - Asia 1.650
SA - Sud America 326
AF - Africa 77
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7.761
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.255
IE - Irlanda 842
SG - Singapore 677
RU - Federazione Russa 621
IT - Italia 492
CN - Cina 410
NL - Olanda 361
GB - Regno Unito 341
DE - Germania 305
BR - Brasile 252
VN - Vietnam 219
FR - Francia 145
IN - India 63
SE - Svezia 63
FI - Finlandia 49
CA - Canada 47
HK - Hong Kong 44
BD - Bangladesh 40
PL - Polonia 39
ZA - Sudafrica 38
ID - Indonesia 35
JP - Giappone 28
MX - Messico 28
AR - Argentina 26
AT - Austria 25
IQ - Iraq 21
KR - Corea 20
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
TN - Tunisia 8
BE - Belgio 7
CZ - Repubblica Ceca 7
IL - Israele 7
CO - Colombia 6
LT - Lituania 6
MY - Malesia 6
SN - Senegal 6
DZ - Algeria 5
EG - Egitto 5
JO - Giordania 5
RO - Romania 5
SA - Arabia Saudita 5
CH - Svizzera 4
CL - Cile 4
KZ - Kazakistan 4
NZ - Nuova Zelanda 4
UZ - Uzbekistan 4
DO - Repubblica Dominicana 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
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
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
HU - Ungheria 1
IS - Islanda 1
KW - Kuwait 1
LC - Santa Lucia 1
LU - Lussemburgo 1
LY - Libia 1
NG - Nigeria 1
NI - Nicaragua 1
NO - Norvegia 1
OM - Oman 1
PA - Panama 1
PH - Filippine 1
PS - Palestinian Territory 1
PW - Palau 1
RW - Ruanda 1
TG - Togo 1
Totale 7.759
Salva come PNG Salva come JPEG
Città #
Dublin 827
San Jose 500
Ashburn 403
Singapore 317
Southend 286
Moscow 252
Council Bluffs 167
Chandler 109
Hefei 91
Beijing 87
Bergamo 84
Duelmen 82
Ho Chi Minh City 77
The Dalles 66
Ratingen 62
Milan 57
Los Angeles 55
Dalmine 50
New York 49
Princeton 48
Columbus 47
Santa Clara 47
Hanoi 46
Lauterbourg 46
Boardman 45
Hong Kong 39
Hamburg 35
Frankfurt am Main 34
Johannesburg 34
Shanghai 29
Buffalo 28
Washington 24
São Paulo 23
Warsaw 22
Lappeenranta 21
Tokyo 21
Chicago 20
Helsinki 20
Jacksonville 20
Munich 20
Dallas 19
Wilmington 19
Montreal 18
Nuremberg 18
Orem 18
Ann Arbor 17
Redondo Beach 17
Houston 16
Da Nang 15
Rome 15
Amsterdam 14
Pune 14
Seoul 14
Atlanta 13
Baghdad 13
Jakarta 13
London 13
Altamura 12
Ogden 12
Chennai 11
Mexico City 11
Reggio Calabria 11
Vienna 11
Denver 10
Memphis 10
Brooklyn 9
Phoenix 9
Toronto 9
Urgnano 9
Poplar 8
Stockholm 8
Turku 8
Berlin 7
Boston 7
Kocaeli 7
Quito 7
San Francisco 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
North Kansas City 6
Philadelphia 6
Seattle 6
Treviglio 6
Amman 5
Bologna 5
Brescia 5
Cairo 5
Dhaka 5
Dong Ket 5
Düsseldorf 5
Totale 4.873
Salva come PNG Salva come JPEG
Nome #
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller 255
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study 245
Software Quality Assurance per Sistemi Medici 240
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines 233
The novel Mechanical Ventilator Milano for the COVID-19 pandemic 216
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare 213
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 212
The ASMETA Approach to Safety Assurance of Software Systems 209
Dealing with Robustness of Convolutional Neural Networks for Image Classification 203
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines 203
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 203
Guidelines for the development of a critical software under emergency 202
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation 197
RATE: A model-based testing approach that combines model refinement and test execution 179
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams 169
A Comprehensive Approach for Software Quality Assurance for Medical Systems 167
Towards an Evaluation Framework for Autonomous Systems 165
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA 165
Extending ASMETA with Time Features 164
Efficient Computation of Robustness of Convolutional Neural Networks 164
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems 159
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development 158
A self-managing IoT-Edge-Cloud architecture for improved robustness in environmental monitoring 155
On the Reuse of Existing Configurations for Testing Evolving Feature Models 151
A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers 150
Incremental generation of combinatorial test suites starting from existing seed tests 150
Multi-thread Combinatorial Test Generation with SMT solvers 142
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools 137
On the Completion of Partial Combinatorial Test Suites 129
An Android App for Training New Doctors in Mechanical Ventilation 125
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code 124
Automated Phenotype-Based Clustering of Clinical Reports Using Large Language Models 120
ASMETA Tool Set for Rigorous System Design 120
An environment for benchmarking combinatorial test suite generators 118
SIMSPIRE: A Simulator of the Respiratory System 117
Integrating Uncertainty Into U-Net Robustness Evaluation Under Natural MRI Alterations: Application to Kidney Segmentation 117
State of the CArt: evaluating covering array generators at scale 114
A Flexible and Open-Source Tool for Genetic Variant Annotation 113
A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models 113
Integrating formal specifications in the development and testing of UIs by formal model–view–controller pattern 111
Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications 109
Welcome to the IWCT 2025 Workshop 105
QuTiP-MRL: A Library for Multiple-Valued Reversible Logic Simulations 102
Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing 101
Testing the Evolution of Feature Models with Specific Combinatorial Tests 101
Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements 93
On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models 91
Efficient and scalable designs for ternary quantum reversible multiplexer and demultiplexer systems 91
Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta [email protected] 89
My feature model has changed... What should I do with my tests? 88
Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE 81
A Pipeline for Automated Phenotype Extraction from Medical Reports Using Large Language Models 45
Search-based Software Testing for Drone Applications: An Experience with the Simulink Environment 42
Failure Modes and Effects Analysis: An Experience from the E-Bike Domain 37
Can Large Language Models Support Modeling Systems with ASMETA? A Case Study with a Planetary Rover 36
ASMETA: A comprehensive tool set for formal system engineering based on abstract state machines 35
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain 31
Evaluating the Practical Impact of Parallelism in Asmeta 26
Genetic Synthesis of Compact Quaternary Reversible Comparators for Quantum Computing 21
A Bibliometric Analysis of the Abstract State Machine Research Production and Community over the Years 20
Totale 7.971
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.069
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 30.069
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.781 157 172 312 621 556 243 469 178 229 247 389 208
2026/2027191 191 0 0 0 0 0 0 0 0 0 0 0
Totale 7.971