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 (AMSec@CCS, 2022)

Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming. - Sarat Chandra Varanasi; Baoluo Meng; Christopher C. Alexander; Szabolcs Borgyos; Brendan Hall (ICLP Workshops, 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)

UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper). - Sarat Chandra Varanasi; Baoluo Meng; Christopher C. Alexander; Szabolcs Borgyos (PADL, 2023)

SMT-Based Aircraft Conflict Detection and Resolution. - Saswata Paul; Baoluo Meng; Christopher C. Alexander (NFM, 2024)