Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Juhan P. Ernits

Juhan-Peep Ernits

> Home > Persons

Person information

affiliation: Tallinn University of Technology, Department of Software Science, Estonia

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-14401
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-14401
Ian Erik Varatalu, Margus Veanes, Juhan-Peep Ernits:
Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds. CoRR abs/2309.14401 (2023)
2020
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ijaiml/SellLRE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijaiml/SellLRE20
Raivo Sell, Mairo Leier, Anton Rassõlkin, Juhan-Peep Ernits:
Autonomous Last Mile Shuttle ISEAUTO for Education and Research. Int. J. Artif. Intell. Mach. Learn. 10(1): 18-30 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2015
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmr/ErnitsHKV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmr/ErnitsHKV15
Juhan P. Ernits, Evelin Halling, Gert Kanter, Jüri Vain:
Model-based integration testing of ROS packages: A mobile robot case study. ECMR 2015: 1-7

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/nfm/ErnitsDP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ErnitsDP09
Juhan P. Ernits, Richard Dearden, Miles Pebody:
Formal Methods for Automated Diagnosis of Autosub 6000. NASA Formal Methods 2009: 181-185
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/ErnitsRJV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/ErnitsRJV09
Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes:
Model-Based Testing of Web Applications Using NModel. TestCom/FATES 2009: 211-216
2007
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/VeanesEC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/VeanesEC07
Margus Veanes, Juhan P. Ernits, Colin Campbell:
State Isomorphism in Model Programs with Abstract Data Structures. FORTE 2007: 112-127
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/VainRKE07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/VainRKE07
Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits:
Synthesis of test purpose directed reactive planning tester for nondeterministic systems. ASE 2007: 363-372
2006
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fates/ErnitsKRV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/ErnitsKRV06
Juhan-Peep 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
[c1]
- view
- export record
  dblp key:
  - conf/gi/ErnitsKRV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/ErnitsKRV06
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
[j1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/njc/Ernits05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/njc/Ernits05
Juhan P. Ernits:
Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card. Nord. J. Comput. 12(2): 68-88 (2005)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.