Concepedia

George S. Avrunin

GS

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

58

Publications

58

Patterns in property specifications for finite-state verification

Matthew B. Dwyer, George S. Avrunin, James C. Corbett · 1999 · 1.4K citations

, , +13

Property specification patterns for finite-state verification

Matthew B. Dwyer, George S. Avrunin, James C. Corbett · 1998 · 453 citations · Full text

, , +12

Single-peaked functions and the theory of preference.

Clyde H. Coombs, George S. Avrunin · Psychological Review · 1977 · 303 citations

, , +12

PROPEL

R. L. Smith, George S. Avrunin, Lori A. Clarke et al. · 2002 · 148 citations

, , +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

, , +11

1–5 of 58