dblp.uni-trier.dewww.uni-trier.de

Juhan P. Ernits Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2007
5EEJüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits: Synthesis of test purpose directed reactive planning tester for nondeterministic systems. ASE 2007: 363-372
4EEMargus Veanes, Juhan P. Ernits, Colin Campbell: State Isomorphism in Model Programs with Abstract Data Structures. FORTE 2007: 112-127
2006
3EEJuhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain: Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement. FATES/RV 2006: 85-99
2 Juhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain: Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking. GI Jahrestagung (2) 2006: 241-248
2005
1 Juhan P. Ernits: Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card. Nord. J. Comput. 12(2): 68-88 (2005)

Coauthor Index

1Colin Campbell [4]
2Andres Kull [2] [3] [5]
3Kullo Raiend [2] [3] [5]
4Jüri Vain [2] [3] [5]
5Margus Veanes [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)