Geoffrey C. Hulette

17 papers B 1C 1Journal 2Unranked 12
YearRankTypeTitle / Venue / Authors
2022 J jnl
Formal verification and validation of run-to-completion style state charts using Event-B.
Innov. Syst. Softw. Eng.
Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler
2022 — conf
Q: A Sound Verification Framework for Statecharts and Their Implementations.
FTSCS
Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac
2022 — conf
Towards Verified Rounding Error Analysis for Stationary Iterative Methods.
Correctness@SC
Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette
2020 — conf
Formal Verification of Run-to-Completion Style Statecharts Using Event-B.
ECSA Companion
Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler
2020 C conf
Refinement and Verification of Responsive Control Systems.
ABZ
Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler
2019 — conf
Topos Semantics for a Higher-Order Temporal Logic of Actions.
ACT
Philip Johnson-Freyd, Jon Aytac, Geoffrey C. Hulette
2018 — ch.
Robust Digital Computation in the Physical World.
Cyber-Physical Systems Security
Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette, Maher Salloum, Andrew M. Smith
2016 — conf
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
Philip Johnson-Freyd, Geoffrey C. Hulette, Zena M. Ariola
2015 — conf
Digital system robustness via design constraints: The lesson of formal methods.
SysCon
Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette
2015 — conf
Leveraging Abstraction to Establish Out-of-Nominal Safety Properties.
FTSCS
Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette
2015 — conf
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.
NSV
Geoffrey C. Hulette, Robert C. Armstrong, Jackson R. Mayo, Joseph R. Ruthruff
2013 J jnl
Deriving program transformations by demonstration
CoRR
Matthew J. Sottile, Geoffrey C. Hulette
2012 — conf
A Type-Based Approach to Separating Protocol from Application Logic - A Case Study in Hybrid Computer Programming.
Euro-Par
Geoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony
2012 B conf
Composing typemaps in Twig.
GPCE
Geoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony
2011 — conf
On Source Code Transformations for Steganographic Applications.
Web Intelligence/IAT Workshops
Geoffrey C. Hulette, John Solis
2009 — conf
Workflow representation and runtime based on lazy functional streams.
SC-WORKS
Matthew J. Sottile, Geoffrey C. Hulette, Allen D. Malony
2008 — conf
WOOL: A Workflow Programming Language.
eScience
Geoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony