默认搜索操作

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

问别人

扬·托拜厄斯·穆尔伯格

>主页 >珀森斯

人员信息

附属： 比利时鲁汶大学

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2024
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/访问/PennekampABSWM24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/access/PennekampABSWM24
简·彭内坎普,弗里茨·奥尔德,伦纳特·贝德,Gianluca Scopelliti公司,克劳斯·韦尔,扬·托拜厄斯·穆尔伯格:
供应链中的安全传感：机遇、构建块和设计。 IEEE接入 12:9350-9368(2024)
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/eurosp/ChiavassaGFM24公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurosp/ChiavassaGFM24网址
彼得罗·奇亚瓦萨,菲利波·甘蒂诺,雷纳托·费雷罗,扬·托拜厄斯·穆尔伯格:
Cortex-M上使用ARM TrustZone进行安全间歇计算。欧洲标准普尔研讨会 2024:160-168
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/eurosp/ScopellitiBM24公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurosp/ScopellitiBM24
Gianluca Scopelliti公司,克里斯托夫·鲍曼,扬·托拜厄斯·穆尔伯格:
了解基于云的机密计算中的信任关系。欧洲标准普尔研讨会 2024:169-176
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icissp/PauwMD24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icissp/PauwMD24
塞德里克·德鲍,扬·托拜厄斯·穆尔伯格,Jean-Michel Dricot牛仔裤:
一种改进的基于PUF的云存储隐私保护物联网协议。 ICISSP公司 2024:725-732
[公元31年]
- 看法
  - 电子版@ndss-symposium.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ndss/ScopellitiBATM24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ndss/ScopellitiBATM24网址
