雅库布·丹尼尔
人员信息
其他同名人员
优化列表
2010 – 2019
2016 【c4】 雅库布·丹尼尔 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 斯特凡诺·托内塔 , 塞尔吉奥·莫弗 :
通过隐性抽象和良好关系实现无限状态的生命安全。 CAV(1) 2016 : 271-291 2015 【c3】 雅库布·丹尼尔 , 帕维尔·帕里泽克 :
PANDA:同时进行谓词抽象和具体执行。 海法核查会议 2015 : 87-103 [第1页] 托马斯·鲍尔 , 雅库布·丹尼尔 :
解构动态符号执行。 可靠软件系统工程 2015 : 26-41 2014 [j1] 雅库布·丹尼尔 , 帕维尔·帕里泽克 , 科琳娜·帕萨雷努 :
Java Pathfinder中的谓词抽象。 ACM SIGSOFT软件。 工程注释 39 ( 1 ) : 1-5 ( 2014 ) 【c2】 雅库布·丹尼尔 , 帕维尔·帕里泽克 :
程序验证中的谓词抽象:调查和当前趋势。 ICCSW公司 2014 : 27-35 2012 【c1】 托马斯·克纳普 , 简·米歇尔费特 , 雅库布·丹尼尔 , 彼得·杰曼 , 杜桑·里奇诺夫斯克 , 托马斯·苏库普 , 马丁·内卡斯克(Martin Necask) :
ODCleanStore:管理和提供Web上集成链接数据的框架。 WISE公司 2012 : 815-816