173 citations · 854 across the 53 of their papers we have counts for
6 papers · 1 filter
STPA for Learning-Enabled Systems: A Survey and A New Practice
Yi Qi, Yi Dong, Siddartha Khastgir +3
Systems Theoretic Process Analysis (STPA) is a systematic approach for hazard analysis that has been used across many industrial sectors including transportation, energy, and defen…
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems
Yi Qi, Philippa Ryan Conmy, Wei Huang +2
Hazard and Operability Analysis (HAZOP) is a powerful safety analysis technique with a long history in industrial process control domain. With the increasing use of Machine Learnin…
Hierarchical Distribution-Aware Testing of Deep Learning
Wei Huang, Xingyu Zhao, Alec Banks +2
Deep Learning (DL) is increasingly used in safety-critical applications, raising concerns about its reliability. DL suffers from a well-known problem of lacking robustness, especia…
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance
Yi Dong, Wei Huang, Vibhav Bharti +6
The increasing use of Machine Learning (ML) components embedded in autonomous systems -- so-called Learning-Enabled Systems (LESs) -- has resulted in the pressing need to assure th…
Tutorials on Testing Neural Networks
Nicolas Berthier, Youcheng Sun, Wei Huang +3
Deep learning achieves remarkable performance on pattern recognition, but can be vulnerable to defects of some important properties such as robustness and security. This tutorial i…
Detecting Operational Adversarial Examples for Reliable Deep Learning
Xingyu Zhao, Wei Huang, Sven Schewe +2
The utilisation of Deep Learning (DL) raises new challenges regarding its dependability in critical applications. Sound verification and validation methods are needed to assure the…