Model-based integration testing of ROS packages: A mobile robot case study. - Juhan P. Ernits; Evelin Halling; Gert Kanter; Jüri Vain (ECMR, 2015)

Model-Based Testing of Real-Time Distributed Systems. - Jüri Vain; Evelin Halling; Gert Kanter; Aivo Anier; Deepak Pal (DB&IS, 2016)

Automatic Distribution of Local Testers for Testing Distributed Systems. - Jüri Vain; Evelin Halling; Gert Kanter; Aivo Anier; Deepak Pal (DB&IS (Selected Papers), 2016)

TestIt: an Open-Source Scalable Long-Term Autonomy Testing Toolkit for ROS. - Gert Kanter; Jüri Vain (DESSERT, 2019)

Provably Correct Configuration Management of Precision Feeding in Agriculture4.0. - Gert Kanter; Juri Vain; Seshadhri Srinivasan; Srini Ramaswamy (SMC, 2019)

Model-based testing of autonomous robots using TestIt. - Gert Kanter; Jüri Vain (J. Reliab. Intell. Environ., 2020)

Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata. - Jüri Vain; Leonidas Tsiopoulos; Gert Kanter (MEDI, 2021)

Enhancing Cerebral Palsy Gait Analysis with 3D Computer Vision: A Dual-Camera Approach. - Elli Valla; Gert Kanter; Sven Nõmm; Anton Osvald Kuusk; Peeter Maran; Karl Mihkel Seenmaa; Killu Mägi; Aaro Toomela (CoDIT, 2024)