Jüri Vain

According to our database1, Jüri Vain
  • authored at least 35 papers between 1992 and 2017.
  • has a "Dijkstra number"2 of three.



In proceedings 
PhD thesis 



On csauthors.net:


Multi-Fragment Markov Model Guided Online Test Generation for MPSoC.
Proceedings of the 13th International Conference on ICT in Education, 2017

Model-based maintenance scheduling in flexible modular automation systems.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward-induction.
Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 2017

Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL.
Microprocessors and Microsystems - Embedded Hardware Design, 2016

Guest editors' foreword.
J. Log. Algebr. Meth. Program., 2016

On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services.
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Automatic Distribution of Local Testers for Testing Distributed Systems.
Proceedings of the Databases and Information Systems IX, 2016

Model-Based Testing of Real-Time Distributed Systems.
Proceedings of the Databases and Information Systems, 2016

Integrating Refinement-Based Methods for Developing Timed Systems.
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

Verifying Response Times in Networked Automation Systems Using Jitter Bounds.
CoRR, 2015

Model checking response times in Networked Automation Systems using jitter bounds.
Computers in Industry, 2015

Model-based integration testing of ROS packages: A mobile robot case study.
Proceedings of the 2015 European Conference on Mobile Robots, 2015

Verifying Response Times in Networked Automation Systems Using Jitter Bounds.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata.
Proceedings of the Software Technologies - 9th International Joint Conference, 2014

Combining Aspect-orientation and UPPAAL Timed Automata.
Proceedings of the ICSOFT-PT 2014, 2014

Provably Correct Test Development for Timed Systems.
Proceedings of the Databases and Information Systems VIII, 2014

An Agent-based Modeling for Price-responsive Demand Simulation.
Proceedings of the ICEIS 2013, 2013

Refinement-Based Development of Timed Systems.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Exploiting aspects in model-based testing.
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, 2012

Guest Editors' Foreword.
J. Log. Algebr. Program., 2010

Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models.
Proceedings of the Testing, 2010

RFID-based Communications for a Self-Organising Robot Swarm.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Application of self organizing Kohonen map to detection of surgeon motions during endoscopic surgery.
Proceedings of the International Joint Conference on Neural Networks, 2008

Polynomial based approach in analysis and detection of surgeon's motions.
Proceedings of the 10th International Conference on Control, 2008

Synthesis of test purpose directed reactive planning tester for nondeterministic systems.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking.
Proceedings of the Informatik 2006, 2006

Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

Scrub nurse robot system-intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgery.
IEEE Trans. Industrial Electronics, 2005

Guest Editors' Foreword.
Nord. J. Comput., 2003

Incremental Fault-Tolerant Design in an Object-Oriented Setting.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

Integrating methods for the design of real-time systems.
Journal of Systems Architecture, 1996

An integrated technique for developing real-time systems.
Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

Real-Time Specification and Modeling with Joint Actions.
Sci. Comput. Program., 1993

Scheduling in Real-Time Models.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992