Juhan Ernits
Title
Cited by
Cited by
Year
Automated fault diagnosis for an autonomous underwater vehicle
R Dearden, J Ernits
IEEE Journal of Oceanic Engineering 38 (3), 484-499, 2013
452013
Model-based testing of web applications using NModel
J Ernits, R Roo, J Jacky, M Veanes
Testing of Software and Communication Systems, 211-216, 2009
412009
Automatic fault detection and execution monitoring for AUV missions
J Ernits, R Dearden, M Pebody
Autonomous Underwater Vehicles (AUV), 2010 IEEE/OES, 1-10, 2010
192010
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
J Vain, K Raiend, A Kull, JP Ernits
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
182007
Generating tests from efsm models using guided model checking and iterated search refinement
JP Ernits, A Kull, K Raiend, J Vain
Formal Approaches to Software Testing and Runtime Verification, 85-99, 2006
182006
Self-driving car ISEAUTO for research and education
R Sell, M Leier, A Rassõlkin, JP Ernits
2018 19th International Conference on Research and Education in Mechatronics …, 2018
152018
Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card.
JP Ernits
Nord. J. Comput. 12 (2), 68-88, 2005
102005
Model-based integration testing of ROS packages: A mobile robot case study
J Ernits, E Halling, G Kanter, J Vain
Mobile Robots (ECMR), 2015 European Conference on, 1-7, 2015
72015
Towards diagnosis modulo theories
J Ernits, R Dearden
22nd International Workshop on Principles of Diagnosis (DX-11), 249-256, 2011
72011
Model-Based Testing of Robots with NModel
J Ernits, M Veanes, J Helander
62009
State Isomorphism in Model Programs with Abstract Data Structures
C Campbell, J Ernits, M Veanes
IFIP Lecture Notes in Computer Science (LNCS) 4574 (4574), 112-127, 2011
5*2011
State isomorphism in model programs with abstract data structures
M Veanes, J Ernits, C Campbell
International Conference on Formal Techniques for Networked and Distributed …, 2007
52007
Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking.
JP Ernits, A Kull, K Raiend, J Vain
GI Jahrestagung (2), 241-248, 2006
52006
Diagnosis of Autosub 6000 using automatically generated software models
J Ernits, R Dearden, M Pebody, J Guggenheim
Proc. of the Twenty First International Workshop on Principles of Diagnosis …, 2010
42010
A Tool for Flexible Planning of Rescue Routes
J Vain, JP Ernits, M Littover, I Randvee, T Riismaa
IFAC Proceedings Volumes 31 (28), 85-90, 1998
41998
Ay also plan: Bitstate pruning for state-based planning on massively parallel compute clusters
J Ernits, C Gretton, R Dearden
Proc. 7th International Planning Competition (IPC’11), 2011
32011
Requirements-driven model-based testing of the IP multimedia subsystem
J Ernits, M Kaaramees, K Raiend, A Kull
Electronics Conference, 2008. BEC 2008. 11th International Biennial Baltic …, 2008
32008
Abstraction based analysis and arbiter synthesis: Radar memory interface card case study revised
J Ernits
Proceedings of Nordic Workshop on Programming Theory 2004, 2004
32004
Fault Diagnosis Challenge in a Flight-Class Autonomous Underwater Vehicle
J Ernits, R Dearden, M Pebody
Proceedings of the 22nd International Workshop on the Principles of Diagnosis, 2011
22011
Two state space reduction techniques for explicit state model checking
JP Ernits
TUT Press, 2007
22007
The system can't perform the operation now. Try again later.
Articles 1–20