Jüri Vain

Külli Sarna, Jüri Vain: Exploiting aspects in model-based testing. FOAL 2012: 45-48

Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain: Refinement-Based Development of Timed Systems. IFM 2012: 69-83

Tarmo Uustalu, Jüri Vain: Guest Editors' Foreword. J. Log. Algebr. Program. 79(7): 435 (2010)

Marko Kääramees, Jüri Vain, Kullo Raiend: Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models. TAIC PART 2010: 147-154

Tanel Tammet, Jüri Vain, Andres Puusepp, Enar Reilent, Alar Kuusik: RFID-based Communications for a Self-Organising Robot Swarm. SASO 2008: 45-54

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

John Derrick, Jüri Vain (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings. Lecture Notes in Computer Science 4574, Springer 2007, isbn 978-3-540-73195-5

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

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

Magne Haveraaen, Jüri Vain: Guest Editors' Foreword. Nord. J. Comput. 10(4): 263-264 (2003)

Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain: Incremental Fault-Tolerant Design in an Object-Oriented Setting. APAQS 2001: 223-230

Jozef Hooman, Jüri Vain: Integrating methods for the design of real-time systems. Journal of Systems Architecture 42(6-7): 489-502 (1996)

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)

Reino Kurki-Suonio, Kari Systä, Jüri Vain: Scheduling in Real-Time Models. FTRTFT 1992: 327-339