default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJüri Vain
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j13]Norman Kuusik
, Jüri Vain:
Ontology Merging Using the Weak Unification of Concepts. Big Data Cogn. Comput. 8(9): 98 (2024)- 2022
- [j12]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) - 2020
- [j11]Gert Kanter, Jüri Vain:
Model-based testing of autonomous robots using TestIt. J. Reliab. Intell. Environ. 6(1): 15-30 (2020) - 2019
- [j10]Muthukumar Natarajan, Seshadhri Srinivasan, Kannan Ramkumar, Deepak Pal, Juri Vain, Srini Ramaswamy:
A model-based approach for design and verification of Industrial Internet of Things. Future Gener. Comput. Syst. 95: 354-363 (2019) - [j9]Evelin Halling, Jüri Vain, Artem Boyarchuk, Oleg Illiashenko:
Test Scenario Specification Language for Model-based Testing. Int. J. Comput. 18: 408-421 (2019) - 2016
- [j8]Tarmo Uustalu, Jüri Vain:
Guest editors' foreword. J. Log. Algebraic Methods Program. 85(6): 1109 (2016) - [j7]Sreram Balasubramaniyan, Seshadhri Srinivasan, Furio Buonopane, B. Subathra, Juri Vain, Srini Ramaswamy:
Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL. Microprocess. Microsystems 42: 37-48 (2016) - 2015
- [j6]Seshadhri Srinivasan, Furio Buonopane, Juri Vain, Srini Ramaswamy:
Model checking response times in Networked Automation Systems using jitter bounds. Comput. Ind. 74: 186-200 (2015) - 2010
- [j5]Tarmo Uustalu, Jüri Vain:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 79(7): 435 (2010) - 2005
- [j4]Fujio Miyawaki, Ken Masamune, Satoshi Suzuki, Kitaro Yoshimitsu, Juri Vain:
Scrub nurse robot system-intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgery. IEEE Trans. Ind. Electron. 52(5): 1227-1235 (2005) - 2003
- [j3]Magne Haveraaen, Jüri Vain:
Guest Editors' Foreword. Nord. J. Comput. 10(4): 263-264 (2003) - 1996
- [j2]Jozef Hooman, Jüri Vain:
Integrating methods for the design of real-time systems. J. Syst. Archit. 42(6-7): 489-502 (1996) - 1993
- [j1]Reino Kurki-Suonio, Kari Systä, Jüri Vain:
Real-Time Specification and Modeling with Joint Actions. Sci. Comput. Program. 20(1-2): 113-140 (1993)
Conference and Workshop Papers
- 2024
- [c43]Gaadha Sudheerbabu, Tanwir Ahmad, Dragos Truscan, Jüri Vain, Ivan Porres:
Iterative Optimization of Hyperparameter-based Metamorphic Transformations. ICSTW 2024: 13-20 - 2023
- [c42]Tanwir Ahmad, Dragos Truscan, Jüri Vain:
Preliminary Results in Using Attention for Increasing Attack Identification Efficiency. ICSTW 2023: 159-164 - 2022
- [c41]Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek:
Temporal Multi-view Contracts for Efficient Test Models. DB&IS 2022: 136-151 - [c40]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: 1-4 - [c39]Tanwir Ahmad, Dragos Truscan, Jüri Vain, Ivan Porres:
Early Detection of Network Attacks Using Deep Learning. ICST Workshops 2022: 30-39 - 2021
- [c38]Jüri Vain, Leonidas Tsiopoulos, Gert Kanter:
Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata. MEDI 2021: 117-124 - 2020
- [c37]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: 186-202 - [c36]Leonidas Tsiopoulos, Alar Kuusik, Jüri Vain, Hayretdin Bahsi:
Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System. BODYNETS 2020: 77-91 - [c35]Junaid Iqbal, Dragos Truscan, Jüri Vain:
Time semantics of executable activity diagrams for relativized conformance testing. MoDELS (Companion) 2020: 42:1-42:6 - [c34]Fatima Shokri-Manninen, Jüri Vain, Marina Waldén:
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems. SEFM 2020: 41-59 - 2019
- [c33]Gert Kanter, Jüri Vain:
TestIt: an Open-Source Scalable Long-Term Autonomy Testing Toolkit for ROS. DESSERT 2019: 45-50 - [c32]Gert Kanter, Juri Vain, Seshadhri Srinivasan, Srini Ramaswamy:
Provably Correct Configuration Management of Precision Feeding in Agriculture4.0. SMC 2019: 1631-1636 - 2018
- [c31]Deepak Pal, Jüri Vain:
Model Based Test Framework for Communications-Critical Internet of Things Systems. DB&IS (Selected Papers) 2018: 79-94 - [c30]Deepak Pal, Jüri Vain:
Model Based Approach for Testing: Distributed Real-Time Systems Augmented with Online Monitors. DB&IS 2018: 142-157 - [c29]Faezeh Siavashi, Dragos Truscan, Juri Vain:
Vulnerability Assessment of Web Services with Model-Based Mutation Testing. QRS 2018: 301-312 - 2017
- [c28]Junaid Iqbal, Dragos Truscan, Jüri Vain, Ivan Porres:
Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward-induction. ECBS 2017: 6:1-6:10 - [c27]Deepak Pal, Jüri Vain, Seshadhri Srinivasan, Srini Ramaswamy:
Model-based maintenance scheduling in flexible modular automation systems. ETFA 2017: 1-6 - [c26]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: 594-607 - 2016
- [c25]Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal:
Model-Based Testing of Real-Time Distributed Systems. DB&IS 2016: 272-286 - [c24]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: 297-310 - [c23]Jüri Vain, Leonidas Tsiopoulos, Jishu Guin:
Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata. ICECCS 2016: 126-134 - [c22]Faezeh Siavashi, Dragos Truscan, Jüri Vain:
On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. ICSOFT-EA 2016: 15-26 - [c21]Faezeh Siavashi, Junaid Iqbal, Dragos Truscan, Jüri Vain:
Testing Web Services with Model-Based Mutation. ICSOFT (Selected Papers) 2016: 45-67 - 2015
- [c20]Juhan P. Ernits, Evelin Halling, Gert Kanter, Jüri Vain:
Model-based integration testing of ROS packages: A mobile robot case study. ECMR 2015: 1-7 - 2014
- [c19]Jüri Vain, Aivo Anier, Evelin Halling:
Provably Correct Test Development for Timed Systems. DB&IS 2014: 289-302 - [c18]Vyacheslav S. Kharchenko, Oleg Illiashenko, Artem Boyarchuk, Chris Phillips, Juri Vain, Madli Krispin:
FPGA-based critical computing: TEMPUS and FP7 projects issues. EWME 2014: 74-79 - [c17]Dragos Truscan, Jüri Vain, Martin Koskinen:
Combining Aspect-orientation and UPPAAL Timed Automata. ICSOFT PT 2014: 159-164 - [c16]Dragos Truscan, Jüri Vain, Martin Koskinen, Junaid Iqbal:
A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. ICSOFT (Selected Papers) 2014: 349-364 - [c15]Seshadhri Srinivasan, Furio Buonopane, Srini Ramaswamy, Juri Vain:
Verifying Response Times in Networked Automation Systems Using Jitter Bounds. ISSRE Workshops 2014: 47-50 - 2013
- [c14]Hongyan Liu, Jüri Vain:
An Agent-based Modeling for Price-responsive Demand Simulation. ICEIS (1) 2013: 436-443 - 2012
- [c13]Külli Sarna, Jüri Vain:
Exploiting aspects in model-based testing. FOAL 2012: 45-48 - [c12]Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain:
Refinement-Based Development of Timed Systems. IFM 2012: 69-83 - 2010
- [c11]Marko Kääramees, Jüri Vain, Kullo Raiend:
Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models. TAIC PART 2010: 147-154 - 2008
- [c10]Janusz Jakubiak, Sven Nomm, Juri Vain, Fujio Miyawaki:
Polynomial based approach in analysis and detection of surgeon's motions. ICARCV 2008: 611-616 - [c9]Eduard Petlenkov, Sven Nomm, Juri Vain, Fujio Miyawaki:
Application of self organizing Kohonen map to detection of surgeon motions during endoscopic surgery. IJCNN 2008: 2806-2811 - [c8]Tanel Tammet, Jüri Vain, Andres Puusepp, Enar Reilent, Alar Kuusik:
RFID-based Communications for a Self-Organising Robot Swarm. SASO 2008: 45-54 - 2007
- [c7]Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits:
Synthesis of test purpose directed reactive planning tester for nondeterministic systems. ASE 2007: 363-372 - 2006
- [c6]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: 85-99 - [c5]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: 241-248 - 2001
- [c4]Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain:
Incremental Fault-Tolerant Design in an Object-Oriented Setting. APAQS 2001: 223-230 - 1995
- [c3]Jozef Hooman, Jüri Vain:
An integrated technique for developing real-time systems. RTS 1995: 236-243 - 1992
- [c2]Reino Kurki-Suonio, Kari Systä, Jüri Vain:
Scheduling in Real-Time Models. FTRTFT 1992: 327-339 - 1991
- [c1]Reino Kurki-Suonio, Kari Systä, Jüri Vain:
Real-time specification and modeling with joint actions. IWSSD 1991: 84-91
Parts in Books or Collections
- 2016
- [p2]Jüri Vain, Leonidas Tsiopoulos, Pontus Boström:
Integrating Refinement-Based Methods for Developing Timed Systems. From Action Systems to Distributed Systems 2016: 171-185 - 2011
- [p1]Juri Vain, Andres Kull, Marko Kääramees, Maili Markvardt, Kullo Raiend:
Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester. Model-Based Testing for Embedded Systems 2011
Editorship
- 2021
- [e2]Ladjel Bellatreche, George A. Chernishev, Antonio Corral, Samir Ouchani, Jüri Vain:
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. Communications in Computer and Information Science 1481, Springer 2021, ISBN 978-3-030-87656-2 [contents] - 2007
- [e1]John Derrick, Jüri Vain:
Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings. Lecture Notes in Computer Science 4574, Springer 2007, ISBN 978-3-540-73195-5 [contents]
Informal and Other Publications
- 2022
- [i3]Tanwir Ahmad, Dragos Truscan, Juri Vain, Ivan Porres:
Early Detection of Network Attacks Using Deep Learning. CoRR abs/2201.11628 (2022) - [i2]Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek, Dragos Truscan, Jüri Vain, Ivan Porres:
A Two-phase Metamorphic Approach for Testing Industrial Control Systems. CoRR abs/2208.09261 (2022) - 2015
- [i1]Seshadhri Srinivasan, Furio Buonopane, Srini Ramaswamy, Juri Vain:
Verifying Response Times in Networked Automation Systems Using Jitter Bounds. CoRR abs/1507.04300 (2015)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
