• A tool for flexible planning of rescue routesVain, Jüri; Ernits, Juhan-Peep; Littover, Mati; Randvee, Ingmar; Riismaa, TiitIFAC Workshop on Control in Natural Disasters : CND'98 : September 21-22, 1998, Tokyo, Japan : preprints1998 / p. 101-106: ill https://www.sciencedirect.com/science/article/pii/S1474667017384781
• A tool-supported approach for introducing aspects in UPPAAL timed automataTruscan, Dragos; Vain, Jüri; Koskinen, Martin; Iqbal, JunaidSoftware technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers2015 / p. 349-364 https://doi.org/10.1007/978-3-319-25579-8_20
• Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops : DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 https://doi.org/10.1007/978-3-030-87657-9
• An open tool integration environment for manufacturing control software developmentKüttner, Rein; Ernits, Juhan-Peep; Vain, JüriMachine engineering2003 / 1/2, Manufacturing flexibility design and development, p. 23-32 : ill
• Analysis and recognition of a surgeon's motions in laparoscopic cholecystectomy giving a scrub nurse robot suitable timings for instrument exchange [Electronic resource]Ohnuma, K.; Nasamune, K.; Yoshimitsu, Kitaro; Vain, Jüri; Fukui, Y.; Miyawaki, F.Proceedings of the 3rd COE Workshop on Human Adaptive Mechatronics (HAM) : 3-4 March 2006, Tokyo Denki University, Japan2006 / [5] p. [CD-ROM]
• Application of bidding automata for measuring the informativeness of hand motion characteristic featuresParm, Kenno; Nõmm, Sven; Vain, JüriBEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia2010 / p. 205-208 : ill
• Application of self organizing Kohonen Map to detection of surgeon motions during endoscopic surgeryPetlenkov, Eduard; Nõmm, Sven; Vain, Jüri; Miyawaki, Fujio2008 International Joint Conference on Neural Networks (IJCNN2008), 2008 IEEE World Congress on Computational Intelligence (WCCI2008) : June 1-6, 2008, Hong Kong2008 / p. 2807-2812 https://ieeexplore.ieee.org/document/4634193
• Application of volume bounding box decomposition for surgeon’s hand gestures recognitionNõmm, Sven; Leibak, Alar; Vain, Jüri; Miyawaki, FujioIECON 2010 : 36th Annual Conference on IEEE Industrial Electronics Society : Glendale, Arizona, USA, 07 - 10 November, 2010 : proceedings2010 / p. 1076-1080 : ill https://ieeexplore.ieee.org/document/5675518
• Application of volume bounding box decomposition for surgeon's hand gestures recognitionNõmm, Sven; Leibak, Alar; Vain, Jüri; Miyawaki, FujioAbstracts IECON 2010 - ICELIE 2010 : 36th Annual Conference of the IEEE Industrial Electronics Society, 4th International Conference on E-Learning in Industrial Electronics, IES Industry Forum 2010 : Arizona, USA, 7-10 November 20102010 / p. 102 https://ieeexplore.ieee.org/document/5675518
• Aspect-oriented model-based testing = Aspekt-orienteeritud mudeli-põhine testimineSarna, Külli2018 https://digi.lib.ttu.ee/i/?11065 https://www.ester.ee/record=b5166882*est
• Aspect-oriented Model-based testing with UPPAAL timed automataVain, Jüri; Tsiopoulos, Leonidas; Kanter, GertModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. 117-124 https://doi.org/10.1007/978-3-030-78428-7_10 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85111374940&origin=inward&txGid=a8e8c27dc616676de1ff54b83a071155
• Aspect-oriented testing of a rehabilitation systemSarna, Külli; Vain, JüriVALID 2014 : the Sixth International Conference on Advances in System Testing and Validation Lifecycle : October 12-16, 2014, Nice, France2014 / p. 73-78 : ill
• Automatic distribution of local testers for testing distributed systemsVain, Jüri; Halling, Evelin; Kanter, Gert; Anier, Aivo; Pal, DeepakDatabases and information systems IX : selected papers from the twelfth International Baltic Conference, DB&IS 20162016 / p. 297-310 : ill https://doi.org/10.3233/978-1-61499-714-6-297 https://www.scopus.com/sourceid/19500157321 https://www.scopus.com/record/display.uri?eid=2-s2.0-85030703059&origin=inward&txGid=e2b8d23c3197df5a63dc644219db590d https://www.webofscience.com/wos/woscc/full-record/WOS:000390305200022
• Case study-based performance evaluation of reactive planning testerKull, Andres; Raiend, Kullo; Vain, Jüri; Kääramees, MarkoModel-based Testing in Practice : 2nd Workshop on Model-based Testing in Practice(MoTiP 2009) : Enschede, The Netherlands, June 23, 2009 : proceedings2009 / p. 87-96 : ill https://www.etis.ee/Portal/Publications/Display/c507fc75-771f-419a-bf67-571af65fdb66
• Cloud computing with robots: does it make sense?Matskin, Mihhail; Haverin, Janne; Roning, Juha; Vain, JüriMDA4ServiceCloud'10 : Modeling, Design, and Analysis for the Service Cloud [Workshop, 4th ed., held in Paris, France on June 15, 2010]2010 / [2] p
• Combined method of load planning for production linesRennik, Heli; Vain, JüriMachine engineering2005 / 3/4, Manufacturing systems development : industry expectations, p. 153-165 : ill
• Combining aspect-orientation and UPPAAL timed automataTruscan, Dragos; Vain, Jüri; Koskinen, MartinICSOFT-PT 2014 : proceedings of the 9th International Conference on Software Paradigm Trends, Vienna, Austria, 29-31 August, 20142014 / p. 159-164 : ill
• Combining conceptual modelling and formal methods to design control systemsVain, Jüri; Hooman, J.Selected papers from the 8th Nordic Workshop on Programming Theory, University of Oslo, May, 19971997 / p. 109-118
• Compact smart home systems : design and verification of cost effective hardware solutionsKuusik, Alar2001 http://www.ester.ee/record=b1578112*est
• Compact smart home systems : design and verification of cost effective hardware solutionsKuusik, Alar2001 http://www.ester.ee/record=b1622134*est
• Component based development of hybrid control systemsVain, Jüri; Kuusik, Alar; Kääramees, MarkoProceedings of the 15th International Conference on CAD/CAM, Robotics & Factories of the Future CARSAMPFOF'99 : August 18-20, 1999, Aguas de Lindoia, Brasil. Vol. 21999 / p. RW5-1 - RW5-6 https://www.researchgate.net/publication/2611129_Component_Based_Development_of_Hybrid_Control_Systems
• Component based technique for hybrid control systems designVain, Jüri; Kuusik, Alar; Kääramees, MarkoProceedings of the 11th Nordic Workshop on Programming Theory : NWPT'99 : Uppsala University, Sweden, October 6-8, 19991999 / p. 48
• CONRAD - a system for evoluating behavioural properties of embedded softwareMõtus, Leo; Vain, JüriPreprints 10th IFAC Workshop on Distributed Computer Control Systems, Semmering, Austria, Sept. 9-11, 19911991
• Constraint-based test scenario description languageVain, Jüri; Halling, EvelinBEC 2012 : 2012 13th Biennial Baltic Electronics Conference : proceedings of the 13th Biennial Baltic Electronics Conference : October 3-5, 2012, Tallinn, Estonia2012 / p. 89-92 : ill
• Construction of aspect models for model-based testingSarna, Külli; Vain, JüriInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK viienda aastakonverentsi artiklite kogumik : 25.-26. novembril 2011, Nelijärve2011 / p. 67-70 : ill
• Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAALBalasubramaniyan, Sreram; Srinivasan, Seshadhri; Buonopane, Furio; Balasubramanian, Subathra; Vain, Jüri; Ramaswamy, SriniMicroprocessors and microsystems2016 / p. 37-48 : ill https://doi.org/10.1016/j.micpro.2015.12.006 https://www.scopus.com/sourceid/15552 https://www.scopus.com/record/display.uri?eid=2-s2.0-84969352242&origin=inward&txGid=4c40641a614e2ffeec7c3aaebc03d362 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MICROPROCESS%20MICROSY&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000375336900004
• Developing multi-view Contracts using Event-B and Uppaal Timed AutomataVain, Jüri; Tsiopoulos, Leonidas; Guin, Jishu2016 21st International Conference on Engineering of Complex Computer Systems : ICECCS 2016 : Dubai, United Arab Emirates, 6-8 November 2016 : proceedings2016 / p. 126-134 : ill https://doi.org/10.1109/ICECCS.2016.024
• DTRON : a tool for distributed model-based testing of time critical applicationsAnier, Aivo; Vain, Jüri; Tsiopoulos, LeonidasProceedings of the Estonian Academy of Sciences2017 / p. 75-88 : ill https://doi.org/10.3176/proc.2017.1.08 http://www.ester.ee/record=b2355998*est https://www.scopus.com/sourceid/11500153303 https://www.scopus.com/record/display.uri?eid=2-s2.0-85030699053&origin=inward&txGid=749edb5e9019b0a53f7fcbbb58d68a84 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20EST%20ACAD%20SCI&year=2017 https://www.webofscience.com/wos/woscc/full-record/WOS:000396591200009
• Early detection of network attacks using deep learningAhmad, Tanwir; Truscan, Dragos; Vain, Jüri; Porres, Ivan2022 IEEE 15th International Conference on Software Testing, Verification andValidation Workshops : ICSTW 2022, 4–13 April 2022, Virtual Event : proceedings2022 / p. 30-39 https://doi.org/10.1109/ICSTW55395.2022.00020 https://arxiv.org/pdf/2201.11628.pdf
• EARLY: a tool for real-time security attack detectionAhmad, Tanwir; Truscan, Dragos; Vain, JüriCyberSecurity in a DevOps Environment: From Requirements to Monitoring2024 / p. 225-251 https://doi.org/10.1007/978-3-031-42212-6_8 https://www.scopus.com/record/display.uri?eid=2-s2.0-85194996402&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-031-42212-6_8%29&sessionSearchId=0b9f9fcd32592ba1f53a2482eaa5a072&relpos=0
• Eesti teadlased tegid tarkvara, mis ennetab küberrünnakuidPihel, Hele-Riinpostimees.ee2023 https://tehnika.postimees.ee/7888716/eesti-ja-soome-teadlased-tegid-tarkvara-mis-ennetab-kuberrunnakuid
• Energy-efficient multi-fragment Markov model guided online model-based testing for MPSoCVain, Jüri; Tsiopoulos, Leonidas; Kharchenko, Vyacheslav; Apneet Kaur; Jenihhin, Maksim; Raik, Jaan; Nõmm, SvenGreen IT Engineering: Social, Business and Industrial Applications2019 / p. 273-297 https://doi.org/10.1007/978-3-030-00253-4_12 https://www.scopus.com/sourceid/21100828949 https://www.scopus.com/record/display.uri?eid=2-s2.0-85054186046&origin=inward&txGid=16bdfce30ffe73899ab3f2f9743b2fac
• Euroopa Liidu 6. raamprogrammi teadusprojekt TTÜ vedamisel : [15.-17. nov. 2006 TTÜ Küberneetika Instituudis toimunud TTÜ ja ELIKO Tehnoloogia Arenduskeskuse algatatud ROBOSWARM projekti avakoosolekust]Vain, JüriMente et Manu2007 / lk. 2 https://artiklid.elnet.ee/record=b2366705*est
• Executable black-box tester model synthesis from a non-deterministic EFSM of the systemKull, Andres; Raiend, Kullo; Vain, JüriInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 105-108
• Expanded underwater robotics ready for oil spillGilabert, Javier; Lopez-Castejon, F.; Rodríguez de Mesas, C.; Ernits, Juhan-Peep; Vain, JüriInterspill 2018 - London : [proceedings]2018 / 2 p http://interspill.org/previous-events/2018/ http://interspill.org/previous-events/2018/14March2018/3-Situational-Awareness/Expanded-Underwater-Robotics-J-Gilabert-UPCT-Cartagena.pdf
• Expanded underwater robotics ready for oil spills (e-URready4OS)Gilabert, Javier; Sousa, João; Vukic, Zoran; Ernits, Juhan-Peep; Vain, JüriMarine technology reporter2018 / p. 24–33 https://magazines.marinelink.com/Magazines/MarineTechnology/201803/content/expanded-underwater-robotics-535546
• Exploiting aspects in model-based testingSarna, Külli; Vain, JüriFOAL'12 : proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages : March 26, 2012, Potsdam, German2012 / p. 45-47 : ill https://www.researchgate.net/publication/254007794_Exploiting_aspects_in_model-based_testing
• ForewordVain, Jüri; Uustalu, TarmoProceedings of the Estonian Academy of Sciences. Physics. Mathematics2003 / 4, p. 334 https://artiklid.elnet.ee/record=b1014450*est
• Formal development of multi-vessel navigation of maritime autonomous systems using UPPAAL STRATEGOShokri-Manninen, Fatima; Vain, Jüri; Walden, Marina32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 20212021 / 4 p http://icetcs.ru.is/nwpt21/abstracts/paper7.pdf http://icetcs.ru.is/nwpt21/programme.html
• Formal methods based security for cloud-based manufacturing cyber physical systemMuniasamy, Kandasamy; Srinivasan, Seshadhri; Vain, Jüri; Sethumadhavan, M.IFAC-PapersOnLine2019 / p. 1198-1203 https://doi.org/10.1016/j.ifacol.2019.11.361 https://www.scopus.com/sourceid/21100456158 https://www.scopus.com/record/display.uri?eid=2-s2.0-85078940356&origin=inward&txGid=ab5536685faa3ef111dc7258df7535d9 https://www.webofscience.com/wos/woscc/full-record/WOS:000504282400204
• Formal safety validation of mobile robot teleoperationVain, Jüri; Suzuki, Satoshi; Kuusik, AlarBEC 2004 : proceedings of the 9th Biennial Baltic Electronics Conference : October 3-6, 2004, Tallinn, Estonia2004 / p. 161-164 : ill
• Formal specification of sensorsKuusik, Alar; Vain, JüriRinghääling '99 : VI Rahvusvahelise Telekommunikatsioonipäeva konverentsi ettekannete materjalid1999 / lk. 80-83
• Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedingsDerrick, John; Vain, Jüri2007 https://www.ester.ee/record=b2286028*est
• Formal verification of COLREG-Based Navigation of maritime autonomous systemsShokri-Manninen, Fatima; Vain, Jüri; Walden, MarinaSoftware Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings2020 / p. 41-59 https://doi.org/10.1007/978-3-030-58768-0_3 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85091595918&origin=inward&txGid=fba8bfe6cc92cf937970ed1d0fc27606 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000722446400003
• Formal verification of maritime autonomous systems using UPPAAL STRATEGOShokri-Manninen, Fatima; Vain, Jüri; Walden, Marina31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 58-61 : ill https://doi.org/10.23658/taltech.nwpt/2019
• 14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstractsVain, Jüri; Uustalu, Tarmo2002 https://www.ester.ee/record=b1710210*est
• FPGA-based critical computing : TEMPUS and FP7 projects issuesKharchenko, Vyacheslav; Vain, Jüri; Krispin, Madli10th European Workshop on Microelectronics Education : EWME 2014 : May 14-16, 2014, Tallinn, Estonia2014 / p. 74-79 : ill
• Generating optimal test cases for real-time systems using DIVINE model checkerPal, Deepak; Vain, JüriBEC 2016 : 2016 15th Biennial Baltic Electronics Conference : proceedings of the 15th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 3-5, 2016, Tallinn, Estonia2016 / p. 99-102 : ill http://www.ester.ee/record=b2150914*est
• Generating tests from EFSM models using guided model checking and iterated search refinmentErnits, Juhan-Peep; Kull, Andres; Raiend, Kullo; Vain, JüriFormal Approach to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006 : Seattle, WA, USA, August 15-16, 2006 : revised selected papers2006 / p. 85-99 https://link.springer.com/chapter/10.1007/11940197_6
• Generating TTCN-3 test cases from EFSM models of reactive software using model checkingErnits, Juhan-Peep; Kull, Andres; Raiend, Kullo; Vain, JüriInformatik 2006 - Informatik für Menschen : proceedings : Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V.(GI) : 2.bis 6.Oktober in Dresden2006 / p. 241-248 https://www.semanticscholar.org/paper/Generating-TTCN-3-Test-Cases-from-EFSM-Models-of-Ernits-Kull/b626c55f607826939345eec24e985adf268b15e5
• Guest editors' forewordUustalu, Tarmo; Vain, JüriJournal of logical and algebraic methods in programming2016 / p. 1109 https://doi.org/10.1016/j.jlamp.2016.10.004 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85021667822&origin=inward&txGid=d522754df60b9687387a7a2dd226b959 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000388062000001
• Handling industrial hazards by pre-emptive model checking [Electronic resource]Kuusik, Alar; Otto, Tauno; Vain, Jüri4th International Conference on Industrial Automation : June 9-11, 2003, Montreal, Canada : proceedings2003 / [4] p. : ill. [CD-ROM] https://www.academia.edu/17640340/Handling_Industrial_Hazards_by_Pre_emptive_Model_Checking
• A human-adaptive-mechatronics assisted system for training constructional abilityMiyashita, O.; Tsukamoto, S.; Kuusik, Alar; Miyata, D.; Yoshida, T.; Vain, Jüri; Ishigami, S.Proceedings of the 8th International Conference on Mechatronics Technology : ICMT2004 : Hanoi, Vietnam, November 8-12, 20042004 / p. 551-555
• Human-robot interaction learning using timed automataVain, Jüri; Miyawaki, Fujio; Nõmm, Sven; Totskaya, Tatiana; Anier, AivoICCAS-SICE 2009 : ICROS-SICE International Joint Conference 2009 : Fukuoka City, Japan, August 18-21, 2009 : final program and papers2009 / p. 2037-2043 https://ieeexplore.ieee.org/document/5334368
• Hübriidsed dünaamilised süsteemid - füüsikaline reaalsus või insenerlik abstraktsioon : ettekanne XL automaatikapäeval 12. märtsil 2002 TTÜ aulasVain, JüriTallinna Tehnikaülikooli aastaraamat 20022003 / lk. 218-221
• Hybrid approach to detection of the surgeon's hand motions during endoscope surgeryNõmm, Sven; Vain, Jüri; Petlenkov, Eduard; Miyawaki, Fujio; Yoshimitsu, KitaroICIEA : 4th IEEE Conference on Industrial Electronics and Applications : Xi'an, 25-27 May 20092009 / p. 3488-3492 https://ieeexplore.ieee.org/abstract/document/5138854
• Infosüsteemi projekti käivitamisestLittover, Mati; Vain, JüriArvutustehnika ja Andmetöötlus1994 / 5, lk. 27-40 ; 6, lk. 25-31 ; 7/8, lk. 30-43 ; 9, lk. 39-42 ; 10, lk. 30-38 ; 11, lk. 27-37 ; 12, lk. 30-40
• Integrated technique for developing real-time systemsHooman, J.; Vain, JüriJournal of system architecture1996
• Integrating methods for the design of real-time systemsVain, JüriAbstracts of NWPT'96, Oslo 19961996 / p. 32
• Integrating refinement-based methods for developing timed systemsVain, Jüri; Tsiopoulos, Leonidas; Boström, PontusFrom action systems to distributed systems : the refinement approach2016 / p. 171-185 http://dx.doi.org/10.1201/b20053-17
• Integration of ‘Central’ and ‘Peripheral’ Nervous Systems in Scrub Nurse Robot and Comparison Between ‘Voluntary’ and ‘Reflex’ MovementsMiyawaki, Fujio; Suzuki, Miho; Anier, Aivo; Vain, JüriIFAC-PapersOnLine2019 / p. 229-234 : ill https://doi.org/10.1016/j.ifacol.2019.12.103 https://www.scopus.com/sourceid/21100456158 https://www.scopus.com/record/display.uri?eid=2-s2.0-85079659439&origin=inward&txGid=96a7e9f9a6326904d29fe66a5135cc0a https://www.webofscience.com/wos/woscc/full-record/WOS:000504294500040
• Integration of iUML-B and UPPAAL timed automata for development of real-time systems with concurrent processesShokri-Manninen, Fatima; Tsiopoulos, Leonidas; Vain, Jüri; Walden, MarinaRigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings2020 / p. 186-202 https://doi.org/10.1007/978-3-030-48077-6_13 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85086075390&origin=inward&txGid=f52e7fbb23ffa296d6180f087a36dfe9
• International summer school on real-time, fault-tolerance and artificial intelligence : Neeruti, June 30 - July 2, 1992Vain, JüriEesti Teaduste Akadeemia Toimetised. Füüsika. Matemaatika1992 / 4, lk. 288-290
• IT Akadeemia toel atraktiivse õppekava ja motiveeritud tudengiteniVain, Jüri; Vaarmets, ElenaStudioosus2014 / lk. 10-11 https://www.ester.ee/record=b1558644*est
• Iterative optimization of hyperparameter-based metamorphic transformationsSudheerbabu, Gaadha; Ahmad, Tanwir; Truscan, Dragos; Vain, Jüri; Porres, Ivan2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)2024 / p. 13-20 https://doi.org/10.1109/ICSTW60967.2024.00016 https://www.scopus.com/record/display.uri?eid=2-s2.0-85205970945&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1109%2FICSTW60967.2024.00016%29&relpos=0 https://www.webofscience.com/wos/woscc/full-record/WOS:001325256800003
• Journal of logical and algebraic methods in programming. Vol. 85, iss. 6, NWPT 20132016
• Jüri Vain: tehisintellekt on palju enamat kui masinõpeVain, Jürierr.ee2023 https://www.err.ee/1609159378/juri-vain-tehisintellekt-on-palju-enamat-kui-masinope
• Learning based personalized energy management systems for residential buildingsSoudari, Mallikarjun; Srinivasan, Seshadhri; Balasubramanian, Subathra; Vain, Jüri; Kotta, ÜlleEnergy and buildings2016 / p. 953-968 : ill https://doi.org/10.1016/j.enbuild.2016.05.059 https://www.scopus.com/sourceid/29359 https://www.scopus.com/record/display.uri?eid=2-s2.0-84976869621&origin=inward&txGid=e886e535dd8ae2958d611544a160f286 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ENERG%20BUILDINGS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000381529400083
• Learning timed automata from interaction tracesVain, Jüri; Kanter, Gert; Anier, AivoIFAC-PapersOnLine2019 / p. 205-210 https://doi.org/10.1016/j.ifacol.2019.12.097 https://www.scopus.com/sourceid/21100456158 https://www.scopus.com/record/display.uri?eid=2-s2.0-85079654091&origin=inward&txGid=2f98d8f5808bbc874dc089e4c48c4732 https://www.webofscience.com/wos/woscc/full-record/WOS:000504294500036
• Metamorphic testing for verification and fault localization in industrial control systemsSudheerbabu, Gaadha; Ahmad, Tanwir; Truscan, Dragos; Vain, JüriCyberSecurity in a DevOps Environment: From Requirements to Monitoring2023 / p. 127 - 159 https://doi.org/10.1007/978-3-031-42212-6_5 https://www.scopus.com/record/display.uri?eid=2-s2.0-85195008338&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-031-42212-6_5%29&sessionSearchId=971b6d536926a71d00c3665b57fa29cc&relpos=0
• Model based approach for testing: distributed real-time systems augmented with online monitorsPal, Deepak; Vain, JüriDatabases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings2018 / p. 142-157 https://doi.org/10.1007/978-3-319-97571-9_13 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-85052887148&origin=inward&txGid=aa3dc2bf8f0a8dbd8079ba598c58922c
• Model based continual planning and control framework for assistive robotsAnier, Aivo; Vain, JüriPECCS 2012 : final program and book of abstracts : 2nd International Conference on Pervasive and Embedded Computing and Communication Systems, Rome, Italy, 24-26 February, 20122012 / p. 45 https://www.scitepress.org/Papers/2012/38271/38271.pdf
• Model based continual planning and control framework for assistive robotsAnier, Aivo; Vain, JüriPECCS 2012 : proceedings of the 2nd International Conference on Pervasive and Embedded Computing and Communication Systems, Rome, Italy, 24-26 February, 20122012 / p. 403-406 https://www.scitepress.org/Papers/2012/38271/38271.pdf
• Model based continual planning and control framework for assistive robotsAnier, Aivo; Vain, JüriHEALTHINF 2012 : proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1-4 February, 20122012 / p. 382-385 https://www.scitepress.org/Papers/2012/38271/38271.pdf
• Model based framework for distributed control and testing of cyber-physical systems = Mudelipõhine raamistik küber-füüsikaliste süsteemide hajusjuhtimiseks ja -testimiseksAnier, Aivo2016 http://digi.lib.ttu.ee/i/?6133 https://www.ester.ee/record=b4601197*est
• Model based framework for testing distributed systemsPal, Deepak; Vain, JüriProceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere2014 / p. 91-94 : ill
• Model based Test framework for communications-critical internet of things systemsPal, Deepak; Vain, JüriDatabases and information systems X : selected papers from the thirteenth International Baltic Conference, DB&IS 20182019 / p. 79-94 https://www.ester.ee/record=b5203991*est https://doi.org/10.3233/978-1-61499-941-6-79 https://www.scopus.com/sourceid/19500157321 https://www.scopus.com/record/display.uri?eid=2-s2.0-85063345140&origin=inward&txGid=287ac5240cb295361509386765b31b38 https://www.webofscience.com/wos/woscc/full-record/WOS:000625446400006
• Model based testing of distributed time critical systemsVain, Jüri; Kanter, Gert; Srinivasan, Seshadhri2017 6th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO 2017) : Noida, India 20-22 September 20172017 / p. 99-105 : ill https://doi.org/10.1109/ICRITO.2017.8342406
• Model checking - a new challenge for design of complex computer-controlled systems [Electronic resource]Vain, Jüri; Küttner, Rein5th International Conference on Engineering Design and Automation 2001 : EDA Conference : Las Vegas, Nevada, USA : (refered conference papers)2001 / p. 593-598 : ill. [CD-ROM]
• Model checking emerging behavior properties of robot swarmsJuurik, Silver; Vain, Jüri21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings2009 / p. 68-70 https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms
• Model checking for planning resource-sharing productionVain, Jüri; Otto, Tauno; Kuusik, AlarProceedings 20th International Conference on CAD/CAM, Robotics and Factories of the Future : July 21, 22 and 23, 2004, San Cristobal - Venezuela2004 / p. 151-158 https://www.academia.edu/17640325/Model_Checking_for_Planning_Resource_Sharing_Production
• Model checking in pattern based control systems designVain, Jüri; Ernits, Juhan-Peep15th Triennial World Congress of the International Federation of Automatic Control : Barcelona, Spain, 21th-26th July, 2002 : final program, book of abstracts2002 / p. 112 https://www.sciencedirect.com/science/article/pii/S1474667015393666
• Model checking in pattern based control systems design [Electronic resource]Vain, Jüri; Ernits, Juhan-PeepProceedings of the 15th IFAC World Congress : Barcelona, Spain, 20022002 / [6] p. : ill. [CD-ROM] https://www.sciencedirect.com/science/article/pii/S1474667015393666#cekeyws10
• Model checking in planning resource-sharing based manufacturingOtto, Tauno; Vain, JüriInformation Control Problems in Manufacturing 2006 : a proceedings volume from the 12th IFAC International Symposium : St.Etienne, France. 22006 / p. 523-528 https://www.sciencedirect.com/science/article/pii/S1474667015359991
• Model checking in planning resource-sharing based manufacturingOtto, Tauno; Vain, Jüri12th IFAC Symposium on Information Control Problems in Manufacturing : preprints. Vol. II, Industrial Engineering2006 / p. 535-540 https://www.sciencedirect.com/science/article/pii/S1474667015359991
• Model checking of emergent behaviour properties of robot swarmsJuurik, Silver; Vain, JüriProceedings of the Estonian Academy of Sciences2011 / 1, p. 48-54 : ill https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms
• Model checking response times in Networked Automation Systems using jitter boundsSrinivasan, Seshadhri; Buonopane, Furio; Vain, Jüri; Ramaswamy, SriniComputers in industry2015 / p. 186-200 https://doi.org/10.1016/j.compind.2015.06.012 https://www.scopus.com/sourceid/19080 https://www.scopus.com/record/display.uri?eid=2-s2.0-84955198753&origin=inward&txGid=b0745f4339cb8b5990384a5fd40c0250 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=COMPUT%20IND&year=2015 https://www.webofscience.com/wos/woscc/full-record/WOS:000364893000015
• Model driven engineering in automatic test generationDomiczi, E.; Vain, JüriProceedings of the NWUML'2005 : The Nordic Workshop on UML and Software Modeling2005 / p. 208-216
• Model learning for reactive motion planning in assisting robotsVain, Jüri; Miyawaki, FujioModelling, Identification and Control (MIC2008) : February 11-13, 2008, Innsbruck, Austria2008 / p. 596-809 https://dl.acm.org/doi/10.5555/1722415.1722493
• Model-based analysis of secure and patient-dependent pacemaker monitoring systemTsiopoulos, Leonidas; Kuusik, Alar; Vain, Jüri; Bahsi, HayretdinBody Area Networks. Smart IoT and Big Data for Intelligent Health : 15th EAI International Conference, BODYNETS 2020, Tallinn, Estonia, October 21, 2020 : proceedings2020 / p. 77-91 https://doi.org/10.1007/978-3-030-64991-3_6 https://www.scopus.com/sourceid/21100220348 https://www.scopus.com/record/display.uri?eid=2-s2.0-85098261411&origin=inward&txGid=6698489899bbdbd4b8cf467742c26840
• A model-based approach for design and verification of Industrial Internet of ThingsMuthukumar, Natarajan; Srinivasan, Seshadhri; Ramkumar, Kannan; Pal, Deepak; Vain, Jüri; Ramaswamy, SriniFuture generation computer systems2019 / p. 354-363 : ill https://doi.org/10.1016/j.future.2018.12.012 https://www.scopus.com/sourceid/12264 https://www.scopus.com/record/display.uri?eid=2-s2.0-85060110798&origin=inward&txGid=3c14b03ae74608c4192158fb37ecb2c2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=FUTURE%20GENER%20COMP%20SY&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000465509600029
• Model-based integration testing of ROS packages : a mobile robot case studyErnits, Juhan-Peep; Halling, Evelin; Kanter, Gert; Vain, Jüri2015 European Conference on Mobile Robots : Lincoln, United Kingdom, September 2-4, 2015 : conference proceedings2015 / [7] p. : ill http://dx.doi.org/10.1109/ECMR.2015.7324210
• Model-based maintenance scheduling in flexible modular automation systemsPal, Deepak; Vain, Jüri; Srinivasan, Seshadhri; Ramaswamy, Srini2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2017) : Limassol, Cyprus, 12 - 15 September 2017 : pages 1-6782017 / p. 1203-1208 : ill http://doi.org/10.1109/ETFA.2017.8247738
• Model-based synthesis of reactive planning on-line testers for non-deterministic embedded systemsKääramees, Marko; Vain, Jüri; Raiend, KulloBEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia2010 / p. 189-192 : ill
• Model-based testing framework for autonomous multi-robot systems = Mudelipõhine testimisraamistik autonoomsetele multirobotsüsteemideleKanter, Gert2020 https://digikogu.taltech.ee/et/Item/575133f2-f94a-49d4-a7c9-0615b54ae139 https://doi.org/10.23658/taltech.19/2020
• Model-based testing of autonomous robots using TestItKanter, Gert; Vain, JüriJournal of reliable intelligent environments2020 / p. 15-30 https://doi.org/10.1007/s40860-019-00095-w https://www.scopus.com/sourceid/21100901156 https://www.scopus.com/record/display.uri?eid=2-s2.0-85077558124&origin=inward&txGid=f8938b9d6967d877ea6245670ea2f064
• Model-based testing of reactive systems = Reaktiivsete süsteemide mudelipõhine testimineKull, Andres2009 https://www.ester.ee/record=b2539853*est
• Model-based testing of real-time distributed systemsVain, Jüri; Halling, Evelin; Kanter, Gert; Anier, Aivo; Pal, DeepakDatabases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings2016 / p. 272-286 : ill https://doi.org/10.1007/978-3-319-40180-5_19 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-84979053273&origin=inward&txGid=80048c8db5e1376a7429e2600ab98122 https://www.webofscience.com/wos/woscc/full-record/WOS:000389806000019
• Model-based testing of real-time distributed systems = Reaalaja hajussüsteemide mudelipõhine testiminePal, Deepak2020 https://www.ester.ee/record=b5389209*est https://digikogu.taltech.ee/et/Item/b919afec-e786-4e14-9918-7d8db3b20cfe
• Modeling for multi-view interference analysis of design aspects in MPSoC designsVain, Jüri; Apneet Kaur; Tsiopoulos, Leonidas; Raik, Jaan; Jenihhin, MaksimRESCUE 2017 : Workshop on Reliability, Security and Quality : ETS17 Fringe Workshop, May 25-26, 2017, Limassol, Cyprus2017 / p. 1-6 http://www.ets17.org.cy/workshop/rescue-workshop.html
• Modelling critical systems with timing constraints in Event-B [Electronic resource]Siavashi, Faezeh; Waldén, Marina; Tsiopoulos, Leonidas; Vain, Jüri25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : abstracts2013 / p. 70-72 : ill [USB]
• Multi-fragment Markov model guided online test generation for MPSoCVain, Jüri; Tsiopoulos, Leonidas; Kharchenko, Vyacheslav; Apneet Kaur; Jenihhin, Maksim; Raik, JaanICTERI 2017 : ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer : proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, May 15-18, 20172017 / p. 594-607 : ill http://www.scopus.com/inward/record.uri?eid=2-s2.0-85020540459&partnerID=40&md5=af226e25c344c52689f23bf5c39cc267 http://ceur-ws.org/Vol-1844/10000594.pdf https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-85020540459&origin=inward&txGid=822a1c19d42faa05854df1b2bd3d60ba
• Multi-view modeling for MPSoC design aspects [Online resource]Vain, Jüri; Apneet Kaur; Tsiopoulos, Leonidas; Raik, Jaan; Jenihhin, MaksimBEC 2018 : 2018 16th Biennial Baltic Electronics Conference (BEC) : proceedings of the 16th Biennial Baltic Electronics Conference, October 8-10, 20182018 / 4 p.: ill https://doi.org/10.1109/BEC.2018.8600986
• On mutating UPPAAL timed automata to assess robustness of web servicesSiavashi, Faezeh; Truscan, Dragos; Vain, JüriProceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016). Vol. 1, ICSOFT-EA2016 / p. 15-26 : ill http://dx.doi.org/10.5220/0005970800150026
• Online testing of nondeterministic systems with the reactive planning testerVain, Jüri; Kääramees, Marko; Markvardt, MailiDependability and computer engineering : concepts for software-intensive systems2012 / p. 113-150 : ill https://www.igi-global.com/chapter/online-testing-nondeterministic-systems-reactive/55327
• Ontology merging using the weak unification of conceptsKuusik, Norman; Vain, JüriBig Data and Cognitive Computing2024 / art. 98 https://doi.org/10.3390/bdcc8090098 https://www.scopus.com/sourceid/21101020112 https://www.scopus.com/record/display.uri?eid=2-s2.0-85204940537&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.3390%2Fbdcc8090098%29&sessionSearchId=442fbb74631182ec7fe7ff1a8fe86a34&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=BIG%20DATA%20COGN%20COMPUT&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001323313400001
• Optimization of the structure of multi-parameter multi-level selectionLittover, Mati; Randvee, Ingmar; Riismaa, Tiit; Vain, Jüri17th International Conference on CAD/CAM, Robotics and Factories of the Future : CARS & FOF 2001 : Durban, South Africa, 10th-12th July 2001 : proceedings. Volume 12001 / p. 317-322 : ill
• Pattern based analysis of fractal manufacturing systems [Electronic resource]Jääger, Kadi; Vain, JüriINCOM 2004 : 11th IFAC Symposium on Information Control Problems in Manufacturing : Salvador, Brasil, April 5-7, 2004 : preprints proceedings2005 / [6] p. [CD-ROM] https://www.sciencedirect.com/science/article/pii/S1474667017361529
• Pattern-based modeling and planning of machining systemsJääger, Kadi; Vain, JüriMachine engineering2004 / 1/2, p. 97-106
• PrefaceUustalu, Tarmo; Vain, Jüri31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. iii https://doi.org/10.23658/taltech.nwpt/2019
• PrefaceBellatreche, Ladjel; Chernishev, George; Corral, Antonio; Ouchani, Samir; Vain, JüriAdvances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops : DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. v-vii https://link.springer.com/content/pdf/bfm:978-3-030-87657-9/1?pdf=chapter%20toc https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-85117443149&origin=inward&txGid=b80cd4b99e9759e9dca9695df9d59373
• PrefaceJohri, Prashant; Anand, Adarsh; Vain, Jüri; Singh, Jagvinder; Quasim, Mohammad TabrezSystem assurances : modeling and management2022 https://doi.org/10.1016/B978-0-323-90240-3.09998-7
• Provably correct aspect-oriented modeling with UPPAAL timed automataVain, Jüri; Tsiopoulos, Leonidas; Kanter, GerdSystem assurances : modeling and management2022 / p. 447-476 https://doi.org/10.1016/B978-0-323-90240-3.00025-4
• Provably correct configuration management of precision feeding in Agriculture4.0Kanter, Gert; Vain, Jüri; Srinivasan, Seshadhri; Ramaswamy, Srini2019 IEEE International Conference on Systems, Man and Cybernetics (SMC)2019 / p. 1631–1637 : ill https://doi.org/10.1109/SMC.2019.8914057
• Provably correct test development for timed systemsVain, Jüri; Anier, Aivo; Halling, EvelinDatabases and information systems VIII : selected papers from the Eleventh International Baltic Conference, DB&IS 20142014 / p. 289-302 : ill https://doi.org/10.3233/978-1-61499-458-9-289 https://www.scopus.com/sourceid/19500157321 https://www.scopus.com/record/display.uri?eid=2-s2.0-84911488779&origin=inward&txGid=f7cdcf5c12732d1f0bdf01829c35e145 https://www.webofscience.com/wos/woscc/full-record/WOS:000362357700021
• Provably correct test generation for online testing of timed systemsVain, Jüri; Anier, Aivo; Halling, EvelinDatabases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 20142014 / p. 337-348 : ill
• Põhjamaade programmeerimisteoreetikud Eestis : [TTÜ arvutiteaduse instituudi ja Küberneetika Instituudi korraldatud konverentsist "Nordic Workshop on Programming Theory (NWPT) 2002. a.]Vain, JüriMente et Manu2003 / 14. jaan., lk. 3 : fot https://www.ester.ee/record=b1242496*est
• Reactive testing of nondeterministic systems by test purpose-directed testerVain, Jüri; Kull, Andres; Kääramees, Marko; Markvardt, Maili; Raiend, KulloModel-based testing for embedded systems2012 / p. 425-452 : ill https://www.researchgate.net/publication/234117187_Reactive_Testing_of_Nondeterministic_Systems_by_Test_Purpose-Directed_Tester
• Recognition of the surgeon's motions during endoscopic operation by statistics based algorithm and neural networks based ANARX modelsNõmm, Sven; Petlenkov, Eduard; Vain, Jüri; Belikov, Juri; Miyawaki, Fujio; Yoshimitsu, KitaroProceedings of the 17th World Congress The International Federation of Automatic Control : Seoul, Korea, July 6-11, 20082008 / p. 14773-14778 https://www.sciencedirect.com/science/article/pii/S1474667016413662
• Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward inductionIqbal, Junaid; Truscan, Dragos; Vain, Jüri; Porres, IvanProceedings of the Fifth European Conference on the Engineering of Computer-Based Systems2017 / 10 pages : ill https://doi.org/10.1145/3123779.3123813 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85030308212&origin=inward&txGid=01c0baaedd6542ed808807eb0980ff85 https://www.webofscience.com/wos/woscc/full-record/WOS:000434851300006
• Refinement-based development of timed systemsBerthing, Jesper; Boström, Pontus; Sere, Kaisa; Tsiopoulos, Leonidas; Vain, JüriIntegrated Formal Methods : 9th International Conference IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings2012 / p. 69-83 : ill https://link.springer.com/chapter/10.1007/978-3-642-30729-4_6
• RFID-based communications for a self-organizing robot swarmTammet, Tanel; Vain, Jüri; Puusepp, Andres; Reilent, Enar; Kuusik, AlarSASO 2008 : Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems : 20-24 October, 2008, Venice, Italy : proceedings2008 / p. 45-54 https://ieeexplore.ieee.org/document/4663409
• RFID-based knowledge space for service robot swarms [Electronic resource]Tammet, Tanel; Vain, Jüri; Kuusik, AlarProceedings of the 3rd COE Workshop on Human Adaptive Mechatronics (HAM) : 3-4 March 2006, Tokyo Denki University, Japan2006 / [6] p. [CD-ROM]
• Robot kirurgiasVain, JüriHorisont2009 / 1, lk. 39-41 : ill https://artiklid.elnet.ee/record=b1069483*est
• Robot swarmsVain, JüriIntegrated systems and design : interstudy, May 9, 20082008 / p. 54-64 : ill
• Robotite oskused järjest paranevadToomla, Silver; Vain, JüriÄripäev2007 / 12. veebr., lk. 28
• Robotite parvedVain, JüriHorisont2007 / 3, lk. 46-47 : ill https://artiklid.elnet.ee/record=b2040577*est
• Safety verification of degrading mechatronic systemsVain, Jüri; Kuusik, Alar; Kaljas, FridThe Fourth International Conference on Machine Automation : Human-Friendly Reliable Mechatronics, September 11-13, 2002, Tampere, Finland : proceedings of the ICMA'022002 / p. 615-622 : ill
• Scenario oriented model-based testing = Stsenaariumjuhitud mudelipõhine testimineHalling, Evelin2019 https://digi.lib.ttu.ee/i/?11943
• Scheme development for specification hybrid components of control systemsVain, Jüri; Kuusik, Alar; Kääramees, MarkoCAx Techniques : proceedings of the 4th International Scientific Colloquium : Bielefeld, Germany, September 13-15, 19991999 / p. 483-491
• Scrub nurse robot system - intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgeryMiyawaki, Fujio; Masamune, Ken; Suzuki, Satoshi; Yoshimitsu, Kitaro; Vain, JüriIEEE transactions on industrial electronics2005 / 5, p. 1227-1235 : ill https://ieeexplore.ieee.org/abstract/document/1512454
• (Semi-)Automatic generation of Uppaal models for model checking embedded control systemsErnits, Juhan-Peep; Vain, Jüri14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstracts2002 / p. 45-46
• Software architecture for swarm mobile robotsVain, Jüri; Tammet, Tanel; Kuusik, Alar; Reilent, EnarBEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia2008 / p. 231-234 : ill
• Solving line balancing problems with model checkingVain, Jüri; Randvee, Ingmar; Riismaa, Tiit; Ernits, Juhan-PeepProceedings of the Estonian Academy of Sciences. Engineering2002 / 4, p. 211-222 : ill https://artiklid.elnet.ee/record=b1011298*est
• Specification of hybrid components of control systemsVain, Jüri; Kuusik, Alar; Kääramees, MarkoPreprints of the 5th IFAC Workshop on Intelligent Manufacturing Systems IMS'98, November 9-11 1998, Gramado - RS, Brazil1998 / p. 83-88: ill https://www.sciencedirect.com/science/article/pii/S147466701741007X
• Supervised training of voting automata for the surgeon's motion recognition during laparoscope surgeryVain, Jüri; Nõmm, Sven; Anier, Aivo; Miyawaki, Fujio; Totskaya, TatianaIEEE International Conference on Control and Automation : ICCA 2009 : Christchurch, New Zealand, December 9-11, 20092009 / p. 1503-1508
• A symbolic approach to model-based online testing = Mudelipõhine online-testimine kasutades sümbolarvutustKääramees, Marko2012 http://www.ester.ee/record=b2890159*est
• Synthesis of on-line planning tester for non-deterministic EFSM modelsKääramees, Marko; Vain, Jüri; Raiend, KulloTesting - Practice and Research Techniques : 5th International Academic and Industrial Conference TAIC PART 2010 : Windsor, UK, September 3-5, 2010 : proceedings2010 / p. 147-154 https://link.springer.com/chapter/10.1007/978-3-642-15585-7_14
• Synthesis of test purpose directed reactive planning tester for nondeterministic systemsVain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan-Peep22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) : November 5-9, 2007, Atlanta, Georgia, USA2007 / p. 363-372 https://www.researchgate.net/publication/220883693_Synthesis_of_test_purpose_directed_reactive_planning_tester_for_nondeterministic_systems
• Synthesis of test purpose directed reactive planning tester for nondeterministic systems (extended abstracts)Vain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan-PeepNWTP'07/FLACOS'07 Workshop Proceedings : Oslo, 10-12 October 20072007 / p. 55-57
• System assurances : modeling and management2022 https://doi.org/10.1016/C2020-0-03092-6
• A systematic approach on modeling refinement and regression testing of real-time distributed systemsPal, Deepak; Vain, JüriIFAC-PapersOnLine2019 / p. 1091-1096 https://doi.org/10.1016/j.ifacol.2019.11.341 https://www.scopus.com/sourceid/21100456158 https://www.scopus.com/record/display.uri?eid=2-s2.0-85078950149&origin=inward&txGid=7c1a90e272f89fe6bd25522692543fdf https://www.webofscience.com/wos/woscc/full-record/WOS:000504282400186
• TEA entsüklopeedia2012 https://www.ester.ee/record=b2869027*est
• TEA entsüklopeedia2013 https://www.ester.ee/record=b2925120*est
• TEA entsüklopeediaEerme, Kalju; Loide, Rein-Karl; Nõlvak, Jaak; Alver, Jaan; Purju, Alari; Kask, Jüri; Kõiv, Teet-Andrus; Mespak, Vello; Metsaveer, Jaan; Mõisnik, Kuulo; Raado, Lembi-Merike; Vain, Jüri2014
• Tehnoloogiad, mis muudavad maailmaVain, JüriA & A2003 / 6, lk. 5-8 https://artiklid.elnet.ee/record=b1014276*est
• Temporal multi-view contracts for efficient test modelsGuin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas; Valdek, GertDigital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings2022 / p. 136–151 https://doi.org/10.1007/978-3-031-09850-5_10 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-85134332370&origin=inward&txGid=a1a029faf39f6ca02b9ba656440c0e90
• Temporal multi-view contracts help developing efficient test modelsGuin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas; Valdek, GertBaltic journal of modern computing2022 / p. 710-737 https://doi.org/10.22364/bjmc.2022.10.4.07 https://www.scopus.com/sourceid/21100983350 https://www.scopus.com/record/display.uri?eid=2-s2.0-85145471459&origin=inward&txGid=4e8e17b35aa48b2bc65ce338cdc1c6f7 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=BALT%20J%20MOD%20COMPUT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000918356500008
• Tempus JEP-06145 : [projekt "Infotehnoloogia ja teoreetilise informaatika hariduse arenduskeskus Eesti ülikoolidele"]Vain, JüriArvutustehnika ja Andmetöötlus1994 / 2, lk. 28-32
• Test scenario specification language for model-based testingHalling, Evelin; Vain, Jüri; Boyarchuk, Artem; Illiashenko, OlegInternational Journal of Computing2019 / p. 408-421 : ill http://www.computingonline.net/computing/article/view/1611 https://doi.org/10.47839/ijc.18.4.1611 https://www.scopus.com/sourceid/21100820054 https://www.scopus.com/record/display.uri?eid=2-s2.0-85085130655&origin=inward&txGid=818053d1e0dbdcb1c1dabc1219dd574c
• Tester partitioning and synchronization algorithm for testing real-time distributed systemsPal, Deepak; Vain, JüriProceedings of the 10th Junior Researcher Workshop on Real-Time Computing : JRWRTC 2016 : Brest, France, October 19-21, 20162016 / p. 13-16 : ill http://jrwrtc2016.gforge.inria.fr/
• Testing web services with model-based mutationSiavashi, Faezeh; Iqbal, Junaid; Truscan, Dragos; Vain, JüriSoftware Technologies : 11th International Joint Conference, ICSOFT 2016 : Lisbon, Portugal, July 24–26, 2016 : revised selected papers2017 / p. 45-67 https://doi.org/10.1007/978-3-319-62569-0_3 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-85026628553&origin=inward&txGid=4c5168498caaa83d17681568fd3fe004 https://www.webofscience.com/wos/woscc/full-record/WOS:000449937200003
• TestIt: an open-source scalable long-term autonomy testing toolkit for ROSKanter, Gert; Vain, JüriConference Proceedings of 2019 10th International Conference on Dependable Systems, Services and Technologies DESSERT’2019, United Kingdom, Leeds, June 5-7, 20192019 / art. 8770011, p. 45-50 http://dx.doi.org/10.1109/DESSERT.2019.8770011
• The Crisis Management System - a case study on aspect-oriented modelling with UPPAALIqbal, Junaid; Truscan, Dragos; Porres, Ivan; Tsiopoulos, Leonidas; Vain, Jüri2016 http://tucs.fi/publications/view/?pub_id=tIqTsTrVaPo16a
• The journal of logic and algebraic programming2010 https://www.ester.ee/record=b1200932*est
• 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
• 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
• Time semantics of executable activity diagrams for relativized conformance testingIqbal, Junaid; Truscan, Dragos; Vain, JüriMODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings2020 / p. 251-256 https://doi.org/10.1145/3417990.3421399
• Timed automata based provably correct robot controlAnier, Aivo; Vain, JüriBEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia2010 / p. 201-204 : ill
• Towards a high-level programming language for IoT and roboticsKanter, Gert; Vain, Jüri; Fazeldehkordi, Elahe; Owe, Olaf32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 20212021 / 3 p http://icetcs.ru.is/nwpt21/abstracts/paper8.pdf http://icetcs.ru.is/nwpt21/programme.html
• Towards better specifications for software outsourcingLump, Peeter; Ernits, Juhan-Peep; Vain, JüriDatabases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 20142014 / p. 453-458 : ill
• Towards context-sensitive dialogue with robot companionVain, Jüri; Sarapuu, HelenaBEC 2014 : 2014 14th Biennial Baltic Electronics Conference : proceedings of the 14th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 6-8, 2014, Tallinn, Estonia2014 / p. 205-208 : ill
• Towards scalable proofs of robot swarm dependabilityVain, Jüri; Tammet, Tanel; Kuusik, Alar; Juurik, SilverBEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia2008 / p. 199-202 : ill
• 20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstractsUustalu, Tarmo; Vain, Jüri; Ernits, Juhan-Peep2008 https://www.ester.ee/record=b2435749*est
• Two phase technique for assembly line balancingVain, Jüri; Randvee, Ingmar; Riismaa, TiitPreprints of the 16th IFAC World Congress : Prague, Czech Republic, July 3-8, 20052005 / [6] p https://www.sciencedirect.com/science/article/pii/S1474667016375176
• Two state space reduction techniques for explicit state model checking = Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollisErnits, Juhan-Peep2007 https://digi.lib.ttu.ee/i/?162
• A two-phase metamorphic approach for testing industrial control systemsSudheerbabu, Gaadha; Ahmad, Tanwir; Sebek, Filip; Truscan, Dragos; Vain, Jüri; Porres, Ivan2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) : proceedings2022 / 4 p https://doi.org/10.1109/ETFA52439.2022.9921439
• Using RFID tags for robot swarm cooperationTammet, Tanel; Vain, Jüri; Kuusik, AlarWSEAS transactions on systems2006 / 5, p. 1121-1128
• Verifying response times in networked automation systems using jitter boundsSrinivasan, Seshadhri; Vain, JüriIEEE 25th International Symposium on Software Reliability Engineering Workshops : ISSREW 2014 : 3-6 November 2014, Naples, Italy : proceedings2014 / p. 47-50 : ill
• Vulnerability assessment of web services with model-based mutation testingSiavashi, Faezeh; Truscan, Dragos; Vain, Jüri2018 IEEE 18th International Conference on Software Quality, Reliability, and Security - QRS 2018 - : 16–20 July 2018, Lisbon, Portugal : proceedings2018 / p. 301–312 : ill http://doi.org/10.1109/QRS.2018.00043