Alexander M. Hoole

According to our database, Alexander M. Hoole authored at least 6 papers between 2002 and 2025.

Collaborative distances:

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

2025

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

Proceedings of the IEEE Symposium on Security and Privacy, 2025

2016

Improving vulnerability detection measurement: [test suites and software security assurance].

Alexander M. Hoole, Issa Traoré, Aurélien Delaitre, Charles de Oliveira

Proceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering, 2016

2011

Application of contract-based security assertion monitoring framework for telecommunications software engineering.

Alexander M. Hoole, Issa Traoré, Isabelle Simplot-Ryl

Math. Comput. Model., 2011

2008

A Service-Oriented Framework for Quantitative Security Analysis of Software Architectures.

Yanguo Liu, Issa Traoré, Alexander M. Hoole

Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

Contract-Based Security Monitors for Service Oriented Software Architecture.

Alexander M. Hoole, Issa Traoré

Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

2002

Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System: (Extended Abstract).

Alexander M. Hoole, Issa Traoré, Michael Yanguo Liu

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002