Baoluo (Paul) Meng
Baoluo (Paul) Meng
GE Research
Verified email at ge.com
Title
Cited by
Cited by
Year
Relational constraint solving in SMT
B Meng, A Reynolds, C Tinelli, C Barrett
International Conference on Automated Deduction, 148-165, 2017
202017
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
102014
Formal verification of quasi-synchronous systems
SP Miller, S Bhattacharyya, C Tinelli, S Smolka, C Sticksel, B Meng, ...
ROCKWELL COLLINS INC CEDAR RAPIDS IA, 2015
62015
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
52019
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
42019
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
22019
System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges
H Yu, MR Durling, KY Siu, M Li, B Meng, SA Stacey, DE Russell, ...
US Patent 10,169,217, 2019
22019
Satisfiability modulo relations: theory and applications
B Meng
University of Iowa, 2018
22018
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
12020
Sort race
H Zhang, B Meng, Y Liang
arXiv preprint arXiv:1609.04471, 2016
12016
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
2021
Automatic Synthesis of Information Flow Driven Execution Managers for Embedded Software Applications
N Visnevski, T Hubscher-Younger, A Rajhans, B Meng
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-9, 2020
2020
Formal Verification Tool Evaluation For Unmanned Aircraft Containing Complex Functions
H Herencia-Zapana, J Lopez, G Gallagher, B Meng, C Patterson, ...
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-9, 2020
2020
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
2020
Towards Developing Trusted Smart Contracts in Simulink
B Meng, M Li, B Beckmann, Y Nishida, J Carbone, D Yang, M Durling
2020
A new relational solver for the Alloy Analyzer
M Mohamed, B Meng, A Reynolds, C Tinelli
URL: https://homepage. divms. uiowa. edu/mahgoubyahia/pdf/crs. pdf, 2019
2019
CVC4 at the SMT competition 2018
CT Clark Barrett, Haniel Barbosa, Martin Brain, Duligur Ibeling, Tim King ...
arXiv preprint arXiv:1806.08775, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–17