BONFANTI, Silvia
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.991
NA - Nord America 1.780
AS - Asia 581
SA - Sud America 13
Continente sconosciuto - Info sul continente non disponibili 5
AF - Africa 4
OC - Oceania 3
Totale 8.377
Salva come PNG Salva come JPEG
Nazione #
GB - Regno Unito 2.012
US - Stati Uniti d'America 1.728
IE - Irlanda 1.725
IT - Italia 539
PL - Polonia 475
DE - Germania 350
RU - Federazione Russa 345
CN - Cina 303
FR - Francia 216
SE - Svezia 152
SG - Singapore 116
UA - Ucraina 59
CA - Canada 50
IN - India 43
AT - Austria 27
FI - Finlandia 20
ID - Indonesia 19
VN - Vietnam 19
KR - Corea 18
JP - Giappone 14
RO - Romania 14
BE - Belgio 12
TR - Turchia 11
CZ - Repubblica Ceca 10
NL - Olanda 10
BR - Brasile 8
PK - Pakistan 8
BG - Bulgaria 7
HK - Hong Kong 7
ES - Italia 5
BD - Bangladesh 4
PH - Filippine 4
PT - Portogallo 4
AU - Australia 3
CO - Colombia 3
EU - Europa 3
GR - Grecia 3
JO - Giordania 3
SA - Arabia Saudita 3
A2 - ???statistics.table.value.countryCode.A2??? 2
IR - Iran 2
LK - Sri Lanka 2
LT - Lituania 2
MA - Marocco 2
MX - Messico 2
NO - Norvegia 2
TW - Taiwan 2
AR - Argentina 1
CL - Cile 1
DZ - Algeria 1
EE - Estonia 1
GE - Georgia 1
IL - Israele 1
RS - Serbia 1
TH - Thailandia 1
TN - Tunisia 1
Totale 8.377
Salva come PNG Salva come JPEG
Città #
Southend 1.946
Dublin 1.709
Warsaw 472
Chandler 234
Jacksonville 212
Bergamo 139
Ashburn 121
Princeton 121
Ann Arbor 119
Dalmine 113
Duelmen 102
Boardman 81
Ratingen 80
Wilmington 80
Singapore 64
Nanjing 62
Toronto 49
Washington 44
Hamburg 39
Fairfield 38
New York 38
Moscow 35
Shanghai 34
Altamura 33
Nanchang 30
Beijing 29
Dearborn 29
Milan 29
Houston 28
San Mateo 28
Redwood City 23
Woodbridge 23
Atlanta 22
Mountain View 20
Vienna 20
Dong Ket 19
Ogden 18
Tianjin 17
London 16
Shenyang 16
Andover 15
Guangzhou 15
Los Angeles 14
Zhengzhou 14
Jakarta 13
Pune 13
Brussels 12
Cambridge 12
Seattle 12
Seoul 12
Frankfurt am Main 11
Jinan 11
Chicago 10
Helsinki 9
Kocaeli 9
Rome 9
Hebei 8
Kunming 8
Mcallen 7
Merate 7
Munich 7
Sofia 7
Brno 6
Hounslow 6
Shenzhen 6
Amsterdam 5
Berlin 5
Hefei 5
Islamabad 5
Lanzhou 5
Menlo Park 5
Monza 5
Cagliari 4
Changsha 4
Citeureup 4
Islington 4
Jaipur 4
Natal 4
Norwalk 4
Treviglio 4
Verona 4
Vimercate 4
Amman 3
Chiswick 3
Falls Church 3
Florence 3
Hangzhou 3
Jiaxing 3
Kilburn 3
Les Lilas 3
Paris 3
Portland 3
Prague 3
Riyadh 3
San Francisco 3
Sotto Il Monte 3
Tokyo 3
Verdellino 3
Westminster 3
Albano 2
Totale 6.713
Salva come PNG Salva come JPEG
Nome #
Rigorous Model-based Development of Programmable Electronic Medical Systems (PEMS): from Requirements to Code 538
A preliminary systematic literature review of the use of formal methods in medical software systems 442
Smartphone based video-telemetry logger for remote maintenance services 338
A mobile application for the stereo acuity test 283
Visual Notation and Patterns for Abstract State Machines 258
The female contribution in architecting a set of tools for a formal method. Role of women in Software Architecture 256
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation 250
Formal validation and verification of a medical software critical component 243
Integrating formal methods into medical software development: The ASM approach 242
Behind optical factors in anisometropic aniseiconia 231
Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors 214
Asm2C++: A tool for code generation from abstract state machines to Arduino 210
Design and validation of a C++ code generator from Abstract State Machines specifications 202
A systematic literature review of the use of formal methods in medical software systems 202
Unified syntax for abstract state machines 199
Validation of transformation from abstract state machine models to C++ code 194
AsmetaA: Animator for abstract state machines 189
Generation of C++ Unit Tests from Abstract State Machines Specifications 188
How to assure correctness and safety of medical software: The hemodialysis machine case study 184
Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study 175
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines 171
Generation of behavior-driven development C++ tests from abstract state machine scenarios 166
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study 164
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare 161
Stereo Digital Displays for Diagnosis and Treatment of Amblyopia 159
Evaluation of stereoacuity with a digital mobile application 157
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller 149
Dealing with Robustness of Convolutional Neural Networks for Image Classification 145
Addressing usability in a formal development environment 137
The ASMETA Approach to Safety Assurance of Software Systems 137
The novel Mechanical Ventilator Milano for the COVID-19 pandemic 133
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation 133
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA 130
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 119
Extending ASMETA with Time Features 118
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA 118
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 109
Efficient Computation of Robustness of Convolutional Neural Networks 95
RATE: A model-based testing approach that combines model refinement and test execution 94
Guidelines for the development of a critical software under emergency 93
A Runtime Safety Enforcement Approach by Monitoring and Adaptation 91
Towards an Evaluation Framework for Autonomous Systems 84
Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications 83
Compositional Simulation of Abstract State Machines for Safety Critical Systems 82
A component framework for the runtime enforcement of safety properties 78
Preface [to: Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings] 75
On the Reuse of Existing Configurations for Testing Evolving Feature Models 63
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines 61
Testing Software and Systems. 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings 58
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development 54
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code 30
A Mobile Application for Milano Ventilatore Meccanico: A First Prototype 29
Rigorous State-Based Methods. 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings 24
The Mechanical Lung Ventilator Case Study 22
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems 17
A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers 17
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features 16
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems 16
ASMETA Tool Set for Rigorous System Design 11
Preface [a: Rigorous State-Based Methods. 10th International Conference, ABZ 2024 Bergamo, Italy, June 25–28, 2024. Proceedings] 6
Preface [a: Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium] 6
Testing the Evolution of Feature Models with Specific Combinatorial Tests 5
Totale 8.654
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.154
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.154
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020369 0 0 0 0 47 49 71 32 79 23 27 41
2020/20211.182 102 54 49 48 56 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/2025657 116 156 69 269 47 0 0 0 0 0 0 0
Totale 8.654