Lawrence Robinson

According to our database, Lawrence Robinson authored at least 8 papers between 1975 and 1979.

Collaborative distances:

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

1979

Writing Simulatable Specifications in SPECIAL.

Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg

Proceedings of the Use of Formal Specification of Software, 1979

1978

An Example of Hierarchical Design and Proof.

Jay M. Spitzen, Karl N. Levitt, Lawrence Robinson

Commun. ACM, 1978

Formalism can help you (Abstract of presentation).

Lawrence Robinson

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

1977

Proof Techniques for Hierarchically Structured Programs.

Lawrence Robinson, Karl N. Levitt

Commun. ACM, 1977

Proving Multilevel Security of a System Design.

Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson

Proceedings of the Sixth Symposium on Operating System Principles, 1977

1976

Software Development and Proofs of Multi-Level Security.

Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson

Proceedings of the 2nd International Conference on Software Engineering, 1976

Specification techniques.

Lawrence Robinson

Proceedings of the 13th Design Automation Conference, 1976

1975

On attaining reliable software for a secure operating system.

Lawrence Robinson, Karl N. Levitt, Peter G. Neumann, Ashok R. Saxena

Proceedings of the International Conference on Reliable Software 1975, 1975