5.07.1956
6204190
5099675
juri.vain@ttu.ee
SCOPUS Author ID: 13905505300

Career

Institutions and positions
01.01.2019–...   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Professor (1,00)
01.01.2017–31.12.2018   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Professor (1,00)
01.01.2002–31.12.2016   
Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Director (1,00)
01.09.1998–31.12.2016   
Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics, Professor, head of chair (1,00)
01.09.1992–31.12.2015   
Tallinn University of Technology , Institute of Cybernetics at TUT, Senior Researcher (0,50)
01.01.1984–31.12.1992   
R&D Department at the Institute of Cybernetics, engineer-programmer;
01.01.1978–31.12.1981   
Institute of Cybernetics, senior engineer
 
 
Education
1981–1984   
doctoral studies at the Institute of Cybernetics, Estonian Academy of Sciences (1987 Candidate of Technical Sciences degree)
1974–1979   
bachelor and master studies, Tallinn Polytechnic Institute, control systems speciality (system engineer)
 
 
R&D related managerial and administrative work
2017−...   
The 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, PC member
2017−...   
BDAS 2017 : 13th (IEEE technically co-sponsored) International Conference Beyond Databases, Architectures and Structures, PC member
1997−...   
annual workshop "Nordic Workshop on Programming Theory", PC member
2017−2017   
9th International Workshop on Software Engineering for Resilient Systems (SERENE 2017), September 4-5, 2017, Geneva, Switzerland, Program Committee member
2017−2017   
IEEE 6th International Conference on Reliability, Infocom Technologies and Optimization (ICRITO’2017) Sep 20-22, 2017 Noida, India, Invited talk
2017−2017   
IEEE International Conference on Infocom Technologies and Unmanned Systems (ICTUS’2017), Dec 18-20, 2017, invited speaker
2017−2017   
IEEE CSS Winter School on CPS funded by the IEEE CSS Outreach fund during January 5-8, 2017, Lecturer
2017−2017   
IEEE CIS Summer School on Cyber-Physical Systems, April 8 – 11, 2017, Ahmedabad. DA-IIC. Lecturer
2015−2015   
8th Congress of the Baltic Association of Surgeons, Invited talk "Technological Revolution in Medicine"
2015−2015   
DTU, invited lecture "Model-based integration testing of ROS packages: a mobile robot case study"
2015−2015   
Rogosi Theory Days, Invited talk "Provably correct online testing of timed systems"
2014−2014   
iFM 2014 The 11th International Conference on Integrated Formal Methods,9-11 September 2014, Bertinoro, Italy, PC member
2013−2013   
PHealth 2013 - 10th International Conference on Wearable Micro and Nono Technologies for Personalized Health, PC member
2013−2013   
Conference Self-Adaptive Networked Embedded Systems (SANES 2013), PC member
2013−2013   
The 25th IFIP International Conference on Testing Software and Systems (ICTSS'2013) Nov 13-15, 2013 Istanbul, Turkey, PC member
2012−2012   
The 23rd IFIP Int. Conference on Testing Software and Systems (ICTSS'12), November 19-21, 2012, Aalborg, Denmark,, PC member
2012−2012   
Symposium on Programming Languages and Software Tools (SPLST'11), PC member
2010−2010   
JOINT CONFERENCE ON KNOWLEDGE-BASED SOFTWARE ENGINEERING 2010 (JCKBSE'10), PC member
2009−2010   
FMOODS/FORTE'2010 12th Formal Methods for Open Object-Based Distributed Systems and 30th Formal Techniques for Networked and Distributed Systems, PC member
2008−2009   
Joint conference FMOODS/FORTE'09 PC member
2006−2009   
Scienctific coordinator of the EU FP6 IST project no 045255 „Knowledge Environment for Interacting ROBOt SWARMs“
2006−2007   
27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems Co-chair of the Program Committee
2004−2004   
- 28th IFAC/IFIP Workshop on Real-Time Programming, 2004, PC member
2004−2007   
Board member of the EU FP6 project IST-507728 NoE EURON "European Robotics Network"
2003−2003   
- 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03) Lübeck, Germany October 16-18, 2003, PC member
2000−2000   
IFIP Working Group 2.2 observer.
1999−2003   
IFAC Technical Committee "Real Time Software Engineering" member
1998−2002   
Principal of research program 0140221s98 ;
1997−1999   
IFAC TC "Advanced Manufacturing Technology", member
1995−1995   
- 8th IFAC Symp. on Information Control Problems in Manufacturing (INCOM'95), Peking, China; PC member
1995−1995   
- 4rd Int. WS on Feature Interactions in Telecommunications Software Systems, 1995, Kyoto, Japan; PC member
1994−1994   
- 3rd Int. WS on Feature Interactions in Telecommunications Software Systems 1994 Ottawa, Canada; PC member;
1994−2009   
Principal of 6 ESF grants,
1992−2014   
Institute of Cybernetics, head of department
 
 
Creative work
Formal methods for embedded real time systems modelling, design and verification, model-based testing theory. Application of formal methods in autonomous robotics (reactive task planning) and swarm robotics (proof methods for emerging behaviour properties of large robot groups)..
 
 
Additional information
The focus of current research is methods and tools for model based distributed testing with timing constraints.;

Qualifications

 
 
Honours & awards
2019, Jüri Vain, The best paper award in "10th International Conference on Dependable Systems, Services and Technologies" DESSERT 2019, June 5-7, Leeds, UK.
2019, Jüri Vain, Tallinn University of Technology medal of merit "Mente et manu"
2005, Jüri Vain, Scrub nurse robot (joint project) - the best research result in 2005, Center of Excellence on HAM at Tokyo Denki University
2001, Jüri Vain, 1992 - 2001 Chartered Electrical Engineer (IEE, UK)
1994, Jüri Vain, Philips Research Award for cooperation with the Department of Computing Science at Eindhoven University of Technology
 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS CLASSIFICATION: P170 Computer science, numerical analysis, systems, control ; SPECIFICATION: Formal specification, synthesis and verification of embedded and distributed systems
 
 
Additional information
Candidate of Technical Sciences
Institute of Cybernetics at Estonian Academy of Sciences, 1987

Completed projects

Dissertations under supervision

Supervised dissertations

Publications

Category
Year
Publication
 
1.1.
2019
1.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2018
3.1.
2018
3.1.
2018
3.4.
2018
6.3.
2018
1.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.4.
2017
1.1.
2016
1.1.
2016
1.2.
2016
2.5.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.4.
2016
4.1.
2016
4.1.
2016
6.8.
2016
6.8.
2016
1.1.
2015
2.5.
2015
3.1.
2015
3.1.
2015
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.2.
2014
3.2.
2014
3.5.
2014
3.1.
2013
3.1.
2013
4.2.
2013
5.2.
2013
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
5.2.
2012
6.7.
2012
1.1.
2011
3.1.
2011
3.1.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.2.
2010
4.1.
2010
5.2.
2010
6.8.
2010
3.1.
2009
3.1.
2009
3.1.
2009
3.4.
2009
5.2.
2009
6.3.
2009
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
4.2.
2008
5.2.
2008
6.2.
2008
6.2.
2008
3.1.
2007
3.4.
2007
3.4.
2007
3.5.
2007
4.1.
2007
6.3.
2007
6.8.
2007
1.1.
2006
1.1.
2006
3.1.
2006
3.1.
2006
3.1.
2006
3.1.
2006
3.4.
2006
3.4.
2006
3.4.
2006
3.4.
2006
1.1.
2005
1.3.
2005
3.1.
2005
3.1.
2005
3.4.
2005
3.4.
2005
3.4.
2005
3.4.
2005
1.3.
2004
3.1.
2004
3.4.
2004
3.4.
2004
1.3.
2003
3.1.
2003
3.1.
2003
3.4.
2003
3.4.
2003
4.1.
2003
4.1.
2003
6.3.
2003
6.6.
2003
6.8.
2003
1.2.
2002
3.4.
2002
3.4.
2002
4.2.
2002
5.2.
2002
3.1.
2001
3.4.
2001
3.4.
2001
2.5.
2000
3.1.
2000
3.4.
2000
3.4.
2000
3.1.
1999
3.1.
1999
3.4.
1999
3.4.
1999
3.4.
1999
3.4.
1998
3.4.
1998
3.4.
1998
4.1.
1998
4.1.
1998
6.8.
1998
3.4.
1997
1.1.
1996
3.1.
1995
3.2.
1995
3.4.
1995
3.4.
1995
3.1.
1994
3.4.
1994
1.1.
1993
3.1.
1993
3.1.
1992
3.4.
1992
3.4.
1992
6.7.
1992
1.1.
1991
3.1.
1991
3.4.
1991
3.4.
1989
3.1.
1988
1.2.
1987
2.3.
1987
3.4.
1987
3.4.
1987
3.4.
1987
1.1.
1986
1.1.
1986
3.1.
1986
3.1.
1986
3.4.
1986
3.4.
1985
3.4.
1985
3.4.
1984
3.1.
1983
3.4.
1982
3.4.
1982
3.4.
1980
18.10.2019
5.07.1956
6204190
5099675
juri.vain@ttu.ee
SCOPUS Author ID: 13905505300

Teenistuskäik

Töökohad ja ametid
01.01.2019–...   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, formaalmeetodite professor tenuuris astmel kaasprofessor (1,00)
01.01.2017–31.12.2018   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, Professor (1,00)
01.01.2002–31.12.2016   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, direktor (1,00)
01.09.1998–31.12.2016   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool, Professor, õppetooli juhataja (1,00)
01.09.1992–31.12.2015   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Vanemteadur (0,50)
01.01.1984–31.12.1992   
Küberneetika Instituudi AT EKB insener-programmeerija;
01.01.1978–31.12.1981   
Küberneetika Instituudi vaneminsener;
 
 
Haridustee
1981–1984   
aspirantuur Eesti TA Küberneetika Instituut
1974–1979   
põhiõpe, magistrantuur, TPI, juhtimissüsteemide eriala (süsteemiinseneri diplom)
 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2017−...   
The 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, PC member
2017−...   
BDAS 2017 : 13th (IEEE technically co-sponsored) International Conference Beyond Databases, Architectures and Structures, PC member
1997−...   
iga-aastase konverentsi "Nordic Workshop on Programming Theory", programmkomitee liige
2017−2017   
9th International Workshop on Software Engineering for Resilient Systems (SERENE 2017), September 4-5, 2017, Geneva, Switzerland, Program Committee member
2017−2017   
IEEE 6th International Conference on Reliability, Infocom Technologies and Optimization (ICRITO’2017) Sep 20-22, 2017 Noida, India, Invited talk
2017−2017   
IEEE International Conference on Infocom Technologies and Unmanned Systems (ICTUS’2017), Dec 18-20, 2017, invited speaker
2017−2017   
IEEE CSS Winter School on CPS funded by the IEEE CSS Outreach fund during January 5-8, 2017, Lecturer
2017−2017   
IEEE CIS Summer School on Cyber-Physical Systems, April 8 – 11, 2017, Ahmedabad. DA-IIC. Lecturer
2015−2015   
8th Congress of the Baltic Association of Surgeons, Invited talk "Technological Revolution in Medicine"
2015−2015   
DTU, invited lecture "Model-based integration testing of ROS packages: a mobile robot case study"
2015−2015   
Rogosi Teooriapäevad, Kutsutud ettekanne "Provably correct online testing of timed systems"
2014−2014   
Konverentsi iFM 2014 (The 11th International Conference on Integrated Formal Methods, 9-11 September 2014, Bertinoro, Italy) programmikomitee liige
2013−2013   
Konverentsi PHealth 2013 - 10th International Conference on Wearable Micro and Nono Technologies for Personalized Health programmkomitee liige
2013−2013   
Konverentsi Self-Adaptive Networked Embedded Systems (SANES 2013), programmkomitee liige
2013−2013   
Konverentsi The 25th IFIP International Conference on Testing Software and Systems (ICTSS'2013) Nov 13-15, 2013 Istanbul, Turkey programmikomitee liige
2012−2012   
Konverentsi "The 23rd IFIP Int. Conference on Testing Software and Systems (ICTSS'12), November 19-21, 2012, Aalborg, Denmark, programmkomitee liige
2012−2012   
Symposium on Programming Languages and Software Tools (SPLST'11), programmkomitee liige
2010−2010   
Konverentsi "Teadmuspõhine tarkvara arendus 2010" programmkomitee liige
2009−2010   
FMOODS/FORTE'2010 programmkomitee liige
2008−2009   
Konverentsi FMOODS/FORTE'09 programmkomitee liige
2006−2009   
EL 6. raamprogrammi IST STREP projekt nr 045255 „Knowledge Environment for Interacting ROBOt SWARMs“ teaduskoordinaator
2006−2007   
27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems PC kaasesimees
2004−2004   
- 28th IFAC/IFIP Workshop on Real-Time Programming, 2004, PC member
2004−2007   
EL 6. raamprogrammi projekti IST-507728 NoE EURON "European Robotics Network" juhtkomitee liige
2003−2003   
- 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03) Lübeck, Germany October 16-18, 2003, PC member
2000−2000   
IFIP Working Group 2.2 vaatleja.
1999−2003   
IFAC Technical Committee "Real Time Software Engineering" liige
1998−2002   
Sihtfinantseerimisteema 0140221s98 vastutav täitja;
1997−1999   
IFAC TC "Advanced Manufacturing Technology" liige
1995−1995   
- 8th IFAC Symp. on Information Control Problems in Manufacturing (INCOM'95), Peking, Hiina, PC member
1995−1995   
- 4rd Int. WS on Feature Interactions in Telecommunications Software Systems, 1995, Kyoto, Japan; PC member
1994−1994   
- 3rd Int. WS on Feature Interactions in Telecommunications Software Systems 1994 Ottawa, Canada; PC member
1994−2009   
6 ETF grandi vastutav täitja;
1992−2014   
Küberneetika Instituudi juhtimissüsteemide osakonna juhataja
 
 
Loometöö
Formaalsed meetodid sard- ja reaalaja süsteemide modelleerimisel, disainil ja verifitseerimisel, mudelipõhise testimise teooria. Formaalmeetodite rakendamine autonoomsetes robotites (reaktiivne ülesannete planeerimine) ja parverobootikas (suurte robotformatsioonide ilmneva käitumise omaduste tõestamise meetodid)..
 
 
Lisainfo
Käesoleva teadustöö prioriteet on mudelipõhise ajakitsendustega hajustestimise meetodid ja vahendid. ;

Kvalifikatsioon

 
 
Teaduspreemiad ja tunnustused
2019, Jüri Vain, Parim publikatsioon konverentsil "10th International Conference on Dependable Systems, Services and Technologies" DESSERT 2019, June 5-7, Leeds, UK.
2019, Jüri Vain, Tallinna Tehnikaülikooli teenetemedal „Mente et manu“
2005, Jüri Vain, Kirurgi abiroboti loomine (koostööprojekt) - Tokyo Denki Ülikooli tippkeskuse HAM 2005 a. parim teadustulemus
2001, Jüri Vain, 1992 - 2001 Chartered Electrical Engineer (IEE, UK)
1994, Jüri Vain, Philipsi preemia koostöö eest Eindhoveni Tehnoloogiaülikooli Arvutiteaduse Instituudiga
 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS KLASSIFIKAATOR: P170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria); TÄPSUSTUS: Sard- ja hajussüsteemide formaalne spetsifitseerimine, süntees ja verifitseerimine.
 
 
Lisainfo
Tehnikateaduste kandidaat
Eesti TA Küberneetika Instituut, 1987.

Lõppenud projektid

Juhendamisel väitekirjad

Juhendatud väitekirjad

Publikatsioonid

Klass
Aasta
Publikatsioon
 
1.1.
2019
1.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2018
3.1.
2018
3.1.
2018
3.4.
2018
6.3.
2018
1.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.4.
2017
1.1.
2016
1.1.
2016
1.2.
2016
2.5.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.4.
2016
4.1.
2016
4.1.
2016
6.8.
2016
6.8.
2016
1.1.
2015
2.5.
2015
3.1.
2015
3.1.
2015
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.2.
2014
3.2.
2014
3.5.
2014
3.1.
2013
3.1.
2013
4.2.
2013
5.2.
2013
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
5.2.
2012
6.7.
2012
1.1.
2011
3.1.
2011
3.1.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.2.
2010
4.1.
2010
5.2.
2010
6.8.
2010
3.1.
2009
3.1.
2009
3.1.
2009
3.4.
2009
5.2.
2009
6.3.
2009
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
4.2.
2008
5.2.
2008
6.2.
2008
6.2.
2008
3.1.
2007
3.4.
2007
3.4.
2007
3.5.
2007
4.1.
2007
6.3.
2007
6.8.
2007
1.1.
2006
1.1.
2006
3.1.
2006
3.1.
2006
3.1.
2006
3.1.
2006
3.4.
2006
3.4.
2006
3.4.
2006
3.4.
2006
1.1.
2005
1.3.
2005
3.1.
2005
3.1.
2005
3.4.
2005
3.4.
2005
3.4.
2005
3.4.
2005
1.3.
2004
3.1.
2004
3.4.
2004
3.4.
2004
1.3.
2003
3.1.
2003
3.1.
2003
3.4.
2003
3.4.
2003
4.1.
2003
4.1.
2003
6.3.
2003
6.6.
2003
6.8.
2003
1.2.
2002
3.4.
2002
3.4.
2002
4.2.
2002
5.2.
2002
3.1.
2001
3.4.
2001
3.4.
2001
2.5.
2000
3.1.
2000
3.4.
2000
3.4.
2000
3.1.
1999
3.1.
1999
3.4.
1999
3.4.
1999
3.4.
1999
3.4.
1998
3.4.
1998
3.4.
1998
4.1.
1998
4.1.
1998
6.8.
1998
3.4.
1997
1.1.
1996
3.1.
1995
3.2.
1995
3.4.
1995
3.4.
1995
3.1.
1994
3.4.
1994
1.1.
1993
3.1.
1993
3.1.
1992
3.4.
1992
3.4.
1992
6.7.
1992
1.1.
1991
3.1.
1991
3.4.
1991
3.4.
1989
3.1.
1988
1.2.
1987
2.3.
1987
3.4.
1987
3.4.
1987
3.4.
1987
1.1.
1986
1.1.
1986
3.1.
1986
3.1.
1986
3.4.
1986
3.4.
1985
3.4.
1985
3.4.
1984
3.1.
1983
3.4.
1982
3.4.
1982
3.4.
1980
18.10.2019
  • Found 24 results
ProgramTypeNumberNameProject startProject endPrincipal investigatorInstitutionFinancing
MUUVEU16062Expanded Underwater Robotics Ready for Oil Spill (e-URready40S)01.01.201731.12.2018Juhan-Peep ErnitsTallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics38 805,69 EUR
TKEXCSEstonian Excellence in Computer Science - EXCS07.07.200831.08.2015Tarmo UustaluTallinn University of Technology ; Tallinn University of Technology , Institute of Cybernetics at TUT4 244 372,58 EUR
MUU346FCompetence centre for Electronics, info and communication technologies ELIKO10.01.200311.10.2004Toomas RangTallinn University of Technology ; Tallinn University of Technology , School of Information Technologies, Thomas Johann Seebeck Department of Electronics, Chair of Electronics Design25 564,66 EUR
MUULEP15048Testing and configuring the ELIKO mobile robot ROS-based control system20.05.201519.06.2015Jüri VainTallinn University of Technology 10 000,00 EUR
MUUF8018Eureka ITEA2 D-MINT22.02.200831.12.2009Jüri VainTallinn University of Technology ; Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics93 246,84 EUR
MUUV242NOE EURON European Robotic Network01.05.200430.04.2008Jüri VainTallinn University of Technology ; Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics213 464,91 EUR
MUUBF99Formal Methods in Distributed systems01.01.200931.12.2011Jüri VainTallinn University of Technology ; Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics40 176,14 EUR
MUUG4156 (ETF4156)Formal methods for verification of hybrid dynamical systems01.01.200031.12.2003Jüri VainTallinn University of Technology ; Tallinn University of Technology , Institute of Cybernetics at TUT20 004,35 EUR
MUUELIKO 2.2Test, Verification and Diagnosis of Distributed and Embedded Systems01.07.200930.06.2015Jüri VainELIKO Competence Centre in Electronics-, Info- and Communication Technologies1 826 248,00 EUR
MUUV341Knowledge Environment for Interacting ROBOt SWARMs01.11.200630.04.2009Jüri VainTallinn University of Technology ; Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics2 100 000,00 EUR
TKSubprojectTAR16013 (EXCITE) (TK148)Estonian Centre of Excellence in ICT Research01.09.201601.03.2023Maarja KruusmaaTallinn University of Technology , School of Information Technologies, Centre for Biorobotics; Cybernetica AS2 642 075,15 EUR
MUUSF0140221Bs98Methods and tools for designing control and software systems in computer integrated systems01.01.199831.12.2002Jüri VainTallinn University of Technology ; Tallinn University of Technology , Institute of Cybernetics at TUT45 121,62 EUR
SFSF0140018s08Synthesis of complex nonlinear control systems01.01.200831.12.2013Ülle KottaTallinn University of Technology , Institute of Cybernetics at TUT756 803,02 EUR
MUUVY632Modernization of postgraduate studies on security and resilience for human and industry related domains01.12.201330.11.2016Jüri VainTallinn University of Technology ; Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics653 172,08 EUR
ETFETF5775Abstraction-based verification and analysis of infinite state systems01.01.200431.12.2007Jüri VainTallinn University of Technology , Institute of Cybernetics at TUT28 836,18 EUR
SFSF0322520s03Nonlinear and hybrid control systems01.01.200331.12.2007Ülle KottaTallinn University of Technology , Institute of Cybernetics at TUT415 457,67 EUR
TKTK124Centre for Nonlinear Studies01.01.201131.12.2015Jüri EngelbrechtTallinn University of Technology , Institute of Cybernetics at TUT; University of Tartu, Faculty of Science and Technology (old), Institute of Physics, University of Tartu2 729 927,47 EUR
ETFETF7667Synthesis of model based reactive planners for nondeterministic and distributed systems01.01.200831.12.2011Jüri VainTallinn University of Technology , Institute of Cybernetics at TUT56 550,81 EUR
MUUF8079ORPHEUS20.07.200827.11.2008Jüri VainTallinn University of Technology ; Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics9 729,78 EUR
MUUG3737 (ETF3737)Optimal structuring methods of decision-making systems and control01.01.199931.12.2001Ingmar RandveeTallinn University of Technology ; Tallinn University of Technology , Institute of Cybernetics at TUT8 564,16 EUR
MUUG5086 (ETF5086)Pattern-based modeling and analysis of computer integrated systems01.01.200231.12.2005Tiit RiismaaTallinn University of Technology ; Tallinn University of Technology , Institute of Cybernetics at TUT14 699,68 EUR
2.1.LEP18082ITApplied research on system of sensors and software algorithms for safety and driver assistance on remotely operated ground vehicles for off-road applications28.09.201830.04.2021Jüri VainTallinn University of Technology , School of Information Technologies, Department of Software Science180 000,00 EUR
MUULep9055Automatic generation of software tests01.03.200930.06.2009Jüri VainTallinn University of Technology ; Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics12 782,33 EUR
IUTIUT33-13Methods, tools and processes for software with strong guarantees01.01.201531.12.2020Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT; Tallinn University of Technology , School of Information Technologies, Department of Software Science900 000,00 EUR