Glenn Bruns

According to our database, Glenn Bruns authored at least 36 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Neural Bookmarks: Information Retrieval with Deep Learning and EEG Data.

Glenn Bruns, Michael Haidar

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

User-Driven Abstraction for Model Checking.

Glenn Bruns

CoRR, 2023

Neural Memory Decoding with EEG Data and Representation Learning.

Glenn Bruns, Michael Haidar, Federico Rubino

CoRR, 2023

A Logical Way to Negotiate Services.

Glenn Bruns, Mauricio Cortes

CoRR, 2023

2019

Assessing Wireless Data Services with Machine Learning and Geostatistics.

Jose Mijangos, Glenn Bruns

Proceedings of the 18th IEEE International Conference On Machine Learning And Applications, 2019

2014

Understanding Quota Dynamics in Wireless Networks.

Matthew Andrews, Glenn Bruns, Mustafa K. Dogru, Hyoseop Lee

ACM Trans. Internet Techn., 2014

Calculating the benefits of sponsored data for an individual content provider.

Matthew Andrews, Glenn Bruns, Hyoseop Lee

Proceedings of the 48th Annual Conference on Information Sciences and Systems, 2014

2012

Relationship-based access control: its expression and enforcement through hybrid logic.

Glenn Bruns, Philip W. L. Fong, Ida Sri Rejeki Siahaan, Michael Huth

Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012

2011

Access control via belnap logic: Intuitive, expressive, and analyzable policy composition.

Glenn Bruns, Michael Huth

ACM Trans. Inf. Syst. Secur., 2011

Program synthesis in administration of higher-order permissions.

Glenn Bruns, Michael Huth, Kumar Avijit

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

A Hierarchical Approach to Service Negotiation.

Glenn Bruns, Mauricio Cortes

Proceedings of the IEEE International Conference on Web Services, 2011

2008

Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis.

Glenn Bruns, Michael Huth

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

2007

A simple and expressive semantic framework for policy composition in access control.

Glenn Bruns, Daniel S. Dantas, Michael Huth

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

2006

Data Cleaning for Decision Support.

Michael Benedikt, Philip Bohannon, Glenn Bruns

Proceedings of the First Int'l VLDB Workshop on Clean Databases, 2006

2005

Foundations for Features.

Glenn Bruns

Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

2004

Model Checking with Multi-valued Logics.

Glenn Bruns, Patrice Godefroid

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

µABC: A Minimal Aspect Calculus.

Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

On Guard: Producing Run-Time Checks from Integrity Constraints.

Michael Benedikt, Glenn Bruns

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Searching for Points-To Analysis.

Glenn Bruns, Satish Chandra

IEEE Trans. Software Eng., 2003

2001

Temporal Logic Query Checking.

Glenn Bruns, Patrice Godefroid

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

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

Generalized Model Checking: Reasoning about Partial State Spaces.

Glenn Bruns, Patrice Godefroid

Proceedings of the CONCUR 2000, 2000

1999

Mawl: A Domain-Specific Language for Form-Based Services.

David L. Atkins, Thomas Ball, Glenn Bruns, Kenneth C. Cox

IEEE Trans. Software Eng., 1999

Model Checking Partial State Spaces with 3-Valued Temporal Logics.

Glenn Bruns, Patrice Godefroid

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Applying Formal Methods to a Protocol Standard and its Implementations.

Glenn Bruns, Mark G. Staskauskas

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

Features as Service Transformations.

Glenn Bruns, Peter Mataga, Ian Sutherland

Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998

1997

An Industrial Application of Modal Process Logic.

Glenn Bruns

Sci. Comput. Program., 1997

Experience with a Domain Specific Language for Form-based Services.

David L. Atkins, Thomas Ball, Michael Benedikt, Glenn Bruns, Kenneth C. Cox, Peter Mataga, Kenneth Rehor

Proceedings of the Conference on Domain-Specific Languages, 1997

Model Checking and Fault Tolerance.

Glenn Bruns, Ian Sutherland

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Trapping Mutual Exclusion in the Box Calculus.

Javier Esparza, Glenn Bruns

Theor. Comput. Sci., 1996

1994

The Formalization and Analysis of a Communications Protocol.

Glenn Bruns, Stuart Anderson

Formal Aspects Comput., 1994

1993

Validating Safety Models with Fault Trees.

Glenn Bruns, Stuart Anderson

Proceedings of the 12th International Conference on Computer Safety, 1993

A Practical Technique for Process Abstraction.

Glenn Bruns

Proceedings of the CONCUR '93, 1993

1992

A Case Study in Safety-Critical Design.

Glenn Bruns

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1989

Vanna: a visual environment for the design of distributed systems.

Paul C. Attie, Glenn Bruns, Michael Evangelist, Charles Richter, Vincent Y. Shen

Proceedings of the Conference on Tri-Ada 1989, 1989

1988

Recording the Reasons for Design Decisions.

Colin Potts, Glenn Bruns

Proceedings of the Proceedings, 1988