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
962015
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
932013
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
662014
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
542011
Compositional reverification of probabilistic safety properties for large-scale complex IT systems
R Calinescu, S Kikuchi, K Johnson
Monterey Workshop, 303-329, 2012
522012
Developing self-verifying service-based systems
R Calinescu, K Johnson, Y Rafiq
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
472013
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
402016
Efficient parametric model checking using domain knowledge
R Calinescu, C Paterson, K Johnson
IEEE Transactions on Software Engineering 47 (6), 1114-1133, 2019
252019
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
232014
Evaluation and comparison of inferred regular grammars
N Walkinshaw, K Bogdanov, K Johnson
Grammatical Inference: Algorithms and Applications: 9th International …, 2008
212008
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
192012
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
182017
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
182009
Practical and comprehensive formalisms for modelling contemporary graph query languages
C Sharma, R Sinha, K Johnson
Information Systems 102, 101816, 2021
132021
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
The Belgian electronic identity card: a verification case study
P Philippaerts, F Vogels, J Smans, B Jacobs, F Piessens
Electronic Communications of the EASST 46, 2012
102012
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
92014
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
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
Adaptable socio-cyber physical systems for supporting disaster
S Madanian, K Johnson, M St Martin, R Sinha, J Cámara, D Parry
School of Psychology, Massey University, 2022
62022
The system can't perform the operation now. Try again later.
Articles 1–20