Glenn Bruns

Glenn Bruns

California State University Monterey Bay - Seaside / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 845200
person_outline Glenn Bruns's MOST POPULAR ARTICLES
1-) Recording the reasons for design decisions Proceedings. of the 11th International Conference on Software Engineering …, 1988
2-) Model checking partial state spaces with 3-valued temporal logics Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999
3-) Generalized model checking: Reasoning about partial state spaces CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000
4-) Mawl: A domain-specific language for form-based services IEEE transactions on software engineering 25 (3), 334-346, 1999
5-) Relationship-based access control: its expression and enforcement through hybrid logic Proceedings of the second ACM conference on Data and Application Security …, 2012