William D. Young - Concepedia

Author

William D. Young

Also Known As

W. D. Young, W. YOUNG, W. Young, W.D. Young, William D. Young, William David Young, William Young, Young, W., Young, William

Publications

780

Citations

H-Index

Concepts

All Affiliations

The University of Texas at Austin Honeywell (United States)Massachusetts Institute of Technology Cirrus Logic (United States)RTI International

About

William D. Young is an author at The University of Texas at Austin specializing in engineering, computer science, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	16	615
2	Business	1	1	14
3	Language Studies	1	1	24
4	Nursing	1	1	14
5	Communication	1	1	14

William D. Young

Publications

664

Citations

H-Index

Page 1

	Year	Citations
An approach to systems verification William R. Bevier, Warren A. Hunt, J Strother Moore, Journal of Automated Reasoning EngineeringAutomated ReasoningProgram AnalysisVerificationFormal Methods	1989	143
Extending the Noninterference Version of MLS for SAT J. Thomas Haigh, William D. Young IEEE Transactions on Software Engineering EngineeringInformation SecurityVerificationFormal VerificationSecure Ada® Target	1987	115
An Experience Using Two Covert Channel Analysis Techniques on a Real System Design J. Thomas Haigh, Richard A. Kemmerer, John McHugh, IEEE Transactions on Software Engineering EngineeringInformation SecurityInformation ForensicsHigh Level DesignSide-channel Attack	1987	49
A robust machine code proof framework for highly secure applications David Hardin, Eric W. Smith, William D. Young EngineeringHardware Verification LanguageVerificationComputer ArchitectureComputer-aided Verification	2006	39
Extending The Non-Interference Version Of MLS For Sat J. Thomas Haigh, William D. Young Secure Ada TargetEngineeringInformation SecurityInterference CancellationFormal Verification	1986	35
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD Warren A. Hunt, Robert Bellarmine Krug, Sandip Ray, Formal Methods in Computer-Aided Design Formal SpecificationEngineeringFormal ModelingDesignFormal Methods	2008	33
An Experience Using Two Covert Channel Analysis Techniques On a Real System Design J. Thomas Haigh, Richard A. Kemmerer, John McHugh, EngineeringInformation SecurityInformation ForensicsHigh Level DesignSide-channel Attack	1986	28
Secure Ada Target: Issues, System Design, and Verification W.E. Boebert, R.Y. Kaln, William D. Young, Secure Ada TargetEngineeringInformation SecurityDod RequirementsSoftware Analysis	1985	27
A verified code generator for a subset of gypsy William D. Young, Robert S. Boyer, J Strother Moore EngineeringVerificationComputer ArchitectureInterpreter (Computing)Formal Verification	1988	26
Coding for a Believable Specification to Implementation Mapping William D. Young, John McHugh EngineeringInformation SecurityVerificationSoftware EngineeringImplementation Mapping	1987	24

Page 1