Concepedia

Randall W. Lichota

RW

Statistics

Publications

5

Citations

151

H-Index

5

Active since

1993

Affiliations

HRL Laboratories (United States)(Current)

Randall W. Lichota is an author at HRL Laboratories (United States) specializing in engineering, computer science, and software design.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware AnalysisSoftware EngineeringCryptographyVerification

Publications per year

1993–2002

5

Publications

5

Durra: a structure description language for developing distributed applications

Mario R. Barbacci, Charles B. Weinstock, Dennis L. Doubleday et al. · Software Engineering Journal · 1993 · 96 citations

Software Maintenance, Engineering, Durra User +17

PRISM Product Examination Process for component based development

Randall W. Lichota, R.L. Vesprini, Brad Swanson · 2002 · 22 citations

Software Maintenance, Engineering, Integrated Software Modules +20

Verifying the correctness of cryptographic protocols using "Convince"

Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin · 2002 · 12 citations

Engineering, Information Security, Verification +17

Verifying cryptographic protocols for electronic commerce

Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin · 1996 · 11 citations

Engineering, Information Security, Verification +17

A requirements specification method for adaptive real-time systems

A.H. Muntz, Randall W. Lichota · 2002 · 10 citations

Requirements Specification Method, Engineering, Software Systems +24

1–5 of 5