| 2007 |
|---|
| 8 | | John Derrick,
Jüri Vain:
Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Springer 2007 |
| 7 | EE | Jüri Vain,
Kullo Raiend,
Andres Kull,
Juhan P. Ernits:
Synthesis of test purpose directed reactive planning tester for nondeterministic systems.
ASE 2007: 363-372 |
| 2006 |
|---|
| 6 | EE | Juhan P. Ernits,
Andres Kull,
Kullo Raiend,
Jüri Vain:
Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement.
FATES/RV 2006: 85-99 |
| 5 | | Juhan P. Ernits,
Andres Kull,
Kullo Raiend,
Jüri Vain:
Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking.
GI Jahrestagung (2) 2006: 241-248 |
| 2003 |
|---|
| 4 | | Magne Haveraaen,
Jüri Vain:
Guest Editors' Foreword.
Nord. J. Comput. 10(4): 263-264 (2003) |
| 2001 |
|---|
| 3 | EE | Einar Broch Johnsen,
Olaf Owe,
Ellen Munthe-Kaas,
Jüri Vain:
Incremental Fault-Tolerant Design in an Object-Oriented Setting.
APAQS 2001: 223-230 |
| 1993 |
|---|
| 2 | | Reino Kurki-Suonio,
Kari Systä,
Jüri Vain:
Real-Time Specification and Modeling with Joint Actions.
Sci. Comput. Program. 20(1-2): 113-140 (1993) |
| 1992 |
|---|
| 1 | | Reino Kurki-Suonio,
Kari Systä,
Jüri Vain:
Scheduling in Real-Time Models.
FTRTFT 1992: 327-339 |
