Juhan-Peep Ernits

juhan.ernits@ttu.ee

Teenistuskäik

Töökohad ja ametid
01.09.2012–31.12.2016    Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool, Dotsent (1,00)
01.01.2008–31.12.2011    Birminghami Ülikool, teadur (järeldoktorantuur)
01.01.2007–31.12.2007    Microsoft Researchi Redmondi uurimislabor USA-s, intern, (01.2007-03.2007)
01.01.2003–31.12.2004    Doktorikoolis BRICS, Taanis, külalisdoktorant Marie Curie Fellowship stipendiumi raames (09.2003-01.2004)
2002–31.10.2008    Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool, Teadur (0,50)
2002–31.10.2008    Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Teadur (0,50)
01.01.1997–31.12.2002    TTÜ Küberneetika Instituut, insener
 
 
Haridustee
2002–2007    Doktoriõpe, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut. Juhendaja prof. Jüri Vain
2000–2002    Magistriõpe, TTÜ, Arvutiteaduse instituut
1994–1999    Bakalaureuseõpe, TTÜ arvuti- ja süsteemitehnika õppesuund, Cum Laude
 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2015−2015    Konverentsi Tests and Proofs, TAP 2015, programmitoimkonna liige
2014−2014    Konverentsi Tests and Proofs, TAP 2014, programmitoimkonna liige
2013−2013    25th Nordic Workshop on Programming Theory, NWPT '13, üks korraldajatest
2012−2012    European Joint Conferences on Theory and Practice of Software (ETAPS) 2012 korraldustoimkonna liige
2011−2011    Paul and Yuanbi Ramsay Research Fund grant arvutusinfrastruktuuri arendamiseks Birminghami Ülikooli Arvutiteaduse Koolis
2011−2011    Programmitoimkonna liige, 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011
2011−2011    Nuffield Foundation Undergraduate Research Bursary grant Michal Staniaszekile
2010−2010    Programmtoimkonna liige, 3rd Workshop on Model-based Testing in Practice, MOTIP 2010
2009−2009    Programmtoimkonna liige, 2nd Workshop on Model-based Testing in Practice, MOTIP 2009
2009−2009    Programmitoimkonna liige, 16. Formaalmeetodite Rahvusvaheline Sümpoosion, FM2009, Eindhoven, Holland, 30.10.2009-7.11.2009
2008−2008    Programmtoimkonna liige, 1st Workshop on Model-based Testing in Practice, MOTIP 2008
2008−2008    Programmi- ja korraldustoimkonna liige, NODES võrgustikuga koostöös organiseeritud 7. Eesti Arvuti- ja Süsteemiteaduse Suvekool
2008−2008    TTÜ2020 visiooni koostamise toimkonna liige
2007−2007    Kohaliku korraldustoimkonna juht, 27th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, FORTE'07
2007−2007    Kohaliku korraldustoimkonna juht, 19th IFIP International Conference on Testing of Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software, TestCom/FATES'07, http://ioc.ee/testcom-fates-forte07/
2007−2007    Korraldus- ja programmkomitee liige 6th Estonian Summer School in Computer and Systems Science, http://courses.cs.ut.ee/schools/esscass2007/
2007−2008    TTÜ Küberneetika Instituudi teadusnõukogu liige
2006−2006    Kohaliku korraldustoimkonna liige, 8th International Conference of Mathematics of Program Construction, http://www.cs.ioc.ee/mpc-amast06/
2006−2006    Kohaliku korraldustoimkonna liige, 11th International Conference on Algrebaic Methodology and Software Technology, http://www.cs.ioc.ee/mpc-amast06/
2006−2006    Korraldus- ja programmkomitee liige 5th Estonian Summer School in Computer and Systems Science, http://cs.ioc.ee/yik/schools/sum2006
2005−2005    Põhikorraldaja ja programmkomitee liige, 4. Eesti Arvuti- ja Süsteemiteaduse Suvekool, Pedase, 7.-12. august 2005.a., http://www.cs.ioc.ee/yik/schools/sum2005;
2005−2005    Kohaliku korraldustoimkonna liige, 10th ACM SIGPLAN International Conference on Functional Programming, ICFP '05;
2005−2005    Kohaliku korraldustoimkonna liige, 6th International Symposium on Trends in Functional Programming, TFP '05;
2005−2005    Kohaliku korraldustoimkonna liige, 4th International Conference on Generative Programming and Component Engineering, GPCE '05; http://www.cs.ioc.ee/tfp-icfp-gpce05;
2004−2004    Põhikorraldaja ja programmkomitee liige, 3. Eesti Arvuti- ja Süsteemiteaduse Suvekool, Pedase, 8.-12. august 2004.a., http://www.cs.ioc.ee/yik/schools/sum2004;
2004−2004    Kohaliku korraldustoimkonna liige, 2nd APPSEM II Workshop, Tallinn, 14.-16. aprill 2004.a., http://www.cs.ioc.ee/appsem04/
2003−2003    Põhikorraldaja ja programmkomitee liige, 2. Eesti Arvuti- ja Süsteemiteaduse Suvekool, Taagepera, 10.-14. august 2003.a., http://www.cs.ioc.ee/yik/schools/sum2003;
2002−2002    Kohaliku korraldustoimkonna liige, 14th Nordic Workshop on Programming Theory, NWPT'02 (Tallinn, 20-22 november 2002), http://www.cc.ioc.ee/nwpt02.

