13 citations · 35 across the 16 of their papers we have counts for
3 papers · 1 filter
Proceedings Seventh Conference on Systems Software Verification
Franck Cassez, Ralf Huuck, Gerwin Klein +1
This volume contains the papers accepted at the 7th Systems Software Verification Conference (SSV 2012), held in Sydney, November 28-30, 2012. The aim of SSV workshops and conferen…
Control and Synthesis of Non-Interferent Timed Systems
Gilles Benattar, Franck Cassez, Didier Lime +1
In this paper, we focus on the synthesis of secure timed systems which are modelled as timed automata. The security property that the system must satisfy is a non-interference prop…
Controllers with Minimal Observation Power (Application to Timed Systems)
Peter Bulychev, Franck Cassez, Alexandre David +3
We consider the problem of controller synthesis under imperfect information in a setting where there is a set of available observable predicates equipped with a cost function. The…