J. Vain

PROFILE

Homepage
No homepage is listed.
ORCID
No ORCID is listed.
Affiliations
No affiliations are listed.
Aliases
J Vain, J. Vain, Juri Vain, Jüri Vain
Publication record
114 papers · 711 citations · H-index 14

PAPERS

Temporal Multi-view Contracts for Efficient Test Models
20221 citationsauthor #2
A Two-phase Metamorphic Approach for Testing Industrial Control Systems
20223 citationsauthor #5
Temporal Multi-View Contracts Help Developing Efficient Test Models
20222 citationsauthor #2
Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata
20211 citationsauthor #1
Model-Based Testing Framework for Autonomous Multi-Robot Systems
20200 citationsauthor #2
Time semantics of executable activity diagrams for relativized conformance testing
20201 citationsauthor #3
Model-based testing of autonomous robots using TestIt
202010 citationsauthor #2
Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System
20200 citationsauthor #3
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes
20203 citationsauthor #3
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
202011 citationsauthor #2
31st Nordic Workshop on Programming Theory
20190 citationsauthor #2
Provably Correct Configuration Management of Precision Feeding in Agriculture4.0
20194 citationsauthor #2
A Systematic Approach on Modeling Refinement and Regression Testing of Real-Time Distributed Systems
20193 citationsauthor #2
A model-based approach for design and verification of Industrial Internet of Things
201929 citationsauthor #5
Test Scenario Specification Language for Model-based Testing
20192 citationsauthor #2
Formal Methods Based Security for Cloud-based Manufacturing Cyber Physical System
20197 citationsauthor #3
Scenario Oriented Model-Based Testing
20190 citationsauthor #2
TestIt: an Open-Source Scalable Long-Term Autonomy Testing Toolkit for ROS
20194 citationsauthor #2
Integration of ‘Central’ and ‘Peripheral’ Nervous Systems in Scrub Nurse Robot and Comparison Between ‘Voluntary’ and ‘Reflex’ Movements
20190 citationsauthor #4
Learning Timed Automata from Interaction Traces
20190 citationsauthor #1
Model Based Test Framework for Communications-Critical Internet of Things Systems
20180 citationsauthor #2
Aspect-Oriented Model-Based Testing
20180 citationsauthor #2
Energy-Efficient Multi-fragment Markov Model Guided Online Model-Based Testing for MPSoC
20180 citationsauthor #1
Model Based Approach for Testing: Distributed Real-Time Systems Augmented with Online Monitors
20180 citationsauthor #2
Multi-view modeling for MPSoC design aspects
20182 citationsauthor #1
TTÜ Mektory nanosatelliidi tarkvara testide tõestatavalt korrektne arendus. Provably Correct Test Development for TUT Mektory Nanosatellite Software
20180 citationsauthor #1
Näoilmete õppimine ja tuvastamine otsustuspuude abil. Learning and recognition of facial expressions with decision trees
20180 citationsauthor #1
Vulnerability Assessment of Web Services with Model-Based Mutation Testing
201812 citationsauthor #3
On the benefits of using aspect-orientation in UPPAAL timed automata
20173 citationsauthor #1
Aspect-Oriented Modelling in UPPAAL for Compositional Verification and Testing
20170 citationsauthor #2
Model based testing of distributed time critical systems
20173 citationsauthor #1
DTRON: a tool for distributed model-based testing of time critical applications
201716 citationsauthor #2
Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward-induction
20171 citationsauthor #3
Multi-Fragment Markov Model Guided Online Test Generation for MPSoC
20174 citationsauthor #1
Model-based maintenance scheduling in flexible modular automation systems
20172 citationsauthor #2
Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata
20161 citationsauthor #1
Generating optimal test cases for real-time systems using DIVINE model checker
20160 citationsauthor #2
Integrating Refinement-Based Methods for Developing Timed Systems
20167 citationsauthor #1
Automatic Distribution of Local Testers for Testing Distributed Systems
20163 citationsauthor #1
On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services
20164 citationsauthor #3
Model-Based Testing of Real-Time Distributed Systems
20165 citationsauthor #1
Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL
201632 citationsauthor #5
Model Based Framework for Distributed Control and Testing of Cyber-Physical Systems
20161 citationsauthor #2
Serein Project: Modernization of Postgraduate Studies on Security and Resilience for Human and Industry Related Domains
20162 citationsauthor #4
Learning based personalized energy management systems for residential buildings
201624 citationsauthor #4
Testing Web Services with Model-Based Mutation
20168 citationsauthor #4
Cyber diversity for security of digital substations under uncertainties: assurance and assessment
20151 citationsauthor #3
Model checking response times in Networked Automation Systems using jitter bounds
201512 citationsauthor #3
Model-based integration testing of ROS packages: A mobile robot case study
20159 citationsauthor #4
Towards context-sensitive dialogue with robot companion
20140 citationsauthor #1
Kaugloetavate elektriarvestite IKT riskianalüüs. ICT Risk Assessment of Smart Electricity Meters
20140 citationsauthor #1
Verifying Response Times in Networked Automation Systems Using Jitter Bounds
201410 citationsauthor #4
Aspect-Oriented Testing of a Rehabilitation System
20140 citationsauthor #2
A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata
20142 citationsauthor #2
Provably Correct Test Development for Timed Systems
20142 citationsauthor #1
Combining aspect-orientation and UPPAAL timed automata
20142 citationsauthor #2
FPGA-based critical computing: TEMPUS and FP7 projects issues
20143 citationsauthor #5
An Agent-based Modeling for Price-responsive Demand Simulation
20131 citationsauthor #2
Integration of IEC 61850 and OPC UA for Smart Grid automation
201317 citationsauthor #3
Modeling Critical Systems with Timing Constraints in Event-B
20132 citationsauthor #4
Online Testing of Nondeterministic Systems with the Reactive Planning Tester
201211 citationsauthor #1
Refinement-Based Development of Timed Systems
201215 citationsauthor #5
Constraint-based test scenario description language
20121 citationsauthor #1
Exploiting aspects in model-based testing
20124 citationsauthor #2
Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester
20114 citationsauthor #1
Model checking of emergent behaviour properties of robot swarms
20115 citationsauthor #2
Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models
20102 citationsauthor #2
Application of volume bounding box decomposition for surgeon's hand gestures recognition
20101 citationsauthor #3
Model-based synthesis of reactive planning on-line testers for non-deterministic embedded systems
20100 citationsauthor #2
Cloud Computing with Robots : Does it Make Sense?
20100 citationsauthor #4
Guest Editors' Foreword
20100 citationsauthor #2
Application of bidding automata for measuring the informativeness of hand motion characteristic features
20100 citationsauthor #3
Hybrid approach to detection of the surgeon's hand motions during endoscope surgery
20095 citationsauthor #2
Supervised training of voting automata for the surgeon's motion recognition during laparoscope surgery
20092 citationsauthor #1
Human-robot interaction learning using timed automata
20098 citationsauthor #1
Model-Based Testing of Reactive Systems
200988 citationsauthor #3
Recognition of the Surgeon's Motions During Endoscopic Operation by Statistics Based Algorithm and Neural Networks Based ANARX Models
200818 citationsauthor #3
RFID-based Communications for a Self-Organising Robot Swarm
200812 citationsauthor #2
Application of self organizing Kohonen map to detection of surgeon motions during endoscopic surgery
200815 citationsauthor #3
Model learning for reactive motion planning in assisting robots
20080 citationsauthor #1
Recognition of the surgeon's motions during endoscopic operation by statistics based algorithm and n
20082 citationsauthor #3
Polynomial based approach in analysis and detection of surgeon's motions
20085 citationsauthor #3
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
200719 citationsauthor #1
Component based development of hybr id control systems
20070 citationsauthor #1
Two State Space Reduction Techniques for Explicit State Model Checking.Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis
200720 citationsauthor #1
Intraoperative Analysis of Surgeon's Motions and Construction of Timed Automata Based Model of Laparoscopic Surgery for Human-adaptive Surgical Robot System
20070 citationsauthor #5
Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
20070 citationsauthor #2
Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
200733 citationsauthor #2
Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement
200616 citationsauthor #4
Model checking in planning resource-sharing based manufacturing
20060 citationsauthor #2
Distributed coordination of mobile robots using RFID technology
20061 citationsauthor #2
Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking
20064 citationsauthor #4
Scrub nurse robot system-intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgery
200584 citationsauthor #5
TWO PHASE TECHNIQUE FOR ASSEMBLY LINE BALANCING
20051 citationsauthor #1
Surgical scenario for laparoscopic surgery with timed automata
20057 citationsauthor #4
Pattern Based Analysis of Fractal Manufacturing systems
20040 citationsauthor #2
Optimization of the Structure of Multi-Level Parallel Assembling
20033 citationsauthor #3
Guest Editors' Foreword
20030 citationsauthor #2
MODEL CHECKING IN PATTERN BASED CONTROL SYSTEMS DESIGN.
20020 citationsauthor #1
Incremental fault-tolerant design in an object-oriented setting
200110 citationsauthor #4

TIMELINE

1982 4 citations

1985 2 citations

1987 1 citations

1988 7 citations

1991 13 citations

1992 8 citations

1994 1 citations

1995 2 citations

1996 3 citations

1998 1 citations

2000 1 citations

2001 10 citations

2002 0 citations

2003 3 citations

2004 0 citations

2005 92 citations

2006 21 citations

2007 72 citations

2008 52 citations

2009 103 citations

2010 3 citations

2011 9 citations

2012 31 citations

2013 20 citations

2014 19 citations

2015 22 citations

2016 87 citations

2017 29 citations

2018 14 citations

2019 49 citations

2020 25 citations

2021 1 citations

2022 6 citations

J. Vain

PROFILE

PAPERS

TIMELINE

COAUTHOR MAP

CONCEPT FOOTPRINT