Glenn Bruns

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 5

Top Topics

Logical Representation

Top Venues

ACM Trans. Internet Techn.

Publications

Glenn Bruns, Michael Haidar
Neural Bookmarks: Information Retrieval with Deep Learning and EEG Data. AAAI (2024)
Glenn Bruns
User-Driven Abstraction for Model Checking. CoRR (2023)
Glenn Bruns, Mauricio Cortes
A Logical Way to Negotiate Services. CoRR (2023)
Glenn Bruns, Michael Haidar, Federico Rubino
Neural Memory Decoding with EEG Data and Representation Learning. CoRR (2023)
Jose Mijangos, Glenn Bruns
Assessing Wireless Data Services with Machine Learning and Geostatistics. ICMLA (2019)
Matthew Andrews, Glenn Bruns, Mustafa K. Dogru, Hyoseop Lee
Understanding Quota Dynamics in Wireless Networks. ACM Trans. Internet Techn. 14 (2-3) (2014)
Matthew Andrews, Glenn Bruns, Hyoseop Lee
Calculating the benefits of sponsored data for an individual content provider. CISS (2014)
Glenn Bruns, Philip W. L. Fong, Ida Sri Rejeki Siahaan, Michael Huth
Relationship-based access control: its expression and enforcement through hybrid logic. CODASPY (2012)
Glenn Bruns, Michael Huth
Access control via belnap logic: Intuitive, expressive, and analyzable policy composition. ACM Trans. Inf. Syst. Secur. 14 (1) (2011)
Glenn Bruns, Michael Huth, Kumar Avijit
Program synthesis in administration of higher-order permissions. SACMAT (2011)
Glenn Bruns, Mauricio Cortes
A Hierarchical Approach to Service Negotiation. ICWS (2011)
Glenn Bruns, Michael Huth
Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis. CSF (2008)
Glenn Bruns, Daniel S. Dantas, Michael Huth
A simple and expressive semantic framework for policy composition in access control. FMSE (2007)
Michael Benedikt, Philip Bohannon, Glenn Bruns
Data Cleaning for Decision Support. CleanDB (2006)
Glenn Bruns
Foundations for Features. FIW (2005)
Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely
µABC: A Minimal Aspect Calculus. CONCUR (2004)
Glenn Bruns, Patrice Godefroid
Model Checking with Multi-valued Logics. ICALP (2004)
Michael Benedikt, Glenn Bruns
On Guard: Producing Run-Time Checks from Integrity Constraints. AMAST (2004)
Glenn Bruns, Satish Chandra
Searching for Points-To Analysis. IEEE Trans. Software Eng. 29 (10) (2003)
Glenn Bruns, Satish Chandra
Searching for points-to analysis. SIGSOFT FSE (2002)
Glenn Bruns, Patrice Godefroid
Temporal Logic Query Checking. LICS (2001)
Glenn Bruns, Patrice Godefroid
Generalized Model Checking: Reasoning about Partial State Spaces. CONCUR (2000)
Glenn Bruns, Alan E. Frey, Peter Mataga, Susan J. Tripp
language. Bell Labs Tech. J. 5 (2) (2000)
Glenn Bruns, Patrice Godefroid
Model Checking Partial State Spaces with 3-Valued Temporal Logics. CAV (1999)
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) (1999)
Glenn Bruns, Mark G. Staskauskas
Applying Formal Methods to a Protocol Standard and its Implementations. PDSE (1998)
Glenn Bruns, Peter Mataga, Ian Sutherland
Features as Service Transformations. FIW (1998)
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)
Glenn Bruns, Ian Sutherland
Model Checking and Fault Tolerance. AMAST (1997)
Glenn Bruns
An Industrial Application of Modal Process Logic. Sci. Comput. Program. 29 (1-2) (1997)
Javier Esparza, Glenn Bruns
Trapping Mutual Exclusion in the Box Calculus. Theor. Comput. Sci. 153 (1&2) (1996)
Glenn Bruns, Stuart Anderson
The Formalization and Analysis of a Communications Protocol. Formal Aspects Comput. 6 (1) (1994)
Glenn Bruns
A Practical Technique for Process Abstraction. CONCUR (1993)
Glenn Bruns, Stuart Anderson
Validating Safety Models with Fault Trees. SAFECOMP (1993)
Glenn Bruns
A Case Study in Safety-Critical Design. CAV (1992)
Paul C. Attie, Glenn Bruns, Michael Evangelist, Charles Richter, Vincent Y. Shen
Vanna: a visual environment for the design of distributed systems. TRI-Ada (1989)
Colin Potts, Glenn Bruns
Recording the Reasons for Design Decisions. ICSE (1988)