Alexander M. Hoole

Publication Activity (10 Years)

Years Active: 2002-2016
Publications (10 Years): 1

Top Topics

Regression Testing

False Positives

Top Venues

Publications

Alexander M. Hoole, Issa Traoré, Aurélien Delaitre, Charles de Oliveira
Improving vulnerability detection measurement: [test suites and software security assurance]. EASE (2016)
Alexander M. Hoole, Issa Traoré, Isabelle Simplot-Ryl
Application of contract-based security assertion monitoring framework for telecommunications software engineering. Math. Comput. Model. 53 (3-4) (2011)
Yanguo Liu, Issa Traoré, Alexander M. Hoole
A Service-Oriented Framework for Quantitative Security Analysis of Software Architectures. APSCC (2008)
Alexander M. Hoole, Issa Traoré
Contract-Based Security Monitors for Service Oriented Software Architecture. APSCC (2008)
Alexander M. Hoole, Issa Traoré, Michael Yanguo Liu
Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System: (Extended Abstract). FAABS (2002)