Christopher C. Alexander

According to our database, Christopher C. Alexander authored at least 5 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

SMT-Based Aircraft Conflict Detection and Resolution.

Saswata Paul, Baoluo Meng, Christopher C. Alexander

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023

UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper).

Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos

Proceedings of the Practical Aspects of Declarative Languages, 2023

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

Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming.

Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall

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.

Michael R. Durling, Abha Moitra, Kit Y. Siu, Baoluo Meng, John W. Carbone, Christopher C. Alexander, Krystel K. Castillo-Villar, Gabriela F. Ciocarlie

Proceedings of the 2022 ACM CCS Workshop on Additive Manufacturing (3D Printing) Security, 2022