Baoluo Meng

According to our database1, Baoluo Meng authored at least 14 papers between 2017 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Pursuing Counterfactual Fairness via Sequential Autoencoder Across Domains.
CoRR, 2023

RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence.
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).
Proceedings of the Practical Aspects of Declarative Languages, 2023

Towards a Correct-by-Construction Design of Integrated Modular Avionics.
Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022
Sort race.
Softw. Pract. Exp., 2022

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

A Semantic Reference Model for Capturing System Development and Evaluation.
Proceedings of the 16th IEEE International Conference on Semantic Computing, 2022

Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming.
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.
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.
Syst., 2021

Automating the Assembly of Security Assurance Case Fragments.
Proceedings of the Computer Safety, Reliability, and Security, 2021

2020
Towards Developing Trusted Smart Contracts in Simulink.
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.
Proceedings of the Automated Deduction - CADE 26, 2017


  Loading...