Relational constraint solving in SMT B Meng, A Reynolds, C Tinelli, C Barrett Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017 | 39 | 2017 |
Architectural and behavioral analysis for cyber security K Siu, A Moitra, M Li, M Durling, H Herencia-Zapana, J Interrante, B Meng, ... 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-10, 2019 | 18 | 2019 |
Verdict: a language and framework for engineering cyber resilient and safe system B Meng, D Larraz, K Siu, A Moitra, J Interrante, W Smith, S Paul, D Prince, ... Systems 9 (1), 18, 2021 | 16 | 2021 |
Towards verification of neural networks for small unmanned aircraft collision avoidance A Irfan, KD Julian, H Wu, C Barrett, MJ Kochenderfer, B Meng, J Lopez 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-10, 2020 | 16 | 2020 |
Verification of quasi-synchronous systems with Uppaal S Bhattacharyya, S Miller, J Yang, S Smolka, B Meng, C Sticksel, C Tinelli 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 8A4-1-8A4-12, 2014 | 14 | 2014 |
CVC4 at the SMT competition 2018 C Barrett, H Barbosa, M Brain, D Ibeling, T King, P Meng, A Niemetz, ... arXiv preprint arXiv:1806.08775, 2018 | 13 | 2018 |
Automating the assembly of security assurance case fragments B Meng, S Paul, A Moitra, K Siu, M Durling Computer Safety, Reliability, and Security: 40th International Conference …, 2021 | 11 | 2021 |
Formal verification of quasi-synchronous systems SP Miller, S Bhattacharyya, C Tinelli, S Smolka, C Sticksel, B Meng, ... ROCKWELL COLLINS INC CEDAR RAPIDS IA, Tech Report, 2015 | 10 | 2015 |
A semantic reference model for capturing system development and evaluation A Moitra, P Cuddihy, K Siu, B Meng, J Interrante, D Archer, E Mertens, ... 2022 IEEE 16th International Conference on Semantic Computing (ICSC), 173-174, 2022 | 9 | 2022 |
Requirements-based automated test generation for safety critical software M Li, B Meng, H Yu, K Siu, M Durling, D Russell, C McMillan, M Smith, ... 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-10, 2019 | 9 | 2019 |
Integration and flight test of small UAS detect and avoid on a miniaturized avionics platform JG Lopez, L Ren, B Meng, R Fisher, J Markham, M Figard, R Evans, ... 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-5, 2019 | 8 | 2019 |
Autonomy verification & validation roadmap and vision 2045 GP Brat, H Yu, E Atkins, P Sharma, D Cofer, M Durling, B Meng, ... Tech. Rep., 2023 | 5 | 2023 |
Security threat modeling and automated analysis for system design B Meng, W Smith, M Durling SAE International Journal of Transportation Cybersecurity and Privacy 4 (11 …, 2021 | 5 | 2021 |
Towards developing formalized assurance cases B Meng, A Moitra, AW Crapo, S Paul, K Siu, M Durling, D Prince, ... 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-9, 2020 | 5 | 2020 |
Rack: A semantic model and triplestore for curation of assurance case evidence A Moitra, P Cuddihy, K Siu, D Archer, E Mertens, D Russell, K Quick, ... International Conference on Computer Safety, Reliability, and Security, 149-160, 2023 | 4 | 2023 |
Experience in designing for cyber resiliency in embedded DOD systems J Barzeele, K Siu, M Robinson, L Suantak, J Merems, M Durling, A Moitra, ... INCOSE International Symposium 31 (1), 80-94, 2021 | 4 | 2021 |
Model-based security analysis in additive manufacturing systems MR Durling, A Moitra, KY Siu, B Meng, JW Carbone, CC Alexander, ... Proceedings of the 2022 ACM CCS Workshop on Additive Manufacturing (3D …, 2022 | 3 | 2022 |
Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT B Meng, A Viswanathan, W Smith, A Moitra, K Siu, M Durling NASA Formal Methods Symposium, 752-770, 2022 | 3 | 2022 |
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 | 3 | 2021 |
Towards Developing Trusted Smart Contracts in Simulink. B Meng, M Li, B Beckmann, Y Nishida, J Carbone, D Yang, M Durling PoEM Workshops, 35-46, 2020 | 3 | 2020 |