2008 |
24 | EE | Glenn Bruns,
Michael Huth:
Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis.
CSF 2008: 163-176 |
2007 |
23 | EE | 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 | EE | 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 | EE | Michael Benedikt,
Glenn Bruns:
On Guard: Producing Run-Time Checks from Integrity Constraints.
AMAST 2004: 27-41 |
19 | EE | Glenn Bruns,
Radha Jagadeesan,
Alan Jeffrey,
James Riely:
µABC: A Minimal Aspect Calculus.
CONCUR 2004: 209-224 |
18 | EE | Glenn Bruns,
Patrice Godefroid:
Model Checking with Multi-valued Logics.
ICALP 2004: 281-293 |
2003 |
17 | EE | Glenn Bruns,
Satish Chandra:
Searching for Points-To Analysis.
IEEE Trans. Software Eng. 29(10): 883-897 (2003) |
2002 |
16 | EE | 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 | EE | Glenn Bruns,
Patrice Godefroid:
Generalized Model Checking: Reasoning about Partial State Spaces.
CONCUR 2000: 168-182 |
13 | EE | 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 | EE | Glenn Bruns,
Patrice Godefroid:
Model Checking Partial State Spaces with 3-Valued Temporal Logics.
CAV 1999: 274-287 |
11 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |