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
Nn-based anarx model of the surgeon's hand for the motion recognition
貞弘晃宜, 宮脇富士夫
Proceedings of the 4th COE Workshop on Human Adaptive Mechatronics (HAM), 19-24, 2007
Generating tests from efsm models using guided model checking and iterated search refinement
JP Ernits, A Kull, K Raiend, J Vain
International Workshop on Formal Approaches to Software Testing, 85-99, 2006
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
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
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
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
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
Early detection of network attacks using deep learning
T Ahmad, D Truscan, J Vain, I Porres
2022 IEEE International Conference on Software Testing, Verification and …, 2022
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
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
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
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
Model-based integration testing of ROS packages: A mobile robot case study
J Ernits, E Halling, G Kanter, J Vain
2015 European Conference on Mobile Robots (ECMR), 1-7, 2015
The system can't perform the operation now. Try again later.
Articles 1–20