Gert Kanter

Orcid: 0000-0002-8201-8540

According to our database1, Gert Kanter authored at least 8 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Enhancing Cerebral Palsy Gait Analysis with 3D Computer Vision: A Dual-Camera Approach.
Proceedings of the 10th International Conference on Control, 2024

2021
Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata.
Proceedings of the Model and Data Engineering - 10th International Conference, 2021

2020
Model-based testing of autonomous robots using TestIt.
J. Reliab. Intell. Environ., 2020

2019
Provably Correct Configuration Management of Precision Feeding in Agriculture4.0.
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.
Proceedings of the 10th International Conference on Dependable Systems, 2019

2016
Automatic Distribution of Local Testers for Testing Distributed Systems.
Proceedings of the Databases and Information Systems IX, 2016

Model-Based Testing of Real-Time Distributed Systems.
Proceedings of the Databases and Information Systems, 2016

2015
Model-based integration testing of ROS packages: A mobile robot case study.
Proceedings of the 2015 European Conference on Mobile Robots, 2015


  Loading...