A user perspective on computer-assisted translation for minority languages. - Janet Barnes (Mach. Transl., 1987)

Two Demonstrations of Economical EAL5+ Development for Tokeneer. - John Anton; Martin Croxford; Alessandro Coglio; Janet Barnes; Randy Johnson; Tim Kremann (ISSSE, 2006)

Engineering the Tokeneer Enclave Protection Software. - Janet Barnes; Rod Chapman; Randy Johnson; James C. Widmaier; Bill Everett; David Cooper (ISSSE, 2006)

An Integrated Approach to High Integrity Software Verification. - Andrew Ireland; Bill J. Ellis; Andrew Cook; Roderick Chapman; Janet Barnes (J. Autom. Reason., 2006)

How Should We Build That? Evolving a Development Environment That's Suitable for Constructing Today's Systems. - Neil White; Janet Barnes (TASE, 2013)

ABZ Languages and Tools in Industrial-Scale Application. - Janet Barnes; Jonathan Hammond; Angela Wallenburg; Thomas Wilson (ABZ, 2018)

Verification in the Grand Challenge. - Jim Woodcock 001; Janet Barnes; Rod Chapman; Simon Foster 001; Thomas Santen (Theories of Programming, 2021)