The SCEAS System
Navigation Menu

Search the dblp DataBase


Glenn Bruns: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Colin Potts, Glenn Bruns
    Recording the Reasons for Design Decisions. [Citation Graph (2, 0)][DBLP]
    ICSE, 1988, pp:418-427 [Conf]
  2. Glenn Bruns, Ian Sutherland
    Model Checking and Fault Tolerance. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:45-59 [Conf]
  3. Michael Benedikt, Glenn Bruns
    On Guard: Producing Run-Time Checks from Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:27-41 [Conf]
  4. Glenn Bruns
    A Case Study in Safety-Critical Design. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:220-233 [Conf]
  5. Glenn Bruns, Patrice Godefroid
    Model Checking Partial State Spaces with 3-Valued Temporal Logics. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:274-287 [Conf]
  6. Michael Benedikt, Philip Bohannon, Glenn Bruns
    Data Cleaning for Decision Support. [Citation Graph (0, 0)][DBLP]
    CleanDB, 2006, pp:- [Conf]
  7. Glenn Bruns
    A Practical Technique for Process Abstraction. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:37-49 [Conf]
  8. Glenn Bruns, Patrice Godefroid
    Generalized Model Checking: Reasoning about Partial State Spaces. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:168-182 [Conf]
  9. Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely
    µABC: A Minimal Aspect Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:209-224 [Conf]
  10. David Atkins, Thomas Ball, Michael Benedikt, Glenn Bruns, Kenneth C. Cox, Peter Mataga, Kenneth Rehor
    Experience with a Domain Specific Language for Form-based Services. [Citation Graph (0, 0)][DBLP]
    DSL, 1997, pp:37-50 [Conf]
  11. Glenn Bruns
    Foundations for Features. [Citation Graph (0, 0)][DBLP]
    FIW, 2005, pp:3-11 [Conf]
  12. Glenn Bruns, Peter Mataga, Ian Sutherland
    Features as Service Transformations. [Citation Graph (0, 0)][DBLP]
    FIW, 1998, pp:85-97 [Conf]
  13. Glenn Bruns, Patrice Godefroid
    Model Checking with Multi-valued Logics. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:281-293 [Conf]
  14. Glenn Bruns, Patrice Godefroid
    Temporal Logic Query Checking. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:409-417 [Conf]
  15. Glenn Bruns, Mark G. Staskauskas
    Applying Formal Methods to a Protocol Standard and its Implementations. [Citation Graph (0, 0)][DBLP]
    PDSE, 1998, pp:198-0 [Conf]
  16. Glenn Bruns, Satish Chandra
    Searching for points-to analysis. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:61-70 [Conf]
  17. Glenn Bruns, Alan E. Frey, Peter Mataga, Susan J. Tripp
    Automated software development with XML and the Java* language. [Citation Graph (0, 0)][DBLP]
    Bell Labs Technical Journal, 2000, v:5, n:2, pp:32-43 [Journal]
  18. Glenn Bruns, Stuart Anderson
    The Formalization and Analysis of a Communications Protocol. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:1, pp:92-112 [Journal]
  19. Glenn Bruns
    An Industrial Application of Modal Process Logic. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:3-22 [Journal]
  20. Javier Esparza, Glenn Bruns
    Trapping Mutual Exclusion in the Box Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:153, n:1&2, pp:95-128 [Journal]
  21. David L. Atkins, Thomas Ball, Glenn Bruns, Kenneth C. Cox
    Mawl: A Domain-Specific Language for Form-Based Services. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1999, v:25, n:3, pp:334-346 [Journal]
  22. Glenn Bruns, Satish Chandra
    Searching for Points-To Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:10, pp:883-897 [Journal]

  23. A simple and expressive semantic framework for policy composition in access control. [Citation Graph (, )][DBLP]

  24. Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002