942 search results - page 76 / 189 » Interrupt Timed Automata |
147
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
An average-time game is played on the infinite graph of configurations of a finite timed automaton. The two players, Min and Max, construct an infinite run of the automaton by ...
144
click to vote
FORMATS
2009
Springer
16 years 22 days ago
2009
Springer
In this paper, we focus on the synthesis of secure timed systems which are given by timed automata. The security property that the system must satisfy is a non-interference propert...
163
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
157
click to vote
IFM
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
163
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...