Geoffrey C. Hulette

According to our database, Geoffrey C. Hulette authored at least 17 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

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

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

Towards Verified Rounding Error Analysis for Stationary Iterative Methods.

Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette

Proceedings of the Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2022

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

Proceedings of the Software Architecture - 14th European Conference, 2020

Refinement and Verification of Responsive Control Systems.

Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Topos Semantics for a Higher-Order Temporal Logic of Actions.

Philip Johnson-Freyd, Jon Aytac, Geoffrey C. Hulette

Proceedings of the Proceedings Applied Category Theory 2019, 2019

2018

Robust Digital Computation in the Physical World.

Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette, Maher Salloum, Andrew M. Smith

Proceedings of the Cyber-Physical Systems Security., 2018

2016

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

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

2015

Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.

Geoffrey C. Hulette, Robert C. Armstrong, Jackson R. Mayo, Joseph R. Ruthruff

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

Digital system robustness via design constraints: The lesson of formal methods.

Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette

Proceedings of the Annual IEEE Systems Conference, 2015

Leveraging Abstraction to Establish Out-of-Nominal Safety Properties.

Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2013

Deriving program transformations by demonstration

Matthew J. Sottile, Geoffrey C. Hulette

CoRR, 2013

2012

Composing typemaps in Twig.

Geoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony

Proceedings of the Generative Programming and Component Engineering, 2012

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

Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012

2011

On Source Code Transformations for Steganographic Applications.

Geoffrey C. Hulette, John Solis

Proceedings of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2011

2009

Workflow representation and runtime based on lazy functional streams.

Matthew J. Sottile, Geoffrey C. Hulette, Allen D. Malony

Proceedings of the 4th Workshop on Workflows in Support of Large-Scale Science, 2009

2008

WOOL: A Workflow Programming Language.

Geoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony

Proceedings of the Fourth International Conference on e-Science, 2008