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

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 http://dx.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

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

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 Conference Proceedings at Scopus Article at Scopus

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 http://dx.doi.org/10.3233/978-1-61499-714-6-297

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

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 http://dx.doi.org/10.1016/j.micpro.2015.12.006

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

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

Eesti teadlased tegid tarkvara, mis ennetab küberrünnakuidPihel, Hele-Riinpostimees.ee2023 Eesti teadlased tegid tarkvara, mis ennetab küberrünnakuid

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 Article collection at Scopus Article at Scopus

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

ForewordVain, Jüri; Uustalu, TarmoProceedings of the Estonian Academy of Sciences. Physics. Mathematics2003 / 4, p. 334

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 Conference proceedings at Scopus Article at Scopus Article at WOS

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 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

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

Guest editors' forewordUustalu, Tarmo; Vain, JüriJournal of logical and algebraic methods in programming2016 / p. 1109 http://dx.doi.org/10.1016/j.jlamp.2016.10.004

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]

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 Conference proceedings at Scopus Article at Scopus Article at WOS

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 Conference proceedings at Scopus Article at Scopus

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

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 Jüri Vain: tehisintellekt on palju enamat kui masinõpe

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 http://dx.doi.org/10.1016/j.enbuild.2016.05.059

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 Conference proceedings at Scopus Article at Scopus Article at WOS

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 Conference proceedings at Scopus Article at Scopus

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

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 Conference proceedings at Scopus Article at Scopus Article at WOS

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

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

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]

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 http://dx.doi.org/10.1016/j.compind.2015.06.012

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

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 Journal metrics at scopus Article at Scopus

A model-based approach for design and verification of Industrial Internet of ThingsMuthukumar, Natarajan; Sriniavsan, 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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus

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 http://dx.doi.org/10.1007/978-3-319-40180-5_19

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

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

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]

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 Article collection metrics at Scopus Article at Scopus

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

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

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

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 http://www.scopus.com/inward/record.uri?eid=2-s2.0-85030308212&doi=10.1145%2f3123779.3123813&partnerID=40&md5=f8e67104732f8b81c63e00a4dbaf645e

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

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

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

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

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 Conference proceedings at Scopus Article at Scopus Article at WOS

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

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 Conference proceedings at Scopus Article at Scopus

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus

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 http://doi.org/10.1007/978-3-319-62569-0_3

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

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