卢卡斯·布鲁奇
人员信息
优化列表
2010 – 2019
2018 [第10条] 卢卡斯·布鲁奇 , 迪米塔尔·迪米特洛夫 , 彼得·米勒 , 马丁·T·韦切夫 :
因果一致性的静态序列化分析。 PLDI公司 2018 : 90-104 2017 【c9】 卢卡斯·布鲁奇 , 迪米塔尔·迪米特洛夫 , 彼得·米勒 , 马丁·T·韦切夫 :
最终一致性的序列化:标准、分析和应用。 POPL公司 2017 : 458-472 2015 【c8】 卢卡斯·布鲁奇 , 彼得罗·费拉拉 , Omer跳闸 , 马可·皮斯托亚 :
ShamDroid:在资源访问受限的情况下,功能降级。 OOPSLA公司 2015 : 316-331 2014 【c7】 彼得罗·费拉拉 , 丹尼尔·施韦泽 , 卢卡斯·布鲁奇 :
TouchCost:TouchDevelop脚本的成本分析。 FASE公司 2014 : 109-124 【c6】 卢卡斯·布鲁奇 , 彼得罗·费拉拉 , 彼得·米勒 :
TouchGuru:将静态分析与移动开发环境集成。 MobileDeLi手机 2014 : 33-34 【c5】 卢卡斯·布鲁奇 , 彼得罗·费拉拉 , 彼得·米勒 :
独立应用程序开发人员的静态分析。 OOPSLA公司 2014 : 847-860 2013 【c4】 乔治·纽格鲍尔 , 卢卡斯·布鲁奇 , 乌尔里克·梅耶 , 苏珊·韦策尔 :
隐私保护和解协议的设计与实现。 EDBT/ICDT研讨会 2013 : 121-130 【c3】 乔治·纽格鲍尔 , 卢卡斯·布鲁奇 , 乌尔里克·梅耶 , 苏珊·韦策尔 :
恶意模型中保护隐私的多方和解安全。 DPM/SETOP公司 2013 : 178-193 [i1] 乔治·纽格鲍尔 , 卢卡斯·布鲁奇 , 乌尔里克·梅耶 , 苏珊·韦策尔 :
在恶意模型中保护隐私的多方和解安全(扩展版)。 IACR加密。 电子打印架构。 2013 : 655 ( 2013 ) 2011 【c2】 Hakjoo噢 , 卢卡斯·布鲁奇 , Kwangkeun Yi公司 :
基于访问分析的抽象内存严密本地化。 VMCAI公司 2011 : 356-370
2000 – 2009
2009 【c1】 巴斯蒂安·施利希 , 托马斯·诺尔 , 约格·布劳尔 , 卢卡斯·布鲁奇 :
减少模型检查嵌入式软件的中断处理程序执行。 海法核查会议 2009 : 5-20