Juhan P. Ernits

Orcid: 0000-0002-4591-0425

Affiliations:
  • Tallinn University of Technology, Department of Software Science, Estonia


According to our database1, Juhan P. Ernits authored at least 11 papers between 2005 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement and Lookarounds.
CoRR, 2024

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

2020
Autonomous Last Mile Shuttle ISEAUTO for Education and Research.
Int. J. Artif. Intell. Mach. Learn., 2020

2015
Model-based integration testing of ROS packages: A mobile robot case study.
Proceedings of the 2015 European Conference on Mobile Robots, 2015

2009
Model-Based Testing of Web Applications Using NModel.
Proceedings of the Testing of Software and Communication Systems, 2009

Formal Methods for Automated Diagnosis of Autosub 6000.
Proceedings of the First NASA Formal Methods Symposium, 2009

2007
Synthesis of test purpose directed reactive planning tester for nondeterministic systems.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

State Isomorphism in Model Programs with Abstract Data Structures.
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.
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005
Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card.
Nord. J. Comput., 2005


  Loading...