James J. Hunt

According to our database, James J. Hunt authored at least 21 papers between 1996 and 2014.

Collaborative distances:

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

2014

Noninvasive regelbasierte Graphtransformation für Java.

James J. Hunt, Maarten de Mol, Arend Rensink

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

2012

A new I/O model for the real-time specification for Java.

James J. Hunt

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

Graph Transforming Java Data.

Maarten de Mol, Arend Rensink, James J. Hunt

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

The Practical Application of Formal Methods: Where Is the Benefit for Industry?

James J. Hunt

Proceedings of the Formal Verification of Object-Oriented Software, 2011

2010

Realtime Java technology in avionics systems.

James J. Hunt

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

2008

Using global data flow analysis on bytecode to aid worst case execution time analysis for real-time Java programs.

James J. Hunt, Isabel Tonin, Fridtjof Siebert

Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, 2008

2007

Modeling architecturally neutral realtime systems.

James J. Hunt, Isabel Tonin, Michael Benkel, Mirko Seifert, Katja Siegemund, Nico Feiertag

Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007

2006

A case study of specification and verification using JML in an avionics application.

Peter H. Schmitt, Isabel Tonin, Claus Wonnemann, Eric Jenn, Stéphane Leriche, James J. Hunt

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Issues in building an ANRTS platform.

Antonio Kung, James J. Hunt, Ludovic Gauthier, Marc Richard-Foy

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Provably correct loops bounds for realtime Java programs.

James J. Hunt, Fridtjof Siebert, Peter H. Schmitt, Isabel Tonin

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

2003

Renaming Detection.

Guido Malpohl, James J. Hunt, Walter F. Tichy

Autom. Softw. Eng., 2003

2002

Extensible, language-aware differencing and merging

James J. Hunt

PhD thesis, 2002

HIDOORS-A High Integrity Distributed Deterministic Java Environment.

João Ventura, Fridtjof Siebert, Andy Walter, James J. Hunt

Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

Extensible Language-Aware Merging.

James J. Hunt, Walter F. Tichy

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

2001

Erweiterbare, sprachenbewusste Differenz und Verschmelzung.

James J. Hunt

Softwaretechnik-Trends, 2001

Using the Web for Document Versioning: An Implementation Report for Delta V.

James J. Hunt, Jürgen Reuter

Proceedings of the 23rd International Conference on Software Engineering, 2001

1998

Delta Algorithms: An Empirical Analysis.

James J. Hunt, Kiem-Phong Vo, Walter F. Tichy

ACM Trans. Softw. Eng. Methodol., 1998

Addendum to "Delta Algorithms: An Empirical Analysis".

James J. Hunt, Walter F. Tichy

ACM Trans. Softw. Eng. Methodol., 1998

1997

Distributed Configuration Management via Java and the World Wide Web.

James J. Hunt, Frank Lamers, Jürgen Reuter, Walter F. Tichy

Proceedings of the System Configuration Management, 1997

1996

Distributed Revision Control Via the World Wide Web.

Jürgen Reuter, Stefan U. Hänßgen, James J. Hunt, Walter F. Tichy

Proceedings of the System Configuration Management, 1996

An Empirical Study of Delta Algorithms.

James J. Hunt, Kiem-Phong Vo, Walter F. Tichy

Proceedings of the System Configuration Management, 1996