Autonomous Vessels Collision Verification: Geometric Optimization. - Lahbib, Hiba Ben; Bennani, M. Taha; Vain, Jüri (2025)

Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems. - Guin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas (2025)

Ontology Merging Using the Weak Unification of Concepts. - Kuusik, Norman; Vain, Jüri (Big Data Cogn. Comput., 2024)

Iterative Optimization of Hyperparameter-based Metamorphic Transformations. - Sudheerbabu, Gaadha; Ahmad, Tanwir; Truscan, Dragos; Vain, Jüri; Porres, Ivan (2024)

Preliminary Results in Using Attention for Increasing Attack Identification Efficiency. - Ahmad, Tanwir; Truscan, Dragos; Vain, Jüri (2023)

Temporal Multi-View Contracts Help Developing Efficient Test Models. - Guin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas; Valdek, Gert (Balt. J. Mod. Comput., 2022)

Temporal Multi-view Contracts for Efficient Test Models. - Guin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas; Valdek, Gert (2022)

A Two-phase Metamorphic Approach for Testing Industrial Control Systems. - Sudheerbabu, Gaadha; Ahmad, Tanwir; Sebek, Filip; Truscan, Dragos; Vain, Jüri; Porres, Ivan (2022)

Early Detection of Network Attacks Using Deep Learning. - Ahmad, Tanwir; Truscan, Dragos; Vain, Jüri; Porres, Ivan (2022)

Early Detection of Network Attacks Using Deep Learning. - Ahmad, Tanwir; Truscan, Dragos; Vain, Juri; Porres, Ivan (CoRR, 2022)

A Two-phase Metamorphic Approach for Testing Industrial Control Systems. - Sudheerbabu, Gaadha; Ahmad, Tanwir; Sebek, Filip; Truscan, Dragos; Vain, Jüri; Porres, Ivan (CoRR, 2022)

Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata. - Vain, Jüri; Tsiopoulos, Leonidas; Kanter, Gert (2021)

Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings (Springer, 2021)

Model-based testing of autonomous robots using TestIt. - Kanter, Gert; Vain, Jüri (J. Reliab. Intell. Environ., 2020)

Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes. - Shokri-Manninen, Fatima; Tsiopoulos, Leonidas; Vain, Jüri; Waldén, Marina (2020)

Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System. - Tsiopoulos, Leonidas; Kuusik, Alar; Vain, Jüri; Bahsi, Hayretdin (2020)

Time semantics of executable activity diagrams for relativized conformance testing. - Iqbal, Junaid; Truscan, Dragos; Vain, Jüri (2020)

Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems. - Shokri-Manninen, Fatima; Vain, Jüri; Waldén, Marina (2020)

A model-based approach for design and verification of Industrial Internet of Things. - Natarajan, Muthukumar; Srinivasan, Seshadhri; Ramkumar, Kannan; Pal, Deepak; Vain, Juri; Ramaswamy, Srini (Future Gener. Comput. Syst., 2019)

Test Scenario Specification Language for Model-based Testing. - Halling, Evelin; Vain, Jüri; Boyarchuk, Artem; Illiashenko, Oleg (Int. J. Comput., 2019)

TestIt: an Open-Source Scalable Long-Term Autonomy Testing Toolkit for ROS. - Kanter, Gert; Vain, Jüri (2019)

Provably Correct Configuration Management of Precision Feeding in Agriculture4.0. - Kanter, Gert; Vain, Juri; Srinivasan, Seshadhri; Ramaswamy, Srini (2019)

Model Based Test Framework for Communications-Critical Internet of Things Systems. - Pal, Deepak; Vain, Jüri (2018)

Model Based Approach for Testing: Distributed Real-Time Systems Augmented with Online Monitors. - Pal, Deepak; Vain, Jüri (2018)

Vulnerability Assessment of Web Services with Model-Based Mutation Testing. - Siavashi, Faezeh; Truscan, Dragos; Vain, Juri (2018)

Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward-induction. - Iqbal, Junaid; Truscan, Dragos; Vain, Jüri; Porres, Ivan (2017)

Model-based maintenance scheduling in flexible modular automation systems. - Pal, Deepak; Vain, Jüri; Srinivasan, Seshadhri; Ramaswamy, Srini (2017)

Multi-Fragment Markov Model Guided Online Test Generation for MPSoC. - Vain, Jüri; Tsiopoulos, Leonidas; Kharchenko, Vyacheslav S.; Kaur, Apneet; Jenihhin, Maksim; Raik, Jaan (2017)

Guest editors' foreword. - Uustalu, Tarmo; Vain, Jüri (J. Log. Algebraic Methods Program., 2016)

Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL. - Balasubramaniyan, Sreram; Srinivasan, Seshadhri; Buonopane, Furio; Subathra, B.; Vain, Juri; Ramaswamy, Srini (Microprocess. Microsystems, 2016)

Model-Based Testing of Real-Time Distributed Systems. - Vain, Jüri; Halling, Evelin; Kanter, Gert; Anier, Aivo; Pal, Deepak (2016)

