Jüri Vain - RankMe

52 papers A* 1B 3C 6Misc 5Journal 10Unranked 25

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Autonomous Vessels Collision Verification: Geometric Optimization. AIAI (1) Hiba Ben Lahbib, Mohamed Taha Bennani, Jüri Vain
2025	C	`conf`	Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems. MODELSWARD Jishu Guin, Jüri Vain, Leonidas Tsiopoulos
2024	—	`conf`	Iterative Optimization of Hyperparameter-based Metamorphic Transformations. ICSTW Gaadha Sudheerbabu, Tanwir Ahmad, Dragos Truscan, Jüri Vain, Ivan Porres
2024	J	`jnl`	Ontology Merging Using the Weak Unification of Concepts. Big Data Cogn. Comput. Norman Kuusik, Jüri Vain
2023	—	`conf`	Preliminary Results in Using Attention for Increasing Attack Identification Efficiency. ICSTW Tanwir Ahmad, Dragos Truscan, Jüri Vain
2022	C	`conf`	A Two-phase Metamorphic Approach for Testing Industrial Control Systems. ETFA Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek, Dragos Truscan, Jüri Vain, Ivan Porres
2022	J	`jnl`	A Two-phase Metamorphic Approach for Testing Industrial Control Systems. CoRR Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek, Dragos Truscan, Jüri Vain, Ivan Porres
2022	—	`conf`	Early Detection of Network Attacks Using Deep Learning. ICST Workshops Tanwir Ahmad, Dragos Truscan, Jüri Vain, Ivan Porres
2022	J	`jnl`	Temporal Multi-View Contracts Help Developing Efficient Test Models. Balt. J. Mod. Comput. Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek
2022	Misc	`conf`	Temporal Multi-view Contracts for Efficient Test Models. DB&IS Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek
2021	—	`ed.`	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 MEDI Workshops Ladjel Bellatreche, George A. Chernishev, Antonio Corral, Samir Ouchani, Jüri Vain
2021	C	`conf`	Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata. MEDI Jüri Vain, Leonidas Tsiopoulos, Gert Kanter
2020	B	`conf`	Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems. SEFM Fatima Shokri-Manninen, Jüri Vain, Marina Waldén
2020	C	`conf`	Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes. ABZ Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén
2020	—	`conf`	Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System. BODYNETS Leonidas Tsiopoulos, Alar Kuusik, Jüri Vain, Hayretdin Bahsi
2020	J	`jnl`	Model-based testing of autonomous robots using TestIt. J. Reliab. Intell. Environ. Gert Kanter, Jüri Vain
2020	—	`conf`	Time semantics of executable activity diagrams for relativized conformance testing. MoDELS (Companion) Junaid Iqbal, Dragos Truscan, Jüri Vain
2019	J	`jnl`	Test Scenario Specification Language for Model-based Testing. Int. J. Comput. Evelin Halling, Jüri Vain, Artem Boyarchuk, Oleg Illiashenko
2019	—	`conf`	TestIt: an Open-Source Scalable Long-Term Autonomy Testing Toolkit for ROS. DESSERT Gert Kanter, Jüri Vain
2018	Misc	`conf`	Model Based Approach for Testing: Distributed Real-Time Systems Augmented with Online Monitors. DB&IS Deepak Pal, Jüri Vain
2018	—	`conf`	Model Based Test Framework for Communications-Critical Internet of Things Systems. DB&IS (Selected Papers) Deepak Pal, Jüri Vain
2017	C	`conf`	Model-based maintenance scheduling in flexible modular automation systems. ETFA Deepak Pal, Jüri Vain, Seshadhri Srinivasan, Srini Ramaswamy
2017	Misc	`conf`	Multi-Fragment Markov Model Guided Online Test Generation for MPSoC. ICTERI Jüri Vain, Leonidas Tsiopoulos, Vyacheslav S. Kharchenko, Apneet Kaur, Maksim Jenihhin, Jaan Raik
2017	—	`conf`	Reconstructing timed symbolic traces from ECBS Junaid Iqbal, Dragos Truscan, Jüri Vain, Ivan Porres
2016	—	`conf`	Automatic Distribution of Local Testers for Testing Distributed Systems. DB&IS (Selected Papers) Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal
2016	B	`conf`	Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata. ICECCS Jüri Vain, Leonidas Tsiopoulos, Jishu Guin
2016	J	`jnl`	Guest editors' foreword. J. Log. Algebraic Methods Program. Tarmo Uustalu, Jüri Vain
2016	—	`ch.`	Integrating Refinement-Based Methods for Developing Timed Systems. From Action Systems to Distributed Systems Jüri Vain, Leonidas Tsiopoulos, Pontus Boström
2016	Misc	`conf`	Model-Based Testing of Real-Time Distributed Systems. DB&IS Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal
2016	—	`conf`	On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. ICSOFT-EA Faezeh Siavashi, Dragos Truscan, Jüri Vain
2016	—	`conf`	Testing Web Services with Model-Based Mutation. ICSOFT (Selected Papers) Faezeh Siavashi, Junaid Iqbal, Dragos Truscan, Jüri Vain
2015	—	`conf`	Model-based integration testing of ROS packages: A mobile robot case study. ECMR Juhan P. Ernits, Evelin Halling, Gert Kanter, Jüri Vain
2014	—	`conf`	A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. ICSOFT (Selected Papers) Dragos Truscan, Jüri Vain, Martin Koskinen, Junaid Iqbal
2014	—	`conf`	Combining Aspect-orientation and UPPAAL Timed Automata. ICSOFT PT Dragos Truscan, Jüri Vain, Martin Koskinen
2014	Misc	`conf`	Provably Correct Test Development for Timed Systems. DB&IS Jüri Vain, Aivo Anier, Evelin Halling
2013	—	`conf`	An Agent-based Modeling for Price-responsive Demand Simulation. ICEIS (1) Hongyan Liu, Jüri Vain
2012	—	`conf`	Exploiting aspects in model-based testing. FOAL Külli Sarna, Jüri Vain
2012	B	`conf`	Refinement-Based Development of Timed Systems. IFM Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain
2010	J	`jnl`	Guest Editors' Foreword. J. Log. Algebraic Methods Program. Tarmo Uustalu, Jüri Vain
2010	—	`conf`	Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models. TAIC PART Marko Kääramees, Jüri Vain, Kullo Raiend
2008	—	`conf`	RFID-based Communications for a Self-Organising Robot Swarm. SASO Tanel Tammet, Jüri Vain, Andres Puusepp, Enar Reilent, Alar Kuusik
2007	C	`ed.`	Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings FORTE John Derrick, Jüri Vain
2007	A*	`conf`	Synthesis of test purpose directed reactive planning tester for nondeterministic systems. ASE Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits
2006	—	`conf`	Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking. GI Jahrestagung (2) Juhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain
2006	—	`conf`	Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement. FATES/RV Juhan-Peep Ernits, Andres Kull, Kullo Raiend, Jüri Vain
2003	J	`jnl`	Guest Editors' Foreword. Nord. J. Comput. Magne Haveraaen, Jüri Vain
2001	—	`conf`	Incremental Fault-Tolerant Design in an Object-Oriented Setting. APAQS Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain
1996	J	`jnl`	Integrating methods for the design of real-time systems. J. Syst. Archit. Jozef Hooman, Jüri Vain
1995	—	`conf`	An integrated technique for developing real-time systems. RTS Jozef Hooman, Jüri Vain
1993	J	`jnl`	Real-Time Specification and Modeling with Joint Actions. Sci. Comput. Program. Reino Kurki-Suonio, Kari Systä, Jüri Vain
1992	—	`conf`	Scheduling in Real-Time Models. FTRTFT Reino Kurki-Suonio, Kari Systä, Jüri Vain
1991	—	`conf`	Real-time specification and modeling with joint actions. IWSSD Reino Kurki-Suonio, Kari Systä, Jüri Vain