WOOL: A Workflow Programming Language. - Geoffrey C. Hulette; Matthew J. Sottile; Allen D. Malony (eScience, 2008)

Workflow representation and runtime based on lazy functional streams. - Matthew J. Sottile; Geoffrey C. Hulette; Allen D. Malony (SC-WORKS, 2009)

On Source Code Transformations for Steganographic Applications. - Geoffrey C. Hulette; John Solis (Web Intelligence/IAT Workshops, 2011)

A Type-Based Approach to Separating Protocol from Application Logic - A Case Study in Hybrid Computer Programming. - Geoffrey C. Hulette; Matthew J. Sottile; Allen D. Malony (Euro-Par, 2012)

Composing typemaps in Twig. - Geoffrey C. Hulette; Matthew J. Sottile; Allen D. Malony (GPCE, 2012)

Deriving program transformations by demonstration - Matthew J. Sottile; Geoffrey C. Hulette (CoRR, 2013)

Leveraging Abstraction to Establish Out-of-Nominal Safety Properties. - Jackson R. Mayo; Robert C. Armstrong; Geoffrey C. Hulette (FTSCS, 2015)

Digital system robustness via design constraints: The lesson of formal methods. - Jackson R. Mayo; Robert C. Armstrong; Geoffrey C. Hulette (SysCon, 2015)

Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics. - Geoffrey C. Hulette; Robert C. Armstrong; Jackson R. Mayo; Joseph R. Ruthruff (NSV, 2015)

Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System. - Philip Johnson-Freyd; Geoffrey C. Hulette; Zena M. Ariola (FMICS-AVoCS, 2016)

Robust Digital Computation in the Physical World. - Jackson R. Mayo; Robert C. Armstrong; Geoffrey C. Hulette; Maher Salloum; Andrew M. Smith (Cyber-Physical Systems Security, 2018)

Topos Semantics for a Higher-Order Temporal Logic of Actions. - Philip Johnson-Freyd; Jon Aytac; Geoffrey C. Hulette (ACT, 2019)

Refinement and Verification of Responsive Control Systems. - Karla Morris; Colin F. Snook; Thai Son Hoang; Geoffrey C. Hulette; Robert C. Armstrong; Michael J. Butler (ABZ, 2020)

Formal Verification of Run-to-Completion Style Statecharts Using Event-B. - Karla Morris; Colin F. Snook; Thai Son Hoang; Geoffrey C. Hulette; Robert C. Armstrong; Michael J. Butler (ECSA Companion, 2020)

Towards Verified Rounding Error Analysis for Stationary Iterative Methods. - Ariel Kellison; Mohit Tekriwal; Jean-Baptiste Jeannin; Geoffrey C. Hulette (Correctness@SC, 2022)

Q: A Sound Verification Framework for Statecharts and Their Implementations. - Samuel D. Pollard; Robert C. Armstrong; John Bender; Geoffrey C. Hulette; Raheel S. Mahmood; Karla Morris; Blake C. Rawlings; Jon M. Aytac (FTSCS, 2022)

Formal verification and validation of run-to-completion style state charts using Event-B. - Karla Morris; Colin F. Snook; Thai Son Hoang; Geoffrey C. Hulette; Robert C. Armstrong; Michael J. Butler (Innov. Syst. Softw. Eng., 2022)