Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card. - Juhan P. Ernits (Nord. J. Comput., 2005)

Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement. - Juhan-Peep Ernits; Andres Kull; Kullo Raiend; Jüri Vain (FATES/RV, 2006)

Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking. - Juhan P. Ernits; Andres Kull; Kullo Raiend; Jüri Vain (GI Jahrestagung (2), 2006)

State Isomorphism in Model Programs with Abstract Data Structures. - Margus Veanes; Juhan P. Ernits; Colin Campbell (FORTE, 2007)

Synthesis of test purpose directed reactive planning tester for nondeterministic systems. - Jüri Vain; Kullo Raiend; Andres Kull; Juhan P. Ernits (ASE, 2007)

Formal Methods for Automated Diagnosis of Autosub 6000. - Juhan P. Ernits; Richard Dearden; Miles Pebody (NASA Formal Methods, 2009)

Model-Based Testing of Web Applications Using NModel. - Juhan P. Ernits; Rivo Roo; Jonathan Jacky; Margus Veanes (TestCom/FATES, 2009)

Model-based integration testing of ROS packages: A mobile robot case study. - Juhan P. Ernits; Evelin Halling; Gert Kanter; Jüri Vain (ECMR, 2015)

Autonomous Last Mile Shuttle ISEAUTO for Education and Research. - Raivo Sell; Mairo Leier; Anton Rassõlkin; Juhan-Peep Ernits (Int. J. Artif. Intell. Mach. Learn., 2020)

Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds. - Ian Erik Varatalu; Margus Veanes; Juhan-Peep Ernits (CoRR, 2023)

RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement and Lookarounds. - Ian Erik Varatalu; Margus Veanes; Juhan-Peep Ernits (CoRR, 2024)

Regex Decision Procedures in Extended RE#. - Ian Erik Varatalu; Margus Veanes; Ekaterina Zhuchko; Juhan P. Ernits (CAV (3), 2025)

RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement, and Restricted Lookarounds. - Ian Erik Varatalu; Margus Veanes; Juhan P. Ernits (Proc. ACM Program. Lang., 2025)