James J. Hunt

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