Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Geoffrey C. Hulette
@article{DBLP:journals/isse/MorrisSHHAB22,
author = {Karla Morris and
Colin F. Snook and
Thai Son Hoang and
Geoffrey C. Hulette and
Robert C. Armstrong and
Michael J. Butler},
title = {Formal verification and validation of run-to-completion style state
charts using Event-B},
journal = {Innov. Syst. Softw. Eng.},
volume = {18},
number = {4},
pages = {523--541},
year = {2022},
url = {https://doi.org/10.1007/s11334-021-00416-4},
doi = {10.1007/S11334-021-00416-4},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/MorrisSHHAB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/correctness/KellisonTJH22,
author = {Ariel Kellison and
Mohit Tekriwal and
Jean{-}Baptiste Jeannin and
Geoffrey C. Hulette},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Towards Verified Rounding Error Analysis for Stationary Iterative
Methods},
booktitle = {Sixth {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2022, Dallas, TX, USA, November
13-18, 2022},
pages = {10--17},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/Correctness56720.2022.00007},
doi = {10.1109/CORRECTNESS56720.2022.00007},
timestamp = {Thu, 09 Feb 2023 11:33:25 +0100},
biburl = {https://dblp.org/rec/conf/correctness/KellisonTJH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/PollardABHMMRA22,
author = {Samuel D. Pollard and
Robert C. Armstrong and
John Bender and
Geoffrey C. Hulette and
Raheel S. Mahmood and
Karla Morris and
Blake C. Rawlings and
Jon M. Aytac},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {{Q:} {A} Sound Verification Framework for Statecharts and Their Implementations},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Formal
Techniques for Safety-Critical Systems, {FTSCS} 2022, Auckland, New
Zealand, 7 December 2022},
pages = {16--26},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3563822.3568014},
doi = {10.1145/3563822.3568014},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/PollardABHMMRA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/MorrisSHHAB20,
author = {Karla Morris and
Colin F. Snook and
Thai Son Hoang and
Geoffrey C. Hulette and
Robert C. Armstrong and
Michael J. Butler},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry and
Frank Houdek},
title = {Refinement and Verification of Responsive Control Systems},
booktitle = {Rigorous State-Based Methods - 7th International Conference, {ABZ}
2020, Ulm, Germany, May 27-29, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12071},
pages = {272--277},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48077-6\_23},
doi = {10.1007/978-3-030-48077-6\_23},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/MorrisSHHAB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/MorrisSHHAB20,
author = {Karla Morris and
Colin F. Snook and
Thai Son Hoang and
Geoffrey C. Hulette and
Robert C. Armstrong and
Michael J. Butler},
editor = {Henry Muccini and
Paris Avgeriou and
Barbora Buhnova and
Javier C{\'{a}}mara and
Mauro Caporuscio and
Mirco Franzago and
Anne Koziolek and
Patrizia Scandurra and
Catia Trubiani and
Danny Weyns and
Uwe Zdun},
title = {Formal Verification of Run-to-Completion Style Statecharts Using Event-B},
booktitle = {Software Architecture - 14th European Conference, {ECSA} 2020 Tracks
and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1269},
pages = {311--325},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59155-7\_24},
doi = {10.1007/978-3-030-59155-7\_24},
timestamp = {Tue, 22 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecsa/MorrisSHHAB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-06834,
author = {Philip Johnson{-}Freyd and
Jon Aytac and
Geoffrey C. Hulette},
editor = {John Baez and
Bob Coecke},
title = {Topos Semantics for a Higher-Order Temporal Logic of Actions},
booktitle = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
Oxford, UK, 15-19 July 2019},
series = {{EPTCS}},
volume = {323},
pages = {161--171},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.323.11},
doi = {10.4204/EPTCS.323.11},
timestamp = {Wed, 04 Nov 2020 16:04:03 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-06834.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/MayoAHSS18,
author = {Jackson R. Mayo and
Robert C. Armstrong and
Geoffrey C. Hulette and
Maher Salloum and
Andrew M. Smith},
editor = {{\c{C}}etin Kaya Ko{\c{c}}},
title = {Robust Digital Computation in the Physical World},
booktitle = {Cyber-Physical Systems Security},
pages = {1--21},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98935-8\_1},
doi = {10.1007/978-3-319-98935-8\_1},
timestamp = {Fri, 08 Mar 2019 12:57:04 +0100},
biburl = {https://dblp.org/rec/books/sp/18/MayoAHSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Johnson-FreydHA16,
author = {Philip Johnson{-}Freyd and
Geoffrey C. Hulette and
Zena M. Ariola},
editor = {Maurice H. ter Beek and
Stefania Gnesi and
Alexander Knapp},
title = {Verification by Way of Refinement: {A} Case Study in the Use of Coq
and {TLA} in the Design of a Safety Critical System},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
21st International Workshop on Formal Methods for Industrial Critical
Systems and 16th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9933},
pages = {205--213},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45943-1\_14},
doi = {10.1007/978-3-319-45943-1\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/Johnson-FreydHA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MayoAH15,
author = {Jackson R. Mayo and
Robert C. Armstrong and
Geoffrey C. Hulette},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Leveraging Abstraction to Establish Out-of-Nominal Safety Properties},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {172--186},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_10},
doi = {10.1007/978-3-319-29510-7\_10},
timestamp = {Wed, 24 May 2017 08:30:54 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/MayoAH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/MayoAH15,
author = {Jackson R. Mayo and
Robert C. Armstrong and
Geoffrey C. Hulette},
title = {Digital system robustness via design constraints: The lesson of formal
methods},
booktitle = {Annual {IEEE} Systems Conference, SysCon 2015, Proceedings, Vancouver,
BC, Canada, April 13-16, 2015},
pages = {109--114},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SYSCON.2015.7116737},
doi = {10.1109/SYSCON.2015.7116737},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/syscon/MayoAH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HuletteAMR15,
author = {Geoffrey C. Hulette and
Robert C. Armstrong and
Jackson R. Mayo and
Joseph R. Ruthruff},
editor = {Sergiy Bogomolov and
Matthieu Martel},
title = {Theorem-Proving Analysis of Digital Control Logic Interacting with
Continuous Dynamics},
booktitle = {Seventh and Eighth International Workshops on Numerical Software Verification,
{NSV} 2014, Vienna, Austria, July 17-18, 2014 {\&} {NSV} 2015,
Seattle, WA, USA, April 13, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {317},
pages = {71--83},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2015.10.008},
doi = {10.1016/J.ENTCS.2015.10.008},
timestamp = {Thu, 10 Nov 2022 15:22:15 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HuletteAMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-4334,
author = {Matthew J. Sottile and
Geoffrey C. Hulette},
title = {Deriving program transformations by demonstration},
journal = {CoRR},
volume = {abs/1301.4334},
year = {2013},
url = {http://arxiv.org/abs/1301.4334},
eprinttype = {arXiv},
eprint = {1301.4334},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-4334.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/HuletteSM12,
author = {Geoffrey C. Hulette and
Matthew J. Sottile and
Allen D. Malony},
editor = {Christos Kaklamanis and
Theodore S. Papatheodorou and
Paul G. Spirakis},
title = {A Type-Based Approach to Separating Protocol from Application Logic
- {A} Case Study in Hybrid Computer Programming},
booktitle = {Euro-Par 2012 Parallel Processing - 18th International Conference,
Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7484},
pages = {40--51},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32820-6\_6},
doi = {10.1007/978-3-642-32820-6\_6},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/HuletteSM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/HuletteSM12,
author = {Geoffrey C. Hulette and
Matthew J. Sottile and
Allen D. Malony},
editor = {Klaus Ostermann and
Walter Binder},
title = {Composing typemaps in Twig},
booktitle = {Generative Programming and Component Engineering, GPCE'12, Dresden,
Germany, September 26-28, 2012},
pages = {41--49},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2371401.2371408},
doi = {10.1145/2371401.2371408},
timestamp = {Tue, 21 Mar 2023 21:01:36 +0100},
biburl = {https://dblp.org/rec/conf/gpce/HuletteSM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/HuletteS11,
author = {Geoffrey C. Hulette and
John Solis},
editor = {Jomi Fred H{\"{u}}bner and
Jean{-}Marc Petit and
Einoshin Suzuki},
title = {On Source Code Transformations for Steganographic Applications},
booktitle = {Proceedings of the 2011 {IEEE/WIC/ACM} International Joint Conference
on Web Intelligence and Intelligent Agent Technology - Workshops,
{WI-IAT} 2011, Campus Scientifique de la Doua, Lyon, France, August
22-27, 2011},
pages = {261--264},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/WI-IAT.2011.89},
doi = {10.1109/WI-IAT.2011.89},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/HuletteS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/SottileHM09,
author = {Matthew J. Sottile and
Geoffrey C. Hulette and
Allen D. Malony},
editor = {Ewa Deelman and
Ian J. Taylor},
title = {Workflow representation and runtime based on lazy functional streams},
booktitle = {Proceedings of the 4th Workshop on Workflows in Support of Large-Scale
Science, {WORKS} 2009, November 16, 2009, Portland, Oregon, {USA}},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1645164.1645174},
doi = {10.1145/1645164.1645174},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/SottileHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/HuletteSM08,
author = {Geoffrey C. Hulette and
Matthew J. Sottile and
Allen D. Malony},
title = {{WOOL:} {A} Workflow Programming Language},
booktitle = {Fourth International Conference on e-Science, e-Science 2008, 7-12
December 2008, Indianapolis, IN, {USA}},
pages = {71--78},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/eScience.2008.43},
doi = {10.1109/ESCIENCE.2008.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eScience/HuletteSM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
