A tool for flexible planning of rescue routesVain, Jüri; Ernits, Juhan-Peep; Littover, Mati; Randvee, Ingmar; Riismaa, TiitIFAC Workshop on Control in Natural Disasters : CND'98 : September 21-22, 1998, Tokyo, Japan : preprints1998 / p. 101-106: ill

Allveemaailma avastamasErnits, Juhan-PeepHorisont2008 / 5, lk. 34-36 : ill https://artiklid.elnet.ee/record=b2040764*est

An open tool integration environment for manufacturing control software developmentKüttner, Rein; Ernits, Juhan-Peep; Vain, JüriMachine engineering2003 / 1/2, Manufacturing flexibility design and development, p. 23-32 : ill

Application of model checking in memory arbiter synthesisErnits, Juhan-PeepNinth Estonian Winter School in Computer Science (EWSCS'04) : Lahemaa, Estonia, February 29-March 5, 20042004 / [1 p.]. (Student talks and posters 2004 (abstracts))

Automated fault diagnosis for an autonomous underwater vehicleDearden, Richard; Ernits, Juhan-PeepIEEE journal of oceanic engineering2013 / p. 484-499 : ill

Autonomous last mile shuttle ISEAUTO for education and researchSell, Raivo; Leier, Mairo; Rassõlkin, Anton; Ernits, Juhan-PeepInternational journal of artificial intelligence and machine learning2020 / p. 18−30 https://doi.org/10.4018/IJAIML.2020010102

Doktorandi toetus kasvab, mured jäävad : [arvamust Vabariigi Valitsuse 28. okt. istungil heakskiidetud "Teadus- ja arendustegevuse korralduse ja õppelaenu seaduse muutmise seaduse" eelnõu kohta avaldavad Jakob Kübarsepp, Juhan Ernits ja Kristjan Haller]Mõttus, Anu; Kübarsepp, Jakob; Ernits, Juhan-Peep; Haller, KristjanÕpetajate Leht2004 / 12. nov., lk. 8

Ehitame roboti iseErnits, Juhan-PeepHorisont2007 / 2, lk. 48-49 : ill https://artiklid.elnet.ee/record=b2040390*est

Expanded underwater robotics ready for oil spillGilabert, Javier; Lopez-Castejon, F.; Rodríguez de Mesas, C.; Ernits, Juhan-Peep; Vain, JüriInterspill 2018 - London : [proceedings]2018 / 2 p http://interspill.org/previous-events/2018/ http://interspill.org/previous-events/2018/14March2018/3-Situational-Awareness/Expanded-Underwater-Robotics-J-Gilabert-UPCT-Cartagena.pdf

Expanded underwater robotics ready for oil spills (e-URready4OS)Gilabert, Javier; Sousa, João; Vukic, Zoran; Ernits, Juhan-Peep; Vain, JüriMarine technology reporter2018 / p. 24–33 https://magazines.marinelink.com/Magazines/MarineTechnology/201803/content/expanded-underwater-robotics-535546

Generating tests from EFSM models using guided model checking and iterated search refinmentErnits, Juhan-Peep; Kull, Andres; Raiend, Kullo; Vain, JüriFormal Approach to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006 : Seattle, WA, USA, August 15-16, 2006 : revised selected papers2006 / p. 85-99 https://link.springer.com/chapter/10.1007/11940197_6

Generating TTCN-3 test cases from EFSM models of reactive software using model checkingErnits, Juhan-Peep; Kull, Andres; Raiend, Kullo; Vain, JüriInformatik 2006 - Informatik für Menschen : proceedings : Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V.(GI) : 2.bis 6.Oktober in Dresden2006 / p. 241-248

Memory arbiter synthesis and verification for a radar memory interface cardErnits, Juhan-PeepNordic journal of computing2005 / 2, p. 68-88

Miks korraldatakse maailmas hulgaliselt robotivõistlusi ja miks on vaja Eestil oma Robotexi?Ernits, Juhan-PeepHorisont2006 / 1, lk. 8-9 : fot

Model checking in pattern based control systems designVain, Jüri; Ernits, Juhan-Peep15th Triennial World Congress of the International Federation of Automatic Control : Barcelona, Spain, 21th-26th July, 2002 : final program, book of abstracts2002 / p. 112

Model checking in pattern based control systems design [Electronic resource]Vain, Jüri; Ernits, Juhan-PeepProceedings of the 15th IFAC World Congress : Barcelona, Spain, 20022002 / [6] p. : ill. [CD-ROM]

Model-based integration testing of ROS packages : a mobile robot case studyErnits, Juhan-Peep; Halling, Evelin; Kanter, Gert; Vain, Jüri2015 European Conference on Mobile Robots : Lincoln, United Kingdom, September 2-4, 2015 : conference proceedings2015 / [7] p. : ill http://dx.doi.org/10.1109/ECMR.2015.7324210

Model-based testing of a web-based positioning applicationRoo, Rivo; Ernits, Juhan-Peep20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts2008 / p. 75-77 : ill

Model-based testing of robots with NMmodelErnits, Juhan-Peep; Veanes, Margus; Helander, JohannesTESTCOM/FATES 2008 : Tokyo, Japan, June 12-13, 2008 : short papers2008 / p. 40-49

Optimal scheduler synthesis using cost optimal reachability analysisErnits, Juhan-PeepTenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 20052005 / [1 p.]. (Student talks and posters 2005 (abstracts))

Requirements-driven model-based testing of the IP Multimedia SubsystemErnits, Juhan-Peep; Kääramees, Marko; Raiend, Kullo; Kull, AndresBEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia2008 / p. 203-206

Robot kui suhtluspartnerErnits, Juhan-PeepHorisont2007 / 5, lk. 46-47 : fot

Robotex 2006 : noorte inseneride mõõduvõttErnits, Juhan-PeepHorisont2007 / 1, lk. 50-51 : ill

Robotivõistlus Ameerika moodi : [USA Kaitseministeeriumi teadusagentuuri sponsoreeritud robotivõistlusest DARPA Grand Challenge 2007. a.]Ernits, Juhan-PeepHorisont2008 / 2, lk. 36-38 : ill https://artiklid.elnet.ee/record=b2041589*est

Self-driving car ISEAUTO for research and educationSell, Raivo; Leier, Mairo; Rassõlkin, Anton; Ernits, Juhan-PeepProceedings of the 2018 19th International Conference on Research and Education in Mechatronics : (REM 2018), Delft, The Netherlands, June 7-8, 20182018 / p. 111-116 : ill https://doi.org/10.1109/REM.2018.8421793

(Semi-)Automatic generation of Uppaal models for model checking embedded control systemsErnits, Juhan-Peep; Vain, Jüri14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstracts2002 / p. 45-46

Silmad kinni ja näpud püsti! Kellest saab doktorant? : [kavandatavaid seadusemuudatusi õppetoetuste ja õppelaenu osas kommenteerivad TTÜ kõnetehnoloogia doktorant Tanel Alumäe, infotehnoloogia doktorant Juhan-Peep Ernits ja Küberneetikainstituudi vanemteadur Ülle Kotta]Lill, Anne; Alumäe, Tanel; Ernits, Juhan-Peep; Kotta, ÜlleLinnaleht2004 / 3. dets., lk. A 7

Solving line balancing problems with model checkingVain, Jüri; Randvee, Ingmar; Riismaa, Tiit; Ernits, Juhan-PeepProceedings of the Estonian Academy of Sciences. Engineering2002 / 4, p. 211-222 : ill https://artiklid.elnet.ee/record=b1011298*est

State isomorphism in model programs with abstract data structuresVeanes, Margus; Ernits, Juhan-Peep; Campbell, ColinFormal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings2007 / p. 112-127 : ill

State isomorphism in model programs with abstract data structuresVeanes, Margus; Ernits, Juhan-Peep; Campbell, ColinInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 43-46 : ill

Synthesis of test purpose directed reactive planning tester for nondeterministic systemsVain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan-Peep22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) : November 5-9, 2007, Atlanta, Georgia, USA2007 / p. 363-372 https://www.researchgate.net/publication/220883693_Synthesis_of_test_purpose_directed_reactive_planning_tester_for_nondeterministic_systems

