共 24 条
- [1] Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk) PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2022, 2022, : 1 - 2
- [3] On the Evaluation Measures for Machine Learning Algorithms for Safety-critical Systems 2019 15TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2019), 2019, : 141 - 144
- [5] Understanding the Properness of Incorporating Machine Learning Algorithms in Safety-Critical Systems 36TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2021, 2021, : 232 - 234
- [6] Error Resilient Machine Learning for Safety-Critical Systems: Position Paper 2020 26TH IEEE INTERNATIONAL SYMPOSIUM ON ON-LINE TESTING AND ROBUST SYSTEM DESIGN (IOLTS 2020), 2020,
- [7] BinFI: An Efficient Fault Injector for Safety-Critical Machine Learning Systems PROCEEDINGS OF SC19: THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS, 2019,
- [8] Assuring Safety-Critical Machine Learning Enabled Systems: Challenges and Promise 2022 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2022), 2022, : 326 - 332
- [9] Towards Making Safety-Critical Systems Safer: Learning from Mistakes 2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2014, : 162 - 167