Jüri Vain

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 25

Top Topics

Distributed Systems

Autonomous Systems

Test Generation

Top Venues

DB&IS (Selected Papers)

ICSOFT (Selected Papers)

Publications

Tanwir Ahmad, Dragos Truscan, Jüri Vain
Preliminary Results in Using Attention for Increasing Attack Identification Efficiency. ICSTW (2023)
Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek, Dragos Truscan, Jüri Vain, Ivan Porres
A Two-phase Metamorphic Approach for Testing Industrial Control Systems. ETFA (2022)
Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek
Temporal Multi-view Contracts for Efficient Test Models. DB&IS (2022)
Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek, Dragos Truscan, Jüri Vain, Ivan Porres
A Two-phase Metamorphic Approach for Testing Industrial Control Systems. CoRR (2022)
Tanwir Ahmad, Dragos Truscan, Jüri Vain, Ivan Porres
Early Detection of Network Attacks Using Deep Learning. ICST Workshops (2022)
Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek
Temporal Multi-View Contracts Help Developing Efficient Test Models. Balt. J. Mod. Comput. 10 (4) (2022)
Jüri Vain, Leonidas Tsiopoulos, Gert Kanter
Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata. MEDI (2021)
Junaid Iqbal, Dragos Truscan, Jüri Vain
Time semantics of executable activity diagrams for relativized conformance testing. MoDELS (Companion) (2020)
Fatima Shokri-Manninen, Jüri Vain, Marina Waldén
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems. SEFM (2020)
Leonidas Tsiopoulos, Alar Kuusik, Jüri Vain, Hayretdin Bahsi
Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System. BODYNETS (2020)
Gert Kanter, Jüri Vain
Model-based testing of autonomous robots using TestIt. J. Reliab. Intell. Environ. 6 (1) (2020)
Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes. ABZ (2020)
Gert Kanter, Jüri Vain
TestIt: an Open-Source Scalable Long-Term Autonomy Testing Toolkit for ROS. DESSERT (2019)
Deepak Pal, Jüri Vain
Model Based Test Framework for Communications-Critical Internet of Things Systems. DB&IS (Selected Papers) (2018)
Deepak Pal, Jüri Vain
Model Based Approach for Testing: Distributed Real-Time Systems Augmented with Online Monitors. DB&IS (2018)
Deepak Pal, Jüri Vain, Seshadhri Srinivasan, Srini Ramaswamy
Model-based maintenance scheduling in flexible modular automation systems. ETFA (2017)
Jüri Vain, Leonidas Tsiopoulos, Vyacheslav S. Kharchenko, Apneet Kaur, Maksim Jenihhin, Jaan Raik
Multi-Fragment Markov Model Guided Online Test Generation for MPSoC. ICTERI (2017)
Junaid Iqbal, Dragos Truscan, Jüri Vain, Ivan Porres
-based timed test sequences using backward-induction. ECBS (2017)
Jüri Vain, Leonidas Tsiopoulos, Jishu Guin
Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata. ICECCS (2016)
Faezeh Siavashi, Junaid Iqbal, Dragos Truscan, Jüri Vain
Testing Web Services with Model-Based Mutation. ICSOFT (Selected Papers) (2016)
Tarmo Uustalu, Jüri Vain
Guest editors' foreword. J. Log. Algebraic Methods Program. 85 (6) (2016)
Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal
Automatic Distribution of Local Testers for Testing Distributed Systems. DB&IS (Selected Papers) (2016)
Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal
Model-Based Testing of Real-Time Distributed Systems. DB&IS (2016)
Faezeh Siavashi, Dragos Truscan, Jüri Vain
On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. ICSOFT-EA (2016)
Juhan P. Ernits, Evelin Halling, Gert Kanter, Jüri Vain
Model-based integration testing of ROS packages: A mobile robot case study. ECMR (2015)
Dragos Truscan, Jüri Vain, Martin Koskinen
Combining Aspect-orientation and UPPAAL Timed Automata. ICSOFT PT (2014)
Dragos Truscan, Jüri Vain, Martin Koskinen, Junaid Iqbal
A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. ICSOFT (Selected Papers) (2014)
Jüri Vain, Aivo Anier, Evelin Halling
Provably Correct Test Development for Timed Systems. DB&IS (2014)
Hongyan Liu, Jüri Vain
An Agent-based Modeling for Price-responsive Demand Simulation. ICEIS (1) (2013)
Külli Sarna, Jüri Vain
Exploiting aspects in model-based testing. FOAL (2012)
Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain
Refinement-Based Development of Timed Systems. IFM (2012)
Marko Kääramees, Jüri Vain, Kullo Raiend
Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models. TAIC PART (2010)
Tarmo Uustalu, Jüri Vain
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 79 (7) (2010)
Tanel Tammet, Jüri Vain, Andres Puusepp, Enar Reilent, Alar Kuusik
RFID-based Communications for a Self-Organising Robot Swarm. SASO (2008)
Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits
Synthesis of test purpose directed reactive planning tester for nondeterministic systems. ASE (2007)
Juhan-Peep Ernits, Andres Kull, Kullo Raiend, Jüri Vain
Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement. FATES/RV (2006)
Juhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain
Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking. GI Jahrestagung (2) (2006)
Magne Haveraaen, Jüri Vain
Guest Editors' Foreword. Nord. J. Comput. 10 (4) (2003)
Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain
Incremental Fault-Tolerant Design in an Object-Oriented Setting. APAQS (2001)
Jozef Hooman, Jüri Vain
Integrating methods for the design of real-time systems. J. Syst. Archit. 42 (6-7) (1996)
Jozef Hooman, Jüri Vain
An integrated technique for developing real-time systems. RTS (1995)
Reino Kurki-Suonio, Kari Systä, Jüri Vain
Real-Time Specification and Modeling with Joint Actions. Sci. Comput. Program. 20 (1-2) (1993)
Reino Kurki-Suonio, Kari Systä, Jüri Vain
Scheduling in Real-Time Models. FTRTFT (1992)
Reino Kurki-Suonio, Kari Systä, Jüri Vain
Real-time specification and modeling with joint actions. IWSSD (1991)