Scorri Autori Unibg
A mobile application for the stereo acuity test
2015-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Vitali, Andrea
Smartphone based video-telemetry logger for remote maintenance services
2015-01-01 Cologni, Alberto Luigi; Fasanotti, Luca; Dovere, Emanuele; Previdi, Fabio; Bonfanti, Silvia; Owen, Franklin Caleb
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation
2015-01-01 Gargantini, Angelo Michele; Terzi, Fabio; Zambelli, Matteo; Bonfanti, Silvia
Formal validation and verification of a medical software critical component
2015-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif; Riccobene, Elvinia
A preliminary systematic literature review of the use of formal methods in medical software systems
2016-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
How to assure correctness and safety of medical software: The hemodialysis machine case study
2016-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia
Unified syntax for abstract state machines
2016-01-01 Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo Michele; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia; Stegmaier, Michael
Visual Notation and Patterns for Abstract State Machines
2016-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia
The female contribution in architecting a set of tools for a formal method. Role of women in Software Architecture
2017-01-01 Bonfanti, Silvia; Centurelli, Valentina; Riccobene, Elvinia; Scandurra, Patrizia
Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors
2017-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele
Asm2C++: A tool for code generation from abstract state machines to Arduino
2017-01-01 Bonfanti, Silvia; Carissoni, Marco; Gargantini, Angelo Michele; Mashkoor, Atif
Rigorous Model-based Development of Programmable Electronic Medical Systems (PEMS): from Requirements to Code
2017-05-31 Bonfanti, Silvia
Stereo Digital Displays for Diagnosis and Treatment of Amblyopia
2018-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele
Behind optical factors in anisometropic aniseiconia
2018-01-01 Esposito, Gabriele; Facchin, Alessio; Maffioletti, MARTA NICOLE; Maffioletti, Silvio; Gargantini, Angelo Michele; Bonfanti, Silvia; Bonsignore, Francesco; Nucci, Paolo
Integrating formal methods into medical software development: The ASM approach
2018-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif; Riccobene, Elvinia
AsmetaA: Animator for abstract state machines
2018-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
Validation of transformation from abstract state machine models to C++ code
2018-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
A systematic literature review of the use of formal methods in medical software systems
2018-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
Generation of C++ Unit Tests from Abstract State Machines Specifications
2018-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
Generation of behavior-driven development C++ tests from abstract state machine scenarios
2018-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
1-gen-2015 | A mobile application for the stereo acuity test | Bonfanti, Silvia; Gargantini, Angelo Michele; Vitali, Andrea | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2015 | Smartphone based video-telemetry logger for remote maintenance services | Cologni, Alberto Luigi; Fasanotti, Luca; Dovere, Emanuele; Previdi, Fabio; Bonfanti, Silvia; Owen, Franklin Caleb | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2015 | A Low-cost Virtual Reality Game for Amblyopia Rehabilitation | Gargantini, Angelo Michele; Terzi, Fabio; Zambelli, Matteo; Bonfanti, Silvia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2015 | Formal validation and verification of a medical software critical component | Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif; Riccobene, Elvinia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2016 | A preliminary systematic literature review of the use of formal methods in medical software systems | Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2016 | How to assure correctness and safety of medical software: The hemodialysis machine case study | Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2016 | Unified syntax for abstract state machines | Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo Michele; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia; Stegmaier, Michael | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2016 | Visual Notation and Patterns for Abstract State Machines | Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2017 | The female contribution in architecting a set of tools for a formal method. Role of women in Software Architecture | Bonfanti, Silvia; Centurelli, Valentina; Riccobene, Elvinia; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2017 | Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors | Bonfanti, Silvia; Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2017 | Asm2C++: A tool for code generation from abstract state machines to Arduino | Bonfanti, Silvia; Carissoni, Marco; Gargantini, Angelo Michele; Mashkoor, Atif | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
31-mag-2017 | Rigorous Model-based Development of Programmable Electronic Medical Systems (PEMS): from Requirements to Code | Bonfanti, Silvia | 1.9 Tesi di dottorato - Unibg doctoral theses::1.9.01 Tesi di dottorato | |
1-gen-2018 | Stereo Digital Displays for Diagnosis and Treatment of Amblyopia | Bonfanti, Silvia; Gargantini, Angelo Michele | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
1-gen-2018 | Behind optical factors in anisometropic aniseiconia | Esposito, Gabriele; Facchin, Alessio; Maffioletti, MARTA NICOLE; Maffioletti, Silvio; Gargantini, Angelo Michele; Bonfanti, Silvia; Bonsignore, Francesco; Nucci, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.03 Testi di poster in atti di convegno - Conference posters | |
1-gen-2018 | Integrating formal methods into medical software development: The ASM approach | Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif; Riccobene, Elvinia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2018 | AsmetaA: Animator for abstract state machines | Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2018 | Validation of transformation from abstract state machine models to C++ code | Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2018 | A systematic literature review of the use of formal methods in medical software systems | Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2018 | Generation of C++ Unit Tests from Abstract State Machines Specifications | Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2018 | Generation of behavior-driven development C++ tests from abstract state machine scenarios | Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile