Jüri Vain
发表
Jüri Vain,
Kullo Raiend,
Andres Kull,
2007,
ASE.
Einar Broch Johnsen,
Olaf Owe,
Ellen Munthe-Kaas,
2001,
Proceedings Second Asia-Pacific Conference on Quality Software.
Hongyan Liu,
Jüri Vain,
Hongyan Liu,
2013,
ICEIS.
Juha Röning,
Mihhail Matskin,
Jüri Vain,
2010
.
Leonidas Tsiopoulos,
Jaan Raik,
Sven Nõmm,
2019
.
Enar Reilent,
Alar Kuusik,
Tanel Tammet,
2008,
2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems.
Marko Kääramees,
Jüri Vain,
Kullo Raiend,
2010,
TAIC PART.
Jüri Vain,
Gert Kanter,
J. Vain,
2020
.
Evelin Halling,
Jüri Vain,
Deepak Pal,
2016,
DB&IS.
Jüri Vain,
2007
.
Dragos Truscan,
Jüri Vain,
Junaid Iqbal,
2020,
MoDELS.
Jüri Vain,
Michael Reichhardt Hansen,
2012
.
Jüri Vain,
2018
.
Jüri Vain,
Kullo Raiend,
Andres Kull,
2006,
GI Jahrestagung.
Leonidas Tsiopoulos,
Jüri Vain,
Jishu Guin,
2016,
2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS).
Jüri Vain,
Andres Kull,
Leo Mõtus,
2009
.
Dragos Truscan,
Jüri Vain,
Faezeh Siavashi,
2016,
ICSOFT-EA.
Srini Ramaswamy,
Seshadhri Srinivasan,
Jüri Vain,
2017,
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).
Jüri Vain,
Juhan Ernits,
M. C. Littover,
1998
.
Ken Masamune,
Yasuhiro Fukui,
Jüri Vain,
2005
.
John Derrick,
Jüri Vain,
2007,
FORTE.
Ülle Kotta,
Jüri Vain,
Seshadhri Srinivasan,
2016
.
Leonidas Tsiopoulos,
Alar Kuusik,
Jüri Vain,
2020,
BodyNets.
Marko Kääramees,
Jüri Vain,
Kullo Raiend,
2011,
Model-Based Testing for Embedded Systems.
Jüri Vain,
Aivo Anier,
Miho Suzuki,
2019
.
Jüri Vain,
M. C. Littover,
Ingmar Randvee,
1992
.
A Systematic Approach on Modeling Refinement and Regression Testing of Real-Time Distributed Systems
Jüri Vain,
Deepak Pal,
2019
.
Jozef Hooman,
Jüri Vain,
J. Hooman,
1996,
J. Syst. Archit..
Jüri Vain,
Ingmar Randvee,
Tiit Riismaa,
2005
.
Evelin Halling,
Jüri Vain,
Juhan P. Ernits,
2015,
2015 European Conference on Mobile Robots (ECMR).
Kari Systä,
Reino Kurki-Suonio,
Jüri Vain,
1992,
FTRTFT.
Ken Masamune,
Teruyoshi Sadahiro,
Yasuhiro Fukui,
2007
.
Jüri Vain,
Külli Sarna,
2018
.
Marko Kääramees,
Jüri Vain,
Maili Markvardt,
2012
.
Dragos Truscan,
Leonidas Tsiopoulos,
Jüri Vain,
2017,
INFOCOM 2017.
Jüri Vain,
Külli Sarna,
2014
.
Jüri Vain,
R. Raud,
B. C. Tamm,
1986
.
Jüri Vain,
Leo Mõtus,
2009
.
Jüri Vain,
Aivo Anier,
2010
.
Magne Haveraaen,
Jüri Vain,
2003,
Nord. J. Comput..
Alar Kuusik,
Jüri Vain,
2017
.
Leonidas Tsiopoulos,
Marina Waldén,
Jüri Vain,
2020,
ABZ.
Artem Boyarchuk,
Evelin Halling,
Jüri Vain,
2019
.
Evelin Halling,
Jüri Vain,
Aivo Anier,
2014,
DB&IS.
Jüri Vain,
Aivo Anier,
2016
.
Eduard Petlenkov,
Sven Nomm,
Jüri Vain,
2008
.
Leonidas Tsiopoulos,
Pontus Boström,
Jüri Vain,
2016,
From Action Systems to Distributed Systems.
Kandasamy Muniasamy,
Jüri Vain,
M. Sethumadhavan,
2019,
IFAC-PapersOnLine.
Jüri Vain,
Juhan Ernits,
2002
.
Jüri Vain,
Marko Käämees,
2000
.
Sven Nomm,
Jüri Vain,
2018
.
Leonidas Tsiopoulos,
Jaan Raik,
Jüri Vain,
2017,
ICTERI.
Dragos Truscan,
Jüri Vain,
Junaid Iqbal,
2014,
ICSOFT.
Jüri Vain,
Külli Sarna,
2012,
FOAL '12.
Dragos Truscan,
Jüri Vain,
Junaid Iqbal,
2016,
ICSOFT.
Leonidas Tsiopoulos,
Jüri Vain,
A Anier,
2017
.
Jüri Vain,
Deepak Pal,
2018,
DB&IS.
Jüri Vain,
Gert Kanter,
2020,
Journal of Reliable Intelligent Environments.
Kaisa Sere,
Leonidas Tsiopoulos,
Pontus Boström,
2012,
IFM.
Marina Waldén,
Jüri Vain,
Fatima Shokri-Manninen,
2020,
SEFM.
Jüri Vain,
2018
.
Marko Kääramees,
Jüri Vain,
M. Littover,
1994
.
Jüri Vain,
Gert Kanter,
Aivo Anier,
2019
.
Alar Kuusik,
Marko Kääramees,
Jüri Vain,
1998
.
Jüri Vain,
Gert Kanter,
2019,
2019 10th International Conference on Dependable Systems, Services and Technologies (DESSERT).
Recognition of the surgeon's motions during endoscopic operation by statistics based algorithm and n
Eduard Petlenkov,
Sven Nomm,
Jüri Vain,
2008
.
Kari Systä,
Reino Kurki-Suonio,
Jüri Vain,
1991,
IWSSD '91.
Evelin Halling,
Jüri Vain,
2019
.
Jüri Vain,
2017
.
Dragos Truscan,
Jüri Vain,
Martin Koskinen,
2014,
2014 9th International Conference on Software Paradigm Trends (ICSOFT-PT).
John Derrick,
Jüri Vain,
2007
.
Alar Kuusik,
Tanel Tammet,
Jüri Vain,
2006
.
Jüri Vain,
Deepak Pal,
2018,
DB&IS.
Jüri Vain,
R. Raud,
B. C. Tamm,
1985
.
Jozef Hooman,
Jüri Vain,
J. Hooman,
1995,
Proceedings Seventh Euromicro Workshop on Real-Time Systems.
Jüri Vain,
F. Miyawaki,
2008
.
Evelin Halling,
Jüri Vain,
Deepak Pal,
2016,
DB&IS.
Jüri Vain,
Kullo Raiend,
Andres Kull,
2006,
FATES/RV.
Tarmo Uustalu,
Jüri Vain,
2010,
J. Log. Algebraic Methods Program..
Jüri Vain,
Gert Kanter,
2018
.
Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward-induction
Dragos Truscan,
Ivan Porres,
Jüri Vain,
2017,
ECBS.
Leonidas Tsiopoulos,
Jüri Vain,
Gert Kanter,
2021,
MEDI.
Ken Masamune,
Teruyoshi Sadahiro,
Yasuhiro Fukui,
2006
.
Leonidas Tsiopoulos,
Marina Waldén,
Jüri Vain,
2013
.