1246 search results - page 55 / 250 » Recursive Timed Automata |
AMAI
2006
Springer
15 years 24 days ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
94
Voted
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
Using a variant of Clariso-Cortadella's parametric method for verifying asynchronous circuits, we formally derive a set of linear constraints that ensure the correctness of so...
107
Voted
RTSS
1996
IEEE
15 years 4 months ago
1996
IEEE
We propose a method for reducing the number of clocks of a timed automaton by combining two algorithms. The first one consists in detecting active clocks, that is, those clocks wh...
114
click to vote
FUIN
2007
15 years 20 days ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
RP
2010
Springer
14 years 11 months ago
2010
Springer
We aim at finding a set of timing parameters for which a given timed automaton has a “good” behavior. We present here a novel approach based on the decomposition of the parame...