Scorri Autori Unibg
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study
2019-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines
2019-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Radavelli, Marco; Duan, Feng; Lei, Yu
Addressing usability in a formal development environment
2020-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Dealing with Robustness of Convolutional Neural Networks for Image Classification
2020-01-01 Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Design and validation of a C++ code generator from Abstract State Machines specifications
2020-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, A.
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA
2020-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare
2021-01-01 Bonfanti, Silvia; Bombarda, Andrea; Gargantini, Angelo Michele; Riccobene, Elvinia; Pelliccione, Patrizio
A Runtime Safety Enforcement Approach by Monitoring and Adaptation
2021-01-01 Bonfanti, Silvia; Riccobene, Elvinia; Scandurra, Patrizia
The novel Mechanical Ventilator Milano for the COVID-19 pandemic
2021-01-01 Abba, A.; Accorsi, C.; Agnes, P.; Alessi, E.; Amaudruz, P.; Annovi, A.; Desages, F. Ardellier; Back, S.; Badia, C.; Bagger, J.; Basile, V.; Batignani, G.; Bayo, A.; Bell, B.; Beschi, M.; Biagini, D.; Bianchi, G.; Bicelli, S.; Bishop, D.; Boccali, T.; Bombarda, Andrea; Bonfanti, Silvia; Bonivento, W. M.; Bouchard, M.; Breviario, M.; Brice, S.; Brown, R.; Calvo-Mozota, J. M.; Camozzi, L.; Camozzi, M.; Capra, A.; Caravati, M.; Carlini, M.; Ceccanti, A.; Celano, B.; Cela Ruiz, J. M.; Charette, C.; Cogliati, G.; Constable, M.; Crippa, C.; Croci, G.; Cudmore, S.; Dahl, C. E.; Dal Molin, A.; Daley, M.; Di Guardo, C.; D'Avenio, G.; Davignon, O.; Del Tutto, M.; De Ruiter, J.; Devoto, A.; Diaz Gomez Maqueo, P.; Di Francesco, F.; Dossi, M.; Druszkiewicz, E.; Duma, C.; Elliott, E.; Farina, D.; Fernandes, C.; Ferroni, F.; Finocchiaro, G.; Fiorillo, G.; Ford, R.; Foti, G.; Fournier, R. D.; Franco, D.; Fricbergs, C.; Gabriele, F.; Galbiati, C.; Garcia Abia, P.; Gargantini, Angelo Michele; Giacomelli, L.; Giacomini, F.; Giacomini, F.; Giarratana, L. S.; Gillespie, S.; Giorgi, D.; Girma, T.; Gobui, R.; Goeldi, D.; Golf, F.; Gorel, P.; Gorini, G.; Gramellini, E.; Grosso, G.; Guescini, F.; Guetre, E.; Hackman, G.; Hadden, T.; Hawkins, W.; Hayashi, K.; Heavey, A.; Hersak, G.; Hessey, N.; Hockin, G.; Hudson, K.; Ianni, A.; Ienzi, C.; Ippolito, V.; James, C. C.; Jillings, C.; Kendziora, C.; Khan, S.; Kim, E.; King, M.; King, S.; Kittmer, A.; Kochanek, I.; Kowalkowski, J.; Krücken, R.; Kushoro, M.; Kuula, S.; Laclaustra, M.; Leblond, G.; Lee, L.; Lennarz, A.; Leyton, M.; Li, X.; Liimatainen, P.; Lim, C.; Lindner, T.; Lomonaco, T.; Lu, P.; Lubna, R.; Lukhanin, G. A.; Luzón, G.; Macdonald, M.; Magni, G.; Maharaj, R.; Manni, S.; Mapelli, C.; Margetak, P.; Martin, L.; Martin, S.; Martínez, M.; Massacret, N.; Mcclurg, P.; Mcdonald, A. B.; Meazzi, E.; Migalla, R.; Mohayai, T.; Tosatti, L. M.; Monzani, G.; Moretti, C.; Morrison, B.; Mountaniol, M.; Muraro, A.; Napoli, P.; Nati, F.; Natzke, C. R.; Noble, A. J.; Norrick, A.; Olchanski, K.; Ortiz de Solorzano, A.; Padula, F.; Pallavicini, M.; Palumbo, I.; Panontin, E.; Papini, N.; Parmeggiano, L.; Parmeggiano, S.; Patel, K.; Patel, A.; Paterno, M.; Pellegrino, C.; Pelliccione, P.; Pesudo, V.; Pocar, A.; Pope, A.; Pordes, S.; Prelz, F.; Putignano, O.; Raaf, J. L.; Ratti, C.; Razeti, M.; Razeto, A.; Reed, D.; Refsgaard, J.; Reilly, T.; Renshaw, A.; Retriere, F.; Riccobene, E.; Rigamonti, D.; Rizzi, A.; Rode, J.; Romualdez, J.; Russel, L.; Sablone, D.; Sala, S.; Salomoni, D.; Salvo, P.; Sandoval, A.; Sansoucy, E.; Santorelli, R.; Savarese, C.; Scapparone, E.; Schaubel, T.; Scorza, S.; Settimo, M.; Shaw, B.; Shawyer, S.; Sher, A.; Shi, A.; Skensved, P.; Slutsky, A.; Smith, B.; Smith, N. J. T.; Stenzler, A.; Straubel, C.; Stringari, P.; Suchenek, M.; Sur, B.; Tacchino, S.; Takeuchi, L.; Tardocchi, M.; Tartaglia, R.; Thomas, E.; Trask, D.; Tseng, J.; Tseng, L.; Vanpagee, L.; Vedia, V.; Velghe, B.; Viel, S.; Visioli, A.; Viviani, L.; Vonica, D.; Wada, M.; Walter, D.; Wang, H.; Wang, M. H. L. S.; Westerdale, S.; Wood, D.; Yates, D.; Yue, S.; Zambrano, V.
Efficient Computation of Robustness of Convolutional Neural Networks
2021-01-01 Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers
2021-01-01 Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19
2021-01-01 Bombarda, Andrea; Bonfanti, Silvia; Galbiati, Cristiano; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Wada, Masayuki
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA
2021-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia
Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study
2021-01-01 Gargantini, Angelo Michele; Bonfanti, Silvia
Evaluation of stereoacuity with a digital mobile application
2021-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Esposito, Gabriele; Facchin, Alessio; Maffioletti, Marta; Maffioletti, Silvio
The ASMETA Approach to Safety Assurance of Software Systems
2021-01-01 Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Extending ASMETA with Time Features
2021-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia
Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications
2022-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele
Guidelines for the development of a critical software under emergency
2022-01-01 Bombarda, Andrea; Bonfanti, Silvia; Galbiati, Cristiano; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Wada, Masayuki
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller
2022-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
| Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
|---|---|---|---|---|
| 1-gen-2019 | Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study | Bombarda, Andrea; 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-2019 | Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines | Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Radavelli, Marco; Duan, Feng; Lei, Yu | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2020 | Addressing usability in a formal development environment | Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; 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-2020 | Dealing with Robustness of Convolutional Neural Networks for Image Classification | Arcaini, Paolo; Bombarda, Andrea; 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-2020 | Design and validation of a C++ code generator from Abstract State Machines specifications | Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, A. | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2020 | Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA | Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; 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-2021 | Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare | Bonfanti, Silvia; Bombarda, Andrea; Gargantini, Angelo Michele; Riccobene, Elvinia; Pelliccione, Patrizio | 1.1 Contributi in rivista - Journal contributions::1.1.07 Contributi in Quotidiano o Rivista professionale/divulgativa - Newspaper or Professional article | |
| 1-gen-2021 | A Runtime Safety Enforcement Approach by Monitoring and Adaptation | Bonfanti, Silvia; 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-2021 | The novel Mechanical Ventilator Milano for the COVID-19 pandemic | Abba, A.; Accorsi, C.; Agnes, P.; Alessi, E.; Amaudruz, P.; Annovi, A.; Desages, F. Ardellier; Back, S.; Badia, C.; Bagger, J.; Basile, V.; Batignani, G.; Bayo, A.; Bell, B.; Beschi, M.; Biagini, D.; Bianchi, G.; Bicelli, S.; Bishop, D.; Boccali, T.; Bombarda, Andrea; Bonfanti, Silvia; Bonivento, W. M.; Bouchard, M.; Breviario, M.; Brice, S.; Brown, R.; Calvo-Mozota, J. M.; Camozzi, L.; Camozzi, M.; Capra, A.; Caravati, M.; Carlini, M.; Ceccanti, A.; Celano, B.; Cela Ruiz, J. M.; Charette, C.; Cogliati, G.; Constable, M.; Crippa, C.; Croci, G.; Cudmore, S.; Dahl, C. E.; Dal Molin, A.; Daley, M.; Di Guardo, C.; D'Avenio, G.; Davignon, O.; Del Tutto, M.; De Ruiter, J.; Devoto, A.; Diaz Gomez Maqueo, P.; Di Francesco, F.; Dossi, M.; Druszkiewicz, E.; Duma, C.; Elliott, E.; Farina, D.; Fernandes, C.; Ferroni, F.; Finocchiaro, G.; Fiorillo, G.; Ford, R.; Foti, G.; Fournier, R. D.; Franco, D.; Fricbergs, C.; Gabriele, F.; Galbiati, C.; Garcia Abia, P.; Gargantini, Angelo Michele; Giacomelli, L.; Giacomini, F.; Giacomini, F.; Giarratana, L. S.; Gillespie, S.; Giorgi, D.; Girma, T.; Gobui, R.; Goeldi, D.; Golf, F.; Gorel, P.; Gorini, G.; Gramellini, E.; Grosso, G.; Guescini, F.; Guetre, E.; Hackman, G.; Hadden, T.; Hawkins, W.; Hayashi, K.; Heavey, A.; Hersak, G.; Hessey, N.; Hockin, G.; Hudson, K.; Ianni, A.; Ienzi, C.; Ippolito, V.; James, C. C.; Jillings, C.; Kendziora, C.; Khan, S.; Kim, E.; King, M.; King, S.; Kittmer, A.; Kochanek, I.; Kowalkowski, J.; Krücken, R.; Kushoro, M.; Kuula, S.; Laclaustra, M.; Leblond, G.; Lee, L.; Lennarz, A.; Leyton, M.; Li, X.; Liimatainen, P.; Lim, C.; Lindner, T.; Lomonaco, T.; Lu, P.; Lubna, R.; Lukhanin, G. A.; Luzón, G.; Macdonald, M.; Magni, G.; Maharaj, R.; Manni, S.; Mapelli, C.; Margetak, P.; Martin, L.; Martin, S.; Martínez, M.; Massacret, N.; Mcclurg, P.; Mcdonald, A. B.; Meazzi, E.; Migalla, R.; Mohayai, T.; Tosatti, L. M.; Monzani, G.; Moretti, C.; Morrison, B.; Mountaniol, M.; Muraro, A.; Napoli, P.; Nati, F.; Natzke, C. R.; Noble, A. J.; Norrick, A.; Olchanski, K.; Ortiz de Solorzano, A.; Padula, F.; Pallavicini, M.; Palumbo, I.; Panontin, E.; Papini, N.; Parmeggiano, L.; Parmeggiano, S.; Patel, K.; Patel, A.; Paterno, M.; Pellegrino, C.; Pelliccione, P.; Pesudo, V.; Pocar, A.; Pope, A.; Pordes, S.; Prelz, F.; Putignano, O.; Raaf, J. L.; Ratti, C.; Razeti, M.; Razeto, A.; Reed, D.; Refsgaard, J.; Reilly, T.; Renshaw, A.; Retriere, F.; Riccobene, E.; Rigamonti, D.; Rizzi, A.; Rode, J.; Romualdez, J.; Russel, L.; Sablone, D.; Sala, S.; Salomoni, D.; Salvo, P.; Sandoval, A.; Sansoucy, E.; Santorelli, R.; Savarese, C.; Scapparone, E.; Schaubel, T.; Scorza, S.; Settimo, M.; Shaw, B.; Shawyer, S.; Sher, A.; Shi, A.; Skensved, P.; Slutsky, A.; Smith, B.; Smith, N. J. T.; Stenzler, A.; Straubel, C.; Stringari, P.; Suchenek, M.; Sur, B.; Tacchino, S.; Takeuchi, L.; Tardocchi, M.; Tartaglia, R.; Thomas, E.; Trask, D.; Tseng, J.; Tseng, L.; Vanpagee, L.; Vedia, V.; Velghe, B.; Viel, S.; Visioli, A.; Viviani, L.; Vonica, D.; Wada, M.; Walter, D.; Wang, H.; Wang, M. H. L. S.; Westerdale, S.; Wood, D.; Yates, D.; Yue, S.; Zambrano, V. | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2021 | Efficient Computation of Robustness of Convolutional Neural Networks | Arcaini, Paolo; Bombarda, Andrea; 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-2021 | ROBY: A Tool for Robustness Analysis of Neural Network Classifiers | Arcaini, Paolo; Bombarda, Andrea; 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-2021 | Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 | Bombarda, Andrea; Bonfanti, Silvia; Galbiati, Cristiano; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Wada, Masayuki | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2021 | Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA | Bombarda, Andrea; 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-2021 | Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study | Gargantini, Angelo Michele; 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-2021 | Evaluation of stereoacuity with a digital mobile application | Bonfanti, Silvia; Gargantini, Angelo Michele; Esposito, Gabriele; Facchin, Alessio; Maffioletti, Marta; Maffioletti, Silvio | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2021 | The ASMETA Approach to Safety Assurance of Software Systems | Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
| 1-gen-2021 | Extending ASMETA with Time Features | Bombarda, Andrea; 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-2022 | Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications | 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-2022 | Guidelines for the development of a critical software under emergency | Bombarda, Andrea; Bonfanti, Silvia; Galbiati, Cristiano; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Wada, Masayuki | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2022 | Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller | Bombarda, Andrea; 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 |
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