Juri Vain

13 papers B 2C 2Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2022 J jnl
Early Detection of Network Attacks Using Deep Learning.
CoRR
Tanwir Ahmad, Dragos Truscan, Juri Vain, Ivan Porres
2019 J jnl
A model-based approach for design and verification of Industrial Internet of Things.
Future Gener. Comput. Syst.
Muthukumar Natarajan, Seshadhri Srinivasan, Kannan Ramkumar, Deepak Pal, Juri Vain, Srini Ramaswamy
2019 B conf
Provably Correct Configuration Management of Precision Feeding in Agriculture4.0.
SMC
Gert Kanter, Juri Vain, Seshadhri Srinivasan, Srini Ramaswamy
2018 C conf
Vulnerability Assessment of Web Services with Model-Based Mutation Testing.
QRS
Faezeh Siavashi, Dragos Truscan, Juri Vain
2016 J jnl
Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL.
Microprocess. Microsystems
Sreram Balasubramaniyan, Seshadhri Srinivasan, Furio Buonopane, B. Subathra, Juri Vain, Srini Ramaswamy
2015 J jnl
Model checking response times in Networked Automation Systems using jitter bounds.
Comput. Ind.
Seshadhri Srinivasan, Furio Buonopane, Juri Vain, Srini Ramaswamy
2015 J jnl
Verifying Response Times in Networked Automation Systems Using Jitter Bounds.
CoRR
Seshadhri Srinivasan, Furio Buonopane, Srini Ramaswamy, Juri Vain
2014 — conf
FPGA-based critical computing: TEMPUS and FP7 projects issues.
EWME
Vyacheslav S. Kharchenko, Oleg Illiashenko, Artem Boyarchuk, Chris Phillips, Juri Vain, Madli Krispin
2014 — conf
Verifying Response Times in Networked Automation Systems Using Jitter Bounds.
ISSRE Workshops
Seshadhri Srinivasan, Furio Buonopane, Srini Ramaswamy, Juri Vain
2011 — ch.
Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester.
Model-Based Testing for Embedded Systems
Juri Vain, Andres Kull, Marko Kääramees, Maili Markvardt, Kullo Raiend
2008 B conf
Application of self organizing Kohonen map to detection of surgeon motions during endoscopic surgery.
IJCNN
Eduard Petlenkov, Sven Nomm, Juri Vain, Fujio Miyawaki
2008 C conf
Polynomial based approach in analysis and detection of surgeon's motions.
ICARCV
Janusz Jakubiak, Sven Nomm, Juri Vain, Fujio Miyawaki
2005 J jnl
Scrub nurse robot system-intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgery.
IEEE Trans. Ind. Electron.
Fujio Miyawaki, Ken Masamune, Satoshi Suzuki, Kitaro Yoshimitsu, Juri Vain