Jüri Vain

According to our database, Jüri Vain authored at least 53 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Preliminary Results in Using Attention for Increasing Attack Identification Efficiency.

Tanwir Ahmad, Dragos Truscan, Jüri Vain

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2022

Temporal Multi-View Contracts Help Developing Efficient Test Models.

Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek

Balt. J. Mod. Comput., 2022

Early Detection of Network Attacks Using Deep Learning.

Tanwir Ahmad, Dragos Truscan, Jüri Vain, Ivan Porres

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

A Two-phase Metamorphic Approach for Testing Industrial Control Systems.

Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek, Dragos Truscan, Jüri Vain, Ivan Porres

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Temporal Multi-view Contracts for Efficient Test Models.

Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek

Proceedings of the Digital Business and Intelligent Systems, 2022

2021

Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata.

Jüri Vain, Leonidas Tsiopoulos, Gert Kanter

Proceedings of the Model and Data Engineering - 10th International Conference, 2021

2020

Model-based testing of autonomous robots using TestIt.

Gert Kanter, Jüri Vain

J. Reliab. Intell. Environ., 2020

Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems.

Fatima Shokri-Manninen, Jüri Vain, Marina Waldén

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Time semantics of executable activity diagrams for relativized conformance testing.

Junaid Iqbal, Dragos Truscan, Jüri Vain

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System.

Leonidas Tsiopoulos, Alar Kuusik, Jüri Vain, Hayretdin Bahsi

Proceedings of the Body Area Networks. Smart IoT and Big Data for Intelligent Health, 2020

Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes.

Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

A model-based approach for design and verification of Industrial Internet of Things.

Muthukumar Natarajan, Seshadhri Srinivasan, Kannan Ramkumar, Deepak Pal, Juri Vain, Srini Ramaswamy

Future Gener. Comput. Syst., 2019

Provably Correct Configuration Management of Precision Feeding in Agriculture4.0.

Gert Kanter, Juri Vain, Seshadhri Srinivasan, Srini Ramaswamy

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

TestIt: an Open-Source Scalable Long-Term Autonomy Testing Toolkit for ROS.

Gert Kanter, Jüri Vain

Proceedings of the 10th International Conference on Dependable Systems, 2019

2018

Vulnerability Assessment of Web Services with Model-Based Mutation Testing.

Faezeh Siavashi, Dragos Truscan, Juri Vain

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Model Based Test Framework for Communications-Critical Internet of Things Systems.

Deepak Pal, Jüri Vain

Proceedings of the Databases and Information Systems X, 2018

Model Based Approach for Testing: Distributed Real-Time Systems Augmented with Online Monitors.

Deepak Pal, Jüri Vain

Proceedings of the Databases and Information Systems, 2018

2017

Multi-Fragment Markov Model Guided Online Test Generation for MPSoC.

Jüri Vain, Leonidas Tsiopoulos, Vyacheslav S. Kharchenko, Apneet Kaur, Maksim Jenihhin, Jaan Raik

Proceedings of the 13th International Conference on ICT in Education, 2017

Model-based maintenance scheduling in flexible modular automation systems.

Deepak Pal, Jüri Vain, Seshadhri Srinivasan, Srini Ramaswamy

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Reconstructing timed symbolic traces from <i>rtioco</i>-based timed test sequences using backward-induction.

Junaid Iqbal, Dragos Truscan, Jüri Vain, Ivan Porres

Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 2017

2016

Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL.

Sreram Balasubramaniyan, Seshadhri Srinivasan, Furio Buonopane, B. Subathra, Juri Vain, Srini Ramaswamy

Microprocess. Microsystems, 2016

Guest editors' foreword.

Tarmo Uustalu, Jüri Vain

J. Log. Algebraic Methods Program., 2016

On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services.

Faezeh Siavashi, Dragos Truscan, Jüri Vain

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

Testing Web Services with Model-Based Mutation.

Faezeh Siavashi, Junaid Iqbal, Dragos Truscan, Jüri Vain

Proceedings of the Software Technologies, 11th International Joint Conference, 2016

Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata.

Jüri Vain, Leonidas Tsiopoulos, Jishu Guin

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Automatic Distribution of Local Testers for Testing Distributed Systems.

Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal

