亚历山大·洛赫曼
人员信息
优化列表
2020年–今天
2023 【j4】 阿尔特·米德尔多普 , 亚历山大·洛赫曼 , 费比安·米特沃纳 :
线性变量分离重写系统重写的一阶理论:自动化,形式化,证明。 J.汽车。 原因。 67 ( 2 ) : 14 ( 2023 ) 2022 [j3] 亚历山大·洛赫曼 :
将重写属性减少为基于基本术语的属性。 架构(architecture)。 正式证明 2022 ( 2022 ) [注2] 亚历山大·洛赫曼 , 伯特伦·费尔根豪尔 :
重写的一阶理论。 架构(architecture)。 正式证明 2022 ( 2022 ) [第1页] 克里斯托夫·博切特 , Jochen Streicher公司 , 亚历山大·洛赫曼 , 奥拉夫·斯宾奇克 :
使用kCQL进行基于声明流的OSData采集和处理。 机器。 学习。 在Resour下。 约束第1卷(1) 2022 : 16-33 2021 【b1】 亚历山大·洛赫曼 :
Aufzeichnungsbasierte分析Betriebssystemen中的von Sperren。 德国多特蒙德技术大学, 2021 [j1] 亚历山大·洛赫曼 , 伯特伦·费尔根豪尔 , 克里斯蒂安·斯特纳格尔 , 雷内·蒂曼 , 托马斯·斯特纳格尔 :
常规树关系。 架构(architecture)。 正式证明 2021 ( 2021 ) 【c6】 亚历山大·洛赫曼 , 阿尔特·米德尔多普 , 费比安·米特沃纳 , 伯特伦·费尔根豪尔 :
线性变量分离重写系统重写的一阶理论的一个验证决策过程。 清洁石油产品 2021 : 250-263 【c5】 费比安·米特沃纳 , 亚历山大·洛赫曼 , 阿尔特·米德尔多普 , 伯特伦·费尔根豪尔 :
重写一阶理论中的证明证据。 TACAS(2) 2021 : 127-144 2020 【c4】 亚历山大·洛赫曼 , 阿尔特·米德尔多普 :
重写一阶理论中无限和正规形式谓词的形式化证明。 TACAS(2) 2020 : 178-194 [i1] 亚历山大·洛赫曼 , 罗宾·图尼格 , 霍斯特·施密尔(Horst Schirmeier) :
使用反馈驱动模糊改进LockDoc的Linux-Kernel测试。 CoRR公司 abs/2009.08768 ( 2020 )
2010 – 2019
2019 [c3] 亚历山大·洛赫曼 , 克里斯蒂安·斯特纳格尔 :
认证ACKBO。 清洁石油产品 2019 : 144-151 【c2】 亚历山大·洛赫曼 , 霍斯特·席尔梅尔 , 亨德里克·博格霍斯特 , 奥拉夫·斯宾奇克 :
LockDoc:Linux内核中基于跟踪的锁定分析。 欧洲系统 2019 : 11:1-11:15 2017 【c1】 亚历山大·洛赫曼 , 法比安·布鲁克纳 , 奥拉夫·斯宾奇克 :
使用基于跟踪的基准测试对Android系统进行可复制的负载测试。 ICPE指南 2017 : 73-76