Contact details

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

Dr. Kenneth Harold Anthony Johnson

(Former)

  1. 2019
  2. 2016
  3. FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals

    Calinescu, R. C., Johnson, K. H. A. & Paterson, C. A., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer Berlin / Heidelberg, p. 540-546 7 p. (Lecture Notes in Computer Science (LNCS); vol. 9636).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. 2015
  5. 2014
  6. Adaptive model learning for continual verification of non-functional properties

    Calinescu, R., Rafiq, Y., Johnson, K. & Bakir, M. E., 1 Jan 2014, ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery (ACM), p. 87-98 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Efficient re-resolution of SMT specifications for evolving software architectures

    Johnson, K. & Calinescu, R., 1 Jan 2014, QoSA 2014: Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (Part of CompArch 2014). Association for Computing Machinery (ACM), p. 93-102 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. 2013
  9. Developing self-verifying service-based systems

    Calinescu, R., Johnson, K. & Rafiq, Y., 1 Dec 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. p. 734-737 6693145

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. An incremental verification framework for component-based software systems

    Johnson, K. H. A., Calinescu, R. C. & Kikuchi, S., 2013, CBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York: ACM, p. 33-42 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. 2012
  12. Compositional reverification of probabilistic safety properties for large-scale complex IT systems

    Calinescu, R., Kikuchi, S. & Johnson, K., 9 Nov 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7539 LNCS. p. 303-329 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7539 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns

    Johnson, K., Reed, S. & Calinescu, R., 29 Oct 2012, Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011. Eder, K., Loureno, J. & Shehory, O. (eds.). Springer, p. 145-159 15 p. (Lecture Notes in Computer Science; vol. 7261).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. A Model of Computing as a Service for Cost Analysis

    Johnson, K. H. A. & Tucker, J. V., 2012, (Unpublished) 10 p.

    Research output: Other contribution

  15. Algebraic Specifications of Computing as a Service with Applications to Cost Analysis

    Johnson, K. H. A. & Tucker, J. V., 2012, (Accepted/In press) Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing. p. 143-150 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Using Compositional Verification to Manage Change in Large-Scale Systems

    Calinescu, R. C., Kikuchi, S. & Johnson, K. H. A., 2012, Large-Scale Complex IT Systems - Development, Operation and Management. Vol. 7539.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  17. 2011
  18. Using observation ageing to improve Markovian model learning in QoS engineering

    Calinescu, R. C., Johnson, K. H. A. & Rafiq, Y., 2011, Proceedings of the 2nd ACM/SPEC International Conference on Performance Engineering. p. 505 510 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. 2010
  20. A Synchronous Approach to Threaded Program Verification

    Johnson, K. H. A., Besnard, L., Gautier, T. & Talpin, J-P., 2010, (Unpublished) 32 p.

    Research output: Other contribution

  21. 2009
  22. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form Automated Verification of Critical Systems

    Besnard, L., Gautier, T., Moy, M., Talpin, J-P., Johnson, K. H. A. & Maraninchi, F., 2009, Proceedings of the Ninth International Workshop onAutomated Verification of Critical Systems.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. 2008
  24. Evaluation and Comparison of Inferred Regular Grammars

    Walkinshaw, N., Bogdanov, K. & Johnson, K. H. A., 2008, Grammatical Inference: Algorithms and Applications . Vol. 5278/2008. p. 252 265 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. The Data Type of Spatial Objects

    Johnson, K. H. A. & Tucker, J. V., 2008, (Unpublished) 39 p.

    Research output: Other contribution

  26. 2007