Geoffrey C. Hulette

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 7

Top Topics

Temporally Extended Goals

Mazurkiewicz Traces

Safety Critical

Formal Verification

Top Venues

Innov. Syst. Softw. Eng.

Electron. Notes Theor. Comput. Sci.

Publications

Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler
Formal verification and validation of run-to-completion style state charts using Event-B. Innov. Syst. Softw. Eng. 18 (4) (2022)
Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac
Q: A Sound Verification Framework for Statecharts and Their Implementations. FTSCS (2022)
Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette
Towards Verified Rounding Error Analysis for Stationary Iterative Methods. Correctness@SC (2022)
Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler
Refinement and Verification of Responsive Control Systems. ABZ (2020)
Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert Armstrong, Michael J. Butler
Formal Verification of Run-to-Completion Style Statecharts Using Event-B. ECSA Companion (2020)
Philip Johnson-Freyd, Jon Aytac, Geoffrey C. Hulette
Topos Semantics for a Higher-Order Temporal Logic of Actions. ACT (2019)
Philip Johnson-Freyd, Geoffrey C. Hulette, Zena M. Ariola
Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System. FMICS-AVoCS (2016)
Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette
Digital system robustness via design constraints: The lesson of formal methods. SysCon (2015)
Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette
Leveraging Abstraction to Establish Out-of-Nominal Safety Properties. FTSCS (2015)
Geoffrey C. Hulette, Robert C. Armstrong, Jackson R. Mayo, Joseph R. Ruthruff
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics. Electron. Notes Theor. Comput. Sci. 317 (2015)
Matthew J. Sottile, Geoffrey C. Hulette
Deriving program transformations by demonstration CoRR (2013)
Geoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony
Composing typemaps in Twig. GPCE (2012)
Geoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony
A Type-Based Approach to Separating Protocol from Application Logic - A Case Study in Hybrid Computer Programming. Euro-Par (2012)
Geoffrey C. Hulette, John Solis
On Source Code Transformations for Steganographic Applications. Web Intelligence/IAT Workshops (2011)
Matthew J. Sottile, Geoffrey C. Hulette, Allen D. Malony
Workflow representation and runtime based on lazy functional streams. SC-WORKS (2009)
Geoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony
WOOL: A Workflow Programming Language. eScience (2008)