| Towards development of complete and conflict-free requirements A Moitra, K Siu, A Crapo, H Chamarthi, M Durling, M Li, H Yu, P Manolios, ... 2018 IEEE 26th International Requirements Engineering Conference (RE), 286-296, 2018 | 30 | 2018 |
| Automating requirements analysis and test case generation A Moitra, K Siu, AW Crapo, M Durling, M Li, P Manolios, M Meiners, ... Requirements Engineering 24, 341-364, 2019 | 23 | 2019 |
| Certification considerations for adaptive stress testing of airborne software M Durling, H Herencia-Zapana, B Meng, M Meiners, J Hochwarth, ... 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC), 1-9, 2021 | 5 | 2021 |
| Towards the Certification of Neural Networks using Overarching Properties: An Avionics Case Study S Paul, D Prince, N Iyer, M Durling, N Visnevski, B Meng, SC Varanasi, ... 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023 | 1 | 2023 |
| Assurance of AI/ML-Based Aerospace Systems Using Overarching Properties S Paul, N Iyer, D Prince, L Tang, M Durling, M Meiners, B Meng, ... 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), 1-10, 2024 | | 2024 |
