Παρακολούθηση
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
992005
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
512016
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
332019
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
332016
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
231993
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
202007
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
202006
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
192017
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
192013
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
192008
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
192007
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
182008
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
172022
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
172008
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
162012
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
162006
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
152020
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
142015
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
132012
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
122015
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20