Juri Vain

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 5

Top Topics

Network Attacks

Mutation Testing

Top Venues

Future Gener. Comput. Syst.

ISSRE Workshops

Publications

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