Alexander M. Hoole

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

Collaborative distances:

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

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