C. H. Coombs, G. S. Avrunin. Single-peaked functions and the theory of preference. Psychological Review 84:216-230, 1977.
G. S. Avrunin, L. L. Scott. Quillen stratification for modules. Inventiones Mathematicae 66:277-286, 1982.
C. H. Coombs, G. S. Avrunin. The Structure of Conflict, Lawrence Erlbaum Associates, Hillsdale, NJ, 1988.
J. C. Corbett, G. S. Avrunin. Using integer programming to verify general safety and liveness properties. Formal Methods in System Design, 6:97-123, 1995.
G. S. Avrunin. Symbolic model checking using algebraic geometry. Proceedings of the 8th International Conference on Computer-Aided Verification, 26-37, New Brunswick, NJ, 1996.
M. B. Dwyer, G. S. Avrunin, J. C. Corbett. Patterns in property specifications for finite-state verification. Proceedings of the 21st International Conference on Software Engineering, 411-420, Los Angeles, 1999.
R. L. Cobleigh, G. S. Avrunin, L. A. Clarke. User guidance for creating precise and accessible property specifications. Proceedings of the 14th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 208-218, Portland, OR, 2006.
E. A. Henneman, G. S. Avrunin, L. A. Clarke, L. J. Osterweil, C. Andrzejewski, Jr., K. Merrigan, R.Cobleigh, K. Frederick, E. Katz-Basset, P. L. Henneman. Increasing patient safety and efficiency in transfusion therapy using formal process definitions. Transfusion Medicine Reviews, 21(1), 2007, 49-57.
S. F. Siegel, G. S. Avrunin. Verification of halting properties for MPI programs using nonblocking operations. In F. Capello, T. Herault, and J. Dongarra, editors, Recent Advances in Parallel Virtual Machine and Message Passing Interface: 14th European PVM/MPI Users' Group Meeting, volume 4757 of Lecture Notes in Computer Science, 326-334, Paris, October 2007.
S. F. Siegel, A. Mironova, G. S. Avrunin, L. A. Clarke. Combining symbolic execution with model checking to verify parallel numerical programs. ACM Transactions on Software Engineering and Methodology, 17(2): Article 10, 1-34, 2008.
W. C. Mertens, S. C. Christov, G. S. Avrunin, L. A. Clarke, L. J. Osterweil, L. J. Cassells, J. L. Marquard. Using process elicitation and validation to understand and improve chemotherapy ordering and delivery. Joint Commission Journal on Quality and Patient Safety, 38(11):497-505, 2012.
L. J. Osterweil, M. Bishop, H. M. Conboy, H. Phan, B. I. Simidchieva, G. S. Avrunin, L. A. Clarke, and S. Peisert. Iterative analysis to improve key properties of critical human-intensive processes: An election security example. ACM Transactions on Privacy and Security, 20(2):Article 5, 31 pages, March 2017.
G. S. Avrunin, S. C. Christov, L. A. Clarke, H. M. Conboy, L. J. Osterweil, and M. A. Zenati. Process driven guidance for complex surgical procedures. In American Medical Informatics Association Annual Symposium, 175-184, November 2018.