Follow
George Avrunin
George Avrunin
Professor Emeritus of Mathematics and Statistics
Verified email at math.umass.edu - Homepage
Title
Cited by
Cited by
Year
Patterns in property specifications for finite-state verification
MB Dwyer, GS Avrunin, JC Corbett
Proceedings of the 21st international conference on Software engineering …, 1999
21221999
Property specification patterns for finite-state verification
MB Dwyer, GS Avrunin, JC Corbett
Proceedings of the second workshop on Formal methods in software practice, 7-15, 1998
7241998
Single-peaked functions and the theory of preference.
CH Coombs, GS Avrunin
Psychological review 84 (2), 216, 1977
5041977
Propel: an approach supporting property elucidation
RL Smith, GS Avrunin, LA Clarke, LJ Osterweil
Proceedings of the 24th International Conference on Software Engineering, 11-21, 2002
2292002
The structure of conflict
CH Coombs, GS Avrunin
Psychology Press, 2013
1972013
An efficient algorithm for computing MHP information for concurrent Java programs
G Naumovich, GS Avrunin, LA Clarke
ACM SIGSOFT Software Engineering Notes 24 (6), 338-354, 1999
1541999
Automated analysis of concurrent systems with the constrained expression toolset
GS Avrunin, UA Buy, JC Corbett, LK Dillon, JC Wileden
IEEE Transactions on Software Engineering 17 (11), 1204-1222, 1991
1531991
Quillen stratification for modules
GS Avrunin, LL Scott
Inventiones mathematicae 66 (2), 277-286, 1982
1491982
A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel
G Naumovich, GS Avrunin
ACM SIGSOFT Software Engineering Notes 23 (6), 24-34, 1998
1321998
Combining symbolic execution with model checking to verify parallel numerical programs
SF Siegel, A Mironova, GS Avrunin, LA Clarke
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (2), 1-34, 2008
1102008
Applying static analysis to software architectures
G Naumovich, GS Avrunin, LA Clarke, LJ Osterweil
Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly …, 1997
1071997
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
JM Cobleigh, GS Avrunin, LA Clarke
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (2), 1-52, 2008
962008
Data flow analysis for checking properties of concurrent Java programs
G Naumovich, GS Avrunin, LA Clarke
Proceedings of the 21st international conference on Software engineering …, 1999
941999
Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems
GS Avrunin, LK Dillon, JC Wileden, WE Riddle
IEEE Transactions on Software Engineering, 278-292, 1986
921986
Using integer programming to verify general safety and liveness properties
JC Corbett, GS Avrunin
Formal Methods in System Design 6, 97-123, 1995
901995
User guidance for creating precise and accessible property specifications
RL Cobleigh, GS Avrunin, LA Clarke
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006
892006
Using model checking with symbolic execution to verify parallel numerical programs
SF Siegel, A Mironova, GS Avrunin, LA Clarke
Proceedings of the 2006 international symposium on Software testing and …, 2006
852006
Insider threat identification by process analysis
M Bishop, HM Conboy, H Phan, BI Simidchieva, GS Avrunin, LA Clarke, ...
2014 IEEE Security and Privacy Workshops, 251-264, 2014
792014
Increasing patient safety and efficiency in transfusion therapy using formal process definitions
EA Henneman, GS Avrunin, LA Clarke, LJ Osterweil, C Andrzejewski Jr, ...
Transfusion Medicine Reviews 21 (1), 49-57, 2007
702007
Analyzing medical processes
B Chen, GS Avrunin, EA Henneman, LA Clarke, LJ Osterweil, ...
Proceedings of the 30th international conference on Software engineering …, 2008
672008
The system can't perform the operation now. Try again later.
Articles 1–20