Research output per year
Research output per year
Research output
Search results
-
2019
Efficient Parametric Model Checking Using Domain Knowledge
Calinescu, R. C., Paterson, C. & Johnson, K. H. A., 25 Apr 2019, (E-pub ahead of print) In: IEEE Transactions on Software Engineering . 0, 20 p., 8698796.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2015
Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems
Calinescu, R., Ghezzi, C., Johnson, K. H. A., Pezze, M., Rafiq, Y. & Tamburrelli, G., 4 Aug 2015, (E-pub ahead of print) In: IEEE Transactions on Reliability. 65, 1, p. 107-125 19 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2013
Services2Cloud: A framework for revenue analysis of software-as-a-service provisioning
Johnson, K., Wang, Y., Calinescu, R., Sommerville, I., Baxter, G. & Tucker, J. V., 1 Jan 2013, In: Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom. 2, p. 144-151 6735410.Research output: Contribution to journal › Article › peer-review
-
The data type of spatial objects
Johnson, K. H. A. & Tucker, J. V., Mar 2013, In: Formal Aspects of Computing. 25, 2, p. 189-218 30 p.Research output: Contribution to journal › Article › peer-review