J
James J. Hunt
Researcher at Aicas
Publications - 14
Citations - 200
James J. Hunt is an academic researcher from Aicas. The author has contributed to research in topics: Java & Real time Java. The author has an hindex of 8, co-authored 14 publications receiving 197 citations.
Papers
More filters
Java for Safety-Critical Applications
TL;DR: Some of the primary goals, challenges, and proposed solutions for safety-critical Java and its relationship with the Real-time Specification for Java are introduced.
Proceedings ArticleDOI
HIDOORS - a high integrity distributed deterministic Java environment
TL;DR: HIDOORS will cover all the life-cycle of real-time software development with extensions to existing tools (UML modeling, Java compiler Java Virtual Machine, and a worst case execution time analysis tool) that will all be integrated into a single integrated development environment.
Journal ArticleDOI
Implicit ownership types for memory management
TL;DR: ScopeJ is introduced, a statically-typed, multi-threaded, object calculus in which scopes are first class constructs, and its type system is novel in that ownership annotations are implicit, reducing the burden for developers and increasing the likelihood of adoption.
Proceedings ArticleDOI
A case study of specification and verification using JML in an avionics application
TL;DR: The authors present a case study of using deductive formal verification of a navigation system from the avionics domain with a runtime assertion checker and a tool using automatic theorem proving techniques for verifying JAVA programs.
Proceedings ArticleDOI
Provably correct loops bounds for realtime Java programs
TL;DR: The authors present a methodology for providing more general loop bounds where the correctness can be demonstrated with formal techniques, and combines data flow analysis and deductive formal verification to attain this goal.