安德烈亚斯·洛夫
人员信息
优化列表
2020年–今天
2023 【c7】 彼得·马克西莫维奇 , 卡罗琳·克朗贾格 , 安德烈亚斯·洛夫 , 朱利安·萨瑟兰 , 菲利普·加德纳 :
精确分离逻辑:缩小验证和缺陷发现之间的差距。 ECOOP公司 2023 : 19:1-19:27 【c6】 宁东 , 罗伯托·瓜纳夏莱 , Mads大坝 , 安德烈亚斯·洛夫 :
订单流水线处理器正确性和信息流安全性的形式验证。 FMCAD公司 2023 : 247-256 2022 【c5】 安德烈亚斯·洛夫 :
协调验证电路开发和Verilog开发。 FMCAD公司 2022 : 1-10 【c4】 安德烈亚斯·洛夫 :
Verilog语义中的一个小但重要的并发问题? (正在进行中)。 记忆码 2022 : 1-6 [i1] 彼得·马克西莫维奇 , 卡罗琳·克朗贾格 , 朱利安·萨瑟兰 , 安德烈亚斯·洛夫 , 萨查·埃利·阿永 , 菲利普·加德纳 :
精确分离逻辑。 CoRR公司 abs/2208.07200 ( 2022 ) 2021 【c3】 安德烈亚斯·洛夫 :
Lutsig:用于验证电路开发的验证Verilog编译器。 清洁石油产品 2021 : 46-60
2010 – 2019
2019 [c2] 安德烈亚斯·洛夫 , 马格努斯·奥·米林 :
HOL中verilog开发的校对翻译程序。 FormaliSE@ICSE 2019 : 99-108 【c1】 安德烈亚斯·勒夫 , 拉马纳·库马尔 , Yong Kiam Tan先生 , 马格努斯·奥·米林 , 迈克尔·诺里什 , 奥斯卡·亚伯拉罕森 , 安东尼·福克斯 :
已在已验证的处理器上验证编译。 PLDI公司 2019 : 1041-1053