Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Address: [go: Go Back, main page]

---

Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

	Juhan-P. Ernits
General information	I am final year PhD student at the Department of Computer Science, Tallinn University of Technology In addition I have a part-time employment  as a researcher at the Institute of Cybernetics. My advisor is prof. Jüri Vain.
Address etc.	Postal and visiting address: Institute of Cybernetics Akadeemia tee 21 12618 Tallinn Estonia Voice: +372 6204194 E-mail: juhan(a t)cc.ioc.ee
Research topic	The general topic of my PhD work is analysis and verification of software. Currently I work on ways how to extend the applicability of model checking for specific kind of reachability checks like for example, for automated test generation from specification models.
Professional activities:	It is / has been fun to contribute to the following events: Aug 2007 6th Estonian Summer School in Computer and System Science (ESSCaSS'07) June 2007 19th TestCom, 7th FATES 27th FORTE, 2007 Aug 2006 5th Estonian Summer School in Computer and System Science (ESSCaSS'06) July 2006 8th MPC, 11th AMAST, 2005 Sept 2005 6th TFP, 10th ICFP, 4th GPCE, 2005 Aug 2005 4th Estonian Summer School in Computer and System Science (ESSCaSS'05) Aug 2004 3rd Estonian Summer School in Computer and System Science (ESSCaSS'04) April 2004 2nd APPSEM II Workshop, APPSEM'04 Aug 2003 2nd Estonian Summer School in Computer and System Science (ESSCaSS'03) Nov 2002 14th Nordic Workshop on Programming Theory, NWPT'02
Selected publications	2007 Jüri Vain, Kullo Raiend, Andres Kull, Juhan Ernits. Synthesis of test purpose directed reactive planning tester for nondeterministic systems. Submitted to ASE'07.  A preliminary version is available as a Technical Report No CONTROL 125/07 of the Institute of Cybernetics. Pdf 2007 Margus Veanes, Juhan Ernits, Colin Campbell. State isomorphism in model programs with abstract data structures. Proceedings of FORTE'07. (Eds. J. Derrick and J. Vain: Berlin: Springer, 2007, 112 - 127. (Lecture Notes in Computer Science) 2006 Juhan Ernits, Andres Kull, Kullo Raiend,  Jüri Vain. Generating TTCN-3 test cases from EFSM models of reactive software using model checking . Informatik 2006 - Informatik für Menschen. Bd 2 . (Eds.) Hochberger, Ch.; Liskowsky, R.. Bonn: Köllen, 2006, 241 - 248. (Lecture Notes in Informatics) (Proceedings of MOTES'06) 2006 Juhan Ernits, Andres Kull, Kullo Raiend,  Jüri Vain. Generating tests from EFSM models using guided model checking and iterated search refinement. Proceedings of the International Workshop on Formal Aspects of Testing and Runtime Verification (FATES/RV'06). (Eds.)  K. Havelund, et al.. Berlin: Springer, 2006, 85 - 99. (Lecture Notes in Computer Science) 2005 Juhan Ernits. Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card. Nordic Journal of Computing, 12(2):68-88. Pdf, bibtex (© 2005 Publ. Assoc. Nordic J. of Computing). 2003 J. Vain, J. Ernits: Model checking in pattern based control systems design. In Camacho, E.F., Basenez, L., De La Puenta, J.A., eds.: Proceedings of the 15th IFAC World Congress: Computers for Control, IFAC, Elsevier (2003), Vol. L, 237-­241 Pdf, bibtex (© 2003 IFAC).
Some links (in Estonian)	Mitmesugust.

---

Last modified: some time this century