Baoluo Meng

25 papers A* 1A 1B 4C 1Journal 8Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Attack-defense tree-based analysis and optimal defense synthesis for system design.
Innov. Syst. Softw. Eng.
Baoluo Meng, Arjun Viswanathan, Saswata Paul, William Smith, Abha Moitra, Kit Siu, Michael Durling
2025 — conf
TRACE: Toolkit for Requirements Analysis, Capture, and Elicitation.
NFM
Sarat Chandra Varanasi, Baoluo Meng, Robert Lorch, Abha Moitra, Kit Siu, Saswata Paul, Michael Durling, Neha Beniwal, Nikita Visnevski
2024 B conf
Assurance Case Synthesis from a Curated Semantic Triplestore.
SAFECOMP
Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling
2024 — conf
Formal Methods in Requirements Engineering: Survey and Future Directions.
FormaliSE@ICSE
Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan
2024 B conf
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.
FMCAD
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
2024 J jnl
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.
CoRR
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
2024 — conf
Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions.
ICLP Workshops
Sarat Chandra Varanasi, Baoluo Meng
2024 — conf
SMT-Based Aircraft Conflict Detection and Resolution.
NFM
Saswata Paul, Baoluo Meng, Christopher C. Alexander
2024 J jnl
Safe and Reliable Training of Learning-Based Aerospace Controllers.
CoRR
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
2024 A* conf
Towards Counterfactual Fairness-aware Domain Generalization in Changing Environments.
IJCAI
Yujie Lin, Chen Zhao, Minglai Shao, Baoluo Meng, Xujiang Zhao, Haifeng Chen
2023 J jnl
Pursuing Counterfactual Fairness via Sequential Autoencoder Across Domains.
CoRR
Yujie Lin, Chen Zhao, Minglai Shao, Baoluo Meng, Xujiang Zhao, Haifeng Chen
2023 — conf
RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence.
SAFECOMP Workshops
Abha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng
2023 B conf
Towards a Correct-by-Construction Design of Integrated Modular Avionics.
FMCAD
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
2023 C conf
UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper).
PADL
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos
2022 — conf
A Semantic Reference Model for Capturing System Development and Evaluation.
ICSC
Abha Moitra, Paul Cuddihy, Kit Siu, Baoluo Meng, John Interrante, David W. Archer, Eric Mertens, Kevin Quick, Valentin Robert, Daniel Russell
2022 J jnl
Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming.
CoRR
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
2022 — conf
Model-Based Security Analysis in Additive Manufacturing Systems.
AMSec@CCS
Michael R. Durling, Abha Moitra, Kit Y. Siu, Baoluo Meng, John W. Carbone, Christopher C. Alexander, Krystel K. Castillo-Villar, Gabriela F. Ciocarlie
2022 J jnl
Sort race.
Softw. Pract. Exp.
Hantao Zhang, Baoluo Meng, Yiwen Liang
2022 — conf
Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.
NFM
Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling
2022 — conf
Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming.
ICLP Workshops
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
2021 B conf
Automating the Assembly of Security Assurance Case Fragments.
SAFECOMP
Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling
2021 J jnl
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System.
Syst.
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
2020 — conf
Towards Developing Trusted Smart Contracts in Simulink.
PoEM Workshops
Baoluo Meng, Meng Li, Benjamin Beckmann, Yoshifumi Nishida, John Carbone, Dan Yang, Michael Durling
2017 A conf
Relational Constraint Solving in SMT.
CADE
Baoluo Meng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett
2016 J jnl
Sort Race.
CoRR
Hantao Zhang, Baoluo Meng, Yiwen Liang