Proceedings of the Databases and Information Systems IX, 2016

Model-Based Testing of Real-Time Distributed Systems.

Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal

Proceedings of the Databases and Information Systems, 2016

Integrating Refinement-Based Methods for Developing Timed Systems.

Jüri Vain, Leonidas Tsiopoulos, Pontus Boström

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Model checking response times in Networked Automation Systems using jitter bounds.

Seshadhri Srinivasan, Furio Buonopane, Juri Vain, Srini Ramaswamy

Comput. Ind., 2015

Model-based integration testing of ROS packages: A mobile robot case study.

Juhan P. Ernits, Evelin Halling, Gert Kanter, Jüri Vain

Proceedings of the 2015 European Conference on Mobile Robots, 2015

2014

Verifying Response Times in Networked Automation Systems Using Jitter Bounds.

Seshadhri Srinivasan, Furio Buonopane, Srini Ramaswamy, Juri Vain

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata.

Dragos Truscan, Jüri Vain, Martin Koskinen, Junaid Iqbal

Proceedings of the Software Technologies - 9th International Joint Conference, 2014

Combining Aspect-orientation and UPPAAL Timed Automata.

Dragos Truscan, Jüri Vain, Martin Koskinen

Proceedings of the ICSOFT-PT 2014, 2014

FPGA-based critical computing: TEMPUS and FP7 projects issues.

Vyacheslav S. Kharchenko, Oleg Illiashenko, Artem Boyarchuk, Chris Phillips, Juri Vain, Madli Krispin

Proceedings of the 10th European Workshop on Microelectronics Education (EWME), 2014

Provably Correct Test Development for Timed Systems.

Jüri Vain, Aivo Anier, Evelin Halling

Proceedings of the Databases and Information Systems VIII, 2014

2013

An Agent-based Modeling for Price-responsive Demand Simulation.

Hongyan Liu, Jüri Vain

Proceedings of the ICEIS 2013, 2013

2012

Refinement-Based Development of Timed Systems.

Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Exploiting aspects in model-based testing.

Külli Sarna, Jüri Vain

Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, 2012

2011

Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester.

Juri Vain, Andres Kull, Marko Kääramees, Maili Markvardt, Kullo Raiend

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models.

Marko Kääramees, Jüri Vain, Kullo Raiend

Proceedings of the Testing, 2010

2008

RFID-based Communications for a Self-Organising Robot Swarm.

Tanel Tammet, Jüri Vain, Andres Puusepp, Enar Reilent, Alar Kuusik

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Application of self organizing Kohonen map to detection of surgeon motions during endoscopic surgery.

Eduard Petlenkov, Sven Nomm, Juri Vain, Fujio Miyawaki

Proceedings of the International Joint Conference on Neural Networks, 2008

Polynomial based approach in analysis and detection of surgeon's motions.

Janusz Jakubiak, Sven Nomm, Juri Vain, Fujio Miyawaki

Proceedings of the 10th International Conference on Control, 2008

2007

Synthesis of test purpose directed reactive planning tester for nondeterministic systems.

Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking.

Juhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement.

Juhan-Peep Ernits, Andres Kull, Kullo Raiend, Jüri Vain

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

Scrub nurse robot system-intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgery.

Fujio Miyawaki, Ken Masamune, Satoshi Suzuki, Kitaro Yoshimitsu, Juri Vain

IEEE Trans. Ind. Electron., 2005

2003

Guest Editors' Foreword.

Magne Haveraaen, Jüri Vain

Nord. J. Comput., 2003

2001

Incremental Fault-Tolerant Design in an Object-Oriented Setting.

Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

1996

Integrating methods for the design of real-time systems.

Jozef Hooman, Jüri Vain

J. Syst. Archit., 1996

1995

An integrated technique for developing real-time systems.

Jozef Hooman, Jüri Vain

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1993

Real-Time Specification and Modeling with Joint Actions.

Reino Kurki-Suonio, Kari Systä, Jüri Vain

Sci. Comput. Program., 1993

1992

Scheduling in Real-Time Models.

Reino Kurki-Suonio, Kari Systä, Jüri Vain

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992