停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

罗迪·克尔斯滕

罗迪·W·J·科斯滕

>主页 >珀森斯

人员信息

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2020
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/stvr/LuckowKP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/stvr/LuckowKP20
卡斯珀·瑟·勒科夫,罗迪·克尔斯滕,科琳娜·帕萨雷努:
使用符号执行进行复杂性漏洞分析。柔和。测试。验证可靠性。 30(7-8)(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ac/PasareanuKLP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ac/PasareanuKLP19
科琳娜·帕萨雷努,罗迪·克尔斯滕,卡斯珀·瑟·勒科夫,Quoc-Sang Phan公司:
第六章-符号执行和最坏情况执行、负载测试和安全分析的最新应用。高级计算。 113:289-314(2019)
[第12条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/se/NollerKP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/se/NollerKP19
亚尼克·诺勒,罗迪·克斯滕,科琳娜·帕萨雷努:
獾：复杂度分析与模糊和符号执行。东南/雨水管理 2019:65-66
2018
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issta/NollerKP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issta/NollerKP18
亚尼克·诺勒,罗迪·克尔斯滕,科琳娜·帕萨雷努:
獾：使用模糊和符号执行进行复杂性分析。 ISSTA公司 2018:322-332
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/Balasubramanian18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/Balasubramanian18
丹尼尔·巴拉苏布拉曼尼亚,德米特里·科斯图琴科,卡斯珀·瑟·勒科夫,罗迪·克尔斯滕,加博尔·卡赛:
基于云的程序分析执行框架。 SEFM公司 2018:139-154
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1806-03283
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1806-03283
亚尼克·诺勒,罗迪·克尔斯滕,科琳娜·帕萨雷努:
獾：复杂度分析与模糊和符号执行。 CoRR公司 abs/1806.03283(2018)
2017
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/KerstenLP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/KerstenLP17
罗迪·克尔斯滕,卡斯珀·瑟·勒科夫,科琳娜·帕萨雷努:
海报：使用Kelinci为Java进行基于AFL的Fuzzing。中央控制系统 2017:2511-2513
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/LuckowKP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/LuckowKP17
卡斯珀·瑟·勒科夫,罗迪·克尔斯滕,科琳娜·帕萨雷努:
使用上下文保留历史进行符号复杂性分析。 ICST公司 2017:58-68
【c7】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KahsaiKRS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KahsaiKRS17
Temesghen Kahsai公司,罗迪·克尔斯滕,菲利普·吕默,马丁·施瓦夫:
面向对象程序的量化堆不变量。 LPAR公司 2017:368-384
2016
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/sigsoft/KerstenSK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigsoft/KerstenSK16
罗迪·克尔斯滕,马丁·施瓦夫,Temesghen Kahsai公司:
Java资源合同。 ACM SIGSOFT软件。工程注释 41(6):1-5(2016)
2015
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/sigsoft/KerstenPRT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigsoft/KerstenPRT15
罗迪·克尔斯滕,苏泽特人,内哈·隆塔,Oksana Tkachuk公司:
改进由符号PathFinder为带有循环的程序生成的测试用例的覆盖率。 ACM SIGSOFT软件。工程注释 40(1):1-5(2015)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fopara/GastelKE15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fopara/GastelKE15
伯纳德·范·加斯特尔,罗迪·克斯滕,马可·C·J·D·范·埃克伦:
使用依赖类型定义程序的能量增强语义。 FOPARA公司 2015:20-39
2014
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/并发/KerstengGSME14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/concurrency/CerstenGSME14
罗迪·W·J·科斯滕,伯纳德·范·加斯特尔,奥哈·什卡拉夫斯卡,曼努埃尔黑山,马可·C·J·D·范·埃克伦:
ResAna：用于（实时）JAVA的资源分析工具集。同意。计算。实际。支出。 26(14):2432-2455(2014)
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/马驹/SchooldermanNKE14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/foal/SchooldermanNKE14
马克·肖尔德曼,Jascha Neutelings公司,罗迪·克尔斯滕,马可·C·J·D·范·埃克伦:
ECAlogic：算法的硬件参数能耗分析。 FOAL公司 2014:19-22
2013
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fopara/KerstenTGE13文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fopara/KerstenTGE13
罗迪·克尔斯滕,保罗·帕里森·托尔丁,伯纳德·范·加斯特尔,马可·C·J·D·范·埃克伦:
能源消耗分析的Hoare逻辑。 FOPARA公司 2013:93-109
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nfm/KerstengGDSE13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nfm/KerstenGDSE13
罗迪·克尔斯滕,伯纳德·范·加斯特尔,Manu Drijvers公司,Sjaak Smetsers公司,马尔科·C·J·D·范·埃克伦:
使用模型检查揭示篡改证据配对的漏洞。 NASA形式方法 2013:63-77
2012
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jtres/KerstenSGME12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jtres/KerstenSGME12
罗迪·克尔斯滕,奥哈·什卡拉夫斯卡,伯纳德·范·加斯特尔,曼努埃尔黑山,马可·C·J·D·范·埃克伦:
使资源分析适用于实时Java。 JTRES公司 2012:135-144
2010
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pppj/ShkaravskaKE10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pppj/ShkaravskaKE10
奥尔哈·什卡拉夫斯卡,罗迪·克尔斯滕,马可·C·J·D·范·埃克伦:
多项式循环函数的基于测试的推理。 PPPJ公司 2010:99-108

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置都将作为Cookie存储在您的网络浏览器中。有关更多信息查看我们的F.A.Q。