George Romanski

According to our database, George Romanski authored at least 7 papers between 1987 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Verification of safety-critical software.

B. Scott Andersen, George Romanski

Commun. ACM, 2011

2005

Ada in the avionics industry.

George Romanski

Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, 2005

2003

Requirements, Configuration Management and Traceability for Safety Critical Software.

George Romanski

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

1999

The Development and Verification of Safety Critical Software.

George Romanski

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

The Ravenscar Tasking Profile - experience reporting.

Brian Dobbing, George Romanski

Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

1998

The Ravenscar Tasking Profile for High Integrity Real-Time Programs.

Alan Burns, Brian Dobbing, George Romanski

Proceedings of the Reliable Software Technologies, 1998

1987

DIANA (panel session): an intermediate representation language for Ada.

Stowe Boyd, Rudolph A. Krutar, George Romanski, S. Tucker Taft, Tom Wilcox

Proceedings of the Joint Ada conference Fifth National Conference on Ada Technology and Fourth Washington Ada Symposium, 1987