Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Vain, Jüri (TTÜ author)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
170
Look more..
(5/414)
Export
export all inquiry results
(170)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
151
book article
Tester partitioning and synchronization algorithm for testing real-time distributed systems
Pal, Deepak
;
Vain, Jüri
Proceedings of the 10th Junior Researcher Workshop on Real-Time Computing : JRWRTC 2016 : Brest, France, October 19-21, 2016
2016
/
p. 13-16 : ill
http://jrwrtc2016.gforge.inria.fr/
book article
152
book article EST
/
book article ENG
Testing web services with model-based mutation
Siavashi, Faezeh
;
Iqbal, Junaid
;
Truscan, Dragos
;
Vain, Jüri
Software Technologies : 11th International Joint Conference, ICSOFT 2016 : Lisbon, Portugal, July 24–26, 2016 : revised selected papers
2017
/
p. 45-67
https://doi.org/10.1007/978-3-319-62569-0_3
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
153
book article
TestIt: an open-source scalable long-term autonomy testing toolkit for ROS
Kanter, Gert
;
Vain, Jüri
Conference Proceedings of 2019 10th International Conference on Dependable Systems, Services and Technologies DESSERT’2019, United Kingdom, Leeds, June 5-7, 2019
2019
/
art. 8770011, p. 45-50
http://dx.doi.org/10.1109/DESSERT.2019.8770011
book article
154
book
The Crisis Management System - a case study on aspect-oriented modelling with UPPAAL
Iqbal, Junaid
;
Truscan, Dragos
;
Porres, Ivan
;
Tsiopoulos, Leonidas
;
Vain, Jüri
2016
http://tucs.fi/publications/view/?pub_id=tIqTsTrVaPo16a
book
155
book
The journal of logic and algebraic programming
2010
https://www.ester.ee/record=b1200932*est
book
156
book
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts [Online resource]
2019
https://doi.org/10.23658/taltech.nwpt/2019
https://www.ester.ee/record=b5292609*est
book
157
book
25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : abstracts [Electronic resource]
2013
https://www.ester.ee/record=b3039924*est
book
158
book article
Time semantics of executable activity diagrams for relativized conformance testing
Iqbal, Junaid
;
Truscan, Dragos
;
Vain, Jüri
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
2020
/
p. 251-256
https://doi.org/10.1145/3417990.3421399
book article
159
book article
Timed automata based provably correct robot control
Anier, Aivo
;
Vain, Jüri
BEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia
2010
/
p. 201-204 : ill
book article
160
book article
Towards a high-level programming language for IoT and robotics
Kanter, Gert
;
Vain, Jüri
;
Fazeldehkordi, Elahe
;
Owe, Olaf
32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 2021
2021
/
3 p
http://icetcs.ru.is/nwpt21/abstracts/paper8.pdf
http://icetcs.ru.is/nwpt21/programme.html
book article
161
book article
Towards better specifications for software outsourcing
Lump, Peeter
;
Ernits, Juhan-Peep
;
Vain, Jüri
Databases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 2014
2014
/
p. 453-458 : ill
book article
162
book article
Towards context-sensitive dialogue with robot companion
Vain, Jüri
;
Sarapuu, Helena
BEC 2014 : 2014 14th Biennial Baltic Electronics Conference : proceedings of the 14th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 6-8, 2014, Tallinn, Estonia
2014
/
p. 205-208 : ill
book article
163
book article
Towards scalable proofs of robot swarm dependability
Vain, Jüri
;
Tammet, Tanel
;
Kuusik, Alar
;
Juurik, Silver
BEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia
2008
/
p. 199-202 : ill
book article
164
book
20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts
Uustalu, Tarmo
;
Vain, Jüri
;
Ernits, Juhan-Peep
2008
https://www.ester.ee/record=b2435749*est
book
165
book article
Two phase technique for assembly line balancing
Vain, Jüri
;
Randvee, Ingmar
;
Riismaa, Tiit
Preprints of the 16th IFAC World Congress : Prague, Czech Republic, July 3-8, 2005
2005
/
[6] p
https://www.sciencedirect.com/science/article/pii/S1474667016375176
book article
166
dissertation
Two state space reduction techniques for explicit state model checking = Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis
Ernits, Juhan-Peep
2007
https://digi.lib.ttu.ee/i/?162
dissertation
167
book article
A two-phase metamorphic approach for testing industrial control systems
Sudheerbabu, Gaadha
;
Ahmad, Tanwir
;
Sebek, Filip
;
Truscan, Dragos
;
Vain, Jüri
;
Porres, Ivan
2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) : proceedings
2022
/
4 p
https://doi.org/10.1109/ETFA52439.2022.9921439
book article
168
book article
Using RFID tags for robot swarm cooperation
Tammet, Tanel
;
Vain, Jüri
;
Kuusik, Alar
WSEAS transactions on systems
2006
/
5, p. 1121-1128
book article
169
book article
Verifying response times in networked automation systems using jitter bounds
Srinivasan, Seshadhri
;
Vain, Jüri
IEEE 25th International Symposium on Software Reliability Engineering Workshops : ISSREW 2014 : 3-6 November 2014, Naples, Italy : proceedings
2014
/
p. 47-50 : ill
book article
170
book article
Vulnerability assessment of web services with model-based mutation testing
Siavashi, Faezeh
;
Truscan, Dragos
;
Vain, Jüri
2018 IEEE 18th International Conference on Software Quality, Reliability, and Security - QRS 2018 - : 16–20 July 2018, Lisbon, Portugal : proceedings
2018
/
p. 301–312 : ill
http://doi.org/10.1109/QRS.2018.00043
book article
Number of records 170, displaying
151 - 170
previous
1
2
3
4
5
6
7
next
author
211
1.
Vain, Jüri
2.
Vain, A.
3.
Vain, Ants
4.
Vain, Arved
5.
Vain, J.
6.
Vain, Vallo
7.
Väin, E.
8.
Väin, Edda
9.
Aarma, Jüri
10.
Allik, Jüri
11.
Anissimov, Juri
12.
Annusson, Jüri
13.
Beilmann, Jüri
14.
Belikov, Juri
15.
Belitšenko, Juri
16.
Bogatkin, Jüri
17.
Bolobajev, Juri
18.
Butt, Juri
19.
Derkun, Jüri
20.
Einpaul, Jüri
21.
Eintalu, Jüri
22.
Eivak, Jüri
23.
Elken, Jüri
24.
Em, Juri
25.
Engelbrecht, Jüri
26.
Ess, Juri
27.
Freyberg, Jüri
28.
Gavšin, Juri
29.
Giršovitš, Juri
30.
Giršovitš, Jüri
31.
Grigorjev, Jüri
32.
Haabpiht, Jüri
33.
Haldre, Jüri
34.
Handelsaman, Juri
35.
Hansen, Jüri
36.
Helekivi, Jüri
37.
Ilvest, Jüri jr
38.
Issakov, Juri
39.
Ivask, Jüri
40.
Jakovets, Juri
41.
Jartsev, Jüri
42.
Jarvet, Jüri
43.
Joller, Jüri
44.
Joonsaar, Jüri
45.
Josepson, Jüri
46.
Jõema, Jüri
47.
Jõgeva, Jüri
48.
Järs, Jüri
49.
Järvet, Jüri
50.
Järvis, Jüri
51.
Jüri Ivask
52.
Kadaja, Jüri
53.
Kaik, Jüri
54.
Kaljumäe, Jüri
55.
Kaljundi, Jüri
56.
Kamenik, Jüri
57.
Kann, Jüri
58.
Kappo, Jüri
59.
Kask, Jüri
60.
Kermik, Jüri
61.
Kirotam, Jüri
62.
Kirs, Jüri
63.
Kivimaa, Jüri
64.
Kivimäe, Jüri
65.
Kleesmaa, Jüri
66.
Kolesov, Juri
67.
Komendant, Jüri George
68.
Kotkas, Jüri
69.
Kriis, Jüri
70.
Krist, Vello-Jüri
71.
Kroonström, Jüri
72.
Krustok, Jüri
73.
Kruusvall, Jüri
74.
Kröönström, Jüri
75.
Kurba, Jüri
76.
Kurss, Jüri
77.
Kurvits, Jüri
78.
Kuzmin, Juri
79.
Kuusik, Jüri
80.
Kuusk, Jüri
81.
Kuuskemaa, Jüri
82.
Kõomägi, Jüri
83.
Käosaar, Jüri
84.
Kärner, Jüri
85.
Laanoja, Jüri
86.
Laast-Laas, Jüri
87.
Lakson, Jüri
88.
Lamp, Jüri
89.
Laulik, Jüri
90.
Laurson, Jüri
91.
Laving, Jüri
92.
Lavrentjev, Jüri
93.
Lehtmets, Jüri
94.
Lember, Jüri
95.
Lichfeld, Jüri
96.
Lippus, Jüri
97.
Lipre, Jüri
98.
Loorens, Jüri
99.
Loosaar, Jüri
100.
Lotman, Juri
101.
Luud, Jüri
102.
Majak, Jüri
103.
Maltsev, Jüri
104.
Maltšev, Jüri
105.
Mark, Jüri
106.
Martin, Jüri
107.
Merendi, Jüri
108.
Mesipuu, Jüri
109.
Mickfeldt, Jüri
110.
Mihhailov, Juri
111.
Misnik, Juri
112.
Monahov, Juri
113.
Muttika, Jüri
114.
Mõis, Jüri
115.
Nemliher, Jüri
116.
Nikolajev, Jüri
117.
Noor, Jüri
118.
Nuut, Jüri
119.
Ojamaa, Jüri
120.
Olt, Jüri
121.
Ott, Jüri
122.
Paap, Jüri
123.
Pahapill, Jüri
124.
Papstel, Jüri
125.
Pastarus, Jüri-Rivaldo
126.
Pastraus, Jüri
127.
Peets, Jüri
128.
Pere, Jüri
129.
Pertmann, Jüri
130.
Petrov, Jüri
131.
Piirisild, Jüri
132.
Pirso, Jüri
133.
Plado, Jüri
134.
Podiltšuk, Juri
135.
Porõvajev, Juri
136.
Pozojev, Juri
137.
Putintsev, Juri
138.
Põldre, Jüri
139.
Pärn, Jüri
140.
Pärtna, Jüri
141.
Pääsuke, Jüri
142.
Randjärv, Jüri
143.
Rass, Jüri
144.
Ratas, Jüri
145.
Raudsepp, Jüri
146.
Rebane, Jüri
147.
Reimand, Jüri
148.
Rent, Jüri
149.
Resev, Jüri
150.
Riimaa, Jüri
151.
Riives, Jüri
152.
Roosaare, Jüri
153.
Ross, Jüri
154.
Roundyguine, Juri
155.
Rünkla, Jüri
156.
Saar, Jüri
157.
Saarma, Jüri
158.
Sakkeus, Jüri
159.
Sarandi, Jüri
160.
Savin, Juri
161.
Schvede, Jüri
162.
Sepp, Jüri
163.
Siigur, Jüri
164.
Siimon, Ivar-Jüri
165.
Silmberg, Jüri
166.
Smigunov, Juri
167.
Smirgunov, Juri
168.
Soojärv, Jüri
169.
Soone, Jüri
170.
Soonpere, Jüri
171.
Starkopf, Jüri-Aleksander
172.
Sutt, Jüri
173.
Suursoo, Jüri
174.
Säärekõnno, Jüri
175.
Zahharov, Juri
176.
Tadolder, Jüri
177.
Tagger, Jüri
178.
Tallinn, Jüri
179.
Tamm, Jüri
180.
Tammemägi, Jüri
181.
Tanner, Jüri
182.
Tarmak, Jüri
183.
Teder, Jüri
184.
Tenson, Jüri
185.
Teras, Jüri
186.
Toomessoo, Jüri
187.
Trei, Jüri
188.
Treufeld, Jüri
189.
Treufeldt, Jüri
190.
Truusa, Jüri
191.
Tuisk, Jüri
192.
Tõnisson, Jüri
193.
Udre, Jüri
194.
Uljas, Jüri
195.
Utt, Jüri
196.
Vabaoja, Jüri
197.
Vanaveski, Jüri
198.
Varik, Jüri
199.
Varvas, Jüri
200.
Vasiljev, Juri
201.
Vassiljev, Jüri
202.
Vedru, Jüri
203.
Veerits, Jüri
204.
Viikberg, Jüri
205.
Vilipõld, Jüri
206.
Virkepu, Jüri
207.
Võigemast, Jüri
208.
Örd, Jüri
209.
Ööbik, Jüri
210.
Žirjakov, Juri
211.
Žirjakov, Jüri
CV
116
1.
Vain, Jüri
2.
Annusson, Jüri 1884-1965
3.
Belikov, Juri
4.
Belokon, Juri
5.
Bogatkin, Jüri 1983
6.
Bolobajev, Juri
7.
Djakov, Juri
8.
Einpaul, Jüri 1935-2018
9.
Eintalu, Jüri
10.
Elken, Jüri
11.
Engelbrecht, Jüri
12.
Ess, Juri
13.
Fomin, Jüri
14.
Gavšin, Juri
15.
Girshovich, Juri
16.
Giršovitš, Juri
17.
Grigorjev, Jüri
18.
Helekivi, Jüri
19.
Hellat, Jüri
20.
Hmelnitski, Juri
21.
Hmelnitski, Jüri
22.
Hudolejev, Juri
23.
Ivask, Jüri
24.
Jartsev, Jüri 1931-1989
25.
Jevtejev, Jüri
26.
Joller, Jüri
27.
Joonsaar, Jüri 1958-2019
28.
Jõgeva, Jüri 1962-2014
29.
Kaik, Jüri 1953-2017
30.
Kann, Jüri
31.
Kappo, Juri 1959-2011
32.
Kappo, Jüri
33.
Kask, Jüri
34.
Kask, Jüri
35.
Kassihhin, Juri
36.
Kassihin, Juri
37.
Kirs, Jüri 1941-2024
38.
Kleesmaa, Jüri
39.
Kotijev, Juri 1940-2022
40.
Kotikov, Juri
41.
Kotkas, Jüri
42.
Krist, Vello-Jüri
43.
Krustok, Jüri
44.
Kurnitski, Jüri
45.
Kurss, Jüri
46.
Kurvits, Jüri
47.
Kuslapuu, Jüri
48.
Käosaar, Jüri
49.
Laast-Laas, Jüri
50.
Lakson, Jüri
51.
Lamp, Jüri 1940-2024
52.
Laving, Jüri
53.
Lavrentjev, Jüri
54.
Liidemann, Jüri
55.
Liivak, Jüri
56.
Lippus, Jüri
57.
Lipre, Jüri 1940-2024
58.
Loosaar, Jüri
59.
Majak, Jüri
60.
Maltsev, Jüri 1947-2023
61.
Mark, Jüri
62.
Merendi, Jüri 1936-2017
63.
Merits, Jüri-Olev
64.
Merlei, Jüri
65.
Mihhailov, Juri
66.
Nemliher, Jüri 1965-2021
67.
Noor, Jüri
68.
Nuth, Jüri
69.
Nuut, Jüri 1892-1952
70.
Papstel, Jüri 1940-2004
71.
Pastarus, Jüri-Rivaldo 1947-2015
72.
Pere, Jüri 1921-1996
73.
Pirso, Jüri
74.
Porõvajev, Juri
75.
Pozoev, Jüri
76.
Pozojev, Juri
77.
Putintsev, Juri
78.
Põldre, Jüri-Henrik
79.
Pääsuke, Jüri 1940-2023
80.
Rass, Jüri
81.
Rebane, Jüri
82.
Reim, Jüri
83.
Resev, Jüri
84.
Riives, Jüri
85.
Ruus, Jüri 1957-2013
86.
Rünkla, Jüri 1937-2022
87.
Sarandi, Jüri
88.
Schvede, Jüri 1931-2021
89.
Smigunov, Juri 1943-2006
90.
Soone, Jüri
91.
Soonpere, Jüri 1953-1998
92.
Starkopf, Jüri-Aleksander
93.
Sutt, Jüri 1937-2013
94.
Säärekõnno, Jüri
95.
Tadolder, Jüri 1931-1999
96.
Tagger, Juri
97.
Tagger, Jüri
98.
Tammemägi, Jüri
99.
Tanner, Jüri
100.
Teder, Jüri
101.
Teras, Jüri
102.
Treufeld, Jüri
103.
Udre, Juri
104.
Udre, Jüri
105.
Utt, Jüri
106.
Vabaoja, Jüri 1936-2020
107.
Vanaveski, Jüri
108.
Varvas, Jüri 1928-2006
109.
Vassiljev, Jüri
110.
Veerits, Jüri
111.
Viin, Jüri (-1980)
112.
Vilipõld, Jüri 1942-2019
113.
Vips, Jüri 1956-2018
114.
Virkepu, Juri
115.
Virkepu, Jüri
116.
Žirjakov, Jüri
name of the person
80
1.
Vain, Jüri
2.
Vain Erik
3.
Väin, Erik
4.
Aarma, Jüri
5.
Adams, Jüri
6.
Alas, Jüri
7.
Annusson, Jüri, 1884-1965
8.
Belikov, Juri
9.
Bolobajev, Juri
10.
Elken, Jüri
11.
Elken, Jüri, 1952-
12.
Engelbrecht, Jüri, 1939-
13.
Ess, Juri
14.
Gavšin, Juri
15.
Ivask, Jüri, 1961-
16.
Jartsev, Jüri 1931-1989
17.
Joller, Jüri
18.
Järs, Jüri, 1951-
19.
Järvis, Jüri
20.
Kaik, Jüri
21.
Kaljundi, Jüri
22.
Kann, Jüri, 1938-
23.
Kask, Jüri, 1939-
24.
Kask, Jüri, 1951-
25.
Kirs, Jüri
26.
Kivimäe, Jüri, 1947-
27.
Kleesmaa, Jüri
28.
Komendant, George Jüri, 1943-
29.
Kraft, Jüri, 1935-2023
30.
Kriis, Jüri
31.
Krustok, Jüri, 1955-
32.
Kurvits, Jüri
33.
Kuusk, Jüri
34.
Kõomägi, Jüri
35.
Kärner, Jüri, 1940-2010
36.
Laast-Laas, Jüri
37.
Lamp, Jüri
38.
Lavrentjev, Jüri, 1959-
39.
Lehtmets, Jüri
40.
Lina, Jüri
41.
Lotman, Juri, 1922-1993
42.
Läll, Jüri
43.
Majak, Jüri
44.
Mihhailov, Juri
45.
Mõis, Jüri, 1956-
46.
Nael, Jüri
47.
Nemlicher, Jüri, 1965-
48.
Nurk, Jüri
49.
Nuut, Jüri
50.
Nuut, Jüri, matem., 1892-1952
51.
Nuut, Jüri, merend., 1948-2017
52.
Papstel, Jüri, 1940-2004
53.
Pastarus, Jüri-Rivaldo, 1947-2015
54.
Pasternak, Jüri
55.
Pihl, Jüri
56.
Pirso, Jüri
57.
Pirso, Jüri, 1941-
58.
Põldre, Jüri
59.
Randla, Jüri, 1936-2022
60.
Ratas, Jüri, 1978-
61.
Rent, Jüri, 1952-2018
62.
Riives, Jüri, 1951-
63.
Ross, Jüri, 1953-
64.
Sander, Jüri, 1933-2023
65.
Sepp, Jüri, 1952-
66.
Soone, Jüri
67.
Starkopf, Jüri-Aleksander, 1940-
68.
Sutt, Jüri, 1937-2013
69.
Tadolder, Jüri
70.
Tamm, Jüri
71.
Tanner, Jüri
72.
Tanner, Jüri, 1942-
73.
Teras, Jüri
74.
Tretjakov, Juri
75.
Udre, Jüri
76.
Vanaveski, Jüri
77.
Varvas, Jüri, 1928-2006
78.
Vassiljev, Jüri, 1961-
79.
Veerits, Jüri
80.
Viik, Jüri
subject term
6
1.
Irbe väin
2.
Suur väin
3.
Taani väin
4.
Väike väin
5.
Jüri
6.
Jüri kogudus
keyword
1
1.
Juri Lotman
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT