Jüri Vain
Jüri Vain
Dept. Computer Science, Tallinn University of Technology
Потвърден имейл адрес: ioc.ee
ЗаглавиеПозоваванияГодина
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
842005
Real-time specification and modeling with joint actions
R Kurki-Suonio, K Systä, J Vain
Proceedings of the 6th international workshop on Software specification and …, 1991
201991
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
192007
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
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
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
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
172007
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
172006
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
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
142008
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
132008
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
122016
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
112012
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
112012
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
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
92008
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
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
82017
Model checkinga new challenge for design of complex computercontrolled systems
J Vain, R Kyttner
Proc. of 5th International Conference on Engineering Design and Automation …, 2001
82001
Scheduling in real-time models
R Kurki-Suonio, K Systä, J Vain
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1992
71992
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20