Baoluo Meng
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FMCAD | 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 |
| 2024 | ICLP | Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions. | Sarat Chandra Varanasi, Baoluo Meng |
| 2024 | IJCAI | Towards Counterfactual Fairness-aware Domain Generalization in Changing Environments. | Yujie Lin, Chen Zhao, Minglai Shao, Baoluo Meng, Xujiang Zhao, Haifeng Chen |
| 2024 | SAFECOMP | Assurance Case Synthesis from a Curated Semantic Triplestore. | Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling |
| 2023 | FMCAD | 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 |
| 2023 | PADL | UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper). | Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos |
| 2023 | SAFECOMP | 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 |
| 2022 | CCS | 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 |
| 2022 | ICLP | Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming. | Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall |
| 2021 | SAFECOMP | Automating the Assembly of Security Assurance Case Fragments. | Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling |
| 2017 | CADE | Relational Constraint Solving in SMT. | Baoluo Meng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett |