122
click to vote
FORMATS
15 years 2 months ago
2008 Springer 
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
110
Voted
FORMATS
15 years 2 months ago
2008 Springer 
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
107
click to vote
FORMATS
15 years 2 months ago
2008 Springer 
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
107
click to vote
FORMATS
15 years 2 months ago
2008 Springer 
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
97
Voted
FORMATS
15 years 2 months ago
2008 Springer
The common metric temporal logics for continuous time were shown to be insufficient, when it was proved in [7, 12] that they cannot express a modality suggested by Pnueli. Moreover...
|
Formal Methods