3169 search results - page 48 / 634 » Robust Timed Automata |
107
Voted
CONCUR
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we solve the following problem: \given a digital circuit composed of gates whose real-valued delays are in an integerbounded interval, is there a way to discretize ti...
102
Voted
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...
122
click to vote
ACSD
2007
IEEE
15 years 3 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
118
Voted
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