Automatic Distribution of Local Testers for Testing Distributed Systems. - Vain, Jüri; Halling, Evelin; Kanter, Gert; Anier, Aivo; Pal, Deepak (2016)

Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata. - Vain, Jüri; Tsiopoulos, Leonidas; Guin, Jishu (2016)

On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. - Siavashi, Faezeh; Truscan, Dragos; Vain, Jüri (2016)

Testing Web Services with Model-Based Mutation. - Siavashi, Faezeh; Iqbal, Junaid; Truscan, Dragos; Vain, Jüri (2016)

Integrating Refinement-Based Methods for Developing Timed Systems. - Vain, Jüri; Tsiopoulos, Leonidas; Boström, Pontus (2016)

Model checking response times in Networked Automation Systems using jitter bounds. - Srinivasan, Seshadhri; Buonopane, Furio; Vain, Juri; Ramaswamy, Srini (Comput. Ind., 2015)

Model-based integration testing of ROS packages: A mobile robot case study. - Ernits, Juhan P.; Halling, Evelin; Kanter, Gert; Vain, Jüri (2015)

Verifying Response Times in Networked Automation Systems Using Jitter Bounds. - Srinivasan, Seshadhri; Buonopane, Furio; Ramaswamy, Srini; Vain, Juri (CoRR, 2015)

Provably Correct Test Development for Timed Systems. - Vain, Jüri; Anier, Aivo; Halling, Evelin (2014)

FPGA-based critical computing: TEMPUS and FP7 projects issues. - Kharchenko, Vyacheslav S.; Illiashenko, Oleg; Boyarchuk, Artem; Phillips, Chris; Vain, Juri; Krispin, Madli (2014)

Combining Aspect-orientation and UPPAAL Timed Automata. - Truscan, Dragos; Vain, Jüri; Koskinen, Martin (2014)

A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. - Truscan, Dragos; Vain, Jüri; Koskinen, Martin; Iqbal, Junaid (2014)

Verifying Response Times in Networked Automation Systems Using Jitter Bounds. - Srinivasan, Seshadhri; Buonopane, Furio; Ramaswamy, Srini; Vain, Juri (2014)

An Agent-based Modeling for Price-responsive Demand Simulation. - Liu, Hongyan; Vain, Jüri (2013)

Exploiting aspects in model-based testing. - Sarna, Külli; Vain, Jüri (2012)

Refinement-Based Development of Timed Systems. - Berthing, Jesper; Boström, Pontus; Sere, Kaisa; Tsiopoulos, Leonidas; Vain, Jüri (2012)

Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester. - Vain, Juri; Kull, Andres; Kääramees, Marko; Markvardt, Maili; Raiend, Kullo (2011)

Guest Editors' Foreword. - Uustalu, Tarmo; Vain, Jüri (J. Log. Algebraic Methods Program., 2010)

Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models. - Kääramees, Marko; Vain, Jüri; Raiend, Kullo (2010)

Polynomial based approach in analysis and detection of surgeon's motions. - Jakubiak, Janusz; Nomm, Sven; Vain, Juri; Miyawaki, Fujio (2008)

Application of self organizing Kohonen map to detection of surgeon motions during endoscopic surgery. - Petlenkov, Eduard; Nomm, Sven; Vain, Juri; Miyawaki, Fujio (2008)

RFID-based Communications for a Self-Organising Robot Swarm. - Tammet, Tanel; Vain, Jüri; Puusepp, Andres; Reilent, Enar; Kuusik, Alar (2008)

Synthesis of test purpose directed reactive planning tester for nondeterministic systems. - Vain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan P. (2007)

Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Springer, 2007)

Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement. - Ernits, Juhan-Peep; Kull, Andres; Raiend, Kullo; Vain, Jüri (2006)

Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking. - Ernits, Juhan P.; Kull, Andres; Raiend, Kullo; Vain, Jüri (2006)

Scrub nurse robot system-intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgery. - Miyawaki, Fujio; Masamune, Ken; Suzuki, Satoshi; Yoshimitsu, Kitaro; Vain, Juri (IEEE Trans. Ind. Electron., 2005)

Guest Editors' Foreword. - Haveraaen, Magne; Vain, Jüri (Nord. J. Comput., 2003)

Incremental Fault-Tolerant Design in an Object-Oriented Setting. - Johnsen, Einar Broch; Owe, Olaf; Munthe-Kaas, Ellen; Vain, Jüri (2001)

Integrating methods for the design of real-time systems. - Hooman, Jozef; Vain, Jüri (J. Syst. Archit., 1996)

An integrated technique for developing real-time systems. - Hooman, Jozef; Vain, Jüri (1995)

Real-Time Specification and Modeling with Joint Actions. - Kurki-Suonio, Reino; Systä, Kari; Vain, Jüri (Sci. Comput. Program., 1993)

Scheduling in Real-Time Models. - Kurki-Suonio, Reino; Systä, Kari; Vain, Jüri (1992)

Real-time specification and modeling with joint actions. - Kurki-Suonio, Reino; Systä, Kari; Vain, Jüri (1991)