Aivo Anier

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2014
Provably Correct Test Development for Timed Systems.
Proceedings of the Databases and Information Systems VIII, 2014

2012
Model based Continual Planning and Control Framework for Assistive Robots.
Proceedings of the PECCS 2012, 2012

Model based Continual Planning and Control for Assistive Robots.
Proceedings of the HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1, 2012


  Loading...