![]() | ![]() |
| 2011 | ||
|---|---|---|
| 4 | Alexander M. Hoole, Issa Traoré, Isabelle Simplot-Ryl: Application of contract-based security assertion monitoring framework for telecommunications software engineering. Mathematical and Computer Modelling 53(3-4): 522-537 (2011) | |
| 2008 | ||
| 3 | Yanguo Liu, Issa Traoré, Alexander M. Hoole: A Service-Oriented Framework for Quantitative Security Analysis of Software Architectures. APSCC 2008: 1231-1238 | |
| 2 | Alexander M. Hoole, Issa Traoré: Contract-Based Security Monitors for Service Oriented Software Architecture. APSCC 2008: 1239-1245 | |
| 2002 | ||
| 1 | Alexander M. Hoole, Issa Traoré, Michael Yanguo Liu: Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System: (Extended Abstract). FAABS 2002: 292-293 | |
| 1 | Michael Yanguo Liu | [1] |
| 2 | Yanguo Liu | [3] |
| 3 | Isabelle Simplot-Ryl (Isabelle Ryl) | [4] |
| 4 | Issa Traoré | [1] [2] [3] [4] |
Data released under the ODC-BY 1.0 license — See also our legal information page