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 | 63 | 2013 |

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 | 52 | 2015 |

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 | 52 | 2015 |

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 | 48 | 2014 |

Compositional reverification of probabilistic safety properties for large-scale complex IT systems R Calinescu, S Kikuchi, K Johnson Monterey Workshop, 303-329, 2012 | 43 | 2012 |

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 | 42 | 2011 |

Developing self-verifying service-based systems R Calinescu, K Johnson, Y Rafiq 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 39 | 2013 |

Evaluation and comparison of inferred regular grammars N Walkinshaw, K Bogdanov, K Johnson International Colloquium on Grammatical Inference, 252-265, 2008 | 20 | 2008 |

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 | 17 | 2009 |

Specification and quantitative analysis of probabilistic cloud deployment patterns K Johnson, S Reed, R Calinescu Haifa Verification Conference, 145-159, 2011 | 16 | 2011 |

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 | 14 | 2016 |

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 |

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 | 10 | 2014 |

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 | 8 | 2017 |

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 | 6 | 2014 |

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 | 6 | 2013 |

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 | 5 | 2013 |

The data type of spatial objects K Johnson, JV Tucker Formal aspects of computing 25 (2), 189-218, 2013 | 4 | 2013 |

The algebraic specification of spatial data types with applications to constructive volume geometry KHA Johnson Swansea University, 2007 | 4 | 2007 |

Efficient parametric model checking using domain knowledge R Calinescu, CA Paterson, K Johnson IEEE Transactions on Software Engineering, 2019 | 3 | 2019 |