ATVA
2005
Springer
13 years 10 months ago
2005
Springer
Mobile ad hoc networks offer very interesting perspectives in wireless communications due to their easy deployment and their growing performances. However, due to their inherent c...
ATVA
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
ATVA
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
ATVA
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
ATVA
2005
Springer
13 years 10 months ago
2005
Springer
ATVA
2005
Springer
13 years 10 months ago
2005
Springer
ATVA
2005
Springer
13 years 10 months ago
2005
Springer
ATVA
2005
Springer
13 years 10 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
ATVA
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
ATVA
2005
Springer
13 years 10 months ago
2005
Springer