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 | 104 | 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 | 52 | 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 | 41 | 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 | 37 | 2016 |
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 | 26 | 2022 |
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 | 23 | 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 | 21 | 2007 |
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 | 20 | 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 | 20 | 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 | 20 | 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 | 19 | 2017 |
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 | 19 | 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 | 19 | 2008 |
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 | 18 | 2020 |
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 | 17 | 2008 |
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 | 16 | 2015 |
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 | 16 | 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 | 15 | 2015 |
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 | 15 | 2006 |
Model-based testing of autonomous robots using TestIt G Kanter, J Vain Journal of Reliable Intelligent Environments 6 (1), 15-30, 2020 | 13 | 2020 |