Follow
Baoluo Meng
Baoluo Meng
GE Research
Verified email at ge.com - Homepage
Title
Cited by
Cited by
Year
Relational constraint solving in SMT
B Meng, A Reynolds, C Tinelli, C Barrett
Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017
352017
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
182019
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
152021
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
142020
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
142014
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
132018
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
112021
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
102015
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
92022
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
82019
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
82019
Autonomy verification & validation roadmap and vision 2045
GP Brat, H Yu, E Atkins, P Sharma, D Cofer, M Durling, B Meng, ...
Tech. Rep., 2023
52023
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
52021
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
52020
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
42023
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
42021
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
32022
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
32022
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
32021
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
32020
The system can't perform the operation now. Try again later.
Articles 1–20