PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hulette, Geoffrey C."

Author of the publication

copydeleteadd this publication to your clipboard
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.

, , , and . Electron. Notes Theor. Comput. Sci., (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. phil. Geoffrey Rodoreda University of Stuttgart

Dr. phil. Geoffrey Chanda University of Stuttgart

C. Traut

C. Honold

Dr. Torbjörn Cunis University of Stuttgart

 

Other publications of authors with the same name

Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics., , , and . Electron. Notes Theor. Comput. Sci., (2015)Digital system robustness via design constraints: The lesson of formal methods., , and . SysCon, page 109-114. IEEE, (2015)Leveraging Abstraction to Establish Out-of-Nominal Safety Properties., , and . FTSCS, volume 596 of Communications in Computer and Information Science, page 172-186. Springer, (2015)Deriving program transformations by demonstration, and . CoRR, (2013)Composing typemaps in Twig., , and . GPCE, page 41-49. ACM, (2012)Robust Digital Computation in the Physical World., , , , and . Cyber-Physical Systems Security, Springer, (2018)WOOL: A Workflow Programming Language., , and . eScience, page 71-78. IEEE Computer Society, (2008)On Source Code Transformations for Steganographic Applications., and . Web Intelligence/IAT Workshops, page 261-264. IEEE Computer Society, (2011)978-0-7695-4513-4.A Type-Based Approach to Separating Protocol from Application Logic - A Case Study in Hybrid Computer Programming., , and . Euro-Par, volume 7484 of Lecture Notes in Computer Science, page 40-51. Springer, (2012)Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System., , and . FMICS-AVoCS, volume 9933 of Lecture Notes in Computer Science, page 205-213. Springer, (2016)