121 search results - page 4 / 25 » Sampled Semantics of Timed Automata |
FTRTFT
1998
Springer
13 years 11 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
TACAS
2010
Springer
14 years 2 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
RTAS
2006
IEEE
14 years 1 months ago
2006
IEEE
FSTTCS
2007
Springer
14 years 1 months ago
2007
Springer
CORR
2010
Springer
13 years 7 months ago
2010
Springer
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.