Gianluca Scopelliti公司,克里斯托夫·鲍曼,弗里茨·奥尔德,埃迪·特鲁恩,扬·托比亚斯·米尔伯格:
高效及时地撤销V2X证书。 NDSS公司 2024
[i11]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2407-08663
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2407-08663
梅尔夫·吉尔梅斯,哈坎英语,扬·托拜厄斯·穆尔伯格,托马斯·尼曼:
Mon CHÈRI<3适应能力硬件增强型RISC，具有条件能力。 CoRR公司 abs/2407.08663(2024)
2023
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/csur/YoshizawaSMDTHP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/csur/YoshizawaSMDTHP23
吉泽高彦,戴夫·辛格,扬·托拜厄斯·穆尔伯格,斯特凡·德尔布鲁尔,阿米尔·塔赫科尔迪,丹尼·休斯,巴特·普雷尼尔:
V2X通信系统中的安全和隐私问题调查。 ACM计算。Surv公司。 55(9):185:1-185:36(2023)
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmhci/SasDM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmhci/SasDM23
马丁·萨斯,马尔滕·德诺,扬·托拜厄斯·穆尔伯格:
告知儿童隐私：面向儿童的F2P视频游戏中适龄信息设计的回顾和评估。程序。ACM休谟计算。互动。 7(芝加哥):425-463(2023)
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tissec/ScopellitiPNABPM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tissec/ScopellitiPNABPM23
Gianluca Scopelliti公司,塞皮德·波扬拉德,约伯·诺曼,弗里茨·奥尔德,克里斯托夫·鲍曼,弗兰克·皮森斯,扬·托拜厄斯·穆尔伯格:
异构TEE上分布式事件驱动Enclave应用程序的端到端安全性。 ACM事务处理。私人安全。 26(三):39:1-39:46(2023)
[c30]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/IEECloud/BudigiriBTMJ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/IEEEcloud/BudigiriBTMJ23
杰拉尔德·布迪吉里,克里斯托夫·鲍曼,埃迪·特鲁恩,扬·托拜厄斯·穆尔伯格,沃特·乔森:
低延迟云端系统网络策略的零成本深度实施。云 2023:249-261
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dsn/GulmezNBM23a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dsn/GulmezNBM23a
梅尔夫·吉尔梅斯,托马斯·尼曼,克里斯托夫·鲍曼,扬·托拜厄斯·穆尔伯格:
探索进程内隔离对软件弹性的环境效益。 DSN-S型 2023:203-205
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dsn/GulmezNBM23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dsn/GulmezNBM23网站
梅尔夫·吉尔梅斯,托马斯·尼曼,克里斯托夫·鲍曼,扬·托拜厄斯·穆尔伯格:
回放和丢弃：使用独立域提高软件弹性。 DSN（DSN） 2023:402-416
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/secdev/GulmezNBM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/secdev/GulmezNBM23
梅尔夫·吉尔梅斯,托马斯·尼曼,克里斯托夫·鲍曼,扬·托拜厄斯·穆尔伯格:
内心是朋友还是敌人？探索过程中隔离以维护不安全锈蚀的记忆安全。安全开发人员 2023:54-66
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wpes/DimovaKKWJM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wpes/DimovaKKWJM23
亚娜·迪莫娃,Mrunmayee Kode公司,希林·卡兰塔利,金·伍兹,沃特·乔森,扬·托拜厄斯·穆尔伯格:
从隐私政策到隐私威胁：基于政策的威胁建模案例研究。 CCS的WPES 2023:17-29
[i10]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2306-02131
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2306-02131
梅尔夫·吉尔梅斯,托马斯·尼曼,克里斯托夫·鲍曼,扬·托拜厄斯·穆尔伯格:
探索进程内隔离对软件弹性的环境效益。 CoRR公司 abs/2306.02131(2023)
[第九章]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2306-08127
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2306-08127
梅尔夫·吉尔梅斯,托马斯·尼曼,克里斯托夫·鲍曼,扬·托拜厄斯·穆尔伯格:
内心是朋友还是敌人？探索过程中隔离以维护不安全锈蚀的记忆安全。 CoRR公司 abs/2306.08127(2023)
2022
[i8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2205-03205
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2205-03205
梅尔夫·图尔汗,托马斯·尼曼,克里斯托夫·鲍曼,扬·托拜厄斯·穆尔伯格:
无限生命：使用独立域进行安全进程内回滚。 CoRR公司 abs/2205.03205(2022)
[i7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/abs-2206-00288
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2206-00288
扬·托比亚斯·米尔伯格:
维持信通技术的安全保障：对术语、目标和限制的探索。 CoRR公司 abs/2206.00288(2022)
[i6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2206-01041
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2206-01041
Gianluca Scopelliti公司,塞皮德·波扬拉德,约伯·诺曼,弗里茨·奥尔德,克里斯托夫·鲍曼,弗兰克·皮森斯,扬·托拜厄斯·穆尔伯格:
异构TEE上分布式事件驱动Enclave应用程序的端到端安全性。 CoRR公司 abs/2206.01041(2022)
[i5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/abs-2207-09928
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2207-09928
托马索·克雷帕克斯,扬·托拜厄斯·穆尔伯格:
提升保护儿童免受网络游戏中操纵和上瘾策略的影响：超越隐私监管的法律和技术解决方案。 CoRR公司 abs/2207.09928(2022)
[i4]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2208-14674
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2208-14674
吉泽高彦,戴夫·辛格尔,扬·托拜厄斯·穆尔伯格,斯特凡·德尔布鲁尔,阿米尔·塔赫科尔迪,丹尼·休斯,巴特·普雷尼尔:
V2X通信系统中的安全和隐私问题调查。 CoRR公司 abs/2208.14674(2022)
2021
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cn/VanderhallenBPM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cn/VanderhallenBPM21网站
斯汀·范德哈伦,乔·范·布尔克,弗兰克·皮森斯,扬·托拜厄斯·穆尔伯格:
通过隐蔽通道对汽车控制网络进行鲁棒认证。计算。网络 193:108079(2021)
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/toplas/BusiNBGDMP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/toplas/BusiNBGDMP21
马特奥·布西,约伯·诺曼,乔·范·布尔克,Letterio Galletta公司,皮耶保罗·德加诺,扬·托拜厄斯·穆尔伯格,弗兰克·皮森斯:
在小型微处理器上保护可中断的封装执行。 ACM事务处理。程序。语言系统。 43(三):12:1-12:77(2021)
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/Alder公司BPM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/AlderBPM21
弗里茨·奥尔德,乔·范·布尔克,弗兰克·皮森斯,扬·托拜厄斯·穆尔伯格:
Aion：通过对Enclaves的强大可用性保证实现开放系统。中央控制系统 2021:1357-1372
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/ScopellitiPNAPM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/ScopellitiPNAPM21
Gianluca Scopelliti公司,塞皮德·波扬拉德,约伯·诺曼,弗里茨·奥尔德,弗兰克·皮森斯,扬·托拜厄斯·穆尔伯格:
海报：开发异构分布式Enclave应用程序的开源框架。中央控制系统 2021:2393-2395
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/eucnc/BudigiriBMTJ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eucnc/BudigiriBMTJ21网站
杰拉尔德·布迪吉里,克里斯托夫·鲍曼,扬·托拜厄斯·穆尔伯格,埃迪·特鲁恩,沃特·乔森:
Kubernetes中的网络策略：性能评估和安全分析。 EuCNC/6G峰会 2021:407-412
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/eurosp/WinderixMP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurosp/WinderixMP21
汉斯·温得里克斯,扬·托比亚斯·米尔伯格,弗兰克·皮森斯:
编译器辅助增强嵌入式软件抵御中断延迟侧信道攻击。欧洲标准普尔 2021:667-682
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2102-12345
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2102-12345
蒂莫西·沃金,马蒂杰斯·胡布雷希特森（Mathijs Hubrechtsen）,阿肖克·桑加拉扬,弗兰克·皮森斯,扬·托拜厄斯·穆尔伯格:
汽车控制单元的自动模糊。 CoRR公司 abs/2102.12345(2021)
2020
[c21]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/IEEAres/PouyanradMJ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/IEEAres/PouyanradMJ20
塞皮德·波扬拉德,扬·托比亚斯·米尔伯格,沃特·乔森:
SCF公司^MSP公司：静态检测MSP430程序中的侧通道。 ARES公司 2020:21:1-21:10
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cns/PennekampAMMPW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cns/PennekampAMMPW20
简·彭内坎普,弗里茨·奥尔德,罗曼·马祖特,扬·托拜厄斯·穆尔伯格,弗兰克·皮森斯,克劳斯·韦尔:
供应链中的安全端到端传感。中枢神经系统 2020:1-6
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BusiNBGDMP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BusiNBGDMP20
马泰奥·布西,约伯·诺曼,乔·范·布尔克,Letterio Galletta公司,皮耶保罗·德加诺,扬·托拜厄斯·穆尔伯格,弗兰克·皮森斯:
小型微处理器上可中断封装执行的可靠隔离。 CSF公司 2020:262-276
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2001-10881
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2001-10881
马特奥·布西,约伯·诺曼,乔·范·布尔克,Letterio Galletta公司,皮耶保罗·德加诺,扬·托拜厄斯·穆尔伯格,弗兰克·皮森斯:
小型微处理器上可中断封装执行的可证明安全隔离：扩展版本。 CoRR公司 abs/2001.10881(2020)

2010 – 2019

请参阅常见问题解答

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

2019
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/siot/WerquinHTPM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/siot/WerquinHTPM19
蒂莫西·沃金,马蒂杰斯·胡布雷希特森（Mathijs Hubrechtsen）,阿肖克·桑加拉扬,弗兰克·皮森斯,扬·托拜厄斯·穆尔伯格:
汽车控制单元的自动模糊。 SIoT公司 2019:1-8
2018
[j5]
- 看法
  - 电子版@usenix.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 日志/usenix登录/MuhlbergB18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/usenix登录/MuhlbergB18
扬·托拜厄斯·穆尔伯格,乔·范·布尔克:
关于后熔毁可信计算的思考：开放安全处理器案例。登录Usenix Mag。 43(三)(2018)
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/BoockmannLM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/BoockmannLM18
简·H·布克曼,杰拉尔德·吕特根,扬·托拜厄斯·穆尔伯格:
生成用于运行时检查和形式验证的归纳形状谓词。 ISoLA（2） 2018:64-74
2017
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tissec/Noorman BMPMPVGM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tissec/NoormanBMPMPVGM17
工作负责人,乔·范·布尔克,扬·托拜厄斯·穆尔伯格,弗兰克·皮森斯,彼得·梅恩,巴特·普雷尼尔,英格丽德·维尔巴韦德,约翰内斯·戈茨弗里德,蒂洛·米勒,费利克斯·C·弗雷林:
Sancus 2.0：物联网设备的低成本安全架构。 ACM事务处理。私人安全。 20(三):7:1-7:33(2017)
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acca/BulckMP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsac/BulckMP17
乔·范·布尔克,扬·托拜厄斯·穆尔伯格,弗兰克·皮森斯:
VulCAN：汽车控制网络的高效组件认证和软件隔离。 ACSAC公司 2017:225-237
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/stm/NoormanMP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stm/NoormanMP17
约伯·诺曼,扬·托比亚斯·米尔伯格,弗兰克·皮森斯:
使用小型TCB真实执行分布式事件驱动应用程序。 STM公司 2017:55-71
2016
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aosd/BulckNMP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aosd/BulckNMP16
乔·范·布尔克,约伯·诺曼,扬·托拜厄斯·穆尔伯格,弗兰克·皮森斯:
实现受保护模块体系结构的可用性和实时保证。调制（伴奏） 2016:146-151
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/RuprechtC0MBL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/RupprechtC0MBL16
托马斯·鲁普雷希特,席晨,大卫·H·怀特,扬·托拜厄斯·穆尔伯格,赫伯特·博斯,杰拉尔德·吕特根:
海报：识别恶意软件中的动态数据结构。中央控制系统 2016:1772-1774
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/secdev/PiessensDMS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/secdev/PiessensDMS16
弗兰克·皮森斯,多米尼克·德弗里斯,扬·托拜厄斯·穆尔伯格,拉乌尔·斯特拉克:
软件应用程序执行基础结构的安全保证。安全开发人员 2016:81-87
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wistp/MuhlbergCMBPP16文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wistp/MuhlbergCMBPP16
扬·托拜厄斯·穆尔伯格,萨拉·克莱恩普特,穆斯塔法A.穆斯塔法,乔·范·布尔克,巴特·普雷尼尔,弗兰克·皮森斯:
使用保护模块架构实现高保证智能仪表。威斯敏斯特工业大学 2016:53-69
2015
[c10]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esorics/MuhlbergNP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esorics/MuhlbergNP15
扬·托拜厄斯·穆尔伯格,工作负责人,弗兰克·皮森斯:
物联网轻量级和灵活的信任评估模块。内分泌（1） 2015:503-520
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/Muhlberg0DLP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/Muhlberg0DLP15
扬·托拜厄斯·穆尔伯格,大卫·H·怀特,迈克·多兹,杰拉尔德·吕特根,弗兰克·皮森斯:
学习断言以验证链接列表程序。 SEFM公司 2015:37-52
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/wistp/BulkNMP15配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wistp/BulckNMP15
乔·范·布尔克,约伯·诺曼,扬·托拜厄斯·穆尔伯格,弗兰克·皮森斯:
嵌入式保护模块体系结构的安全资源共享。威斯敏斯特工业大学 2015:71-87
2014
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/PhilippeartsMPS0P14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/PhilippeartsMPS0P14
彼得·菲利普斯,扬·托拜厄斯·穆尔伯格,威廉·彭宁克,简·斯曼斯,雅各布施,弗兰克·皮森斯:
使用VeriFast进行软件验证：工业案例研究。科学。计算。程序。 82:77-97(2014)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/MuhlbergL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/MuhlbergL14网址
扬·托拜厄斯·穆尔伯格,杰拉尔德·吕特根:
符号对象代码分析。国际期刊软件。技术工具。Transf公司。 16(1):81-102(2014)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/GadaletaNMJ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GadaletaNMJ14
弗朗西斯科·加达列塔,尼克·尼基福拉基斯,扬·托比亚斯·米尔伯格,沃特·乔森:
HyperForce：虚拟机监控程序强制执行安全关键代码。 CoRR公司腹肌/1405.5648(2014)
2012
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/MuhlbergL12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/MuhlbergL12
扬·托拜厄斯·穆尔伯格,杰拉尔德·吕特根:
验证编译的文件系统代码。形式方面计算。 24(三):375-391(2012)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nfm/PenninckxMSJP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nfm/PenninckxMSJP12
威廉·彭宁克,扬·托拜厄斯·穆尔伯格,简·斯曼斯,雅各布施,弗兰克·皮森斯:
Linux的USB BP键盘驱动程序的声音正式验证。 NASA形式方法 2012:210-215
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sec/GadaletaNMJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sec/GadaletaNMJ12
弗朗西斯科·加达列塔,尼克·尼基福拉基斯,扬·托拜厄斯·穆尔伯格,沃特·乔森:
HyperForce：虚拟机监控程序强制执行安全关键代码。秒 2012:126-137
2011
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/servicewave/MassacciBFJLMPMPPSW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/servicewave/MassacciBFJLMPMPPSW11
法比奥·马萨奇,织物花束,伊莉莎白·福内特,扬·朱尔扬（Jan Jürjens）,大量售出肺部,塞巴斯蒂安·马德勒纳特,扬·托拜厄斯·穆尔伯格,费德里卡·帕西,圣保罗,弗兰克·皮森斯,比约纳尔·索尔豪格,斯文·温泽尔:
为不断发展的系统协调安全和系统工程（特邀论文）。服务波 2011:134-143
2010
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/MuhlbergL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/MuhlbergL10网站
扬·托拜厄斯·穆尔伯格,杰拉尔德·吕特根:
符号对象代码分析。自旋蛋白 2010:4-21

2000 – 2009

请参阅常见问题解答

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

2009
【b1】
- 看法
- 出口记录
  dblp键：
  - 博士/民族精神/Muehlberg09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/ethos/Muehlberg09
扬·托拜厄斯·穆尔伯格:
编译程序中的模型检查指针安全性。英国约克大学，2009
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sbmf/MuhlbergL09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sbmf/MuhlbergL09
扬·托拜厄斯·穆尔伯格,杰拉尔德·吕特根:
正在验证已编译的文件系统代码。 SBMF公司 2009:306-320
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/GallowayLMS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/GallowayLMS09
安迪·加洛韦,杰拉尔德·吕特根,扬·托拜厄斯·穆尔伯格,西米尼亚努半径:
模型-检查Linux虚拟文件系统。 VMCAI公司 2009:74-88
2006
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/MuhlbergL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/MuhlbergL06网址
扬·托比亚斯·米尔伯格,杰拉尔德·吕特根:
爆破Linux代码。 FMICS/PDMC系统 2006:211-226

合著者索引

请参阅常见问题解答

管理网站设置

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