Synthesis of test purpose directed reactive planning tester for nondeterministic systems (extended abstracts)Vain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan-PeepNWTP'07/FLACOS'07 Workshop Proceedings : Oslo, 10-12 October 20072007 / p. 55-57

Towards better specifications for software outsourcingLump, Peeter; Ernits, Juhan-Peep; Vain, JüriDatabases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 20142014 / p. 453-458 : ill

TTÜ aastal 2020 : töögrupi vahearuanneErnits, Juhan-Peep; Goi, Anna; Jervan, Gert; Leibak, Alar; Randma-Liiv, Tiina; Otto, Tauno; Rosin, Argo; Sarmiento Guerin, Maria CeciliaMente et Manu2009 / 16. veebr., lk. 4 : fot https://www.ester.ee/record=b1242496*est

20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstractsUustalu, Tarmo; Vain, Jüri; Ernits, Juhan-Peep2008 https://www.ester.ee/record=b2435749*est

Two state space reduction techniques for explicit state model checking = Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollisErnits, Juhan-Peep2007 https://digi.lib.ttu.ee/i/?162

Utilising processor cache for speeding up reachability checks in model checkingErnits, Juhan-PeepEleventh Estonian Winter School in Computer Science (EWSCS'06) : Park Hotel Palmse, Lahemaa, Estonia : March 5-10, 20062006 / [1] p