William R. Bevier

11 papers A* 1C 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
1997 — conf
Mathematical Modeling and Analysis of an External Memory Manager.
FME
William D. Young, William R. Bevier
1997 C conf
The Specification-Based Testing of a Trusted Kernel: MK++.
ICFEM
Richard L. Ford, William R. Bevier, Richard T. Simon, Lawrence M. Smith
1995 J jnl
A State-Machine Approach to Non-Interference.
J. Comput. Secur.
William R. Bevier, William D. Young
1995 — conf
Connection policies and controlled interference.
CSFW
William R. Bevier, Richard M. Cohen, William D. Young
1994 — conf
A State-Based Approach to Non-Interference.
CSFW
William D. Young, William R. Bevier
1992 J jnl
Machine Checked Proofs of the Design of a Fault-Tolerance Circuit.
Formal Aspects Comput.
William R. Bevier, William D. Young
1991 A* conf
Mechanically Checked Proofs of Kernel Specification.
CAV
William R. Bevier, Jørgen F. Søgaard-Andersen
1989 J jnl
An Approach to Systems Verification.
J. Autom. Reason.
William R. Bevier, Warren A. Hunt Jr., J Strother Moore, William D. Young
1989 J jnl
Kit and the Short Stack.
J. Autom. Reason.
William R. Bevier
1989 J jnl
Kit: A Study in Operating System Verification.
IEEE Trans. Software Eng.
William R. Bevier
1987 — conf
Toward Verified Execution Environments.
S&P
William R. Bevier, Warren A. Hunt Jr., William D. Young