Kenneth Harold Anthony Johnson

Search results

• 2016

  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, p. 540-546 7 p. (Lecture Notes in Computer Science (LNCS); vol. 9636).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2014

  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. ACM, p. 87-98 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 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). ACM, p. 93-102 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2013

  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 proceeding › Conference contribution

  Open Access

  File

• 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 proceeding › Conference contribution
• 2012

  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 proceeding › Conference contribution

• 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 proceeding › Conference contribution

• 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 proceeding › Conference contribution
• 2011

  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 proceeding › Conference contribution

• 2009

  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 proceeding › Conference contribution

• 2008

  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 proceeding › Conference contribution