Randall W. Lichota

According to our database, Randall W. Lichota authored at least 7 papers between 1991 and 1996.

Collaborative distances:

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

1996

Verifying The Correctness Of Cryptographic Protocols Using "Convince".

Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin

Proceedings of the 12th Annual Computer Security Applications Conference (ACSAC 1996), 1996

1993

Durra: a structure description language for developing distributed applications.

Mario R. Barbacci, Charles B. Weinstock, Dennis L. Doubleday, Michael J. Gardner, Randall W. Lichota

Softw. Eng. J., 1993

1992

Building fault tolerant distributed applications with Durra.

Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota

Proceedings of the First International Workshop on Configurable Distributed Systems, 1992

1991

Synthesis of parallel Ada code from a knowledge base of rules.

Robert Chun, Randy Lichota, Brad Perry, Nael Sabha

Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991

Building distributed Ada applications from specifications and functional components.

Dennis L. Doubleday, Mario R. Barbacci, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota

Proceedings of the Conference on TRI-Ada 1991, 1991

A Requirements Specification Method for Adaptive Real-Time Systems.

Alice H. Muntz, Randall W. Lichota

Proceedings of the Real-Time Systems Symposium, 1991

Durra: an integrated approach to software specification, modeling and rapid prototyping.

Mario Barbacci, Randall W. Lichota

Proceedings of the Second International Workshop on Rapid System Prototyping, 1991