Geoffrey C. Hulette
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2009–2020
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ECSA | 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 |
| 2016 | FMICS | 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 |
| 2012 | EuroPar | 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 |
| 2012 | GPCE | Composing typemaps in Twig. | Geoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony |
| 2009 | SC | Workflow representation and runtime based on lazy functional streams. | Matthew J. Sottile, Geoffrey C. Hulette, Allen D. Malony |