|
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)
|
|
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)
|
|