| Patterns in property specifications for finite-state verification MB Dwyer, GS Avrunin, JC Corbett Proceedings of the 21st international conference on Software engineering …, 1999 | 2185 | 1999 |
| 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 | 731 | 1998 |
| Single-peaked functions and the theory of preference. CH Coombs, GS Avrunin Psychological review 84 (2), 216, 1977 | 527 | 1977 |
| 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 | 228 | 2002 |
| The structure of conflict CH Coombs, GS Avrunin Psychology Press, 2013 | 198 | 2013 |
| 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 | 156 | 1999 |
| Quillen stratification for modules GS Avrunin, LL Scott Inventiones mathematicae 66 (2), 277-286, 1982 | 153 | 1982 |
| 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 | 151 | 1991 |
| 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 | 134 | 1998 |
| 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 | 111 | 2008 |
| 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 | 106 | 1997 |
| 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 | 97 | 2008 |
| 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 | 95 | 1999 |
| 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 | 93 | 1986 |
| 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 | 91 | 2006 |
| Using integer programming to verify general safety and liveness properties JC Corbett, GS Avrunin Formal Methods in System Design 6, 97-123, 1995 | 90 | 1995 |
| 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 | 86 | 2006 |
| 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 | 82 | 2014 |
| 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 | 71 | 2007 |
| Verification of MPI-based software for scientific computation SF Siegel, GS Avrunin International SPIN Workshop on Model Checking of Software, 286-303, 2004 | 68 | 2004 |
