162
Voted
FORMATS
15 years 7 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...
159
Voted
FORMATS
15 years 7 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...
132
Voted
FORMATS
15 years 10 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 10 months ago
2007 Springer 141
click to vote
FORMATS
15 years 7 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