46 citations · 72 across the 9 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Interrupt Timed Automata with Auxiliary Clocks and Parameters
Béatrice Bérard, Serge Haddad, Aleksandra Jovanović +1
Interrupt Timed Automata (ITA) is an expressive timed model, introduced to take into account interruptions, according to levels. Due to this feature, this formalism is incomparable…
cs.CR2014
Probabilistic Opacity for Markov Decision Processes
Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder
Opacity is a generic security property, that has been defined on (non probabilistic) transition systems and later on Markov chains with labels. For a secret predicate, given as a s…