Kvalifikatsioon

 
 
Teaduspreemiad ja tunnustused
2011, Juhan-Peep Ernits, 2. koht mitmelõimeliste deterministlike plaanijate kategoorias 7. Rahvusvahelisel Plaanijate Võistlusel IPC 2011
2008, Juhan-Peep Ernits, Akadeemik Boris Tamme nimeline stipendium
2006, Juhan-Peep Ernits, Tiigriülikooli stipendiumid IKT doktorantidele Eesti avalik-õiguslikes ülikoolides
2003, Juhan-Peep Ernits, Tiigriülikooli stipendiumid IKT doktorantidele Eesti avalik-õiguslikes ülikoolides
2002, Juhan-Peep Ernits, Eesti Teaduste Akadeemia 2002.a. üliõpilastööde konkursi II preemia.

Lõppenud projektid

Publikatsioonid

Klass
Aasta
Publikatsioon
 
3.1.
2015
3.2.
2014
1.1.
2013
3.4.
2011
3.4.
2011
3.4.
2011
3.1.
2010
3.4.
2010
3.1.
2009
3.4.
2009
3.1.
2008
3.4.
2008
4.2.
2008
5.2.
2008
6.3.
2008
6.3.
2008
2.3.
2007
3.1.
2007
3.1.
2007
5.2.
2007
6.3.
2007
6.3.
2007
6.3.
2007
3.1.
2006
3.1.
2006
5.2.
2006
1.2.
2005
3.1.
2003
6.7.
2002

Juhan-Peep Ernits

juhan.ernits@ttu.ee

Career

