1980 search results - page 164 / 396 » Compositional Model Checking of Real Time Systems |
100
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
148
Voted
IJVR
2006
15 years 1 months ago
2006
In this paper, we will present an overview of existing research in the vast area of IVH systems. We will also present our ongoing work on improving the expressive capabilities of I...
132
click to vote
RTSS
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
112
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
140
click to vote
RTAS
2006
IEEE
15 years 8 months ago
2006
IEEE
Caches have become invaluable for higher-end architectures to hide, in part, the increasing gap between processor speed and memory access times. While the effect of caches on timi...