Glenn Bruns
Title
Cited by
Cited by
Year
Recording the reasons for design decisions
C Potts, G Bruns
ICSE 88, 418-427, 1988
4371988
Model checking partial state spaces with 3-valued temporal logics
G Bruns, P Godefroid
International Conference on Computer Aided Verification, 274-287, 1999
3061999
Generalized model checking: Reasoning about partial state spaces
G Bruns, P Godefroid
International Conference on Concurrency Theory, 168-182, 2000
1932000
Mawl: A domain-specific language for form-based services
DL Atkins, T Ball, G Bruns, K Cox
IEEE transactions on software engineering 25 (3), 334-346, 1999
1581999
Relationship-based access control: its expression and enforcement through hybrid logic
G Bruns, PWL Fong, I Siahaan, M Huth
Proceedings of the second ACM conference on Data and Application Security …, 2012
952012
Distributed systems analysis with CCS
G Bruns
Prentice-Hall, Inc., 1997
951997
Model checking with multi-valued logics
G Bruns, P Godefroid
International Colloquium on Automata, Languages, and Programming, 281-293, 2004
902004
Temporal logic query checking
G Bruns, P Godefroid
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 409-417, 2001
822001
A simple and expressive semantic framework for policy composition in access control
G Bruns, DS Dantas, M Huth
Proceedings of the 2007 ACM workshop on Formal methods in security …, 2007
752007
Access control via Belnap logic: Intuitive, expressive, and analyzable policy composition
G Bruns, M Huth
ACM Transactions on Information and System Security (TISSEC) 14 (1), 1-27, 2011
682011
μABC: A Minimal Aspect Calculus
G Bruns, R Jagadeesan, A Jeffrey, J Riely
International Conference on Concurrency Theory, 209-224, 2004
592004
Access-control policies via Belnap logic: Effective and efficient composition and analysis
G Bruns, M Huth
2008 21st IEEE Computer Security Foundations Symposium, 163-176, 2008
562008
A practical technique for process abstraction
G Bruns
International Conference on Concurrency Theory, 37-49, 1993
551993
Validating safety models with fault trees
G Bruns, S Anderson
International Conference on Computer Safety, Reliability and Security, 21-30, 1993
461993
Experience with a Domain Specific Language for Form-based Services.
DL Atkins, T Ball, M Benedikt, G Bruns, KC Cox, P Mataga, K Rehor
DSL, 37-50, 1997
451997
A case study in safety-critical design
G Bruns
International Conference on Computer Aided Verification, 220-233, 1992
431992
Trapping mutual exclusion in the box calculus
J Esparza, G Bruns
Theoretical Computer Science 153 (1-2), 95-128, 1996
411996
Automated update management for XML integrity constraints
M Benedikt, G Bruns, J Gibson, R Kuss, A Ng
Program Language Technologies for XML (PLANX02), 2002
402002
A Language for Value-passing CCS
G Bruns
LFCS, Department of Computer Science, University of Edinburgh, 1991
391991
Model checking and fault tolerance
G Bruns, I Sutherland
International Conference on Algebraic Methodology and Software Technology, 45-59, 1997
331997
The system can't perform the operation now. Try again later.
Articles 1–20