3750 search results - page 142 / 750 » Timed Automata Patterns |
92
Voted
ARCS
2006
Springer
15 years 6 months ago
2006
Springer
: Watchdogs are a well-known and widespread means to increase the safety of microprocessors. The programmer or the compiler must insert instructions to reset the watchdog. If the p...
124
Voted
FM
1999
Springer
15 years 6 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
127
Voted
ENTCS
2006
15 years 2 months ago
2006
In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial studnformation ...
113
click to vote
TSE
2010
15 years 29 days ago
2010
Abstract—In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial stud...
162
click to vote
FORMATS
2010
Springer
15 years 18 days ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...