Selected Publications


Program Synthesis in Administration of Higher-Order Permissions. Glenn Bruns and Michael Huth and Kumar Avijit. In SACMAT 2011: Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011. (pdf)


A Hierarchical Approach to Service Negotiation. Glenn Bruns and Mauricio Cortes. In ICWS 2011: Proceedings of the 9th IEEE Internation Conference on Web Services, 2011. (pdf)


Access-Control Policies via Belnap Logic: Intuitive, Expressive, and Analyzable Policy Composition. Glenn Bruns and Michael Huth. In ACM Transactions on Information and System Security, 2011. (Imperial College tech report version, containing proofs)


Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis. Glenn Bruns and Michael Huth. In CSF 2008: Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008. (pdf)


A Simple and Expressive Semantic Framework for Policy Composition in Access Control. Glenn Bruns and Daniel S. Dantas and Michael Huth. In FMSE '07: Proceedings of the 2007 ACM workshop on Formal Methods in Security Engineering, 2007. (pdf)


Session Data Types: An Abstraction Layer for Shared-Experience Communications in Converged Applications. A.V. Aho, G. Bruns, D. Dams, R. Hull, J. Letourneau, K. Namjoshi, F. Panken, and H. van Tellingen. In Proc. 11th Intl. Conf. on Intelligence in Service Delivery Networks (ICIN), Bordeaux, France, 2007. (pdf)


Data Cleaning for Decision Support. Michael Benedikt, Philip Bohannon, and Glenn Bruns. In First Int'l VLDB Workshop on Clean Databases, 2006. (pdf)


Foundations for Features. Glenn Bruns. In Feature Interactions in Telecommunications and Software Systems VIII, 2005. (postscript) (pdf)


muABC: A Minimal Aspect Calculus. Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, and James Riely. In Proceedings of CONCUR 2004, 2004. (postscript) (pdf)


Model Checking with Multi-Valued Logics. Glenn Bruns and Patrice Godefroid. In Proceedings of ICALP 2004, 2004. (postscript) (pdf)


On Guard: Producing Run-time Checks from Integrity Constraints. Michael Benedikt and Glenn Bruns. In Proceedings of AMAST 2004, 2004. (postscript) (pdf)


Searching for Points-To Analysis. Glenn Bruns and Satish Chandra. IEEE Transactions on Software Engineering, 29(10):883-897, November, 2003. (Revised and extended version of FSE 2002 paper.) (pdf)


Searching for Points-To Analysis. Glenn Bruns and Satish Chandra. In Proceedings of FSE 2002, 2002. (postscript)


Automated Update Management for XML Integrity Constraints. Michael Benedikt, Glenn Bruns, Julie Gibson, Robin Kuss, and Amy Ng. In Informal Proceedings of PLAN-X Workshop, 2002. (postscript)


Temporal Logic Query Checking. Glenn Bruns and Patrice Godefroid. In Proceedings of LICS 2001, 2001. (postscript)


Generalized model checking: Reasoning about partial state spaces. Glenn Bruns and Patrice Godefroid. In Proceedings of CONCUR 2000, 2000. (postscript)


Automated software development with XML and the Java language. Glenn Bruns, Alan Frey, Peter Mataga, and Susan Tripp. Bell Labs Technical Journal, April-June, 2000.


Model checking partial state spaces with 3-valued temporal logics. Glenn Bruns and Patrice Godefroid. In Proceedings of the 11th Intl. Workshop on Computer Aided Verification, LNCS 1633, Nicolas Halbwachs and Doron Peled, editors, pages 274-287, 1999. (postscript)


Mawl: A domain-specific language for form-based services. D.L. Atkins, T. Ball, G. Bruns, and K. Cox. IEEE Transactions on Software Engineering, 25(3):334-346, 1999.


Features as service transformers. Glenn Bruns, Peter Mataga, and Ian Sutherland. In Feature Interactions in Telecommunications and Software Systems V. IOS Press, 1998. (postscript)


User-Driven Abstraction for Model Checking. Glenn Bruns. Unpublished manuscript, 1998. (postscript) (pdf)


Applying formal methods to a protocol standard and its implementation. Glenn Bruns and Mark Staskauskas. In Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, pages 198-206. IEEE, 1998. (postscript)


Distributed Systems Analysis with CCS. Glenn Bruns. Prentice Hall, 1997.


Model checking and fault tolerance. Glenn Bruns and Ian Sutherland. In Proceedings of AMAST '97, 1997. (postscript)


Experience with a domain specific language for form-based services. David Atkins, Thomas Ball, Michael Benedikt, Glenn Bruns, Kenneth Cox, Peter Mataga, and Kenneth Rehor. In Usenix Conference on Domain Specific Languages, 1997.


Trapping mutual exclusion in the box calculus. Javier Esparza and Glenn Bruns. Theoretical Computer Science, 153:95-128, 1996.


An industrial application of modal process logic. Glenn Bruns. Science of Computer Programming, 29:3-22, 1996. (postscript) (pdf)


Refinement and dependable systems. Glenn Bruns. In Proceedings of the 10th Annual IEEE Conference on Computer Assurance, 1995.


A logical approach to data fusion. Glenn Bruns and Stuart Anderson. Journal of Computer and Software Engineering, 3(2), 1995. (postscript) (pdf)


Gaining assurance with formal methods. Glenn Bruns and Stuart Anderson. In Applications of Formal Methods, M.G. Hinchey and J.P. Bowen, editors, chapter 3, pages 33-54. Prentice Hall, 1995.


The formalization and analysis of a communications protocol. Glenn Bruns and Stuart Anderson. Formal Aspects of Computing, 6(1):92-112, 1994.


Using data consistency assumptions to show system safety. Glenn Bruns and Stuart Anderson. In Dependable Computing for Critical Applications 4, Flaviu Cristian, Gerar Le Lann, and Teresa Lunt, editors, pages 15-27. Springer-Verlag, 1994. Volume 9 of the Dependable Computing and Fault-Tolerant Systems Series.


A practical technique for process abstraction. Glenn Bruns. In Proceedings of CONCUR '93, LNCS 715, pages 37-49. Springer-Verlag, 1993. (postscript) (pdf)


Validating safety models with fault trees. Glenn Bruns and Stuart Anderson. In Proceedings of the 12th International Conference on Computer Safety, Reliability, and Security, Janusz Górski, editor, pages 21-30. Springer-Verlag, 1993. (postscript) (pdf)


A case study in the analysis of safety requirements. Glenn Bruns and Stuart Anderson. In Proceedings of SAFECOMP '92, Hein H. Frey, editor, 1992.


A case study in safety-critical design. Glenn Bruns. In Proceedings of the 3rd Intl. Workshop on Computer Aided Verification, LNCS 575, G.v. Bochmann and D.K. Probst, editors, pages 220-233, 1991.


The formalization and analysis of a communications protocol. Glenn Bruns and Stuart Anderson. In Proceedings of SAFECOMP '91, J.F. Lindeberg, editor, 1991.


Vanna: A visual environment for the design of distributed systems. Paul Attie, Glenn Bruns, Michael Evangelist, and Charles Richter. In Proceedings of Tri-ADA '89, 1989.


Recording the reasons for design decisions. Colin Potts and Glenn Bruns. In Proceedings of the 10th Int'l. Conference on Software Engineering, April 1988. (pdf)