Kenneth Johnson
Titel
Geciteerd door
Geciteerd door
Jaar
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
572013
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
472015
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
472015
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
432014
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
412011
Compositional reverification of probabilistic safety properties for large-scale complex IT systems
R Calinescu, S Kikuchi, K Johnson
Monterey Workshop, 303-329, 2012
382012
Developing self-verifying service-based systems
R Calinescu, K Johnson, Y Rafiq
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
362013
Evaluation and comparison of inferred regular grammars
N Walkinshaw, K Bogdanov, K Johnson
International Colloquium on Grammatical Inference, 252-265, 2008
202008
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
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
132016
Specification and quantitative analysis of probabilistic cloud deployment patterns
K Johnson, S Reed, R Calinescu
Haifa Verification Conference, 145-159, 2011
132011
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
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
92015
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
62017
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
52014
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
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
52013
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 algebraic specification of spatial data types with applications to constructive volume geometry
KHA Johnson
Swansea University, 2007
42007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20