87 citations · 160 across the 9 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SE2018
Efficient Parametric Model Checking Using Domain Knowledge
Radu Calinescu, Colin Paterson, Kenneth Johnson
We introduce an efficient parametric model checking (ePMC) method for the analysis of reliability, performance and other quality-of-service (QoS) properties of software systems. eP…
cs.SE2018
Observation-Enhanced QoS Analysis of Component-Based Systems
Colin Paterson, Radu Calinescu
We present a new method for the accurate analysis of the quality-of-service (QoS) properties of component-based systems. Our method takes as input a QoS property of interest and a…