| 2025 | AIAI | Autonomous Vessels Collision Verification: Geometric Optimization. | Hiba Ben Lahbib, Mohamed Taha Bennani, Jri Vain |
| 2025 | MODELSWARD | Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems. | Jishu Guin, Jri Vain, Leonidas Tsiopoulos |
| 2024 | ICST | Iterative Optimization of Hyperparameter-based Metamorphic Transformations. | Gaadha Sudheerbabu, Tanwir Ahmad, Dragos Truscan, Jri Vain, Ivan Porres |
| 2023 | ICST | Preliminary Results in Using Attention for Increasing Attack Identification Efficiency. | Tanwir Ahmad, Dragos Truscan, Jri Vain |
| 2022 | ETFA | A Two-phase Metamorphic Approach for Testing Industrial Control Systems. | Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek, Dragos Truscan, Jri Vain, Ivan Porres |
| 2022 | ICST | Early Detection of Network Attacks Using Deep Learning. | Tanwir Ahmad, Dragos Truscan, Jri Vain, Ivan Porres |
| 2021 | MEDI | Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata. | Jri Vain, Leonidas Tsiopoulos, Gert Kanter |
| 2020 | MODELS | Time semantics of executable activity diagrams for relativized conformance testing. | Junaid Iqbal, Dragos Truscan, Jri Vain |
| 2020 | SEFM | Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems. | Fatima Shokri-Manninen, Jri Vain, Marina Waldn |
| 2017 | ETFA | Model-based maintenance scheduling in flexible modular automation systems. | Deepak Pal, Jri Vain, Seshadhri Srinivasan, Srini Ramaswamy |
| 2017 | ICTERI | Multi-Fragment Markov Model Guided Online Test Generation for MPSoC. | Jri Vain, Leonidas Tsiopoulos, Vyacheslav S. Kharchenko, Apneet Kaur, Maksim Jenihhin, Jaan Raik |
| 2016 | ICECCS | Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata. | Jri Vain, Leonidas Tsiopoulos, Jishu Guin |
| 2016 | ICSoft | Testing Web Services with Model-Based Mutation. | Faezeh Siavashi, Junaid Iqbal, Dragos Truscan, Jri Vain |
| 2016 | ICSoft | On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. | Faezeh Siavashi, Dragos Truscan, Jri Vain |
| 2014 | ICSoft | Combining Aspect-orientation and UPPAAL Timed Automata. | Dragos Truscan, Jri Vain, Martin Koskinen |
| 2014 | ICSoft | A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. | Dragos Truscan, Jri Vain, Martin Koskinen, Junaid Iqbal |
| 2012 | IFM | Refinement-Based Development of Timed Systems. | Jesper Berthing, Pontus Bostrm, Kaisa Sere, Leonidas Tsiopoulos, Jri Vain |
| 2006 | GI | Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking. | Juhan P. Ernits, Andres Kull, Kullo Raiend, Jri Vain |
| 1995 | ECRTS | An integrated technique for developing real-time systems. | Jozef Hooman, Jri Vain |