 | 2007 |
|---|
| 23 |       | Phillip J. Windley,
Devlin Daley,
Bryant Cutler,
Kevin Tew:
Using reputation to augment explicit authorization.
Digital Identity Management 2007: 72-81 |
| 1998 |
|---|
| 22 |  | Ganesh Gopalakrishnan,
Phillip J. Windley:
Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings
Springer 1998 |
| 21 | | Annette Bunker,
Trent N. Larson,
Michael D. Jones,
Phillip J. Windley:
Alexandria: A Tool for Hierarchical Verification.
FMCAD 1998: 515-522 |
| 20 | | Paul E. Black,
Phillip J. Windley:
Formal Verification of Secure Programs in the Presence of Side Effects.
HICSS (3) 1998: 327- |
| 1997 |
|---|
| 19 | | Paul E. Black,
Phillip J. Windley:
Verifying Resilient Software.
HICSS (5) 1997: 262-266 |
| 1996 |
|---|
| 18 | | Phillip J. Windley,
Jerry R. Burch:
Mechanically Checking a Lemma Used in an Automatic Verification Tool.
FMCAD 1996: 362-376 |
| 17 | | Paul E. Black,
Phillip J. Windley:
Inference Rules for Programming Languages with Side Effects in Expressions.
TPHOLs 1996: 51-60 |
| 1995 |
|---|
| 16 | | E. Thomas Schubert,
Phillip J. Windley,
Jim Alves-Foss:
Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings
Springer 1995 |
| 15 | | Paul E. Black,
Phillip J. Windley:
Autotically Synthesized Term Denotation Predicates: A Proof Aid.
TPHOLs 1995: 46-57 |
| 14 | | Phillip J. Windley:
Formal Modeling and Verification of Microprocessors.
IEEE Trans. Computers 44(1): 54-72 (1995) |
| 1994 |
|---|
| 13 | | Phillip J. Windley,
Michael L. Coe:
A Correctness Model for Pipelined Multiprocessors.
TPCD 1994: 33-51 |
| 12 | | Phillip J. Windley:
Specifying Instruction-Set Architectures in HOL: A Primer.
TPHOLs 1994: 440-455 |
| 1993 |
|---|
| 11 | | Phillip J. Windley:
A Theory of Generic Interpreters.
CHARME 1993: 122-134 |
| 10 | | J. W. Gambles,
Phillip J. Windley:
Reasoning about the VHDL Standard Logic Package Signal Data Type.
CHDL 1993: 123-130 |
| 9 | | Tej Arora,
Tony Leung,
Karl N. Levitt,
E. Thomas Schubert,
Phillip J. Windley:
Report on the UCD Microcoded Viper Verification Project.
HUG 1993: 239-252 |
| 8 | | David A. Fura,
Phillip J. Windley,
Arun K. Somani:
Abstraction Techniques for Modeling Real-World Interface Chips.
HUG 1993: 267-280 |
| 7 | | Mark Aagaard,
Miriam Leeser,
Phillip J. Windley:
Toward a Super Duper Hardware Tactic.
HUG 1993: 399-412 |
| 1992 |
|---|
| 6 | | Myla Archer,
Jeffrey J. Joyce,
Karl N. Levitt,
Phillip J. Windley:
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA
IEEE Computer Society 1992 |
| 5 | | Phillip J. Windley:
Abstract Theories in HOL.
TPHOLs 1992: 197-210 |
| 4 | | Kelly M. Hall,
Phillip J. Windley:
Simulating Microprocessors from Formal Specifications.
TPHOLs 1992: 507-525 |
| 1991 |
|---|
| 3 | | Phillip J. Windley:
The Practical Verification of Microprocessor Designs.
TPHOLs 1991: 32-37 |
| 2 | | J. W. Gambles,
Phillip J. Windley:
An HOL Theory for Logic States with Indeterminate Strengths.
TPHOLs 1991: 96-103 |
| 1990 |
|---|
| 1 | | Phillip J. Windley:
A Hierarchical Methodology for Verifying Microprogrammed Microprocessors.
IEEE Symposium on Security and Privacy 1990: 345-359 |