Institution and occupation
01.09.2012–31.12.2016    Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics, Associate Professor (1,00)
01.01.2008–31.12.2011    University of Birmingham, research fellow
01.01.2007–31.12.2007    Microsoft Research Redmond, WA, USA, intern, (01.2007-03.2007)
01.01.2003–31.12.2004    BRICS PhD School, Denmark, visiting PhD student with a Marie Curie Fellowship, 09.2003-01.2004
2002–31.10.2008    Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics, Researcher (0,50)
2002–31.10.2008    Tallinn University of Technology , Institute of Cybernetics at TUT, Researcher (0,50)
01.01.1997–31.12.2002    Institute of Cybernetics at TUT, engineer
 
 
Education
2002–2007    PhD studies, Tallinn University of Technology, Faculty of Information Technology, Department of Computer Science. Adviser Prof. Jüri Vain
2000–2002    MSc studies at TUT, Department of Computer Science
1994–1999    BSc studies at Tallinn Technical University, Cum Laude
 
 
R&D related managerial and administrative work
2015−2015    PC member ,Tests and Proofs, TAP 2015
2014−2014    PC member ,Tests and Proofs, TAP 2014
2013−2013    25th Nordic Workshop on Programming Theory, NWPT '13, one of the organisers
2012−2012    One of the local organisers of the European Joint Conferences on Theory and Practice of Software (ETAPS) 2012
2011−2011    Paul and Yuanbi Ramsay Research Fund grant for advancing computing infrastructure at School of Computer Science, Birmingham University
2011−2011    PC member, 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011
2011−2011    Nuffield Foundation Undergraduate Research Bursary grant for Michal Staniaszek
2010−2010    PC member, 3rd Workshop on Model-based Testing in Practice, MOTIP 2010
2009−2009    PC member, 2nd Workshop on Model-based Testing in Practice, MOTIP 2009
2009−2009    PC member, 16th International Symposium on Formal Methods, FM2009, The Netherlands, Oct 30 - Nov 7, 2009
2008−2008    PC member, 1st Workshop on Model-based Testing in Practice, MOTIP 2008
2008−2008    Member of program and organising committees, 7th Estonian Summer School in Comuter and Systems Scienc in collaboration with Nordic Network on Dependable Systems (NODES)
2008−2008    Member of the Vision TUT2020 team
2007−2007    Chair of local organisation of the 27th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, FORTE'07
2007−2007    Chair of local organisation of the 19th IFIP International Conference on Testing of Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software, TestCom/FATES'07, http://ioc.ee/testcom-fates-forte07/
2007−2007    Member of the organising and programme committees, 6th Estonian Summer School in Computer and Systems Science, http://courses.cs.ut.ee/schools/esscass2007/
2007−2008    Member of the Research Council of the Institute of Cybernetics at TUT
2006−2006    Member of the local organisation committee, 8th International Conference of Mathematics of Program Construction, http://www.cs.ioc.ee/mpc-amast06/
2006−2006    Member of the local organisation committee, 11th International Conference on Algrebaic Methodology and Software Technology, http://www.cs.ioc.ee/mpc-amast06/
2006−2006    Member of the organising and programme committees, 5th Estonian Summer School in Computer and Systems Science, http://cs.ioc.ee/yik/schools/sum2006
2005−2005    Main organiser and member of the program committee, 4th Estonian Summer School in Computer and System Science, Pedase, August 7-12, 2005, http://www.cs.ioc.ee/yik/schools/sum2005;
2005−2005    Member of the local organisation committee, 10th ACM SIGPLAN International Conference on Functional Programming, ICFP '05;
2005−2005    Member of the local organisation committee, 6th International Symposium on Trends in Functional Programming, TFP '05;
2005−2005    Member of the local organisation committee, 4th International Conference on Generative Programming and Component Engineering, GPCE '05; http://www.cs.ioc.ee/tfp-icfp-gpce05;
2004−2004    Main organiser and member of the programme committee, 3rd Estonian Summer School in Computer and System Science, Pedase, August 8-12, 2004, http://www.cs.ioc.ee/yik/schools/sum2004;
2004−2004    Member of the local organisation committee, 2nd APPSEM II Workshop, Tallinn, April 14-16 2004, http://www.cs.ioc.ee/appsem04/
2003−2003    Main organiser and member of the programme committee, 2nd Estonian Summer School in Computer and Systems Science, Taagepera, August 10-14, 2003, http://www.cs.ioc.ee/yik/schools/sum2003;
2002−2002    Member of the local organisation committee, 14th Nordic Workshop on Programming Theory, NWPT'02 (Tallinn, November 20-22, 2002), http://www.cc.ioc.ee/nwpt02.

Qualifications

 
 
Honours & awards
2011, Juhan-Peep Ernits, Runner up in the multithreaded deterministic track in the 7th International Planning Competition (IPC 2011)
2008, Juhan-Peep Ernits, Boris Tamm stipend
2006, Juhan-Peep Ernits, EITSA grant for ICT PhD students
2003, Juhan-Peep Ernits, EITSA grant for ICT PhD students
2002, Juhan-Peep Ernits, Estonian Academy of Sciences, 2nd prize for student research contest
 
 

