Juri Vain

According to our database1, Juri Vain
  • authored at least 7 papers between 2005 and 2016.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL.
Microprocessors and Microsystems - Embedded Hardware Design, 2016

2015
Verifying Response Times in Networked Automation Systems Using Jitter Bounds.
CoRR, 2015

Model checking response times in Networked Automation Systems using jitter bounds.
Computers in Industry, 2015

2014
Verifying Response Times in Networked Automation Systems Using Jitter Bounds.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2008
Application of self organizing Kohonen map to detection of surgeon motions during endoscopic surgery.
Proceedings of the International Joint Conference on Neural Networks, 2008

Polynomial based approach in analysis and detection of surgeon's motions.
Proceedings of the 10th International Conference on Control, 2008

2005
Scrub nurse robot system-intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgery.
IEEE Trans. Industrial Electronics, 2005


  Loading...