Baoluo Meng

According to our database, Baoluo Meng authored at least 21 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Safe and Reliable Training of Learning-Based Aerospace Controllers.

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

CoRR, 2024

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.

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

CoRR, 2024

Assurance Case Synthesis from a Curated Semantic Triplestore.

Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling

Proceedings of the Computer Safety, Reliability, and Security, 2024

SMT-Based Aircraft Conflict Detection and Resolution.

Saswata Paul, Baoluo Meng, Christopher C. Alexander

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Towards Counterfactual Fairness-aware Domain Generalization in Changing Environments.

Yujie Lin, Chen Zhao, Minglai Shao, Baoluo Meng, Xujiang Zhao, Haifeng Chen

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Formal Methods in Requirements Engineering: Survey and Future Directions.

Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions.

Sarat Chandra Varanasi, Baoluo Meng

Proceedings of the Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), 2024

2023

Pursuing Counterfactual Fairness via Sequential Autoencoder Across Domains.

Yujie Lin, Chen Zhao, Minglai Shao, Baoluo Meng, Xujiang Zhao, Haifeng Chen

CoRR, 2023

RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence.

Abha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper).

Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos

Proceedings of the Practical Aspects of Declarative Languages, 2023

Towards a Correct-by-Construction Design of Integrated Modular Avionics.

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

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Sort race.

Hantao Zhang, Baoluo Meng, Yiwen Liang

Softw. Pract. Exp., 2022

Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming.

Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall

CoRR, 2022

A Semantic Reference Model for Capturing System Development and Evaluation.

Abha Moitra, Paul Cuddihy, Kit Siu, Baoluo Meng, John Interrante, David W. Archer, Eric Mertens, Kevin Quick, Valentin Robert, Daniel Russell

Proceedings of the 16th IEEE International Conference on Semantic Computing, 2022

Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.

Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming.

Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Model-Based Security Analysis in Additive Manufacturing Systems.

Michael R. Durling, Abha Moitra, Kit Y. Siu, Baoluo Meng, John W. Carbone, Christopher C. Alexander, Krystel K. Castillo-Villar, Gabriela F. Ciocarlie

Proceedings of the 2022 ACM CCS Workshop on Additive Manufacturing (3D Printing) Security, 2022

2021

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System.

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

Syst., 2021

Automating the Assembly of Security Assurance Case Fragments.

Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling

Proceedings of the Computer Safety, Reliability, and Security, 2021

2020

Towards Developing Trusted Smart Contracts in Simulink.

Baoluo Meng, Meng Li, Benjamin Beckmann, Yoshifumi Nishida, John Carbone, Dan Yang, Michael Durling

Proceedings of the workshops co-organized with the 13th IFIP WG 8.1 working conference on the Practice of Enterprise Modelling (PoEM 2020), 2020

2017

Relational Constraint Solving in SMT.

Baoluo Meng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett

Proceedings of the Automated Deduction - CADE 26, 2017