Automated fault diagnosis for an autonomous underwater vehicle R Dearden, J Ernits IEEE Journal of Oceanic Engineering 38 (3), 484-499, 2013 | 61 | 2013 |
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 | 58 | 2018 |
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 | 49 | 2009 |
Automatic fault detection and execution monitoring for AUV missions J Ernits, R Dearden, M Pebody 2010 IEEE/OES Autonomous Underwater Vehicles, 1-10, 2010 | 26 | 2010 |
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 | 20 | 2006 |
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 | 19 | 2007 |
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 | 13 | 2015 |
Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card. JP Ernits Nord. J. Comput. 12 (2), 68-88, 2005 | 11 | 2005 |
Towards diagnosis modulo theories J Ernits, R Dearden 22nd International Workshop on Principles of Diagnosis (DX-11), 249-256, 2011 | 9 | 2011 |
Model-Based Testing of Robots with NModel J Ernits, M Veanes, J Helander | 6 | 2009 |
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 | 5 | 2007 |
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 | 5 | 2006 |
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 | 4 | 2010 |
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 | 4 | 1998 |
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 | 3 | 2011 |
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 | 3 | 2008 |
Abstraction based analysis and arbiter synthesis: Radar memory interface card case study revised J Ernits Proceedings of Nordic Workshop on Programming Theory 2004, 2004 | 3 | 2004 |
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 | 2 | 2011 |
Two state space reduction techniques for explicit state model checking JP Ernits TUT Press, 2007 | 2 | 2007 |