BONFANTI, Silvia
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 7.303
NA - Nord America 3.287
AS - Asia 1.747
SA - Sud America 279
AF - Africa 82
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 4
Totale 12.707
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.198
GB - Regno Unito 2.038
IE - Irlanda 1.729
RU - Federazione Russa 878
CN - Cina 658
IT - Italia 652
SG - Singapore 650
PL - Polonia 512
NL - Olanda 438
DE - Germania 417
FR - Francia 248
BR - Brasile 217
SE - Svezia 160
VN - Vietnam 125
IN - India 72
CA - Canada 67
UA - Ucraina 63
ZA - Sudafrica 58
HK - Hong Kong 49
AT - Austria 41
FI - Finlandia 40
JP - Giappone 34
ID - Indonesia 32
KR - Corea 26
AR - Argentina 20
EC - Ecuador 16
RO - Romania 16
TR - Turchia 16
BD - Bangladesh 15
MX - Messico 15
ES - Italia 14
BE - Belgio 13
CZ - Repubblica Ceca 10
PK - Pakistan 10
CO - Colombia 8
LT - Lituania 8
BG - Bulgaria 7
IQ - Iraq 7
MA - Marocco 7
TW - Taiwan 7
VE - Venezuela 7
JO - Giordania 6
SA - Arabia Saudita 6
CL - Cile 5
AE - Emirati Arabi Uniti 4
EG - Egitto 4
IL - Israele 4
PH - Filippine 4
PT - Portogallo 4
UZ - Uzbekistan 4
AU - Australia 3
EU - Europa 3
GR - Grecia 3
LB - Libano 3
NO - Norvegia 3
PE - Perù 3
TN - Tunisia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AL - Albania 2
CI - Costa d'Avorio 2
CR - Costa Rica 2
DZ - Algeria 2
EE - Estonia 2
IR - Iran 2
LK - Sri Lanka 2
PY - Paraguay 2
RS - Serbia 2
SN - Senegal 2
TH - Thailandia 2
YE - Yemen 2
AM - Armenia 1
AZ - Azerbaigian 1
BO - Bolivia 1
BW - Botswana 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
GE - Georgia 1
GT - Guatemala 1
HU - Ungheria 1
KE - Kenya 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LU - Lussemburgo 1
NI - Nicaragua 1
NP - Nepal 1
OM - Oman 1
PA - Panama 1
PW - Palau 1
TG - Togo 1
TT - Trinidad e Tobago 1
YT - Mayotte 1
Totale 12.707
Salva come PNG Salva come JPEG
Città #
Southend 1.946
Dublin 1.713
Warsaw 488
Ashburn 446
Moscow 340
Singapore 307
Chandler 234
Jacksonville 212
Chicago 173
Bergamo 158
Hefei 153
Los Angeles 144
Princeton 121
Ann Arbor 119
Dalmine 113
The Dalles 113
Beijing 103
Duelmen 102
Boardman 86
Wilmington 86
Ratingen 80
Salt Lake City 73
New York 70
Nanjing 64
Buffalo 63
Milan 61
Johannesburg 54
Toronto 50
Washington 45
Hong Kong 43
Hamburg 41
Ho Chi Minh City 41
Tampa 41
Elk Grove Village 38
Fairfield 38
Shanghai 38
Altamura 33
Houston 31
Atlanta 30
Nanchang 30
Dearborn 29
Dallas 28
San Mateo 28
Frankfurt am Main 27
Redondo Beach 27
São Paulo 26
Vienna 25
London 23
Redwood City 23
Woodbridge 23
Tokyo 22
Munich 21
Mountain View 20
Dong Ket 19
Seoul 19
Tianjin 19
Guangzhou 18
Ogden 18
Sterling 18
Jakarta 16
Nuremberg 16
Seattle 16
Shenyang 16
Andover 15
Hanoi 15
Zhengzhou 15
Helsinki 14
Amsterdam 13
Brussels 13
Pune 13
Santa Clara 13
Cambridge 12
Dulles 12
Phoenix 12
Boston 11
Jinan 11
Lappeenranta 11
Montreal 11
Denver 10
Miami 10
Orem 10
Rome 10
Kocaeli 9
Pittsburgh 9
Reggio Calabria 9
Hebei 8
Kunming 8
Lancaster 8
San Francisco 8
Shenzhen 8
Brusaporto 7
Chennai 7
Da Nang 7
Mcallen 7
Merate 7
Monza 7
Sofia 7
Stockholm 7
Amman 6
Berlin 6
Totale 8.984
Salva come PNG Salva come JPEG
Nome #
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems 728
Rigorous Model-based Development of Programmable Electronic Medical Systems (PEMS): from Requirements to Code 581
A preliminary systematic literature review of the use of formal methods in medical software systems 488
Smartphone based video-telemetry logger for remote maintenance services 392
A mobile application for the stereo acuity test 324
Integrating formal methods into medical software development: The ASM approach 297
The female contribution in architecting a set of tools for a formal method. Role of women in Software Architecture 294
Visual Notation and Patterns for Abstract State Machines 289
Design and validation of a C++ code generator from Abstract State Machines specifications 285
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation 283
Formal validation and verification of a medical software critical component 277
Behind optical factors in anisometropic aniseiconia 264
A systematic literature review of the use of formal methods in medical software systems 257
Asm2C++: A tool for code generation from abstract state machines to Arduino 250
Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors 238
Unified syntax for abstract state machines 231
Validation of transformation from abstract state machine models to C++ code 231
Generation of C++ Unit Tests from Abstract State Machines Specifications 219
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study 219
AsmetaA: Animator for abstract state machines 215
How to assure correctness and safety of medical software: The hemodialysis machine case study 212
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines 211
Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study 205
Evaluation of stereoacuity with a digital mobile application 205
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller 200
The novel Mechanical Ventilator Milano for the COVID-19 pandemic 193
Generation of behavior-driven development C++ tests from abstract state machine scenarios 189
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare 189
Stereo Digital Displays for Diagnosis and Treatment of Amblyopia 183
The ASMETA Approach to Safety Assurance of Software Systems 183
Dealing with Robustness of Convolutional Neural Networks for Image Classification 180
A component framework for the runtime enforcement of safety properties 174
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA 174
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 174
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation 174
Addressing usability in a formal development environment 169
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
A Runtime Safety Enforcement Approach by Monitoring and Adaptation 146
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 146
Towards an Evaluation Framework for Autonomous Systems 141
Compositional Simulation of Abstract State Machines for Safety Critical Systems 134
Efficient Computation of Robustness of Convolutional Neural Networks 134
Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications 132
Preface [to: Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings] 127
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
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines 118
Testing Software and Systems. 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings 116
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 journey with ASMETA from requirements to code: application to an automotive system with adaptive features 108
The Mechanical Lung Ventilator Case Study 101
Rigorous State-Based Methods. 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings 96
Preface [a: Rigorous State-Based Methods. 10th International Conference, ABZ 2024 Bergamo, Italy, June 25–28, 2024. Proceedings] 95
Preface [a: Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium] 94
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code 90
ASMETA Tool Set for Rigorous System Design 90
A Mobile Application for Milano Ventilatore Meccanico: A First Prototype 87
Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium, Istanbul, Turkey, September 18–22, 2023, Revised Selected Papers 86
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines 83
Testing the Evolution of Feature Models with Specific Combinatorial Tests 72
Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications 69
SIMSPIRE: A Simulator of the Respiratory System 69
Integrating formal specifications in the development and testing of UIs by formal model–view–controller pattern 69
Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta Models@run.time 52
Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE 49
My feature model has changed... What should I do with my tests? 40
Preface [a: Testing Software and Systems] 32
Totale 13.022
Salva come PNG Salva come JPEG
Categoria #
all - tutte 45.923
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 45.923
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021873 0 0 0 0 0 91 137 65 132 133 225 90
2021/20221.210 115 117 81 79 95 163 60 33 100 118 146 103
2022/20231.068 146 124 107 106 78 99 20 46 130 61 92 59
2023/20242.318 86 50 63 56 77 479 1.312 71 41 16 13 54
2024/20252.920 116 156 69 269 67 21 44 84 247 653 947 247
2025/20262.105 182 187 370 589 649 128 0 0 0 0 0 0
Totale 13.022