George Romanski

Publication Activity (10 Years)

Years Active: 1987-2011
Publications (10 Years): 0

Publications

B. Scott Andersen, George Romanski
Verification of Safety-critical Software. ACM Queue 9 (8) (2011)
B. Scott Andersen, George Romanski
Verification of safety-critical software. Commun. ACM 54 (10) (2011)
George Romanski
Ada in the avionics industry. SIGAda (2005)
George Romanski
Requirements, Configuration Management and Traceability for Safety Critical Software. RE (2003)
Brian Dobbing, George Romanski
The Ravenscar Tasking Profile - experience reporting. IRTAW (1999)
George Romanski
The Development and Verification of Safety Critical Software. TOOLS (30) (1999)
Alan Burns, Brian Dobbing, George Romanski
The Ravenscar Tasking Profile for High Integrity Real-Time Programs. Ada-Europe (1998)
Stowe Boyd, Rudolph A. Krutar, George Romanski, S. Tucker Taft, Tom Wilcox
DIANA (panel session): an intermediate representation language for Ada. WADAS (1987)