default search action

combined dblp search
author search
venue search
publication search

ask others

Baoluo Meng

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c15]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/VaranasiM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/VaranasiM24
Sarat Chandra Varanasi, Baoluo Meng:
Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions. ICLP Workshops 2024
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/LorchMSMDPVM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/LorchMSMDPVM24
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: 88-99
[c13]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/Lin0SMZC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Lin0SMZC24
Yujie Lin, Chen Zhao, Minglai Shao, Baoluo Meng, Xujiang Zhao, Haifeng Chen:
Towards Counterfactual Fairness-aware Domain Generalization in Changing Environments. IJCAI 2024: 4560-4568
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/PaulMA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/PaulMA24
Saswata Paul, Baoluo Meng, Christopher C. Alexander:
SMT-Based Aircraft Conflict Detection and Resolution. NFM 2024: 186-203
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/PaulMSMD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/PaulMSMD24
Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling:
Assurance Case Synthesis from a Curated Semantic Triplestore. SAFECOMP 2024: 84-99
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-14058
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-14058
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 abs/2405.14058 (2024)
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-07088
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-07088
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 abs/2407.07088 (2024)
2023
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/MengDVMDPPAHMZO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/MengDVMDPPAHMZO23
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: 221-227
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/VaranasiMAB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/VaranasiMAB23
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: 250-260
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/MoitraCSAMRQRM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/MoitraCSAMRQRM23
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: 149-160
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-13005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-13005
Yujie Lin, Chen Zhao, Minglai Shao, Baoluo Meng, Xujiang Zhao, Haifeng Chen:
Pursuing Counterfactual Fairness via Sequential Autoencoder Across Domains. CoRR abs/2309.13005 (2023)
2022
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/ZhangML22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/ZhangML22
Hantao Zhang, Baoluo Meng, Yiwen Liang:
Sort race. Softw. Pract. Exp. 52(8): 1867-1878 (2022)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/DurlingMSMCACC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/DurlingMSMCACC22
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: 3-13
[c6]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/VaranasiMABH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/VaranasiMABH22
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
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MengVSMSD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MengVSMSD22
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: 752-770
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/semco/MoitraCSMIAMQRR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semco/MoitraCSMIAMQRR22
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: 173-174
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-12199
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-12199
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall:
Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming. CoRR abs/2208.12199 (2022)
2021
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/systems/MengLSMISPPHAYV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/systems/MengLSMISPPHAYV21
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): 18 (2021)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/MengPMSD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/MengPMSD21
Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling:
Automating the Assembly of Security Assurance Case Fragments. SAFECOMP 2021: 101-114
2020
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ifip8-1/MengLBNCYD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip8-1/MengLBNCYD20
Baoluo Meng, Meng Li, Benjamin Beckmann, Yoshifumi Nishida, John Carbone, Dan Yang, Michael Durling:
Towards Developing Trusted Smart Contracts in Simulink. PoEM Workshops 2020: 35-46

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/MengRTB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/MengRTB17
Baoluo Meng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett:
Relational Constraint Solving in SMT. CADE 2017: 148-165
2016
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ZhangML16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZhangML16
Hantao Zhang, Baoluo Meng, Yiwen Liang:
Sort Race. CoRR abs/1609.04471 (2016)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.