Aivo Anier

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 2

Top Topics

Autonomous Systems

Fault Tolerance

Distributed Systems

Top Venues

DB&IS (Selected Papers)

Publications

Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal
Automatic Distribution of Local Testers for Testing Distributed Systems. DB&IS (Selected Papers) (2016)
Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal
Model-Based Testing of Real-Time Distributed Systems. DB&IS (2016)
Jüri Vain, Aivo Anier, Evelin Halling
Provably Correct Test Development for Timed Systems. DB&IS (2014)
Aivo Anier, Jürgo Vain
Model based Continual Planning and Control for Assistive Robots. HEALTHINF (2012)
Aivo Anier, Jürgo Vain
Model based Continual Planning and Control Framework for Assistive Robots. PECCS (2012)