马蒂亚斯·海兹曼
|
研究
教学
讲座: 程序验证 (2021年夏季学期) 研讨会: 程序分析高级主题 (2020年冬季学期/21年) 讲座: 程序验证 (2020年夏季学期) 研讨会: 自动机理论 (2019/20冬季学期) 讲座: 程序验证 (2019年夏季学期) 讲座: 理论计算机科学 (2018/19冬季学期) 讲座: 理论计算机科学 (2017/18冬季学期)
学生项目
出版物
几何级数作为线性Lasso程序的非终止参数,in 2014年华尔街日报 和Jan Leike一起[ 预印本 ] 2014年CAV与Jochen Hoenicke和Andreas Podelski一起通过学习终止计划进行终止分析[ 预印本 ] 线性循环的排名模板 ,与Jan Leike一起参加2014年TACAS[ 围兜 | 预印本 ] 具有不满意内核的终极Automizer-(竞争贡献) 在2014年TACAS中,与尤尔根·克里斯特、丹尼尔·迪特施、乔森·霍尼克、马库斯·林登曼、贝蒂姆·穆萨、克里斯蒂安·席林、斯特凡·维塞特和安德烈亚斯·波德尔斯基[ 围兜 ] 线性拉索规划的线性排序 ,英寸 ATVA 2013年 以及Jochen Hoenicke、Jan Leike和Andreas Podelski。 [ 围兜 | 预印本 ] 使用SMTInterpol的Ultimate Automizer-(竞争贡献) ,英寸 2013年TACAS 与尤尔根·基督、丹尼尔·迪特施、埃夫伦·埃尔米斯、乔森·霍尼克、马库斯·林登曼、亚历山大·纳茨、克里斯蒂安·席林和安德烈亚斯·波德尔斯基一起。 [ 围兜 ] 爱自动机的人的软件模型检查 与Jochen Hoenicke和Andreas Podelski在2013年CAV[ 围兜 | 预印本 ] 尺寸更改终止和转换不变量 ,英寸 SAS 2010 以及尼尔·D·琼斯和安德烈亚斯·波德尔斯基。 [ 围兜 | pdf格式 ] 嵌套插值 ,英寸 2010年POPL 以及Jochen Hoenicke和Andreas Podelski。 [ 围兜 | pdf格式 ] 痕迹提取的细化 ,英寸 SAS 2009 以及Jochen Hoenicke和Andreas Podelski。 [ 围兜 | pdf格式 ]
演讲和海报(待更新…)
通过学习终止程序进行终止分析 2014年7月,CAV 2014 几何级数作为线性Lasso程序的非终止参数 2014年7月,WST 2014 终极Automizer海报 2014年4月,在TACAS 2014和 达格斯图尔研讨会14171 具有不满意内核的终极Automizer 2014年4月,TACAS 2014 线性循环的排名模板 2014年4月,TACAS 2014。 痕迹提取 2010年11月,于 班加罗尔印度科学院计算机科学与自动化系 . 嵌套插值 2010年1月,于 2010年POPL . 痕迹提取的细化 ,2009年8月,于 SAS 2009 由Jochen Hoenicke提出。 追踪摘要,2009年3月,在弗赖堡举行的2009年春季AVACS研讨会R1会议上。 可根据要求提供,但我建议看一看SAS09演讲的幻灯片,这是基于此次演讲的改进和扩展版本。 常规抽象 2008年10月,在阿拉卡蒂的软件分析研讨会上。 我建议看一看SAS09演讲的幻灯片,这是基于此次演讲的改进和扩展版本。 我的谈话 在 摘要解释研讨会 2008年7月冬季学期,约 定点引导的抽象优化 (由Patrick Cousot、Pierre Ganty和Jean-François Raskin于SAS 2007年出版) 我的谈话 在 模型检验研讨会的高级主题 在2007年夏季学期,大约 塔斯基不动点定理的构造性版本 (由Patrick Cousot和Radhia Cousot在《太平洋数学杂志》第82卷上发表)