BONFANTI, Silvia
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 7.598
NA - Nord America 5.145
AS - Asia 2.478
SA - Sud America 356
Continente sconosciuto - Info sul continente non disponibili 335
AF - Africa 105
OC - Oceania 6
Totale 16.023
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.977
GB - Regno Unito 2.066
IE - Irlanda 1.731
SG - Singapore 938
RU - Federazione Russa 882
CN - Cina 807
IT - Italia 775
PL - Polonia 514
NL - Olanda 440
DE - Germania 431
FR - Francia 321
BR - Brasile 253
VN - Vietnam 239
SE - Svezia 177
CA - Canada 118
IN - India 106
HK - Hong Kong 76
UA - Ucraina 66
ZA - Sudafrica 63
FI - Finlandia 54
BD - Bangladesh 49
AT - Austria 43
JP - Giappone 43
ID - Indonesia 39
AR - Argentina 29
KR - Corea 28
MX - Messico 24
TR - Turchia 24
IQ - Iraq 23
PK - Pakistan 22
EC - Ecuador 20
BE - Belgio 16
RO - Romania 16
VE - Venezuela 16
CO - Colombia 15
ES - Italia 15
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
DZ - Algeria 6
GR - Grecia 6
NP - Nepal 6
PH - Filippine 6
TN - Tunisia 6
UZ - Uzbekistan 6
AU - Australia 5
EG - Egitto 5
IL - Israele 5
JM - Giamaica 5
LB - Libano 5
PE - Perù 5
PT - Portogallo 5
PY - Paraguay 4
TT - Trinidad e Tobago 4
BO - Bolivia 3
CR - Costa Rica 3
DO - Repubblica Dominicana 3
EU - Europa 3
NO - Norvegia 3
UY - Uruguay 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AL - Albania 2
AZ - Azerbaigian 2
CI - Costa d'Avorio 2
EE - Estonia 2
GE - Georgia 2
HN - Honduras 2
HU - Ungheria 2
IR - Iran 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LK - Sri Lanka 2
LY - Libia 2
NI - Nicaragua 2
OM - Oman 2
PR - Porto Rico 2
RS - Serbia 2
SC - Seychelles 2
SN - Senegal 2
TH - Thailandia 2
YE - Yemen 2
AM - Armenia 1
BB - Barbados 1
BH - Bahrain 1
BS - Bahamas 1
BW - Botswana 1
CH - Svizzera 1
DJ - Gibuti 1
DK - Danimarca 1
GT - Guatemala 1
KE - Kenya 1
LC - Santa Lucia 1
LU - Lussemburgo 1
Totale 15.686
Salva come PNG Salva come JPEG
Città #
Southend 1.946
Dublin 1.714
San Jose 846
Ashburn 632
Warsaw 490
Singapore 420
Moscow 340
Council Bluffs 276
Chandler 234
Jacksonville 212
Chicago 180
Dalmine 165
Bergamo 159
Los Angeles 156
Hefei 153
Beijing 122
Princeton 121
Ann Arbor 119
The Dalles 113
Duelmen 102
Boardman 87
Wilmington 86
New York 80
Ratingen 80
Salt Lake City 76
Ho Chi Minh City 74
Buffalo 69
Lauterbourg 67
Santa Clara 66
Hong Kong 65
Milan 65
Nanjing 64
Johannesburg 55
Columbus 54
Toronto 54
Washington 46
Hanoi 45
Shanghai 42
Hamburg 41
Tampa 41
Elk Grove Village 39
Montreal 39
Dallas 38
Fairfield 38
Houston 37
Atlanta 36
Frankfurt am Main 35
Altamura 33
São Paulo 31
Dearborn 30
Nanchang 30
Orem 30
London 29
San Mateo 28
Tokyo 28
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
Phoenix 18
Sterling 18
Nuremberg 17
Seattle 17
Shenyang 17
Zhengzhou 17
Andover 16
Baghdad 16
Lappeenranta 16
Rome 16
Denver 14
Pune 14
Amsterdam 13
Brussels 13
Miami 13
Shenzhen 13
Boston 12
Cambridge 12
Chennai 12
Dulles 12
Memphis 12
Jinan 11
Pittsburgh 11
San Francisco 11
Philadelphia 10
Brooklyn 9
Kocaeli 9
Mexico City 9
Naples 9
Poplar 9
Reggio Calabria 9
Totale 10.969
Salva come PNG Salva come JPEG
Nome #
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems 764
Rigorous Model-based Development of Programmable Electronic Medical Systems (PEMS): from Requirements to Code 661
A preliminary systematic literature review of the use of formal methods in medical software systems 533
Smartphone based video-telemetry logger for remote maintenance services 423
A mobile application for the stereo acuity test 368
Integrating formal methods into medical software development: The ASM approach 342
Design and validation of a C++ code generator from Abstract State Machines specifications 339
Visual Notation and Patterns for Abstract State Machines 325
Formal validation and verification of a medical software critical component 320
The female contribution in architecting a set of tools for a formal method. Role of women in Software Architecture 312
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation 302
Asm2C++: A tool for code generation from abstract state machines to Arduino 289
Behind optical factors in anisometropic aniseiconia 281
A systematic literature review of the use of formal methods in medical software systems 281
Validation of transformation from abstract state machine models to C++ code 269
Unified syntax for abstract state machines 264
Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors 263
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller 262
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study 251
Generation of C++ Unit Tests from Abstract State Machines Specifications 242
How to assure correctness and safety of medical software: The hemodialysis machine case study 240
Evaluation of stereoacuity with a digital mobile application 240
AsmetaA: Animator for abstract state machines 236
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
Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study 226
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
A component framework for the runtime enforcement of safety properties 209
A Runtime Safety Enforcement Approach by Monitoring and Adaptation 207
Dealing with Robustness of Convolutional Neural Networks for Image Classification 206
Guidelines for the development of a critical software under emergency 205
Stereo Digital Displays for Diagnosis and Treatment of Amblyopia 205
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation 204
Generation of behavior-driven development C++ tests from abstract state machine scenarios 201
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA 198
Addressing usability in a formal development environment 194
Compositional Simulation of Abstract State Machines for Safety Critical Systems 189
RATE: A model-based testing approach that combines model refinement and test execution 184
Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications 175
Extending ASMETA with Time Features 174
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 journey with ASMETA from requirements to code: application to an automotive system with adaptive features 163
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development 160
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines 160
Rigorous State-Based Methods. 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings 158
Preface [to: Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings] 157
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
Testing Software and Systems. 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings 152
Preface [a: Rigorous State-Based Methods. 10th International Conference, ABZ 2024 Bergamo, Italy, June 25–28, 2024. Proceedings] 147
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines 145
The Mechanical Lung Ventilator Case Study 141
Preface [a: Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium] 135
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
ASMETA Tool Set for Rigorous System Design 125
Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications 124
SIMSPIRE: A Simulator of the Respiratory System 123
A Mobile Application for Milano Ventilatore Meccanico: A First Prototype 116
Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium, Istanbul, Turkey, September 18–22, 2023, Revised Selected Papers 115
Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE 106
My feature model has changed... What should I do with my tests? 103
Testing the Evolution of Feature Models with Specific Combinatorial Tests 103
Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta [email protected] 100
Preface [a: Testing Software and Systems] 69
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
A Bibliometric Analysis of the Abstract State Machine Research Production and Community over the Years 51
AsmetaComp: A Tool for Runtime Contract Checking with I/O Abstract State Machines 27
Totale 16.023
Salva come PNG Salva come JPEG
Categoria #
all - tutte 56.106
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 56.106
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022978 0 0 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/20264.287 182 187 370 589 649 327 592 260 272 259 385 215
2026/2027819 299 435 85 0 0 0 0 0 0 0 0 0
Totale 16.023