Segui
Kenneth Johnson
Titolo
Citata da
Citata da
Anno
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
912015
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
912015
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
902013
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
652014
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
532011
Compositional reverification of probabilistic safety properties for large-scale complex IT systems
R Calinescu, S Kikuchi, K Johnson
Monterey Workshop, 303-329, 2012
502012
Developing self-verifying service-based systems
R Calinescu, K Johnson, Y Rafiq
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
452013
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
382016
Efficient parametric model checking using domain knowledge
R Calinescu, C Paterson, K Johnson
IEEE Transactions on Software Engineering 47 (6), 1114-1133, 2019
232019
Evaluation and comparison of inferred regular grammars
N Walkinshaw, K Bogdanov, K Johnson
Grammatical Inference: Algorithms and Applications: 9th International …, 2008
212008
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
192014
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
122021
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 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
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
62013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20