William R. Bevier

	1997
11		William D. Young, William R. Bevier: Mathematical Modeling and Analysis of an External Memory Manager. FME 1997: 237-257
10		Richard L. Ford, William R. Bevier, Richard T. Simon, Lawrence M. Smith: The Specification-Based Testing of a Trusted Kernel: MK++. ICFEM 1997: 151-160
	1995
9		William R. Bevier, Richard M. Cohen, William D. Young: Connection policies and controlled interference. CSFW 1995: 167-176
8		William R. Bevier, William D. Young: A State-Machine Approach to Non-Interference. Journal of Computer Security 3(1): 55-70 (1995)
	1994
7		William D. Young, William R. Bevier: A State-Based Approach to Non-Interference. CSFW 1994: 11-21
	1992
6		William R. Bevier, William D. Young: Machine Checked Proofs of the Design of a Fault-Tolerance Circuit. Formal Asp. Comput. 4(6A): 755-775 (1992)
	1991
5		William R. Bevier, Jørgen F. Søgaard-Andersen: Mechanically Checked Proofs of Kernel Specification. CAV 1991: 70-82
	1989
4		William R. Bevier: Kit: A Study in Operating System Verification. IEEE Trans. Software Eng. 15(11): 1382-1396 (1989)
3		William R. Bevier, Warren A. Hunt Jr., J. Strother Moore, William D. Young: An Approach to Systems Verification. J. Autom. Reasoning 5(4): 411-428 (1989)
2		William R. Bevier: Kit and the Short Stack. J. Autom. Reasoning 5(4): 519-530 (1989)
	1987
1		William R. Bevier, Warren A. Hunt Jr., William D. Young: Toward Verified Execution Environments. IEEE Symposium on Security and Privacy 1987: 106-115

Coauthor Index

1	Richard M. Cohen	[9]
2	Richard L. Ford	[10]
3	Warren A. Hunt Jr.	[1] [3]
4	J. Strother Moore	[3]
5	Richard T. Simon	[10]
6	Lawrence M. Smith	[10]
7	Jørgen F. Søgaard-Andersen	[5]
8	William D. Young	[1] [3] [6] [7] [8] [9] [11]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page