Glenn Bruns

	2012
28		Glenn Bruns, Philip W. L. Fong, Ida Siahaan, Michael Huth: Relationship-based access control: its expression and enforcement through hybrid logic. CODASPY 2012: 117-124
	2011
27		Glenn Bruns, Mauricio Cortes: A Hierarchical Approach to Service Negotiation. ICWS 2011: 460-467
26		Glenn Bruns, Michael Huth, Kumar Avijit: Program synthesis in administration of higher-order permissions. SACMAT 2011: 41-50
25		Glenn Bruns, Michael Huth: Access control via belnap logic: Intuitive, expressive, and analyzable policy composition. ACM Trans. Inf. Syst. Secur. 14(1): 9 (2011)
	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	Kumar Avijit	[26]
4	Thomas Ball	[7] [11]
5	Michael Benedikt	[7] [20] [22]
6	Philip Bohannon	[22]
7	Satish Chandra	[16] [17]
8	Mauricio Cortes	[27]
9	Kenneth C. Cox	[7] [11]
10	Daniel S. Dantas	[23]
11	Javier Esparza	[5]
12	Philip W. L. Fong	[28]
13	Alan E. Frey	[13]
14	Patrice Godefroid	[12] [14] [15] [18]
15	Michael Huth	[23] [24] [25] [26] [28]
16	Radha Jagadeesan	[19]
17	Alan Jeffrey	[19]
18	Peter Mataga	[7] [10] [13]
19	Colin Potts	[1]
20	Kenneth Rehor	[7]
21	James Riely	[19]
22	Ida Siahaan	[28]
23	Mark G. Staskauskas	[9]
24	Ian Sutherland	[8] [10]
25	Susan J. Tripp	[13]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page