BONFANTI, Silvia
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 7.465
NA - Nord America 3.961
AS - Asia 2.327
SA - Sud America 346
AF - Africa 102
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 5
Totale 14.211
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.855
GB - Regno Unito 2.059
IE - Irlanda 1.731
RU - Federazione Russa 882
SG - Singapore 865
CN - Cina 764
IT - Italia 668
PL - Polonia 514
NL - Olanda 440
DE - Germania 431
FR - Francia 320
BR - Brasile 247
VN - Vietnam 239
SE - Svezia 160
IN - India 105
CA - Canada 74
HK - Hong Kong 66
UA - Ucraina 66
ZA - Sudafrica 63
FI - Finlandia 54
AT - Austria 43
JP - Giappone 41
ID - Indonesia 39
AR - Argentina 29
BD - Bangladesh 29
KR - Corea 27
TR - Turchia 24
IQ - Iraq 23
MX - Messico 22
PK - Pakistan 22
EC - Ecuador 19
BE - Belgio 16
RO - Romania 16
VE - Venezuela 16
ES - Italia 15
CO - Colombia 13
CZ - Repubblica Ceca 10
MA - Marocco 9
TW - Taiwan 9
BG - Bulgaria 8
CL - Cile 8
LT - Lituania 8
JO - Giordania 7
MY - Malesia 7
SA - Arabia Saudita 7
AE - Emirati Arabi Uniti 6
GR - Grecia 6
NP - Nepal 6
PH - Filippine 6
TN - Tunisia 6
UZ - Uzbekistan 6
DZ - Algeria 5
EG - Egitto 5
IL - Israele 5
PE - Perù 5
PT - Portogallo 5
AU - Australia 4
LB - Libano 4
PY - Paraguay 4
BO - Bolivia 3
DO - Repubblica Dominicana 3
EU - Europa 3
NO - Norvegia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AL - Albania 2
AZ - Azerbaigian 2
CI - Costa d'Avorio 2
CR - Costa Rica 2
EE - Estonia 2
GE - Georgia 2
HU - Ungheria 2
IR - Iran 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LK - Sri Lanka 2
LY - Libia 2
OM - Oman 2
RS - Serbia 2
SN - Senegal 2
TH - Thailandia 2
UY - Uruguay 2
YE - Yemen 2
AM - Armenia 1
BH - Bahrain 1
BW - Botswana 1
DJ - Gibuti 1
DK - Danimarca 1
GT - Guatemala 1
KE - Kenya 1
LC - Santa Lucia 1
LU - Lussemburgo 1
MU - Mauritius 1
NG - Nigeria 1
NI - Nicaragua 1
PA - Panama 1
PW - Palau 1
RW - Ruanda 1
TG - Togo 1
TT - Trinidad e Tobago 1
YT - Mayotte 1
Totale 14.211
Salva come PNG Salva come JPEG
Città #
Southend 1.946
Dublin 1.714
Ashburn 576
Warsaw 490
Singapore 409
San Jose 408
Moscow 340
Chandler 234
Jacksonville 212
Chicago 174
Bergamo 158
Hefei 153
Los Angeles 150
Princeton 121
Ann Arbor 119
Dalmine 117
The Dalles 113
Beijing 111
Duelmen 102
Boardman 86
Wilmington 86
Ratingen 80
Salt Lake City 76
Ho Chi Minh City 74
New York 73
Lauterbourg 67
Buffalo 65
Nanjing 64
Milan 62
Hong Kong 58
Johannesburg 55
Toronto 50
Hanoi 45
Washington 45
Hamburg 41
Tampa 41
Elk Grove Village 39
Fairfield 38
Shanghai 38
Frankfurt am Main 35
Houston 35
Altamura 33
Council Bluffs 33
Atlanta 32
São Paulo 31
Dallas 30
Nanchang 30
Dearborn 29
San Mateo 28
Tokyo 28
London 27
Orem 27
Redondo Beach 27
Vienna 27
Tianjin 24
Helsinki 23
Redwood City 23
Woodbridge 23
Guangzhou 21
Jakarta 21
Munich 21
Mountain View 20
Seoul 20
Da Nang 19
Dong Ket 19
Ogden 18
Sterling 18
Nuremberg 17
Shenyang 17
Baghdad 16
Lappeenranta 16
Seattle 16
Zhengzhou 16
Andover 15
Phoenix 15
Santa Clara 15
Pune 14
Amsterdam 13
Brussels 13
Boston 12
Cambridge 12
Chennai 12
Denver 12
Dulles 12
Montreal 12
Rome 12
Shenzhen 12
Jinan 11
Miami 10
Kocaeli 9
Pittsburgh 9
Poplar 9
Reggio Calabria 9
Hebei 8
Kunming 8
Lancaster 8
San Francisco 8
Amman 7
Brooklyn 7
Brusaporto 7
Totale 9.941
Salva come PNG Salva come JPEG
Nome #
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems 744
Rigorous Model-based Development of Programmable Electronic Medical Systems (PEMS): from Requirements to Code 624
A preliminary systematic literature review of the use of formal methods in medical software systems 517
Smartphone based video-telemetry logger for remote maintenance services 411
A mobile application for the stereo acuity test 358
Integrating formal methods into medical software development: The ASM approach 315
Visual Notation and Patterns for Abstract State Machines 313
Design and validation of a C++ code generator from Abstract State Machines specifications 312
The female contribution in architecting a set of tools for a formal method. Role of women in Software Architecture 306
Formal validation and verification of a medical software critical component 304
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation 294
Behind optical factors in anisometropic aniseiconia 274
Asm2C++: A tool for code generation from abstract state machines to Arduino 272
A systematic literature review of the use of formal methods in medical software systems 270
Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors 251
Unified syntax for abstract state machines 246
Validation of transformation from abstract state machine models to C++ code 246
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study 240
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller 238
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines 232
Generation of C++ Unit Tests from Abstract State Machines Specifications 231
AsmetaA: Animator for abstract state machines 228
How to assure correctness and safety of medical software: The hemodialysis machine case study 224
Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study 220
Evaluation of stereoacuity with a digital mobile application 217
The novel Mechanical Ventilator Milano for the COVID-19 pandemic 211
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare 207
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 204
The ASMETA Approach to Safety Assurance of Software Systems 201
A component framework for the runtime enforcement of safety properties 197
Generation of behavior-driven development C++ tests from abstract state machine scenarios 197
Dealing with Robustness of Convolutional Neural Networks for Image Classification 197
Stereo Digital Displays for Diagnosis and Treatment of Amblyopia 196
Guidelines for the development of a critical software under emergency 194
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation 193
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA 189
Addressing usability in a formal development environment 188
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 187
Compositional Simulation of Abstract State Machines for Safety Critical Systems 169
A Runtime Safety Enforcement Approach by Monitoring and Adaptation 167
RATE: A model-based testing approach that combines model refinement and test execution 166
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA 165
Extending ASMETA with Time Features 160
Towards an Evaluation Framework for Autonomous Systems 158
Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications 158
Efficient Computation of Robustness of Convolutional Neural Networks 155
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines 147
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems 145
A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers 143
Preface [to: Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings] 140
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development 140
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features 138
Testing Software and Systems. 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings 136
On the Reuse of Existing Configurations for Testing Evolving Feature Models 135
Preface [a: Rigorous State-Based Methods. 10th International Conference, ABZ 2024 Bergamo, Italy, June 25–28, 2024. Proceedings] 125
The Mechanical Lung Ventilator Case Study 124
Rigorous State-Based Methods. 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings 121
Preface [a: Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium] 116
ASMETA Tool Set for Rigorous System Design 114
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code 110
A Mobile Application for Milano Ventilatore Meccanico: A First Prototype 108
Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium, Istanbul, Turkey, September 18–22, 2023, Revised Selected Papers 104
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines 104
SIMSPIRE: A Simulator of the Respiratory System 95
Testing the Evolution of Feature Models with Specific Combinatorial Tests 95
Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications 88
Integrating formal specifications in the development and testing of UIs by formal model–view–controller pattern 87
My feature model has changed... What should I do with my tests? 78
Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta [email protected] 70
Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE 63
Preface [a: Testing Software and Systems] 54
Totale 14.526
Salva come PNG Salva come JPEG
Categoria #
all - tutte 48.748
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 48.748
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021448 0 0 0 0 0 0 0 0 0 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/20263.609 182 187 370 589 649 327 592 260 272 181 0 0
Totale 14.526