Juhan Ernits
Juhan Ernits
Department of Computer Science, Tallinn University of Technology
Потвърден имейл адрес: ttu.ee
Automated fault diagnosis for an autonomous underwater vehicle
R Dearden, J Ernits
IEEE Journal of Oceanic Engineering 38 (3), 484-499, 2013
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
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
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
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
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
Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card.
JP Ernits
Nord. J. Comput. 12 (2), 68-88, 2005
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
Towards diagnosis modulo theories
J Ernits, R Dearden
22nd International Workshop on Principles of Diagnosis (DX-11), 249-256, 2011
Model-Based Testing of Robots with NModel
J Ernits, M Veanes, J Helander
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
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
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
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
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
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
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
Abstraction based analysis and arbiter synthesis: Radar memory interface card case study revised
J Ernits
Proceedings of Nordic Workshop on Programming Theory 2004, 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
Two state space reduction techniques for explicit state model checking
JP Ernits
TUT Press, 2007
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20