Jüri Vain
Cited by
Cited by
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
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
A model-based approach for design and verification of Industrial Internet of Things
N Muthukumar, S Srinivasan, K Ramkumar, D Pal, J Vain, S Ramaswamy
Future generation computer systems 95, 354-363, 2019
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
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
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
J Vain, K Raiend, A Kull, JP Ernits
Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007
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
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
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
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: First …, 2006
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
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
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
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
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
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
Refinement-based development of timed systems
J Berthing, P Boström, K Sere, L Tsiopoulos, J Vain
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa …, 2012
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
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
Formal verification of colreg-based navigation of maritime autonomous systems
F Shokri-Manninen, J Vain, M Waldén
Software Engineering and Formal Methods: 18th International Conference, SEFM …, 2020
The system can't perform the operation now. Try again later.
Articles 1–20