| 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 | 59 | 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 | 27 | 2010 |
| Synthesis of test purpose directed reactive planning tester for nondeterministic systems J Vain, K Raiend, A Kull, JP Ernits Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007 | 20 | 2007 |
| 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 |
| Model-based integration testing of ROS packages: A mobile robot case study J Ernits, E Halling, G Kanter, J Vain 2015 European Conference on Mobile Robots (ECMR), 1-7, 2015 | 14 | 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 |
| 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 | 6 | 2006 |
| State isomorphism in model programs with abstract data structures M Veanes, J Ernits, C Campbell Formal Techniques for Networked and Distributed Systems–FORTE 2007: 27th …, 2007 | 5 | 2007 |
| 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 |
| Requirements-driven model-based testing of the IP multimedia subsystem J Ernits, M Kaaramees, K Raiend, A Kull 2008 11th International Biennial Baltic Electronics Conference, 203-206, 2008 | 4 | 2008 |
| 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 |
| 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 |
| Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds IE Varatalu, M Veanes, JP Ernits arXiv preprint arXiv:2309.14401, 2023 | 2 | 2023 |
| 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 |
Richard DeardenReader in Intelligent Robotics, University of BirminghamVerified email at cs.bham.ac.uk
