Geoffrey C. Hulette

17 papers B 1C 1Journal 2Unranked 12

Year	Rank	Type	Title / 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