Search the dblp DataBase

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]