Juhan P. Ernits
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2006–2025
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Regex Decision Procedures in Extended RE#. | Ian Erik Varatalu, Margus Veanes, Ekaterina Zhuchko, Juhan P. Ernits |
| 2007 | FORTE | State Isomorphism in Model Programs with Abstract Data Structures. | Margus Veanes, Juhan P. Ernits, Colin Campbell |
| 2006 | GI | Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking. | Juhan P. Ernits, Andres Kull, Kullo Raiend, Jri Vain |