Follow
Kenneth Johnson
Title
Cited by
Cited by
Year
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
782015
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
782015
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
782013
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
582014
Compositional reverification of probabilistic safety properties for large-scale complex IT systems
R Calinescu, S Kikuchi, K Johnson
Large-Scale Complex IT Systems. Development, Operation and Management: 17th …, 2012
512012
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
512011
Developing self-verifying service-based systems
R Calinescu, K Johnson, Y Rafiq
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
442013
FACT: A probabilistic model checker for formal verification with confidence intervals
R Calinescu, K Johnson, C Paterson
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
312016
Evaluation and comparison of inferred regular grammars
N Walkinshaw, K Bogdanov, K Johnson
Grammatical Inference: Algorithms and Applications: 9th International …, 2008
212008
Efficient parametric model checking using domain knowledge
R Calinescu, C Paterson, K Johnson
IEEE Transactions on Software Engineering 47 (6), 1114-1133, 2019
202019
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
192009
Specification and quantitative analysis of probabilistic cloud deployment patterns
K Johnson, S Reed, R Calinescu
Hardware and Software: Verification and Testing: 7th International Haifa …, 2012
182012
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
172014
Using runtime quantitative verification to provide assurance evidence for self-adaptive software: advances, applications and research challenges
R Calinescu, S Gerasimou, K Johnson, C Paterson
Software Engineering for Self-Adaptive Systems III. Assurances …, 2017
152017
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
Efficient parametric model checking using domain-specific modelling patterns
R Calinescu, K Johnson, C Paterson
Proceedings of the 40th International Conference on Software Engineering …, 2018
82018
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
82014
Practical and comprehensive formalisms for modelling contemporary graph query languages
C Sharma, R Sinha, K Johnson
Information Systems 102, 101816, 2021
72021
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
72013
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
The system can't perform the operation now. Try again later.
Articles 1–20