2007 |
23 | EE | 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 | EE | Annette Bunker,
Trent N. Larson,
Michael D. Jones,
Phillip J. Windley:
Alexandria: A Tool for Hierarchical Verification.
FMCAD 1998: 515-522 |
20 | EE | Paul E. Black,
Phillip J. Windley:
Formal Verification of Secure Programs in the Presence of Side Effects.
HICSS (3) 1998: 327- |
1997 |
19 | EE | 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 |