Interlocking safety cases for unmanned autonomous systems in shared airspaces M Vierhauser, S Bayley, J Wyngaard, W Xiong, J Cheng, J Huseman, ... IEEE transactions on software engineering 47 (5), 899-918, 2019 | 34 | 2019 |
Diagnosing assumption problems in safety-critical products M Rahimi, W Xiong, J Cleland-Huang, R Lutz 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 14 | 2017 |
Interlocking safety cases for unmanned autonomous systems in urban environments M Vierhauser, S Bayley, J Wyngaard, J Cheng, W Xiong, R Lutz, ... Proceedings of the 40th International Conference on Software Engineering …, 2018 | 8 | 2018 |
Design-time detection of physical-unit changes in product lines W Xiong Iowa State University, 2020 | | 2020 |
Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces J Cleland-Huang, J Wyngaard, J Huseman, M Vierhauser, R Lutz, ... University of Notre Dame, 2019 | | 2019 |
Interlocking Safety Cases for Unmanned Autonomous Systems in Urban Environments J Cleland-Huang, J Wyngaard, J Cheng, J Huseman, M Vierhauser, ... University of Notre Dame, 2018 | | 2018 |