Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540627906, 9783540685197

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Space efficient reachability analysis through use of pseudo-root states

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/bfb0035380 ◽

1997 ◽

pp. 50-64 ◽

Author(s):

Atanas N. Parashkevov ◽

Jay Yantchev

Keyword(s):

Reachability Analysis

Download Full-text

Model-checking for a subclass of event structures

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/bfb0035386 ◽

1997 ◽

pp. 145-164 ◽

Author(s):

Wojciech Penczek

Keyword(s):

Model Checking ◽

Event Structures

Download Full-text

The bounded retransmission protocol must be on time!

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/bfb0035403 ◽

1997 ◽

pp. 416-431 ◽

Author(s):

P. R. D'Argenio ◽

J. -P. Katoen ◽

T. C. Ruys ◽

J. Tretmans

Download Full-text

The reference component of PEP

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/bfb0035381 ◽

1997 ◽

pp. 65-80 ◽

Author(s):

Bernd Grahlmann

Keyword(s):

Reference Component

Download Full-text

Combining partial order and symmetry reductions

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/bfb0035378 ◽

1997 ◽

pp. 19-34 ◽

Author(s):

E. Allen Emerson ◽

Somesh Jha ◽

Doron Peled

Keyword(s):

Partial Order ◽

Symmetry Reductions

Download Full-text

Partial model checking with ROBDDs

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/bfb0035379 ◽

1997 ◽

pp. 35-49 ◽

Author(s):

Henrik Reif Andersen ◽

Jørgen Staunstrup ◽

Niels Maretti

Keyword(s):

Model Checking ◽

Download Full-text

Graphs in MetaFrame: The unifying power of polymorphism

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/bfb0035384 ◽

1997 ◽

pp. 112-129 ◽

Author(s):

M. von der Beeck ◽

V. Braun ◽

A. Claßen ◽

A. Dannecker ◽

C. Friedrich ◽

...

Download Full-text

Real-time logics: Fictitious clock as an abstraction of dense time

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/bfb0035387 ◽

1997 ◽

pp. 165-182 ◽

Author(s):

Jean-François Raskin ◽

Pierre-Yves Schobbens

Keyword(s):

Download Full-text

Visual verification of reactive systems

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/bfb0035398 ◽

1997 ◽

pp. 334-350 ◽

Author(s):

Luca de Alfaro ◽

Zohar Manna ◽

Henny B. Sipma ◽

Tomás E. Uribe

Keyword(s):

Reactive Systems

Download Full-text

Mechanically verified self-stabilizing hierarchical algorithms

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/bfb0035402 ◽

1997 ◽

pp. 399-415 ◽

Author(s):

I. S. W. B. Prasetya

Download Full-text