Kenneth Johnson
Title
Cited by
Cited by
Year
An incremental verification framework for component-based software systems
K Johnson, R Calinescu, S Kikuchi
Proceedings of the 16th International ACM Sigsoft symposium on Component …, 2013
652013
Formal verification with confidence intervals to establish quality of service properties of software systems
R Calinescu, C Ghezzi, K Johnson, M Pezzé, Y Rafiq, G Tamburrelli
IEEE transactions on reliability 65 (1), 107-125, 2015
562015
Formal verification with confidence intervals to establish quality of service properties of software systems
R Calinescu, C Ghezzi, K Johnson, M Pezzé, Y Rafiq, G Tamburrelli
IEEE transactions on reliability 65 (1), 107-125, 2015
562015
Adaptive model learning for continual verification of non-functional properties
R Calinescu, Y Rafiq, K Johnson, ME Bakır
Proceedings of the 5th ACM/SPEC international conference on Performance …, 2014
502014
Using observation ageing to improve Markovian model learning in QoS engineering
R Calinescu, K Johnson, Y Rafiq
Proceedings of the 2nd ACM/SPEC International Conference on Performance …, 2011
442011
Compositional reverification of probabilistic safety properties for large-scale complex IT systems
R Calinescu, S Kikuchi, K Johnson
Monterey Workshop, 303-329, 2012
432012
Developing self-verifying service-based systems
R Calinescu, K Johnson, Y Rafiq
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
392013
Evaluation and comparison of inferred regular grammars
N Walkinshaw, K Bogdanov, K Johnson
International Colloquium on Grammatical Inference, 252-265, 2008
202008
Specification and quantitative analysis of probabilistic cloud deployment patterns
K Johnson, S Reed, R Calinescu
Haifa Verification Conference, 145-159, 2011
172011
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form
L Besnard, T Gautier, M Moy, JP Talpin, K Johnson, F Maraninchi
Electronic Communications of the EASST 23, 2009
172009
FACT: A probabilistic model checker for formal verification with confidence intervals
R Calinescu, K Johnson, C Paterson
International Conference on Tools and Algorithms for the Construction and …, 2016
152016
A multi-agent framework for dependable adaptation of evolving system architectures
K Johnson, R Sinha, R Calinescu, J Ruan
2015 41st Euromicro Conference on Software Engineering and Advanced …, 2015
102015
A scalable approach for re-configuring evolving industrial control systems
R Sinha, K Johnson, R Calinescu
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014
102014
Using runtime quantitative verification to provide assurance evidence for self-adaptive software
R Calinescu, S Gerasimou, K Johnson, C Paterson
Software Engineering for Self-Adaptive Systems III. Assurances, 223-248, 2017
82017
Efficient re-resolution of SMT specifications for evolving software architectures
K Johnson, R Calinescu
Proceedings of the 10th international ACM Sigsoft conference on Quality of …, 2014
72014
Continual Verification of Non-Functional Properties in Cloud-Based Systems.
R Calinescu, K Johnson, Y Rafiq, S Gerasimou, GC Silva, SN Pehlivanov
NiM-ALP@ MoDELS, 1-5, 2013
62013
Services2Cloud: a framework for revenue analysis of software-as-a-service provisioning
K Johnson, Y Wang, R Calinescu, I Sommerville, G Baxter, JV Tucker
2013 IEEE 5th International Conference on Cloud Computing Technology and …, 2013
52013
Efficient parametric model checking using domain knowledge
R Calinescu, CA Paterson, K Johnson
IEEE Transactions on Software Engineering, 2019
42019
Efficient parametric model checking using domain-specific modelling patterns
R Calinescu, K Johnson, C Paterson
2018 IEEE/ACM 40th International Conference on Software Engineering: New …, 2018
42018
The data type of spatial objects
K Johnson, JV Tucker
Formal aspects of computing 25 (2), 189-218, 2013
42013
The system can't perform the operation now. Try again later.
Articles 1–20