12 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 1 cited
Revisiting Timed Specification Theory II : Realisability
Chris Chilton, Marta Kwiatkowska, Xu Wang
In this paper we present an assume-guarantee specification theory (aka interface theory from [14]) for modular synthesis and verification of real-time systems with critical timing…
cs.GT2013★ 12 cited
Strategic Analysis of Trust Models for User-Centric Networks
Marta Kwiatkowska, David Parker, Aistis Simaitis
We present a strategic analysis of a trust model that has recently been proposed for promoting cooperative behaviour in user-centric networks. The mechanism for cooperation is base…