Wool: A workflow programming language GC Hulette, MJ Sottile, AD Malony 2008 IEEE Fourth International Conference on eScience, 71-78, 2008 | 15 | 2008 |
Formal verification and validation of run-to-completion style state charts using Event-B K Morris, C Snook, TS Hoang, G Hulette, R Armstrong, M Butler Innovations in Systems and Software Engineering 18 (4), 523-541, 2022 | 10 | 2022 |
Theorem-proving analysis of digital control logic interacting with continuous dynamics GC Hulette, RC Armstrong, JR Mayo, JR Ruthruff Electronic Notes in Theoretical Computer Science 317, 71-83, 2015 | 6 | 2015 |
Workflow representation and runtime based on lazy functional streams MJ Sottile, GC Hulette, AD Malony Proceedings of the 4th Workshop on Workflows in Support of Large-Scale …, 2009 | 6 | 2009 |
Refinement and verification of responsive control systems K Morris, C Snook, TS Hoang, G Hulette, R Armstrong, M Butler Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm …, 2020 | 5 | 2020 |
Digital system robustness via design constraints: The lesson of formal methods JR Mayo, RC Armstrong, GC Hulette 2015 Annual IEEE Systems Conference (SysCon) Proceedings, 109-114, 2015 | 5 | 2015 |
OnRamp: enabling a new component-based development paradigm GC Hulette, MJ Sottile, R Armstrong, B Allan Proceedings of the 2009 Workshop on Component-Based High Performance …, 2009 | 5 | 2009 |
Formal verification of run-to-completion style statecharts using event-b K Morris, C Snook, TS Hoang, G Hulette, R Armstrong, M Butler Software Architecture: 14th European Conference, ECSA 2020 Tracks and …, 2020 | 4 | 2020 |
COMPOSE-HPC: Software Composition for Extreme Scale Computational Science and Engineering D Bernhold, M Sotile, T Epperly, T Dahlgren, A Prantl, W Elwasif, S Foley, ... | 4 | 2012 |
Robust digital computation in the physical world JR Mayo, RC Armstrong, GC Hulette, M Salloum, AM Smith Cyber-Physical Systems Security, 1-21, 2018 | 3 | 2018 |
Towards verified rounding error analysis for stationary iterative methods A Kellison, M Tekriwal, JB Jeannin, G Hulette 2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC …, 2022 | 2 | 2022 |
Topos semantics for a higher-order temporal logic of actions P Johnson-Freyd, J Aytac, G Hulette arXiv preprint arXiv:2009.06834, 2020 | 2 | 2020 |
Leveraging abstraction to establish out-of-nominal safety properties JR Mayo, RC Armstrong, GC Hulette Formal Techniques for Safety-Critical Systems: 4th International Workshop …, 2016 | 2 | 2016 |
On Source Code Transformations for Steganographic Applications GC Hulette, J Solis 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and …, 2011 | 2 | 2011 |
Quameleon: A Lifter and Intermediate Language for Binary Analysis. PA Johnson-Freyd, S Pollard, T Duckworth, MJ Carson, GC Hulette, ... Sandia National Lab.(SNL-CA), Livermore, CA (United States), 2019 | 1 | 2019 |
Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System P Johnson-Freyd, GC Hulette, ZM Ariola Critical Systems: Formal Methods and Automated Verification: Joint 21st …, 2016 | 1 | 2016 |
Deriving program transformations by demonstration MJ Sottile, GC Hulette arXiv preprint arXiv:1301.4334, 2013 | 1 | 2013 |
Composing typemaps in Twig GC Hulette, M Sottile, AD Malony Proceedings of the 11th International Conference on Generative Programming …, 2012 | 1 | 2012 |
Composehpc: A transformational approach to exascale D Bernholdt, BA Allan, RC Armstrong, D Chavarría-Miranda, TL Dahlgren, ... Oak Ridge National Laboratory, Tech. Rep. ORNL/TM-2012/85, 2012 | 1 | 2012 |
Twig: A configurable domain-specific language GC Hulette University of Oregon, 2012 | 1 | 2012 |