Aivo Anier

According to our database, Aivo Anier authored at least 5 papers between 2012 and 2016.

Collaborative distances:

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

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

2014

Provably Correct Test Development for Timed Systems.

Jüri Vain, Aivo Anier, Evelin Halling

Proceedings of the Databases and Information Systems VIII, 2014

2012

Model based Continual Planning and Control Framework for Assistive Robots.

Aivo Anier, Jürgo Vain

Proceedings of the PECCS 2012, 2012

Model based Continual Planning and Control for Assistive Robots.

Aivo Anier, Jürgo Vain

Proceedings of the HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1, 2012