Gert Kanter

According to our database, Gert Kanter authored at least 7 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata.

Jüri Vain, Leonidas Tsiopoulos, Gert Kanter

Proceedings of the Model and Data Engineering - 10th International Conference, 2021

2020

Model-based testing of autonomous robots using TestIt.

Gert Kanter, Jüri Vain

J. Reliab. Intell. Environ., 2020

2019

Provably Correct Configuration Management of Precision Feeding in Agriculture4.0.

Gert Kanter, Juri Vain, Seshadhri Srinivasan, Srini Ramaswamy

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

TestIt: an Open-Source Scalable Long-Term Autonomy Testing Toolkit for ROS.

Gert Kanter, Jüri Vain

Proceedings of the 10th International Conference on Dependable Systems, 2019

2016

Automatic Distribution of Local Testers for Testing Distributed Systems.

Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal

Proceedings of the Databases and Information Systems IX, 2016

Model-Based Testing of Real-Time Distributed Systems.

Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal

Proceedings of the Databases and Information Systems, 2016

2015

Model-based integration testing of ROS packages: A mobile robot case study.

Juhan P. Ernits, Evelin Halling, Gert Kanter, Jüri Vain

Proceedings of the 2015 European Conference on Mobile Robots, 2015