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

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

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

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

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

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

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)

Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement. - Juhan-Peep Ernits; Andres Kull; Kullo Raiend; Jüri Vain (FATES/RV, 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 (GI Jahrestagung (2), 2006)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Guest editors' foreword. - Tarmo Uustalu; Jüri Vain (J. Log. Algebraic Methods Program., 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)

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

Model-based maintenance scheduling in flexible modular automation systems. - Deepak Pal; Jüri Vain; Seshadhri Srinivasan; Srini Ramaswamy (ETFA, 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 (ICTERI, 2017)

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

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

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

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

Provably Correct Configuration Management of Precision Feeding in Agriculture4.0. - Gert Kanter; Juri Vain; Seshadhri Srinivasan; Srini Ramaswamy (SMC, 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)

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

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 (ABZ, 2020)

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

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

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

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

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

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

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

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

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

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

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

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

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

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