Completed projects

Publications

Category
Year
Publication
 
3.1.
2015
3.2.
2014
1.1.
2013
3.4.
2011
3.4.
2011
3.4.
2011
3.1.
2010
3.4.
2010
3.1.
2009
3.4.
2009
3.1.
2008
3.4.
2008
4.2.
2008
5.2.
2008
6.3.
2008
6.3.
2008
2.3.
2007
3.1.
2007
3.1.
2007
5.2.
2007
6.3.
2007
6.3.
2007
6.3.
2007
3.1.
2006
3.1.
2006
5.2.
2006
1.2.
2005
3.1.
2003
6.7.
2002
  • Leitud 10 kirjet
ProgrammNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusRahastamine kokku
MUULep13121"ELIKO Competence Centre EU30017, alamprojekt 2.2: Testigeneraatori REACTIVE kompositsioonilise laienduse elluviimine01.03.201330.06.2013Juhan-Peep ErnitsTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool9 980,00 EUR
MUUVEU16062Allveerobootika lahendused naftareostuse leviku jälgimiseks01.01.201731.12.2018Juhan-Peep ErnitsTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool38 805,69 EUR
TKEXCSArvutiteaduse tippkeskus - EXCS07.07.200831.08.2015Tarmo UustaluTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut4 244 372,58 EUR
MUUG4156 (ETF4156)Formaalsed meetodid hübriidsete dünaamiliste süsteemide verifitseerimiseks01.01.200031.12.2003Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut20 004,35 EUR
SFSF0140018s08Keerukate mittelineaarsete juhtimissüsteemide süntees01.01.200831.12.2013Ülle KottaTallinna Tehnikaülikool, TTÜ Küberneetika Instituut756 803,02 EUR
ETFETF5775Lõpmatu olekuruumiga süsteemide abstraktsiooni-põhine verifitseerimine ja analüüs01.01.200431.12.2007Jüri VainTallinna Tehnikaülikool, TTÜ Küberneetika Instituut28 836,18 EUR
SFSF0322520s03Mittelineaarsed ja hübriidsed juhtimissüsteemid01.01.200331.12.2007Ülle KottaTallinna Tehnikaülikool, TTÜ Küberneetika Instituut415 457,67 EUR
ETFETF7667Mudeli-põhine plaanurite süntees mittedeterministlikele ja hajussüsteemidele01.01.200831.12.2011Jüri VainTallinna Tehnikaülikool, TTÜ Küberneetika Instituut56 550,81 EUR
MUUG5086 (ETF5086)Raalintegreeritud juhtimissüsteemide mustripõhine modelleerimine ja analüüs01.01.200231.12.2005Tiit RiismaaTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut14 699,68 EUR
IUTIUT33-13Tugevate garantiidega tarkvara meetodid, tööriistad ja protsessid01.01.201531.12.2020Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut540 000,00 EUR
  • Leitud 36 kirjet
