Scorri Autori Unibg  

Opzioni
Risultati da 1 a 20 di 51
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
Risultati da 1 a 20 di 51
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