Recording the Reasons for Design Decisions. - Colin Potts; Glenn Bruns (ICSE, 1988)

Vanna: a visual environment for the design of distributed systems. - Paul C. Attie; Glenn Bruns; Michael Evangelist; Charles Richter; Vincent Y. Shen (TRI-Ada, 1989)

A Case Study in Safety-Critical Design. - Glenn Bruns (CAV, 1992)

A Practical Technique for Process Abstraction. - Glenn Bruns (CONCUR, 1993)

Validating Safety Models with Fault Trees. - Glenn Bruns; Stuart Anderson (SAFECOMP, 1993)

The Formalization and Analysis of a Communications Protocol. - Glenn Bruns; Stuart Anderson (Formal Aspects Comput., 1994)

Trapping Mutual Exclusion in the Box Calculus. - Javier Esparza; Glenn Bruns (Theor. Comput. Sci., 1996)

Model Checking and Fault Tolerance. - Glenn Bruns; Ian Sutherland (AMAST, 1997)

Experience with a Domain Specific Language for Form-based Services. - David L. Atkins; Thomas Ball 001; Michael Benedikt; Glenn Bruns; Kenneth C. Cox; Peter Mataga; Kenneth Rehor (DSL, 1997)

An Industrial Application of Modal Process Logic. - Glenn Bruns (Sci. Comput. Program., 1997)

Features as Service Transformations. - Glenn Bruns; Peter Mataga; Ian Sutherland (FIW, 1998)

Applying Formal Methods to a Protocol Standard and its Implementations. - Glenn Bruns; Mark G. Staskauskas (PDSE, 1998)

Model Checking Partial State Spaces with 3-Valued Temporal Logics. - Glenn Bruns; Patrice Godefroid (CAV, 1999)

Mawl: A Domain-Specific Language for Form-Based Services. - David L. Atkins; Thomas Ball 001; Glenn Bruns; Kenneth C. Cox (IEEE Trans. Software Eng., 1999)

Generalized Model Checking: Reasoning about Partial State Spaces. - Glenn Bruns; Patrice Godefroid (CONCUR, 2000)

Automated software development with XML and the Java* language. - Glenn Bruns; Alan E. Frey; Peter Mataga; Susan J. Tripp (Bell Labs Tech. J., 2000)

Temporal Logic Query Checking. - Glenn Bruns; Patrice Godefroid (LICS, 2001)

Searching for Points-To Analysis. - Glenn Bruns; Satish Chandra 001 (IEEE Trans. Software Eng., 2003)

On Guard: Producing Run-Time Checks from Integrity Constraints. - Michael Benedikt; Glenn Bruns (AMAST, 2004)

µABC: A Minimal Aspect Calculus. - Glenn Bruns; Radha Jagadeesan; Alan Jeffrey; James Riely (CONCUR, 2004)

Model Checking with Multi-valued Logics. - Glenn Bruns; Patrice Godefroid (ICALP, 2004)

Foundations for Features. - Glenn Bruns (FIW, 2005)

Data Cleaning for Decision Support. - Michael Benedikt; Philip Bohannon; Glenn Bruns (CleanDB, 2006)

A simple and expressive semantic framework for policy composition in access control. - Glenn Bruns; Daniel S. Dantas; Michael Huth 001 (FMSE, 2007)

Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis. - Glenn Bruns; Michael Huth 001 (CSF, 2008)

A Hierarchical Approach to Service Negotiation. - Glenn Bruns; Mauricio Cortes (ICWS, 2011)

Program synthesis in administration of higher-order permissions. - Glenn Bruns; Michael Huth 001; Kumar Avijit (SACMAT, 2011)

Access control via belnap logic: Intuitive, expressive, and analyzable policy composition. - Glenn Bruns; Michael Huth 001 (ACM Trans. Inf. Syst. Secur., 2011)

Relationship-based access control: its expression and enforcement through hybrid logic. - Glenn Bruns; Philip W. L. Fong; Ida Sri Rejeki Siahaan; Michael Huth 001 (CODASPY, 2012)

Calculating the benefits of sponsored data for an individual content provider. - Matthew Andrews; Glenn Bruns; Hyoseop Lee (CISS, 2014)

Understanding Quota Dynamics in Wireless Networks. - Matthew Andrews; Glenn Bruns; Mustafa K. Dogru; Hyoseop Lee (ACM Trans. Internet Techn., 2014)

Assessing Wireless Data Services with Machine Learning and Geostatistics. - Jose Mijangos; Glenn Bruns (ICMLA, 2019)

A Logical Way to Negotiate Services. - Glenn Bruns; Mauricio Cortes (CoRR, 2023)

Neural Memory Decoding with EEG Data and Representation Learning. - Glenn Bruns; Michael Haidar; Federico Rubino (CoRR, 2023)

User-Driven Abstraction for Model Checking. - Glenn Bruns (CoRR, 2023)

Neural Bookmarks: Information Retrieval with Deep Learning and EEG Data. - Glenn Bruns; Michael Haidar (AAAI, 2024)