马库斯·沃尔普
人员信息
附属: 卢森堡大学安全、可靠性和信任跨学科中心
其他同名人员
优化列表
2020年–今天
2024 [公元14年] 雷扎·阿克拉米内贾德 , 纳维德·哈利迪安 , 阿明·纳扎里 , 马库斯·沃尔普 以下为:
一种用于优化科学云工作流中的制造周期和成本的多目标群搜索算法(CSAMOMC)。 计算 106 ( 6 ) 以下为: 1777-1793 ( 2024 ) [j13] 阿里雷扎·埃斯法哈尼 , Jérémie装饰 , 马库斯·沃尔普 , 沙希德·穆塔兹 , Kostromitin Konstantin Igorevich公司 以下为:
SI-AKAV:车辆社交网络中蜂窝连接物联网设备的安全集成认证和密钥协议。 事务处理。 Emerg.电信。 Technol公司。 35 ( 4 ) ( 2024 ) [公元49年] 莱昂纳多·霍斯特曼 , 安托尼奥·奥古斯托·弗里奇 , 马库斯·沃尔普 以下为:
共享资源冲突对基于性能监测的入侵检测系统的影响。 国际标准化组织 2024 以下为: 1-8 2023 [j12] 费德里科·卢切蒂 , 拉斐尔·格雷奇克 , 马库斯·沃尔普 以下为:
朝向弹性自动驾驶——关于将弹性机制集成到阿波罗自动驾驶软件堆栈中的经验报告。 前沿计算。 科学。 5 ( 2023 ) [公元11年] 图里奥·帕斯科尔 , Jérémie装饰 , 安托万·布特特 , 马库斯·沃尔普 以下为:
I-GWAS:隐私保护相互依赖的全基因组关联研究。 程序。 Priv.增强技术。 2023 ( 1 ) 以下为: 437-454 ( 2023 ) [公元48年] 朱利奥·门登萨 , 福米奥·马奇达 , 马库斯·沃尔普 以下为:
使用N版本编程和复兴提高感知系统的可靠性。 DSN-W公司 2023 以下为: 149-156 [公元47年] 阿里·肖克 , 保罗·埃斯特夫·维西莫 , 马库斯·沃尔普 以下为:
芯片上的容错和防入侵多核系统之路。 DSN-S公司 2023 以下为: 157-162 [公元46年] 阿列克桑达尔·马托维奇 , 拉斐尔·格雷奇克 , 费德里科·卢切蒂 , 马库斯·沃尔普 以下为:
一致弹性控制:有状态控制器的无状态恢复。 ECRTS系统 2023 以下为: 14:1-14:27 [公元45年] 穆罕默德·易卜拉欣·阿尔库德西 , 格哈德·福勒 , 马库斯·沃尔普 以下为:
一种强制执行无冲突时间触发通信的网络不可知论方法。 PRDC公司 2023 以下为: 71-77 [第九章] 阿里·肖克 , 保罗·埃斯特夫·维西莫 , 马库斯·沃尔普 以下为:
芯片上的容错和防入侵多核系统之路。 CoRR公司 abs/2307.01783 ( 2023 ) 2022 [公元10年] Inés Pinto Gouveia公司 , 马库斯·沃尔普 , 保罗·埃斯特夫·维西莫 以下为:
在最后一道防线后面:幸存SoC故障和入侵。 计算。 安全。 123 以下为: 102920 ( 2022 ) [公元44年] 拉斐尔·格雷奇克 , 瓦尔德马尔·布伊万 , 马尔金·达梅特科 , Marcin Dziezyk公司 , 达米恩·加拉诺 , 康拉德·格罗乔夫斯基 , 米歇尔·库洛夫斯基(Michal A.Kurowski) , 格列戈兹·朱奇尼科夫斯基 , 马雷克·莫拉夫斯基 , 米查尔·莫斯多夫 , 彼得·奥利安斯基 , 塞德里克·蒂齐 , 马库斯·沃尔普 以下为:
从图形到太空望远镜的科学计算机——Petri网在系统工程中的威力。 Petri网 2022 以下为: 153-174 [公元43年] 瑞典雅各布斯 , 穆罕默德·萨克 , 马库斯·沃尔普 以下为:
参数化系统的自动修复和死锁检测。 FMCAD公司 2022 以下为: 225-234 [公元42年] 图里奥·帕斯科尔 , Jérémie装饰 , 马库斯·沃尔普 以下为:
对隐私保护的GWAS发布进行安全和分布式评估。 中间件 2022 以下为: 308-321 [公元41年] 朱利奥·门登萨 , 金敏君(Minjune Kim) , 拉斐尔·格雷奇克 , 马库斯·沃尔普 , 丹东升(Dan Dongseong Kim) 以下为:
软件定义网络中运动目标防御的安全建模与分析。 PRDC公司 2022 以下为: 141-151 [公元40年] 穆罕默德·易卜拉欣·阿尔库德西 , 格哈德·福勒 , 马库斯·沃尔普 以下为:
在时间触发架构中容忍资源耗尽攻击。 SBESC公司 2022 以下为: 1-8 [i8] 费德里科·卢切蒂 , Jérémie装饰 , 玛丽亚·费尔南德斯 , Lydia Y.Chen女士 , 马库斯·沃尔普 以下为:
联合几何蒙特卡罗聚类来对抗非ID数据集。 CoRR公司 abs/2204.11017 ( 2022 ) [i7] 图里奥·帕斯科尔 , Jérémie装饰 , 安托万·布特特 , 马库斯·沃尔普 以下为:
I-GWAS:隐私保护相互依赖的全基因组关联研究。 CoRR公司 abs/2208.08361 ( 2022 ) [i6] 图里奥·帕斯科尔 , Jérémie装饰 , 马库斯·沃尔普 以下为:
GWAS隐私保护发布的安全和分布式评估。 CoRR公司 abs/2208.14947 ( 2022 ) 2021 [公元9年] 克里斯汀·克鲁格 , 尼尔斯·维雷姆 , 理查德·佩特斯 , 马蒂娜·马吉奥 , 马库斯·沃尔普 , 格哈德·福勒 以下为:
随机作为缓解基于定向定时推断的攻击的时间触发实时系统与任务复制。 莱布尼茨运输公司。 嵌入。 系统。 7 ( 1 ) 以下为: 01:1-01:29 ( 2021 ) [公元39年] 道格拉斯·西蒙斯·席尔瓦 , 拉斐尔·格雷奇克 , Jérémie装饰 , 马库斯·沃尔普 , 保罗·埃斯特夫·维西莫 以下为:
威胁自适应拜占庭容错状态机复制。 SRDS公司 2021 以下为: 78-87 [i5] 拉斐尔·格雷奇克 , 马库斯·沃尔普 , 保罗·豪尔赫·埃斯特夫·维西莫 以下为:
星际护盾——防御网络反卫星武器。 CoRR公司 abs/2101.12620 ( 2021 ) [i4] 拉斐尔·格雷奇克 , 保罗·埃斯特夫·维西莫 , 马库斯·沃尔普 以下为:
失去避难所:太空中的网络物理战。 CoRR公司 abs/2110.05878 ( 2021 ) [i3] 瑞典雅各布斯 , 穆罕默德·萨克 , 马库斯·沃尔普 以下为:
并发系统的参数化修复。 CoRR公司 abs/2111.03322 ( 2021 ) 2020 [j8] 玛丽亚·费尔南德斯 , Jérémie装饰 , 马库斯·沃尔普 , 弗朗西斯科·库托 , 保罗·豪尔赫·埃斯特夫·维西莫 以下为:
DNA-SeAl:优化隐私保护DNA比对性能的敏感性水平。 IEEE生物医学杂志。 健康信息学 24 ( 三 ) 以下为: 907-915 ( 2020 ) [e1] 马库斯·沃尔普 以下为:
第32届欧洲实时系统会议,ECRTS 2020,2020年7月7日至10日,虚拟会议。 LIPIcs公司 165, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2020 ,国际标准图书编号 978-3-95977-152-8 [目录] [i2] Inés Pinto Gouveia公司 , 马库斯·沃尔普 , 保罗·豪尔赫·埃斯特夫·维西莫 以下为:
最后一道防线的背后——幸存的SoC故障和入侵。 CoRR公司 abs/2005.04096 ( 2020 ) [i1] 保罗·豪尔赫·埃斯特夫·维西莫 , Jérémie装饰 , 马库斯·沃尔普 , 阿里雷扎·埃斯法哈尼 , 拉斐尔·格雷奇克 以下为:
PriLok:公民保护分布式疫情追踪。 CoRR公司 abs/2005.04519 ( 2020 )
2010 – 2019
2019 [公元38年] 安德鲁·帕沃德 , 马库斯·沃尔普 , 费迪南德·布拉瑟 , 马蒂亚斯·舒恩特 , N.阿育王 , 艾哈迈德·雷扎·萨德吉 , 保罗·豪尔赫·埃斯特韦斯·维里西莫 , 安德烈亚斯·斯坦宁格 , 霍尔兹 以下为:
可持续安保与安全:挑战与机遇。 CERTS认证 2019 以下为: 4:1-4:13 2018 [j7] Jérémie装饰 , 玛丽亚·费尔南德斯 , 马库斯·沃尔普 , 弗朗西斯科·库托 , 保罗·豪尔赫·埃斯特夫·维西莫 以下为:
准确过滤原始基因组数据中的隐私敏感信息。 J.生物识别。 信息学 82 以下为: 1-12 ( 2018 ) [j6] 杰罗尼莫·卡斯特里隆 , 马蒂亚斯·利伯 , 萨沙·克吕佩尔霍尔茨 , 马库斯·沃尔普 , 尼尔斯·阿斯穆森 , 乌韦·Aß曼 , 弗兰兹·巴德 , 克里斯特尔·拜尔 , 格哈德·费特维斯 , Jochen Fröhlich先生 , 安德烈斯·戈恩斯 , 塞巴斯蒂安·哈斯 , 德克·哈比奇 , 赫尔曼·哈蒂格 , 马蒂斯·哈斯勒 , 伊莫·惠斯曼 , 托马斯·卡纳吉尔 , 斯文·卡罗尔 , 阿卡什·库马尔 , 沃尔夫冈雷纳 , 琳达·卢施纳 , 四七岭 , 斯特芬·梅克尔 , 克里斯蒂安·梅纳德 , 约翰内斯·梅伊 , 沃尔夫冈·纳格尔 , Benedikt Nöthen公司 , 拉斐尔·佩尼亚洛萨 , 迈克尔·雷扎 , 约格·斯蒂勒 , 安妮特·安格特·尤姆(Annett Ungethüm) , 阿克塞尔·沃伊格特 , 萨沙·温德利希 以下为:
异构系统的硬件/软件堆栈。 IEEE传输。 多比例计算。 系统。 4 ( 三 ) 以下为: 243-259 ( 2018 ) [公元37年] 克里斯汀·克鲁格 , 马库斯·沃尔普 , 格哈德·福勒 以下为:
基于时间触发系统的定向定时推断攻击的漏洞分析和缓解。 ECRTS系统 2018 以下为: 22:1-22:17 [公元36年] 文森特·拉里 , 伊万娜·武科蒂奇 , 马库斯·沃尔普 , 保罗·豪尔赫·埃斯特夫·维西莫 以下为:
Velisarios:Coq支持的拜占庭容错协议。 员工持股计划 2018 以下为: 619-650 [c35] 马库斯·沃尔普 , 保罗·豪尔赫·埃斯特夫·维西莫 以下为:
防侵入自动驾驶。 国际标准化组织 2018 以下为: 130-133 [公元34年] 克里斯汀·克鲁格 , 格哈德·福勒 , 马库斯·沃尔普 , 保罗·豪尔赫·埃斯特韦斯·维里西莫 以下为:
利用任务复制提高时间触发实时系统的安全性。 RTCSA公司 2018 以下为: 232-233 [公元33年] 克里斯托夫·兰伯特 , 马库斯·沃尔普 , 杰里米·德库尚 , 保罗·豪尔赫·埃斯特夫·维西莫 以下为:
实现实时软件入侵容忍。 SRDS公司 2018 以下为: 269-270 2017 [公元32年] 罗斯·博勒 , 文森特·拉里 , 伊万娜·武科蒂奇 , 马库斯·沃尔普 , 安德烈·普拉泽 以下为:
正式验证的微分动态逻辑。 清洁石油产品 2017 以下为: 208-221 [公元31年] 迈克尔·雷扎 , 阿卡什·库马尔 , 马库斯·沃尔普 , 丹尼斯·沃尔特 , Jens Trommer公司 , 托马斯·米科拉吉克 , 沃尔特·韦伯 以下为:
利用晶体管级重构优化组合电路。 日期 2017 以下为: 338-343 [公元30年] 保罗·豪尔赫·埃斯特夫·维西莫 , 马库斯·沃尔普 , 杰里米·德库尚 , 文森特·拉里 , 弗朗西斯科·罗查 以下为:
应对关键和极端可靠性及安全性的挑战。 PRDC公司 2017 以下为: 92-97 [公元29年] 加里·科尼利厄斯 , 帕特里斯·凯尔 , 尼科·霍奇奇温德 , 米盖尔·奥利瓦雷斯-梅恩德斯 , 保罗·豪尔赫·埃斯特夫·维西莫 , 马库斯·沃尔普 , 霍尔格·沃斯 以下为:
移动服务机器人安全透视。 机器人装置(1) 2017 以下为: 88-100 [c28] 马库斯·沃尔普 , Jérémie装饰 , 克里斯托夫·兰伯特 , 玛丽亚·费尔南德斯 , 保罗·豪尔赫·埃斯特夫·维西莫 以下为:
原始基因组信息的基于封装的隐私保护比对:信息泄漏和对策。 系统TEX@SOSP 2017 以下为: 7:1-7:6 [公元27年] 马库斯·沃尔普 , 弗朗西斯科·罗查 , 杰里米·德库尚 , 姜山玉 , 保罗·豪尔赫·埃斯特夫·维西莫 以下为:
永久加密:如何在未来几代密码分析家中生存下来。 安全协议研讨会 2017 以下为: 232-237 [公元26年] 马库斯·沃尔普 以下为:
永久重新加密:如何让一代又一代的密码分析家生存下来(讨论稿)。 安全协议研讨会 2017 以下为: 238-246 2016 [公元25年] 尼尔斯·阿斯穆森 , 马库斯·沃尔普 , Benedikt Nöthen公司 , 赫尔曼·哈蒂格 , 格哈德·费特维斯 以下为:
M3:一个硬件/操作系统协同设计,以驯服异构的Manycores。 ASPLOS公司 2016 以下为: 189-203 [公元24年] 安东尼奥·利马 , 弗朗西斯科·罗查 , 马库斯·沃尔普 , 保罗·豪尔赫·埃斯特夫·维西莫 以下为:
实现安全可靠的自主和合作车辆生态系统。 CCS的CPS-SPC 2016 以下为: 59-70 【c23】 Jens Trommer公司 , 安德烈·海因齐格 , 蒂姆·巴尔达夫 , 托马斯·米科拉吉克 , 沃尔特·韦伯 , 迈克尔·雷扎 , 马库斯·沃尔普 以下为:
具有多个独立门的可重构纳米线晶体管,用于高效可编程的组合电路。 日期 2016 以下为: 169-174 [公元22年] 马库斯·沃尔普 , 亚当·拉科辛斯基 , Jérémie装饰 , 文森特·拉里 , 弗朗西斯科·罗查 , 保罗·豪尔赫·埃斯特夫·维西莫 以下为:
通过Enclave-Side抢占控制避免泄漏和同步攻击。 SysTEX@中间件 2016 以下为: 6:1-6:6 2015 [j5] 克里斯特尔·拜尔 , 马库斯·达姆 , 本杰明·恩格尔 , 赫尔曼·哈蒂格 , 约阿希姆·克莱因 , 萨沙·克吕佩尔霍尔茨 , 斯特芬·梅克尔 , 亨德里克·图斯 , 马库斯·沃尔普 以下为:
锁:选择可扩展定量分析的关键方法。 J.计算。 系统。 科学。 81 ( 1 ) 以下为: 258-287 ( 2015 ) 【c21】 内森·富尔顿 , 斯特凡·米奇 , Jan-Divid Quesel公司 , 马库斯·沃尔普 , 安德烈·普拉泽 以下为:
KeYmaera X:混合系统公理化战术定理证明程序。 CADE公司 2015 以下为: 527-538 [公元20年] 马库斯·沃尔普 , 尼尔斯·阿斯穆森 , 赫尔曼·哈蒂格 , Benedikt Noethen公司 , 格哈德·费特维斯 以下为:
迈向可靠的CPS基础设施:架构和操作系统挑战。 电子交易法 2015 以下为: 1-8 [第19条] 安妮特·安格特·尤姆(Annett Ungethüm) , 德克·哈比奇 , 托马斯·卡纳吉尔 , 沃尔夫冈雷纳 , 尼尔斯·阿斯穆森 , 马库斯·沃尔普 , Benedikt Noethen公司 , 格哈德·费特维斯 以下为:
低能耗多核处理器上的查询处理。 ICDE研讨会 2015 以下为: 155-160 [第18条] 尼尔斯·阿斯穆森 , 马库斯·沃尔普 , Benedikt Nöthen公司 , 安妮特·安格特·尤姆(Annett Ungethüm) 以下为:
演示摘要:驯服许多异构内核。 RTAS公司 2015 以下为: 329 2014 【j4】 安德烈亚斯·沃伊格特 , 里纳尔多·格雷纳 , 梅尔·阿勒迪 , 安德烈亚斯·里希特 , 斯蒂芬·汉克 , 马库斯·沃尔普 以下为:
面向微化学机械系统的计算。 发现的国际期刊。 计算。 科学。 25 ( 4 ) 以下为: 507- ( 2014 ) [j3] 亚当·拉科辛斯基 , 马库斯·沃尔普 , 亚历山大·沃格 以下为:
扁平但值得信赖:扁平分层调度中的安全方面。 SIGBED版本。 11 ( 2 ) 以下为: 8-12 ( 2014 ) [第17条] 安德烈亚斯·里希特 , 安德烈亚斯·沃伊格特 , 勒内·舒夫尼 , 斯蒂芬·汉克 , 马库斯·沃尔普 以下为:
处理化学信息的集成电路:前景和挑战。 日期 2014 以下为: 1 [第16条] 马库斯·沃尔普 , 马库斯·哈内尔 , 亚当·拉科辛斯基 以下为:
能量是否超越了时效性? 能量约束混合临界系统的调度。 RTAS公司 2014 以下为: 275-284 2013 [第15条] 马库斯·哈内尔 , 马库斯·沃尔普 , 比约恩·德贝尔 , 赫尔曼·哈蒂格 以下为:
能源/公用事业的潜力-应计计划。 AINA研讨会 2013 以下为: 1636-1641 [第14条] 马库斯·哈内尔 , 比约恩·多贝尔 , 马库斯·沃尔普 , 赫尔曼·哈蒂格 以下为:
eBond:异种R.A.I.N.的节能。 电子能源 2013 以下为: 193-202 [第13条] 马库斯·沃尔普 , 迈克尔·罗伊茨奇 以下为:
Elastic Manycores-如何将操作系统重新引入调度游戏? Euro-Par研讨会 2013 以下为: 749-758 [第12条] 克里斯特尔·拜尔 , 本杰明·恩格尔 , 萨沙·克吕佩尔霍尔茨 , 斯特芬·梅克尔 , 亨德里克·图斯 , 马库斯·沃尔普 以下为:
概率写入/复制选择的概率定量分析。 NASA形式方法 2013 以下为: 307-321 [第11条] 马库斯·沃尔普 , 本杰明·恩格尔 , 克劳德·约阿希姆·哈曼 , 赫尔曼·哈蒂格 以下为:
关于保密实时锁定协议。 IEEE实时和嵌入式技术及应用研讨会 2013 以下为: 153-162 [第10条] 赫尔曼·哈蒂格 , 马库斯·沃尔普 , 马库斯·哈内尔 以下为:
基于能源/公用事业的实际多资源和多级调度案例。 RTCSA公司 2013 以下为: 175-182 2012 [注2] 马库斯·哈内尔 , 比约恩·多贝尔 , 马库斯·沃尔普 , 赫尔曼·哈蒂格 以下为:
使用RAPL测量短代码路径的能耗。 SIGMETRICS执行评估版本。 40 ( 三 ) 以下为: 13-17 ( 2012 ) 【c9】 亚当·拉科辛斯基 , 亚历山大·沃格 , 马库斯·沃尔普 , 赫尔曼·哈蒂格 以下为:
扁平化分层调度。 EMSOFT公司 2012 以下为: 93-102 【c8】 克里斯特尔·拜尔 , 马库斯·达姆 , 本杰明·恩格尔 , 赫尔曼·哈蒂格 , 约阿希姆·克莱因 , 萨沙·克吕佩尔霍尔茨 , 斯特芬·梅克尔 , 亨德里克·图斯 , 马库斯·沃尔普 以下为:
等待锁:通常需要多长时间? 飞行管理信息系统 2012 以下为: 47-62 【c7】 马库斯·沃尔普 , 尼尔斯·阿斯穆森 , 赫尔曼·哈蒂格 以下为:
加快数据密集型工作负载的IMData方法。 面对多核挑战 2012 以下为: 141-142 【c6】 亨德里克·图斯 , 马库斯·沃尔普 , 贾克·韦伯 以下为:
关于在低级代码中使用未指定的数据类型语义实现类型安全。 SSV公司 2012 以下为: 73-87 【c5】 克里斯特尔·拜尔 , 马库斯·达姆 , 本杰明·恩格尔 , 赫尔曼·哈蒂格 , 约阿希姆·克莱因 , 萨沙·克吕佩尔霍尔茨 , 斯特芬·梅克尔 , 亨德里克·图斯 , 马库斯·沃尔普 以下为:
主要对称:运行系统代码概率模型检查的可扩展性结果。 SSV公司 2012 以下为: 156-166 2010 【b1】 马库斯·罗尔夫·沃尔普 以下为:
基于微内核的系统中机密数据的可证明保护。 德累斯顿理工大学, 2010 ,第1-211页
2000 – 2009
2009 [j1] 亨德里克·图斯 , 马库斯·沃尔普 , 贾克·韦伯 以下为:
低级操作系统代码验证的形式记忆模型。 J.汽车。 原因。 42 ( 2-4 ) 以下为: 189-227 ( 2009 ) 2008 [c4] 马库斯·沃尔普 以下为:
使用动态标签静态检查共享内存程序的机密性。 ARES公司 2008 以下为: 268-275 【c3】 马库斯·沃尔普 , 克劳德·约阿希姆·哈曼 , 赫尔曼·哈蒂格 以下为:
避免固定优先级调度程序中的定时通道。 亚洲CCS 2008 以下为: 44-55 【c2】 亨德里克·图斯 , 贾克·韦伯 , 马库斯·沃尔普 以下为:
用于验证低级操作系统代码的内存特性的形式化模型。 SSV公司 2008 以下为: 79-96 2000 【c1】 约钦·利特克 , 马库斯·沃尔普 , 凯文·埃尔芬斯通 以下为:
关于内存总线调度的初步想法。 ACM SIGOPS欧洲研讨会 2000 以下为: 207-210