杰拉·亨塞尔;吉尔根·吉斯尔;弗洛里安·弗洛恩;托马斯·斯特罗德 符号执行的位向量算法程序的终止和复杂性分析。 （英语） Zbl 1395.68093号 J.日志。阿尔盖布。方法计划。 97, 105-130 (2018).MSC公司：68纳米30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hensel}等人，J.Log。阿尔盖布。方法计划。97、105——130（2018；Zbl 1395.68093） 全文： 内政部
托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;彼得·施奈德·坎普;科尼利厄斯·阿斯切尔曼 使用指针算法自动证明程序的终止和内存安全。 （英语） Zbl 1409.68077号 J.汽车。推理 58，第1号，33-65（2017）.MSC公司：68纳米30 2012年第68季度 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛T.Ströder｝等人，J.Autom。推理58，No.1，33--65（2017；Zbl 1409.68077） 全文： 内政部 链接
杰拉·亨塞尔;吉尔根·吉斯尔;弗洛里安·弗洛恩;托马斯·斯特罗德 通过符号执行证明用位向量算法终止程序。 （英语） Zbl 1390.68181号 De Nicola，Rocco（编辑）等人，《软件工程和形式化方法》。2016年7月4日至8日，作为2016年STAF的一部分，在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-41590-1/pbk；978-3-316-41591-8/电子书）。计算机科学课堂讲稿9763234-252（2016）。MSC公司：68纳米30 PDF格式BibTeX公司 XML格式引用 \textit｛J.Hensel｝等人，Lect。注释计算。科学。97633234-252（2016年；兹比尔1390.68181） 全文： 内政部