James J. Hunt

Publication Activity (10 Years)

Years Active: 1996-2014
Publications (10 Years): 0

Top Topics

Database Applications

Myocardial Infarction

Top Venues

Software Engineering

Publications

James J. Hunt, Maarten de Mol, Arend Rensink
Noninvasive regelbasierte Graphtransformation für Java. Software Engineering (2014)
James J. Hunt
A new I/O model for the real-time specification for Java. JTRES (2012)
Maarten de Mol, Arend Rensink, James J. Hunt
Graph Transforming Java Data. FASE (2012)
James J. Hunt
The Practical Application of Formal Methods: Where Is the Benefit for Industry? FoVeOOS (2011)
James J. Hunt
Realtime Java technology in avionics systems. JTRES (2010)
James J. Hunt, Isabel Tonin, Fridtjof Siebert
Using global data flow analysis on bytecode to aid worst case execution time analysis for real-time Java programs. JTRES (2008)
James J. Hunt, Isabel Tonin, Michael Benkel, Mirko Seifert, Katja Siegemund, Nico Feiertag
Modeling architecturally neutral realtime systems. JTRES (2007)
James J. Hunt, Fridtjof Siebert, Peter H. Schmitt, Isabel Tonin
Provably correct loops bounds for realtime Java programs. JTRES (2006)
Antonio Kung, James J. Hunt, Ludovic Gauthier, Marc Richard-Foy
Issues in building an ANRTS platform. JTRES (2006)
Peter H. Schmitt, Isabel Tonin, Claus Wonnemann, Eric Jenn, Stéphane Leriche, James J. Hunt
A case study of specification and verification using JML in an avionics application. JTRES (2006)
Guido Malpohl, James J. Hunt, Walter F. Tichy
Renaming Detection. Autom. Softw. Eng. 10 (2) (2003)
João Ventura, Fridtjof Siebert, Andy Walter, James J. Hunt
HIDOORS-A High Integrity Distributed Deterministic Java Environment. WORDS (2002)
James J. Hunt, Walter F. Tichy
Extensible Language-Aware Merging. ICSM (2002)
James J. Hunt
Erweiterbare, sprachenbewusste Differenz und Verschmelzung. Softwaretechnik-Trends 21 (3) (2001)
James J. Hunt, Jürgen Reuter
Using the Web for Document Versioning: An Implementation Report for Delta V. ICSE (2001)
Guido Malpohl, James J. Hunt, Walter F. Tichy
Renaming Detection. ASE (2000)
James J. Hunt, Kiem-Phong Vo, Walter F. Tichy
Delta Algorithms: An Empirical Analysis. ACM Trans. Softw. Eng. Methodol. 7 (2) (1998)
James J. Hunt, Walter F. Tichy
Addendum to "Delta Algorithms: An Empirical Analysis". ACM Trans. Softw. Eng. Methodol. 7 (4) (1998)
James J. Hunt, Frank Lamers, Jürgen Reuter, Walter F. Tichy
Distributed Configuration Management via Java and the World Wide Web. SCM (1997)
James J. Hunt, Kiem-Phong Vo, Walter F. Tichy
An Empirical Study of Delta Algorithms. SCM (1996)
Jürgen Reuter, Stefan U. Hänßgen, James J. Hunt, Walter F. Tichy
Distributed Revision Control Via the World Wide Web. SCM (1996)