DIANA (panel session): an intermediate representation language for Ada. - Stowe Boyd; Rudolph A. Krutar; George Romanski; S. Tucker Taft; Tom Wilcox (WADAS, 1987)

The Ravenscar Tasking Profile for High Integrity Real-Time Programs. - Alan Burns 001; Brian Dobbing; George Romanski (Ada-Europe, 1998)

The Ravenscar Tasking Profile - experience reporting. - Brian Dobbing; George Romanski (IRTAW, 1999)

The Development and Verification of Safety Critical Software. - George Romanski (TOOLS (30), 1999)

Requirements, Configuration Management and Traceability for Safety Critical Software. - George Romanski (RE, 2003)

Ada in the avionics industry. - George Romanski (SIGAda, 2005)

Verification of Safety-critical Software. - B. Scott Andersen; George Romanski (ACM Queue, 2011)