Jüri Vain
Title
Cited by
Cited by
Year
Scrub nurse robot system-intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgery
F Miyawaki, K Masamune, S Suzuki, K Yoshimitsu, J Vain
IEEE Transactions on Industrial Electronics 52 (5), 1227-1235, 2005
882005
Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL
S Balasubramaniyan, S Srinivasan, F Buonopane, B Subathra, J Vain, ...
Microprocessors and microsystems 42, 37-48, 2016
252016
Nn-based anarx model of the surgeon’s hand for the motion recognition
S Nõmm, E Petlenkov, J Vain, K Yoshimitsu, K Ohnuma, T Sadahiro, ...
Proceedings of the 4th COE Workshop on Human Adaptive Mechatronics (HAM), 19-24, 2007
202007
Real-time specification and modeling with joint actions
R Kurki-Suonio, K Systä, J Vain
Science of computer programming 20 (1-2), 113-140, 1993
201993
Learning based personalized energy management systems for residential buildings
M Soudari, S Srinivasan, S Balasubramanian, J Vain, U Kotta
Energy and Buildings 127, 953-968, 2016
182016
Recognition of the surgeon's motions during endoscopic operation by statistics based algorithm and neural networks based ANARX models
S Nomm, E Petlenkov, J Vain, J Belikov, F Miyawaki, K Yoshimitsu
IFAC Proceedings Volumes 41 (2), 14773-14778, 2008
182008
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
J Vain, K Raiend, A Kull, JP Ernits
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
182007
Generating tests from efsm models using guided model checking and iterated search refinement
JP Ernits, A Kull, K Raiend, J Vain
Formal Approaches to Software Testing and Runtime Verification, 85-99, 2006
182006
Integration of IEC 61850 and OPC UA for Smart Grid automation
S Srinivasan, R Kumar, J Vain
2013 IEEE Innovative Smart Grid Technologies-Asia (ISGT Asia), 1-5, 2013
172013
RFID-based communications for a self-organising robot swarm
T Tammet, J Vain, A Puusepp, E Reilent, A Kuusik
2008 Second IEEE International Conference on Self-Adaptive and Self …, 2008
152008
Application of self organizing Kohonen map to detection of surgeon motions during endoscopic surgery
E Petlenkov, S Nomm, J Vain, F Miyawaki
2008 IEEE International Joint Conference on Neural Networks (IEEE World …, 2008
152008
Timed-automata-based model for laparoscopic surgery and intraoperative motion recognition of a surgeon as the interface connecting the surgical and the real operating room
K Ohnuma
International journal for computer assisted radiology and surgery 1 (1), 442-445, 2006
152006
Refinement-based development of timed systems
J Berthing, P Boström, K Sere, L Tsiopoulos, J Vain
International Conference on Integrated Formal Methods, 69-83, 2012
132012
DTRON: a tool for distributed model-based testing of time critical applications.
A Anier, J Vain, L Tsiopoulos
Proceedings of the Estonian Academy of Sciences 66 (1), 2017
122017
Online testing of nondeterministic systems with the reactive planning tester
J Vain, M Kääramees, M Markvardt
Dependability and Computer Engineering: Concepts for Software-Intensive …, 2012
122012
Model checking response times in Networked Automation Systems using jitter bounds
S Srinivasan, F Buonopane, J Vain, S Ramaswamy
Computers in Industry 74, 186-200, 2015
102015
Towards scalable proofs of robot swarm dependability
J Vain, T Tammet, A Kuusik, S Juurik
2008 11th International Biennial Baltic Electronics Conference, 199-202, 2008
102008
Verifying response times in networked automation systems using jitter bounds
S Srinivasan, F Buonopane, S Ramaswamy, J Vain
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
92014
Solving line balancing problems with model checking.
J Vain, I Randvee, T Riismaa, J Ernits
Proceedings of the Estonian Academy of Sciences: Engineering 8 (4), 211-222, 2002
92002
Incremental fault-tolerant design in an object-oriented setting
EB Johnsen, O Owe, E Munthe-Kaas, J Vain
Proceedings Second Asia-Pacific Conference on Quality Software, 223-230, 2001
92001
The system can't perform the operation now. Try again later.
Articles 1–20