131 search results - page 10 / 27 » Model Checking Prioritized Timed Automata |
134
click to vote
CAV
2003
Springer
15 years 6 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
113
Voted
FORMATS
2009
Springer
15 years 9 months ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
118
click to vote
IJFCS
2006
15 years 2 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
141
Voted
RTSS
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
112
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...