| 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).
|
|
