|
СТ |
Specifying and Generating Test Cases Using Observer Automata |
2005 |
Blom J., Hessel A., Jonsson B., Pettersson P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.04.2005 |
|
СТ |
An Execution Semantics for MSC-2000 |
2001 |
Jonsson B., Padilla G. |
|
|
|
Lecture Notes in Computer Science |
04.08.2001 |
|
СТ |
On the Existence of Network Invariants for Verifying Parameterized Systems |
1999 |
Abdulla P. A., Jonsson B. |
|
|
|
Lecture Notes in Computer Science |
20.11.1999 |
|
СТ |
Handling Global Conditions in Parametrized System Verification |
1999 |
Abdulla P. A., Bouajjani A., Jonsson B., Nilsson M. |
|
|
|
Lecture Notes in Computer Science |
16.07.1999 |
|
СТ |
A General Approach to Partial Order Reductions in Symbolic Verification |
1998 |
Abdulla P. A., Jonsson B., Kindahl M., Peled D. |
|
|
|
Lecture Notes in Computer Science |
03.07.1998 |
|
СТ |
Constraint Oriented Temporal Logic Specification |
1996 |
Blom J., Jonsson B. |
|
|
|
Lecture Notes in Computer Science |
24.12.1996 |
|
СТ |
Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms |
1995 |
Jonsson B., Kempe L. |
|
|
|
Lecture Notes in Computer Science |
26.07.1995 |
|
СТ |
Assumption/Guarantee Specifications in Linear-Time Temporal Logic |
1995 |
Jonsson B., Tsay Y. -K. |
|
|
|
Lecture Notes in Computer Science |
16.06.1995 |
|
СТ |
Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes |
1994 |
Yi W., Jonsson B. |
|
|
|
Lecture Notes in Computer Science |
11.01.1995 |
|
СТ |
Testing and Refinement for Nondeterministic and Probabilistic Processes |
1994 |
Jonsson B., Ho-Stuart C., Yi W. |
|
|
|
Lecture Notes in Computer Science |
19.10.1994 |
|
СТ |
Indeterminate Concurrent Constraint Programming: a Fixpoint Semantics for Non-Terminating Computations |
1993 |
Nystrom S. -O., Jonsson B. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
20.09.1994 |
|
СТ |
Undecidable Verification Problems for Programs with Unreliable Channels |
1994 |
Abdulla P. A., Jonsson B. |
|
|
|
Lecture Notes in Computer Science |
11.08.1994 |
|
СТ |
Compositional Specification and Verification of Distributed Systems |
1994 |
Jonsson B. |
|
|
|
ACM Trans. Programming Languages and Systems |
27.05.1994 |
|
СТ |
Refining Interfaces of Communicating Systems |
1991 |
Brinksma E., Jonsson B., Orava F. |
|
|
|
Lecture Notes in Computer Science |
21.05.1991 |
