| 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 | 96 | 2015 |
| 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 | 93 | 2013 |
| 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 | 66 | 2014 |
| 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 | 54 | 2011 |
| Compositional reverification of probabilistic safety properties for large-scale complex IT systems R Calinescu, S Kikuchi, K Johnson Monterey Workshop, 303-329, 2012 | 52 | 2012 |
| Developing self-verifying service-based systems R Calinescu, K Johnson, Y Rafiq 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 47 | 2013 |
| 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 | 40 | 2016 |
| Efficient parametric model checking using domain knowledge R Calinescu, C Paterson, K Johnson IEEE Transactions on Software Engineering 47 (6), 1114-1133, 2019 | 25 | 2019 |
| 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 | 23 | 2014 |
| Evaluation and comparison of inferred regular grammars N Walkinshaw, K Bogdanov, K Johnson Grammatical Inference: Algorithms and Applications: 9th International …, 2008 | 21 | 2008 |
| 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 | 19 | 2012 |
| 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 | 18 | 2017 |
| 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 | 18 | 2009 |
| Practical and comprehensive formalisms for modelling contemporary graph query languages C Sharma, R Sinha, K Johnson Information Systems 102, 101816, 2021 | 13 | 2021 |
| 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 | 10 | 2015 |
| 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 | 10 | 2012 |
| 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 | 9 | 2014 |
| 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 | 8 | 2018 |
| 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 | 7 | 2013 |
| 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 | 6 | 2022 |
Radu CalinescuProfessor of Computer Science, University of YorkVerified email at york.ac.uk
