Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System: (Extended Abstract). - Alexander M. Hoole; Issa Traoré; Michael Yanguo Liu (FAABS, 2002)

Contract-Based Security Monitors for Service Oriented Software Architecture. - Alexander M. Hoole; Issa Traoré (APSCC, 2008)

A Service-Oriented Framework for Quantitative Security Analysis of Software Architectures. - Yanguo Liu; Issa Traoré; Alexander M. Hoole (APSCC, 2008)

Application of contract-based security assertion monitoring framework for telecommunications software engineering. - Alexander M. Hoole; Issa Traoré; Isabelle Simplot-Ryl (Math. Comput. Model., 2011)

Improving vulnerability detection measurement: [test suites and software security assurance]. - Alexander M. Hoole; Issa Traoré; Aurélien Delaitre; Charles de Oliveira (EASE, 2016)

SV-TrustEval-C: Evaluating Structure and Semantic Reasoning in Large Language Models for Source Code Vulnerability Analysis. - Yansong Li; Paula Branco; Alexander M. Hoole; Manish Marwah; Hari Manassery Koduvely; Guy-Vincent Jourdan; Stephan Jou (SP, 2025)