298 search results - page 1 / 60 » UPPAAL - Now, Next, and Future |
79
Voted
FATES
2004
Springer
15 years 3 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
IPPS
2002
IEEE
15 years 3 months ago
2002
IEEE
Future high-end computers will offer great performance improvements over today’s machines, enabling applications of far greater complexity. However, designers must solve the cha...
112
Voted
HPDC
2012
IEEE
13 years 19 days ago
2012
IEEE
Interest has been growing in powering data centers (at least partially) with renewable or “green” sources of energy, such as solar or wind. However, it is challenging to use t...
90
Voted
FUIN
2008
14 years 10 months ago
2008
The aim of the work is twofold. In order to face the problem of modeling time constraints in Promela, a timed extension of the language is presented. Next, timed Promela is transla...