Phillip J. Windley Vis

*	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	EE	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	EE	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	EE	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	EE	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	EE	David A. Fura, Phillip J. Windley, Arun K. Somani: Abstraction Techniques for Modeling Real-World Interface Chips. HUG 1993: 267-280
7	EE	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

Coauthor Index

1	Mark Aagaard	[7]
2	Jim Alves-Foss	[16]
3	Myla Archer	[6]
4	Tej Arora	[9]
5	Paul E. Black	[15] [17] [19] [20]
6	Annette Bunker	[21]
7	Jerry R. Burch	[18]
8	Michael L. Coe	[13]
9	Bryant Cutler	[23]
10	Devlin Daley	[23]
11	David A. Fura	[8]
12	J. W. Gambles	[2] [10]
13	Ganesh Gopalakrishnan	[22]
14	Kelly M. Hall	[4]
15	Michael D. Jones	[21]
16	Jeffrey J. Joyce	[6]
17	Trent N. Larson	[21]
18	Miriam Leeser	[7]
19	Tony Leung	[9]
20	Karl N. Levitt	[6] [9]
21	E. Thomas Schubert	[9] [16]
22	Arun K. Somani	[8]
23	Kevin Tew	[23]

Colors in the list of coauthors