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

The SATURN Approach to SysML-Based HW/SW Codesign. - Wolfgang Müller 003; Da He; Fabian Mischkalla; Arthur Wegele; Adrian Larkham; Paul Whiston; Pablo Peñil; Eugenio Villar; Nikolaos Mitas; Dimitrios Kritharidis; Florent Azcarate; Manuel Carballeda (ISVLSI (Selected papers), 2010)

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)

An integrated semantics for reasoning about SysML design models using refinement. - Lucas Lima 001; Alvaro Miyazawa; Ana Cavalcanti 001; Márcio Cornélio; Juliano Iyoda; Augusto Sampaio 001; Ralph Hains; Adrian Larkham; Vaughan Lewis (Softw. Syst. Model., 2017)