298 search results - page 1 / 60 » UPPAAL - Now, Next, and Future |
FATES
2004
Springer
13 years 10 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
13 years 9 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...
COMCOM
2011
12 years 12 months ago
2011
HPDC
2012
IEEE
11 years 7 months 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...
FUIN
2008
13 years 4 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...