86 search results - page 10 / 18 » Timed Diagnostics for Reachability Properties |
LICS
2003
IEEE
14 years 29 days ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
ICIP
2007
IEEE
14 years 9 months ago
2007
IEEE
Microwave radiation is well known as a diagnostic imaging method for many medical applications, for example, early stage breast cancer detection. Microwave detection of breast tum...
ENTCS
2000
13 years 7 months ago
2000
In this paper we consider two descriptions in Maude of the leader election protocol from the IEEE 1394 serial multimedia bus. Particularly, the time aspects of the protocol are st...
QEST
2005
IEEE
14 years 1 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
FM
1999
Springer
13 years 12 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...