Searching - TalTech Research Portal

display

sort

1

book article EST / book article ENG

Automatic distribution of local testers for testing distributed systemsVain, Jüri; Halling, Evelin; Kanter, Gert; Anier, Aivo; Pal, DeepakDatabases and information systems IX : selected papers from the twelfth International Baltic Conference, DB&IS 20162016 / p. 297-310 : ill https://doi.org/10.3233/978-1-61499-714-6-297 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

2

journal article EST / journal article ENG

DTRON : a tool for distributed model-based testing of time critical applicationsAnier, Aivo; Vain, Jüri; Tsiopoulos, LeonidasProceedings of the Estonian Academy of Sciences2017 / p. 75-88 : ill https://doi.org/10.3176/proc.2017.1.08 http://www.ester.ee/record=b2355998*est Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

3

book article

Human-robot interaction learning using timed automataVain, Jüri; Miyawaki, Fujio; Nõmm, Sven; Totskaya, Tatiana; Anier, AivoICCAS-SICE 2009 : ICROS-SICE International Joint Conference 2009 : Fukuoka City, Japan, August 18-21, 2009 : final program and papers2009 / p. 2037-2043 https://ieeexplore.ieee.org/document/5334368

book article

4

journal article EST / journal article ENG

Integration of ‘Central’ and ‘Peripheral’ Nervous Systems in Scrub Nurse Robot and Comparison Between ‘Voluntary’ and ‘Reflex’ MovementsMiyawaki, Fujio; Suzuki, Miho; Anier, Aivo; Vain, JüriIFAC-PapersOnLine2019 / p. 229-234 : ill https://doi.org/10.1016/j.ifacol.2019.12.103 Conference proceedings at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

5

journal article EST / journal article ENG

Learning timed automata from interaction tracesVain, Jüri; Kanter, Gert; Anier, AivoIFAC-PapersOnLine2019 / p. 205-210 https://doi.org/10.1016/j.ifacol.2019.12.097 Conference proceedings at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

6

book article

Model based continual planning and control framework for assistive robotsAnier, Aivo; Vain, JüriPECCS 2012 : final program and book of abstracts : 2nd International Conference on Pervasive and Embedded Computing and Communication Systems, Rome, Italy, 24-26 February, 20122012 / p. 45 https://www.scitepress.org/Papers/2012/38271/38271.pdf

book article

7

book article

Model based continual planning and control framework for assistive robotsAnier, Aivo; Vain, JüriPECCS 2012 : proceedings of the 2nd International Conference on Pervasive and Embedded Computing and Communication Systems, Rome, Italy, 24-26 February, 20122012 / p. 403-406 https://www.scitepress.org/Papers/2012/38271/38271.pdf

book article

8

book article

Model based continual planning and control framework for assistive robotsAnier, Aivo; Vain, JüriHEALTHINF 2012 : proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1-4 February, 20122012 / p. 382-385 https://www.scitepress.org/Papers/2012/38271/38271.pdf

book article

9

dissertation

Model based framework for distributed control and testing of cyber-physical systems = Mudelipõhine raamistik küber-füüsikaliste süsteemide hajusjuhtimiseks ja -testimiseksAnier, Aivo2016 http://digi.lib.ttu.ee/i/?6133 https://www.ester.ee/record=b4601197*est

dissertation

10

book article EST / book article ENG

Model-based testing of real-time distributed systemsVain, Jüri; Halling, Evelin; Kanter, Gert; Anier, Aivo; Pal, DeepakDatabases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings2016 / p. 272-286 : ill https://doi.org/10.1007/978-3-319-40180-5_19 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

11

book article

Provably correct test development for timed systemsVain, Jüri; Anier, Aivo; Halling, EvelinDatabases and information systems VIII : selected papers from the Eleventh International Baltic Conference, DB&IS 20142014 / p. 289-302 : ill

book article

12

book article

Provably correct test generation for online testing of timed systemsVain, Jüri; Anier, Aivo; Halling, EvelinDatabases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 20142014 / p. 337-348 : ill

book article

13

book article

Self-organization in ad hoc wireless networksKirt, Toomas; Anier, AivoBEC 2006 : 2006 International Baltic Electronics Conference : Tallinn University of Technology, October 2-4, 2006, Tallinn, Estonia : proceedings of the 10th Biennial Baltic Electronics Conference2006 / p. 149-152 : ill

book article

14

book article

Supervised training of voting automata for the surgeon's motion recognition during laparoscope surgeryVain, Jüri; Nõmm, Sven; Anier, Aivo; Miyawaki, Fujio; Totskaya, TatianaIEEE International Conference on Control and Automation : ICCA 2009 : Christchurch, New Zealand, December 9-11, 20092009 / p. 1503-1508

book article

15

book article

Timed automata based provably correct robot controlAnier, Aivo; Vain, JüriBEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia2010 / p. 201-204 : ill

book article

16

book article

Trainable real-time motion recognitionAnier, AivoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 91-92 : ill

book article

Anier, Aivo (author)

types of item

author 18

CV 8

name of the person 5