|
СТ |
On the Construction of Automata from Linear Arithmetic Constraints |
2000 |
Wolper P., Boigelot B. |
|
|
|
Lecture Notes in Computer Science |
26.04.2000 |
|
СТ |
Algorithms for Synthezing Reactive Systems: A Perspective |
1999 |
Wolper P. |
|
|
|
Lecture Notes in Computer Science |
16.04.1999 |
|
СТ |
On the Expressiveness of Real and Integer Arithmetic Automata |
1998 |
Boigelot B., Rassart S., Wolper P. |
|
|
|
Lecture Notes in Computer Science |
11.08.1998 |
|
СТ |
An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) |
1995 |
Wolper P., Boigelot B. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
16.11.1995 |
|
СТ |
Constraint-Generating Dependencies |
1995 |
Baudinet M., Chomicki J., Wolper P. |
|
|
|
Lecture Notes in Computer Science |
21.02.1995 |
|
СТ |
Symbolic Verification with Periodic Sets |
1994 |
Boigelot B., Wolper P. |
|
|
|
Lecture Notes in Computer Science |
21.07.1994 |
|
СТ |
An Automata-Theoretic Approach to Branching-Time Model Checking |
1994 |
Bernholtz O., Vardi M. Y., Wolper P. |
|
|
|
Lecture Notes in Computer Science |
21.07.1994 |
|
СТ |
Partial-Order Methods for Temporal Verification |
1993 |
Wolper P., Godefroid P. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
|
СТ |
Reliable Hashing without Collision Detection |
1993 |
Wolper P., Leroy D. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