PublikatsioonKlassifikaatorFail
Ernits, J.; Halling, E.; Kanter, G.; Vain, J. (2015). Model-based integration testing of ROS packages: a mobile robot case study. 2015 IEEE European Conference on Mobile Robots : Lincoln, UK, September 2-4, 2015, Proceedings. Lincoln: IEEE, [1−7].10.1109/ECMR.2015.7324210.3.1.
Lump, Peeter; Ernits, Juhan; Vain, Jüri (2014). Towards better specifications for software outsourcing. Databases and Information Systems : Proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014, Tallinn, Estonia, 8-11 June 2014. Ed. Haav, Hele-Mai; Kalja, Ahto; Robal, Tarmo. Tallinn: Tallinn University of Technology Press, 453−458.3.2.
Dearden, R.; Ernits, J. (2013). Automated Fault Diagnosis for an Autonomous Underwater Vehicle. IEEE Journal of Oceanic Engineering, 38 (3), 484−499.10.1109/JOE.2012.2227540.1.1.
Ernits, Juhan; Gretton, Charles; Dearden, Richard (2011). AYALSOPLAN: bitstate pruning for state-based planning on massively parallel computer clusters. The Seventh International Planning Competition : Description of Participant Planners of the Deterministic Track, June, 2011. Ed. Ángel, García-Olaya; Jiménez, Sergio; Lópes, Carlos Linares. Madrid: Universidad Carlos III de Madrid, 117−124.3.4.
Ernits, Juhan; Dearden, Richard; Pebody, Miles (2011). Fault diagnosis challenge in a flight-class autonomous underwater vehicle. Proc.of 22nd Int.Wksh.on Principles of Diagnosis (Murnau, Oct.2011): 22nd International Workshop on Principles of Diagnosis (Murnau, Oct. 2011). 1−4.3.4.
Ernits, Juhan; Dearden, Richard (2011). Towards diagnosis modulo theories. Proc.of 22nd Int.Wksh.on Principles of Diagnosis (Murnau, Oct.2011): 22nd International Workshop on Principles of Diagnosis (Murnau, Oct. 2011). 1−8.3.4.
Ernits, Juhan; Dearden, Richard; Pebody, Miles (2010). Automatic fault detection and execution monitoring for AUV missions. 2010 IEEE/OES Autonomous Underwater Vehicles (AUV) : Monterey, California, USA, September 1-3, 2010, [Proceedings]. Monterey: IEEE, [1−9].10.1109/auv.2010.5779660.3.1.
Ernits, Juhan; Dearden, Richard; Pebody, Miles; Guggenhein, James (2010). Diagnosis of Autosub 6000 using automatically generated software models. 21st International Workshop on Principles of Diagnosis (DX'10) : Portland, Oregon on October 13-16, 2010. Prognostics and Health Management Society, 1−8.3.4.
Ernits, Juhan; Roo, Rivo; Jacky, Jonathan; Veanes, Margus (2009). Model-Based Testing of Web Applications Using NModel. Testing of Software and Communication Systems. Proceedings: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Ed. Nunez, Manuel; Baker, Paul; Merayo, Mercedes G. Springer, 211−216. (Lecture Notes in Computer Science; 5826).10.1007/978-3-642-05031-2_14.3.1.
Ernits, Juhan; Dearden, Richard; Pebody, Miles (2009). Formal methods for automated diagnosis of Autosub 6000. Proceedings of the First NASA Formal Methods Symposium: First NASA Formal Methods Symposium. Toim. Denney, Ewen; Giannakopoulou, Dimitra; Corina S. Pasareanu. Moffett Field, CA: NASA Ames Research Center, 181−185.3.4.
Ernits, Juhan; Kääramees, Marko; Raiend, Kullo; Kull, Andres (2008). Requirements-driven model-based testing of the IP Multimedia Subsystem. BEC 2008 : 2008 International Biennial Baltic Electronics Conference : Proceedings: 11th Biennial Baltic Electronics Conference, Tallinn University of Technology, October 6-8, 2008, Tallinn, Estonia. Tallinn: Tallinn University of Technology, 203−206.10.1109/BEC.2008.4657514.3.1.
Ernits, Juhan; Veanes, Margus; Helander, Johannes (2008). Model-based testing of robots with NMmodel. TESTCOM/FATES 2008 Short Papers: TESTCOM/FATES 2008 : Short Papers, Campus Innovation Center Tokyo, Japan, June 12-13 2008. Ed. Suzuki, Kenji; Higashino, Teruo; Ulrich, Andreas; Hasegawa, Toru. Tokyo, 40−49.3.4.
Uustalu, Tarmo; Vain, Jüri; Ernits, Juhan (Eds.) (2008). 20th Nordic Workshop on Programming Theory, NWPT 2008 : Tallinn, Estonia, 19-21 November 2008, Abstracts. Tallinn: Institute of Cybernetics at Tallinn University of Technology.4.2.
Roo, Rivo; Ernits, Juhan (2008). Model-based testing of a web-based positioning application. 20th Nordic Workshop on Programming Theory, NWPT 2008 : Tallinn, Estonia, 19-21 November 2008, Abstracts. Ed. Uustalu, Tarmo; Vain, Jüri; Ernits, Juhan. Tallinn: Institute of Cybernetics at Tallinn University of Technology, 75−77.5.2.
Ernits, J. (2008). Allveemaailma avastamas. Horisont, 5, 34−36.6.3.
Ernits, Juhan (2008). Robotivõistlus Ameerika moodi. Horisont, 2, 36−38.6.3.
Ernits, J.-P. (2007). Two state space reduction techniques for explicit state model checking. (Doktoritöö, Tallinna Tehnikaülikool). Tallinn: TUT Press.2.3.
Veanes, Margus; Ernits, Juhan; Campbell, Colin (2007). State isomorphism in model programs with abstract data structures. Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings. Ed. Derrick, John; Vain, Jüri. Berlin: Springer, 112−127. (Lecture Notes in Computer Science; 4574).10.1007/978-3-540-73196-2_8.3.1.
Vain, J.: Raiend, K.; Kull, A.; Ernits, J. (2007). Synthesis of test purpose directed reactive planning tester for nondeterministic systems. ASE'07 : 2007 ACM/IEEE International Conference on Automated Software Engineering, Atlanta, Georgia, November 5-9, 2007, proceedings: 22nd IEEE/ACM International Conference on Automated Software Engineering. ACM Press, 363−372.10.1145/1321631.1321685.3.1.
Veanes, Margus; Ernits, Juhan; Campbell, Colin (2007). State isomorphism in model programs with abstract data structures. Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu Kunstimuuseum. [Tallinn: Tallinna Tehnikaülikooli Kirjastus], 43−46.3.5.
Vain, J.; Raiend, K.; Kull, A.; Ernits, J. (2007). Synthesis of test purpose directed reactive planning tester for nondeterministic systems (extended abstract). NWTP'07/FLACOS'07 Workshop Proceedings: Nordic Workshop in Programming Theory 2007, Oslo, 10.-12. oktoober, 2007. Ed. Johnsen, E. B.; Owe, O.; Schneider G. Oslo: University of Oslo, 55−57.5.2.
Ernits, Juhan (2007). Ehitame roboti ise. Horisont, 2, 48−49.6.3.
Ernits, Juhan (2007). Robot kui suhtluspartner. Horisont, 5, 46−47.6.3.
Ernits, Juhan (2007). Robotex 2006: noorte inseneride mõõduvõtt. Horisont, 1, 50−51.6.3.
Ernits, Juhan-P. ; Kull, Andres; Raiend, Kullo ; Vain, Jüri (2006). Generating tests from EFSM models using guided model checking and iterated search refinement. Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers. Ed. Havelund, K., et al. Berlin: Springer, 85−99. (Lecture Notes in Computer Science; 4262).10.1007/11940197_6.3.1.
  • Leitud 7 kirjet
PealkiriJuhendatavKraadJuhendajaKaitsmise staatusKaitsmise aastaAsutus
Decision procedures for quaternionsLiiva, KristjandoktorikraadJuhan-Peep ErnitsJuhendamiselTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Mitme Kinecti kasutamine pööramisliigutuse registreerimiseksHelena LissenkomagistrikraadSven Nõmm; Juhan-Peep ErnitsKaitstud2015Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Programmianalüüs ning rakendustarkvara verifitseerimineSaal, KaarelmagistrikraadJuhan-Peep ErnitsJuhendamiselTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Quality assurance of safety critical software systems using quantitative methodsLump, PeeterdoktorikraadJuhan-Peep Ernits; Jüri VainJuhendamiselTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Realistic user behavior emulation in a computer systemMargus ErnitsdoktorikraadRain Ottis; Juhan-Peep ErnitsJuhendamiselTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Testandmete automaatne genereerimine kasutades kitsendustega andmebaasi skeemiTamme, Ristomagistrikraad (teaduskraad)Juhan-Peep ErnitsKaitstud2006Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool
Veebirakenduste mudelipõhine testimine asukohapõhise tarkvara näitelRoo, Rivomagistrikraad (teaduskraad)Helle Hein; Juhan-Peep Ernits; Jan VillemsonKaitstud2010Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut