Concepedia
Statistics
Publications
58
Citations
4.2K
H-Index
27
Active since
1977
Affiliations
University of Massachusetts Amherst(Current)
University of California, Santa Barbara
University of Hawaii System
Amherst College
Kansas State University
George S. Avrunin is an author at University of Massachusetts Amherst specializing in computing, computer science, and formal methods.
Publications per year
1977–2019
Patterns in property specifications for finite-state verification
Matthew B. Dwyer, George S. Avrunin, James C. Corbett · 1999 · 1.4K citations
Computing, Computer Science, Mathematics +13
Property specification patterns for finite-state verification
Matthew B. Dwyer, George S. Avrunin, James C. Corbett · 1998 · 453 citations · Full text
Computing, Computer Science, Mathematics +12
Single-peaked functions and the theory of preference.
Clyde H. Coombs, George S. Avrunin · Psychological Review · 1977 · 303 citations
Social Sciences, Behavioral Sciences, Economics +12
PROPEL
R. L. Smith, George S. Avrunin, Lori A. Clarke et al. · 2002 · 148 citations
Computing, Computer Science, Formal Methods +14
Automated analysis of concurrent systems with the constrained expression toolset
George S. Avrunin, Ugo Buy, James C. Corbett et al. · IEEE Transactions on Software Engineering · 1991 · 115 citations · Full text
Computing, Computer Science, Design Automation +11
1–5 of 58