BONFANTI, Silvia
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.589
NA - Nord America 1.685
AS - Asia 459
SA - Sud America 9
Continente sconosciuto - Info sul continente non disponibili 5
AF - Africa 3
OC - Oceania 3
Totale 7.753
Salva come PNG Salva come JPEG
Nazione #
GB - Regno Unito 2.007
IE - Irlanda 1.725
US - Stati Uniti d'America 1.634
IT - Italia 493
PL - Polonia 475
DE - Germania 327
CN - Cina 285
FR - Francia 215
SE - Svezia 152
UA - Ucraina 59
CA - Canada 49
IN - India 43
RU - Federazione Russa 37
SG - Singapore 33
AT - Austria 24
VN - Vietnam 19
KR - Corea 18
FI - Finlandia 17
RO - Romania 14
JP - Giappone 13
BE - Belgio 11
TR - Turchia 10
NL - Olanda 9
PK - Pakistan 8
BG - Bulgaria 7
ID - Indonesia 7
BD - Bangladesh 4
BR - Brasile 4
CZ - Repubblica Ceca 4
ES - Italia 4
HK - Hong Kong 4
PH - Filippine 4
PT - Portogallo 4
AU - Australia 3
CO - Colombia 3
EU - Europa 3
SA - Arabia Saudita 3
A2 - ???statistics.table.value.countryCode.A2??? 2
IR - Iran 2
LK - Sri Lanka 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
GR - Grecia 1
IL - Israele 1
RS - Serbia 1
Totale 7.753
Salva come PNG Salva come JPEG
Città #
Southend 1.946
Dublin 1.709
Warsaw 472
Chandler 234
Jacksonville 212
Bergamo 133
Princeton 121
Ann Arbor 119
Ashburn 117
Dalmine 108
Duelmen 102
Ratingen 80
Wilmington 80
Nanjing 62
Toronto 48
Washington 44
Fairfield 38
New York 38
Moscow 35
Hamburg 34
Altamura 33
Shanghai 33
Nanchang 30
Beijing 29
Dearborn 29
Houston 28
San Mateo 28
Boardman 24
Milan 24
Redwood City 23
Woodbridge 23
Atlanta 22
Mountain View 20
Dong Ket 19
Ogden 18
Tianjin 17
Vienna 17
Shenyang 16
Andover 15
Guangzhou 15
Zhengzhou 14
Pune 13
Cambridge 12
London 12
Seattle 12
Seoul 12
Brussels 11
Jinan 11
Kocaeli 9
Rome 9
Hebei 8
Kunming 8
Mcallen 7
Merate 7
Sofia 7
Helsinki 6
Hounslow 6
Amsterdam 5
Berlin 5
Hefei 5
Islamabad 5
Lanzhou 5
Menlo Park 5
Monza 5
Cagliari 4
Changsha 4
Chicago 4
Citeureup 4
Islington 4
Jaipur 4
Norwalk 4
Verona 4
Vimercate 4
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
Westminster 3
Albano 2
Angers 2
Arezzo 2
Bari 2
Cluj-Napoca 2
Como 2
Curno 2
Dallas 2
Delhi 2
Dhaka 2
Fenestrelle 2
Galle 2
Totale 6.499
Salva come PNG Salva come JPEG
Nome #
Rigorous Model-based Development of Programmable Electronic Medical Systems (PEMS): from Requirements to Code 522
A preliminary systematic literature review of the use of formal methods in medical software systems 433
Smartphone based video-telemetry logger for remote maintenance services 330
A mobile application for the stereo acuity test 277
Visual Notation and Patterns for Abstract State Machines 253
The female contribution in architecting a set of tools for a formal method. Role of women in Software Architecture 243
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation 238
Formal validation and verification of a medical software critical component 236
Integrating formal methods into medical software development: The ASM approach 233
Behind optical factors in anisometropic aniseiconia 224
Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors 207
Asm2C++: A tool for code generation from abstract state machines to Arduino 204
A systematic literature review of the use of formal methods in medical software systems 196
Unified syntax for abstract state machines 194
Design and validation of a C++ code generator from Abstract State Machines specifications 192
Validation of transformation from abstract state machine models to C++ code 185
AsmetaA: Animator for abstract state machines 183
Generation of C++ Unit Tests from Abstract State Machines Specifications 182
How to assure correctness and safety of medical software: The hemodialysis machine case study 176
Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study 169
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines 163
Generation of behavior-driven development C++ tests from abstract state machine scenarios 162
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study 159
Stereo Digital Displays for Diagnosis and Treatment of Amblyopia 154
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare 149
Evaluation of stereoacuity with a digital mobile application 147
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller 139
Dealing with Robustness of Convolutional Neural Networks for Image Classification 135
The ASMETA Approach to Safety Assurance of Software Systems 131
Addressing usability in a formal development environment 128
The novel Mechanical Ventilator Milano for the COVID-19 pandemic 128
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation 121
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA 120
Extending ASMETA with Time Features 114
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA 107
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 104
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 102
A Runtime Safety Enforcement Approach by Monitoring and Adaptation 85
RATE: A model-based testing approach that combines model refinement and test execution 82
Efficient Computation of Robustness of Convolutional Neural Networks 82
Guidelines for the development of a critical software under emergency 80
Towards an Evaluation Framework for Autonomous Systems 73
Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications 72
Compositional Simulation of Abstract State Machines for Safety Critical Systems 70
A component framework for the runtime enforcement of safety properties 62
Preface [to: Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings] 56
On the Reuse of Existing Configurations for Testing Evolving Feature Models 51
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines 50
Testing Software and Systems. 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings 44
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development 40
A Mobile Application for Milano Ventilatore Meccanico: A First Prototype 10
Totale 7.997
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.663
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 25.663
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201960 0 0 0 0 0 0 0 0 0 0 0 60
2019/2020596 81 23 56 67 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
Totale 7.997