Juhan P. Ernits

According to our database, Juhan P. Ernits authored at least 10 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds.

Ian Erik Varatalu, Margus Veanes, Juhan-Peep Ernits

CoRR, 2023

2020

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

2015

Model-based integration testing of ROS packages: A mobile robot case study.

Juhan P. Ernits, Evelin Halling, Gert Kanter, Jüri Vain

Proceedings of the 2015 European Conference on Mobile Robots, 2015

2009

Model-Based Testing of Web Applications Using NModel.

Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes

Proceedings of the Testing of Software and Communication Systems, 2009

Formal Methods for Automated Diagnosis of Autosub 6000.

Juhan P. Ernits, Richard Dearden, Miles Pebody

Proceedings of the First NASA Formal Methods Symposium, 2009

2007

Synthesis of test purpose directed reactive planning tester for nondeterministic systems.

Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

State Isomorphism in Model Programs with Abstract Data Structures.

Margus Veanes, Juhan P. Ernits, Colin Campbell

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

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

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement.

Juhan-Peep Ernits, Andres Kull, Kullo Raiend, Jüri Vain

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card.

Juhan P. Ernits

Nord. J. Comput., 2005