138 citations · 597 across the 30 of their papers we have counts for
3 papers · 1 filter
Modal Specifications for Probabilistic Timed Systems
Tingting Han, Christian Krause, Marta Kwiatkowska +1
Modal automata are a classic formal model for component-based systems that comes equipped with a rich specification theory supporting abstraction, refinement and compositional reas…
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…
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…