Zobrazeno 1 - 10
of 317
pro vyhledávání: '"Strigini, P."'
With autonomous vehicles (AVs), a major concern is the inability to give meaningful quantitative assurance of safety, to the extent required by society - e.g. that an AV must be at least as safe as a good human driver - before that AV is in extensive
Externí odkaz:
http://arxiv.org/abs/2110.10718
Autor:
Huang, Fuqun, Strigini, Lorenzo
Publikováno v:
IEEE Access-2023
As the primary cause of software defects, human error is the key to understanding, and perhaps to predicting and avoiding them. Little research has been done to predict defects on the basis of the cognitive errors that cause them. This paper proposes
Externí odkaz:
http://arxiv.org/abs/2110.06758
Objective: To investigate whether performance (number of correct decisions) of humans supported by a computer alerting tool can be improved by tailoring the tool's alerting threshold (sensitivity/specificity combination) according to user ability and
Externí odkaz:
http://arxiv.org/abs/2106.13544
Context: Demonstrating high reliability and safety for safety-critical systems (SCSs) remains a hard problem. Diverse evidence needs to be combined in a rigorous way: in particular, results of operational testing with other evidence from design and v
Externí odkaz:
http://arxiv.org/abs/2008.09510
Autor:
Berengère Benoit, Alice Beau, Émilie Bres, Stéphanie Chanon, Claudie Pinteur, Aurélie Vieille-Marchiset, Audrey Jalabert, Hao Zhang, Priyanka Garg, Maura Strigini, Laurence Vico, Jérôme Ruzzin, Hubert Vidal, Laetitia Koppe
Publikováno v:
Scientific Reports, Vol 13, Iss 1, Pp 1-13 (2023)
Abstract Chronic kidney disease (CKD) is associated with osteosarcopenia, and because a physical decline in patients correlates with an increased risk of morbidity, an improvement of the musculoskeletal system is expected to improve morbi-mortality.
Externí odkaz:
https://doaj.org/article/18d63348ca944dbbb486122816ce1526
Publikováno v:
Proceedings of 30th IEEE International Symposium on Software Reliability Engineering (ISSRE 2019)
There is an urgent societal need to assess whether autonomous vehicles (AVs) are safe enough. From published quantitative safety and reliability assessments of AVs, we know that, given the goal of predicting very low rates of accidents, road testing
Externí odkaz:
http://arxiv.org/abs/1908.06540
Autor:
Fuqun Huang, Lorenzo Strigini
Publikováno v:
IEEE Access, Vol 11, Pp 3626-3652 (2023)
As the primary cause of software defects, human error is the key to understanding, and perhaps to forecasting and avoiding defects. Little research has been done to forecast defects on the basis of the cognitive errors that cause them. The existing
Externí odkaz:
https://doaj.org/article/7ac6dea9eac94bee8c5121f3288dbcf3
Autor:
Souad Nasser, Thomas Solé, Nathalie Vega, Thierry Thomas, Aneta Balcerczyk, Maura Strigini, Luciano Pirola
Publikováno v:
Molecular Metabolism, Vol 65, Iss , Pp 101578- (2022)
Objective: The ketogenic diet (KD), characterized by very limited dietary carbohydrate intake and used as nutritional treatment for GLUT1-deficiency syndromes and pharmacologically refractory epilepsy, may promote weight loss and improve metabolic fi
Externí odkaz:
https://doaj.org/article/b452e7e7282846f6b1eb7787af103d65
Autor:
Alessandra Bortoluzzi, Andrea Doria, Marcello Govoni, Chiara Tani, Angela Tincani, Marta Mosca, Elena Elefante, Maddalena Larosa, Luca Iaccarino, Isabell Haase, Rebecca Fischer-Betz, Laura Andreoli, Lorenzo Cavagna, Dina Zucchi, Johanna Mucke, Maria Gerosa, Elisa Bellis, Giovanni Zanframundo, Lavinia Agra Coletto, Laura Baglietto, Francesca Monacci, Francesca Crisafulli, Francesca A L Strigini, Marco Fornili, Roberta Erra, Melissa Padovan
Publikováno v:
Lupus Science and Medicine, Vol 9, Iss 1 (2022)
Externí odkaz:
https://doaj.org/article/05f9243a540743b4b859a803116a44ce
We propose to validate experimentally a theory of software certification that proceeds from assessment of confidence in fault-freeness (due to standards) to conservative prediction of failure-free operation.
Comment: EDCC-2014, AESSCS 2014
Comment: EDCC-2014, AESSCS 2014
Externí odkaz:
http://arxiv.org/abs/1404.6844