121
click to vote
FORMATS
15 years 3 months ago
2007 Springer 
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
114
click to vote
FORMATS
15 years 3 months ago
2007 Springer 
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
FORMATS
15 years 6 months ago
2007 Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
FORMATS
15 years 6 months ago
2007 Springer FORMATS
15 years 3 months ago
2007 Springer 
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
|
Formal Methods