Baoluo Meng

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 19

Top Topics

Causal Theories

Manufacturing Systems

Answer Set Programming

Constraint Solving

Top Venues

Publications

Saswata Paul, Baoluo Meng, Christopher C. Alexander
SMT-Based Aircraft Conflict Detection and Resolution. NFM (2024)
Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan
Formal Methods in Requirements Engineering: Survey and Future Directions. FormaliSE@ICSE (2024)
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates. CoRR (2024)
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Kerianne Hobbs, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
Safe and Reliable Training of Learning-Based Aerospace Controllers. CoRR (2024)
Baoluo Meng, Joyanta Debnath, Sarat Chandra Varanasi, Emmanuel Manoloios, Michael Durling, Saswata Paul, Daniel Prince, Saif Alsabbagh, Richard Haadsma, Craig McMillan, Chi Zhang, Tim Oates
Towards a Correct-by-Construction Design of Integrated Modular Avionics. FMCAD (2023)
Abha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng
RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence. SAFECOMP Workshops (2023)
Yujie Lin, Chen Zhao, Minglai Shao, Baoluo Meng, Xujiang Zhao, Haifeng Chen
Pursuing Counterfactual Fairness via Sequential Autoencoder Across Domains. CoRR (2023)
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos
UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper). PADL (2023)
Hantao Zhang, Baoluo Meng, Yiwen Liang
Sort race. Softw. Pract. Exp. 52 (8) (2022)
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming. ICLP Workshops (2022)
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming. CoRR (2022)
Michael R. Durling, Abha Moitra, Kit Y. Siu, Baoluo Meng, John W. Carbone, Christopher C. Alexander, Krystel K. Castillo-Villar, Gabriela F. Ciocarlie
Model-Based Security Analysis in Additive Manufacturing Systems. AMSec@CCS (2022)
Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling
Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. NFM (2022)
Abha Moitra, Paul Cuddihy, Kit Siu, Baoluo Meng, John Interrante, David W. Archer, Eric Mertens, Kevin Quick, Valentin Robert, Daniel Russell
A Semantic Reference Model for Capturing System Development and Evaluation. ICSC (2022)
Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling
Automating the Assembly of Security Assurance Case Fragments. SAFECOMP (2021)
Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Syst. 9 (1) (2021)
Baoluo Meng, Meng Li, Benjamin Beckmann, Yoshifumi Nishida, John Carbone, Dan Yang, Michael Durling
Towards Developing Trusted Smart Contracts in Simulink. PoEM Workshops (2020)
Baoluo Meng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett
Relational Constraint Solving in SMT. CADE (2017)
Hantao Zhang, Baoluo Meng, Yiwen Liang
Sort Race. CoRR (2016)