- Searching for Points-To Analysis Glenn Bruns and Satish Chandra, Member, IEEE
- A Logical Approach to Data Fusion Glenn Bruns and Stuart Anderson
- ABC: A Minimal Aspect Calculus Glenn Bruns 1 , Radha Jagadeesan 2# , Alan Jeffrey 2## , and James Riely 2###
- Model Checking with MultiValued Logics Glenn Bruns Patrice Godefroid
- Validating Safety Models with Fault Trees Glenn Bruns and Stuart Anderson
- On Guard: Producing RunTime Checks from Integrity Constraints
- A Simple and Expressive Semantic Framework for Policy Composition in Access Control
- An Industrial Application of Modal Process Logic
- A Practical Technique for Process Abstraction Glenn Bruns
- Automated Update Management for XML Integrity Constraints Michael Benedikt # , Glenn Bruns, Julie Gibson, Robin Kuss, Amy Ng
- Model Checking and Fault Tolerance Glenn Bruns and Ian Sutherland
- Features as Service Transformers Glenn Bruns and Peter Mataga and Ian Sutherland
- Foundations for Features Glenn Bruns
- Searching for PointsTo Analysis Glenn Bruns and Satish Chandra
- Program Synthesis in Administration of Higher-Order Permissions
- A Hierarchical Approach to Service Negotiation Glenn Bruns
- Access Control via Belnap Logic: Intuitive, Expressive, and Analyzable Policy Composition
- Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis
- Model Checking with Multi-Valued Logics Glenn Bruns Patrice Godefroid
- On Guard: Producing Run-Time Checks from Integrity Constraints
- Validating Safety Models with Fault Trees Glenn Bruns and Stuart Anderson
- Model Checking Partial State Spaces with 3Valued Temporal Logics
- ABC: A Minimal Aspect Calculus Glenn Bruns1, Radha Jagadeesan2 , Alan Jeffrey2 , and James Riely2
- A Practical Technique for Process Abstraction Glenn Bruns
- An Industrial Application of Modal Process Logic
- A Logical Approach to Data Fusion # Glenn Bruns and Stuart Anderson
- Foundations for Features Glenn Bruns
- Applying Formal Methods to a Protocol Standard and its Implementations
- Generalized Model Checking: Reasoning about Partial State Spaces ?
