87 citations · 160 across the 9 of their papers we have counts for
6 papers · 1 filter
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents
Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu +3
Autonomous agents are increasingly being proposed for use in healthcare, assistive care, education, and other applications governed by complex human-centric norms. To ensure compli…
PRESTO: Predicting System-level Disruptions through Parametric Model Checking
Xinwei Fang, Radu Calinescu, Colin Paterson +1
Self-adaptive systems are expected to mitigate disruptions by continually adjusting their configuration and behaviour. This mitigation is often reactive. Typically, environmental o…
Quantitative Verification with Adaptive Uncertainty Reduction
Naif Alasmari, Radu Calinescu, Colin Paterson +1
Stochastic models are widely used to verify whether systems satisfy their reliability, performance and other nonfunctional requirements. However, the validity of the verification d…
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning
Danny Weyns, Bradley Schmerl, Masako Kishida +5
Two established approaches to engineer adaptive systems are architecture-based adaptation that uses a Monitor-Analysis-Planning-Executing (MAPE) loop that reasons over architectura…
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…
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…