Glenn Bruns

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