Glenn Bruns

	2008
24		Glenn Bruns, Michael Huth: Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis. CSF 2008: 163-176
	2007
23		Glenn Bruns, Daniel S. Dantas, Michael Huth: A simple and expressive semantic framework for policy composition in access control. FMSE 2007: 12-21
	2006
22		Michael Benedikt, Philip Bohannon, Glenn Bruns: Data Cleaning for Decision Support. CleanDB 2006
	2005
21		Glenn Bruns: Foundations for Features. FIW 2005: 3-11
	2004
20		Michael Benedikt, Glenn Bruns: On Guard: Producing Run-Time Checks from Integrity Constraints. AMAST 2004: 27-41
19		Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely: µABC: A Minimal Aspect Calculus. CONCUR 2004: 209-224
18		Glenn Bruns, Patrice Godefroid: Model Checking with Multi-valued Logics. ICALP 2004: 281-293
	2003
17		Glenn Bruns, Satish Chandra: Searching for Points-To Analysis. IEEE Trans. Software Eng. 29(10): 883-897 (2003)
	2002
16		Glenn Bruns, Satish Chandra: Searching for points-to analysis. SIGSOFT FSE 2002: 61-70
	2001
15		Glenn Bruns, Patrice Godefroid: Temporal Logic Query Checking. LICS 2001: 409-417
	2000
14		Glenn Bruns, Patrice Godefroid: Generalized Model Checking: Reasoning about Partial State Spaces. CONCUR 2000: 168-182
13		Glenn Bruns, Alan E. Frey, Peter Mataga, Susan J. Tripp: Automated software development with XML and the Java* language. Bell Labs Technical Journal 5(2): 32-43 (2000)
	1999
12		Glenn Bruns, Patrice Godefroid: Model Checking Partial State Spaces with 3-Valued Temporal Logics. CAV 1999: 274-287
11		David L. Atkins, Thomas Ball, Glenn Bruns, Kenneth C. Cox: Mawl: A Domain-Specific Language for Form-Based Services. IEEE Trans. Software Eng. 25(3): 334-346 (1999)
	1998
10		Glenn Bruns, Peter Mataga, Ian Sutherland: Features as Service Transformations. FIW 1998: 85-97
9		Glenn Bruns, Mark G. Staskauskas: Applying Formal Methods to a Protocol Standard and its Implementations. PDSE 1998: 198-
	1997
8		Glenn Bruns, Ian Sutherland: Model Checking and Fault Tolerance. AMAST 1997: 45-59
7		David L. Atkins, Thomas Ball, Michael Benedikt, Glenn Bruns, Kenneth C. Cox, Peter Mataga, Kenneth Rehor: Experience with a Domain Specific Language for Form-based Services. DSL 1997: 37-50
6		Glenn Bruns: An Industrial Application of Modal Process Logic. Sci. Comput. Program. 29(1-2): 3-22 (1997)
	1996
5		Javier Esparza, Glenn Bruns: Trapping Mutual Exclusion in the Box Calculus. Theor. Comput. Sci. 153(1&2): 95-128 (1996)
	1994
4		Glenn Bruns, Stuart Anderson: The Formalization and Analysis of a Communications Protocol. Formal Asp. Comput. 6(1): 92-112 (1994)
	1993
3		Glenn Bruns: A Practical Technique for Process Abstraction. CONCUR 1993: 37-49
	1992
2		Glenn Bruns: A Case Study in Safety-Critical Design. CAV 1992: 220-233
	1988
1		Colin Potts, Glenn Bruns: Recording the Reasons for Design Decisions. ICSE 1988: 418-427

Coauthor Index

1	Stuart Anderson	[4]
2	David L. Atkins	[7] [11]
3	Thomas Ball	[7] [11]
4	Michael Benedikt	[7] [20] [22]
5	Philip Bohannon	[22]
6	Satish Chandra	[16] [17]
7	Kenneth C. Cox	[7] [11]
8	Daniel S. Dantas	[23]
9	Javier Esparza	[5]
10	Alan E. Frey	[13]
11	Patrice Godefroid	[12] [14] [15] [18]
12	Michael Huth	[23] [24]
13	Radha Jagadeesan	[19]
14	Alan Jeffrey	[19]
15	Peter Mataga	[7] [10] [13]
16	Colin Potts	[1]
17	Kenneth Rehor	[7]
18	James Riely	[19]
19	Mark G. Staskauskas	[9]
20	Ian Sutherland	[8] [10]
21	Susan J. Tripp	[13]

Colors in the list of coauthors