Applying Java™ Technologies to Mission-Critical and Safety-Critical Development. - Kelvin Nilsen; Adrian Larkham (SSS, 2005)

A type system to assure scope safety within safety-critical Java modules. - Kelvin Nilsen (JTRES, 2006)

Improving abstraction, encapsulation, and performance within mixed-mode real-time Java applications. - Kelvin Nilsen (JTRES, 2007)

Simple low-level real-time threading semantics to enable portability, efficiency, analyzability, and generality. - Kelvin Nilsen (JTRES, 2008)

Use of PERC Pico in the AIDA avionics platform. - Tobias Schoofs; Eric Jenn; Stéphane Leriche; Kelvin Nilsen; Ludovic Gauthier; Marc Richard-Foy (JTRES, 2009)

Ada-Java middleware for legacy software modernization. - Kelvin Nilsen (JTRES, 2010)

Harmonizing alternative approaches to safety-critical development with Java. - Kelvin Nilsen (JTRES, 2011)

Revisiting the "perc real-time API". - Kelvin Nilsen (JTRES, 2012)

Patterns for safety-critical Java memory usage. - Juan Ricardo Rios; Kelvin Nilsen; Martin Schoeberl (JTRES, 2012)

Tutorial overview: understanding dynamic memory management in safety critical java. - Kelvin Nilsen (HILT, 2012)

Real-time Java in modernization of the aegis weapon system. - Kelvin Nilsen (HILT, 2012)

Explicit Java control of low-power heterogeneous parallel processing in the ToucHMore project. - Ludovic Gauthier; Ian Gray; Adrian Larkham; Gasser Ayad; Andrea Acquaviva; Kelvin Nilsen (JTRES, 2013)