Searching - TalTech Research Portal

display

sort

1

book article EST / book article ENG

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

book article EST / book article ENG

2

book article EST / book article ENG

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

book article EST / book article ENG

3

journal article EST / journal article ENG

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

journal article EST / journal article ENG

4

book article

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

book article

5

book article

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

book article

6

dissertation

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

dissertation

7

journal article EST / journal article ENG

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

journal article EST / journal article ENG

8

book article EST / book article ENG

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

book article EST / book article ENG

9

book article

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

book article

10

newspaper article

TalTechi teadlaste loodud tehisintellektsüsteem muudab laokaupade liigutamise lihtsamaks, efektiivsemaks ja turvalisemaksari.geenius.ee2023 TalTechi teadlaste loodud tehisintellektsüsteem muudab laokaupade liigutamise lihtsamaks, efektiivsemaks ja turvalisemaks

newspaper article

11

book article

Test scenario generator learning for model-based testing of mobile robotsKanter, Gert; Liibert, Marti IngmarSystem assurances : modeling and management2022 / p. 67-84 https://doi.org/10.1016/B978-0-323-90240-3.00005-9

book article

12

book article

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

book article

13

book article

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

book article

Kanter, Gert (author)

types of item

author 19

name of the person 12

CV 9