信息
|
关于我
出版物
LLVM IR中AProVE终止方法的Isabelle/HOL形式化 作者:Max W.Haslbeck,以及 雷内·蒂曼 在CPP 2021中 Isabelle/HOL中线性混合整数算法求解器的验证 通过 拉尔夫·波特什 Max W.Haslbeck、Alban Reynaud和 雷内·蒂曼 NASA形式方法(2020) 在Isabelle/HOL中形式化LLL基约简算法和LLL分解算法 通过 雷内·蒂曼 , 拉尔夫·波特什 , 何塞·迪瓦森 马克斯·哈斯贝克, 塞巴斯蒂安·乔斯滕 ,以及 山田秋久 《自动推理杂志》(2020) 随机二叉树结构的验证分析 通过 曼纽尔·埃贝尔 Max W.Haslbeck和 托比亚斯·尼普科 《自动推理杂志》(2020) 在Isabelle/HOL中验证线性算法的增量理论解算器 通过 拉尔夫·波特什 ,Max W.Haslbeck,以及 雷内·蒂曼 组合系统前沿,2019年FroCoS LLL基约简算法的有效实现 通过 拉尔夫·波特什 Max W.Haslbeck和 雷内·蒂曼 在LPAR-22中。 第22届程序设计、人工智能和推理逻辑国际会议(2018) 随机二叉树结构的验证分析 通过 曼纽尔·埃贝尔 Max W.Haslbeck和 托比亚斯·尼普科 第九届国际交互定理证明会议(2018) 验证的iptables防火墙分析和验证 通过 科尼利厄斯·迪克曼 , 拉尔斯·胡佩尔 , 朱利叶斯·迈克利斯 Max W.Haslbeck和 乔治·卡尔 《自动推理杂志》(2018) 已验证iptables防火墙分析 通过 科尼利厄斯·迪克曼 , 朱利叶斯·迈克利斯 Max W.Haslbeck和 乔治·卡尔 IFIP网络(2016) 挖掘形式化证明的档案 通过 布兰切特 马克斯·哈斯贝克, 丹尼尔·马提库克 ,以及 托比亚斯·尼普科 智能计算机数学会议(2015)
教学
普罗塞米纳 功能编程(SS20) 普罗塞米纳 功能编程(WS19/20) 普罗塞米纳 理论计算机科学导论(WS18/19)