Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

2

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

3

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

4

artikkel kogumikus

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

artikkel kogumikus

5

artikkel kogumikus

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

artikkel kogumikus

6

dissertatsioon

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

dissertatsioon

7

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

8

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

9

artikkel kogumikus

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

artikkel kogumikus

10

artikkel ajalehes

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

artikkel ajalehes

11

artikkel kogumikus

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

artikkel kogumikus

12

artikkel kogumikus

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

artikkel kogumikus

13

artikkel kogumikus

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

artikkel kogumikus

Kanter, Gert (autor)

teaviku laadid

autor 19

tema kohta 12

CV 9