马克·泽勒
人员信息
其他同名人员
SPARQL查询
优化列表
2020年–今天
2024 [j8] 马克·泽勒 , 托马斯·瓦舒尔齐克 , 雷纳·N·施密德 , 克劳斯·巴尔曼 :
针对铁路领域基于ML的系统的持续开发和安全保证,制定安全的MLOps流程。 AI伦理 4 ( 1 ) : 123-130 ( 2024 ) [公元46年] 杰里恩·韦斯 , 马克·泽勒 , 汉内斯·肖恩哈 , 克里斯蒂安·德拉贝克 , 安德烈亚斯·克鲁兹 :
基于操作设计领域的安全论证方法。 中央情报局 2024 : 184-193 [公元45年] 马克·泽勒 , 托马斯·瓦舒尔齐克 , 卡门·卡兰 , 马拉特·塞拉拉佐 , 克劳斯·巴尔曼 , 吴志良 , 西格德·斯皮克曼 , 丹尼斯·克罗帕斯 , 西蒙·格肯斯 , 克里斯蒂安·西贝里 , 康斯坦丁·基什海姆 , 巴图卡恩 , 露西娅·迪兹·罗伯斯 :
铁路领域ML-Based系统的持续开发和安全保证管道。 SAFECOMP(研讨会) 2024 : 446-459 2023 [公元44年] 马克·泽勒 , 马丁·罗斯菲尔德 , 康奈尔·克莱恩 :
safe.trAIn-无人驾驶区域列车的工程和保证。 凯恩 2023 : 197 [公元43年] 马克·泽勒 :
DevCertOps:在监管领域实现安全软件持续交付的策略。 ICSE伴侣 2023 : 334-335 [公元42年] 马克·泽勒 , 托马斯·瓦舒尔齐克 , 马丁·罗斯菲尔德 , 康奈尔·克莱恩 :
无人驾驶支线列车的安全保证——对安全的洞察。Train项目。 ISSREW公司 2023 : 41-42 [公元41年] 玛丽亚·邦纳 , 马克·泽勒 , 加博尔·舒尔茨 , 达格马尔·拜尔 , 米哈拉·奥尔特阿努 :
需求和基于模型的设计之间的自动跟踪。 REFSQ研讨会 2023 [i19] 马克·泽勒 , 托马斯·瓦舒尔齐克 , 雷纳·N·施密德 , 克劳斯·巴尔曼 :
为铁路领域基于ML的系统的持续开发和安全保证建立安全的MLOps过程。 CoRR公司 腹肌/2307.02867 ( 2023 ) 2022 [公元40年] 马克·泽勒 :
部件故障和缺陷树(CFDT):结合功能安全和SOTIF分析。 IMBSA公司 2022 : 146-152 [电子2] 克里斯特尔·塞金 , 马克·泽勒 , 塔蒂亚娜·普罗斯维诺娃 :
基于模型的安全与评估——第八届国际研讨会,IMBSA 2022,德国慕尼黑,2022年9月5-7日,会议记录。 计算机科学课堂讲稿 13525, 施普林格 2022 ,国际标准图书编号 978-3-031-15841-4 [目录] 2021 [j7] 伊丽莎白·赫希尔 , 马克·泽勒 , 乔安娜·勒克赫斯特 , 塔拉·钱德勒 :
利用数字资源在远程学习中培养学生的联系:一项系统综述。 教育。 技术信息。 26 ( 5 ) : 6531-6548 ( 2021 ) [公元39年] 埃里克·阿蒙加德 , 丹尼尔·施奈德 , Jan Reich公司 , 伊安妮斯·索洛科斯 , 伊安妮斯·帕帕佐普洛斯 , 马克·泽勒 , 吉尔伯特·里根 , 乔治·马赫 , 奥马尔·维利达尔 , 斯特凡·塔尔曼 , 索哈格·卡比尔 :
DDI:一种用于可靠、协作和自治系统的新型技术和创新模型。 日期 2021 : 1626-1631 [公元38年] 费边·里兹 , 汤米·潘 , 罗伯特·米勒 , 授加博尔 , 安德烈亚斯·塞德迈耶 , 马克·泽勒 , 简·威格哈特 , 雷纳·N·施密德 , 霍斯特绍尔 , 康奈尔·克莱恩 , 克劳迪娅·林霍夫·波皮恩 :
规范感知多代理强化学习。 ICAART(修订论文集) 2021 : 3-21 [公元37年] 费边·里兹 , 汤米·潘 , 罗伯特·米勒 , 授加博尔 , 安德烈亚斯·塞德迈耶 , 马克·泽勒 , 简·威格哈特 , 雷纳·N·施密德 , 霍斯特绍尔 , 康奈尔·克莱恩 , 克劳迪娅·林霍夫·波皮恩 :
SAT-MARL:多智能体强化学习中的规范意识培训。 ICAART(1) 2021 : 28-37 [公元36年] Jan-Philipp Steghöfer先生 , 比约恩·科普曼 , 简·斯特芬·贝克尔 , 英戈·斯蒂兰德 , 马克·泽勒 , 玛丽亚·邦纳 , 大卫·施梅尔特 , 萨洛梅·马罗 :
MobSTr数据集——可追溯性和基于模型的安全评估的范例。 重新 2021 : 444-445 [公元35年] 马克·泽勒 :
DevOps背景下的持续安全评估。 SAFECOMP研讨会 2021 : 145-157 [第2页] 肯尼思·约翰逊 , 马克·泽勒 , 亚瑟·维特 , 达涅尔·瓦罗 :
基于模型的连续分析。 组合基于模型的分析工具 2021 : 97-127 [第1页] 大卫·圣地亚哥·贝拉斯科·蒙卡达 , 丹尼尔·施奈德 , 安娜·彼得罗夫斯卡 , Nishanth Laxman公司 , 费利克斯·默勒 , 斯特凡·罗斯鲍尔 , 马克·泽勒 , 奇鸿古 , 萨米拉·萨夫达里 :
运行时协作嵌入式系统的动态安全认证。 基于模型的协同嵌入式系统工程 2021 : 171-196 [i18] 奇鸿古 , 斯特凡·罗斯鲍尔 , 玛丽安·福德勒 , 凯·霍菲格 , 马克·泽勒 :
SQUADfps:用于柔性生产系统的基于模型的机器安全和产品质量集成。 CoRR公司 abs/2105.14817 ( 2021 ) [i17] 丹尼尔·施奈德 , 马里奥陷阱 , 伊安妮斯·帕帕佐普洛斯 , 埃里克·阿蒙加德 , 马克·泽勒 , 凯·霍菲格 :
WAP:数字可靠性标识。 CoRR公司 abs/2105.14984 ( 2021 ) [i16] 马克·泽勒 , 凯·霍菲格 :
INSiDER:使用专用参考模型整合系统和安全分析模型。 CoRR公司 abs/2105.14992 ( 2021 ) 【i15】 马克·泽勒 , 凯·霍菲格 , Jean-Pascal Schwinn女士 :
ArChes-从连续功能图自动生成组件故障树。 CoRR公司 abs/2105.15002 ( 2021 ) [第14条] 凯·霍菲格 , 安德烈亚斯·乔安尼 , 马克·泽勒 , 弗朗西斯科·蒙特罗内 , 马丁·罗斯菲尔德 , Rakshith Amarnath公司 , 蒙克 , 阿恩·诺德曼 :
基于模型的可靠性和安全性:使用组件故障树降低安全分析的复杂性。 CoRR公司 abs/2105.15015 ( 2021 ) [i13] 马克·泽勒 , 弗朗西斯科·蒙特罗内 :
组合组件故障树和马尔可夫链来分析复杂的软件控制系统。 CoRR公司 abs/2106.00247 ( 2021 ) [i12] 凯·霍菲格 , 马克·泽勒 , 雷内尔·海尔曼 :
ALFRED:一种为分层体系结构启用组件故障树的方法。 CoRR公司 腹肌/2106.00965 ( 2021 ) [i11] 杰夫·斯特根 , 斯特凡·杜特雷 , 郭振生(Joe Zhensheng Guo) , 马克·泽勒 , 斯特凡·罗斯鲍尔 :
用于航空电子系统设计模型一致性管理的元模型应用程序。 CoRR公司 abs/2106.00974 ( 2021 ) [i10] 埃里克·阿蒙加德 , 乔治·马赫 , 亚历山大·梅森 , 塞巴斯蒂安碎片 , 拉斯穆斯·阿德勒 , 丹尼尔·施奈德 , 西蒙·隆戈 , 马西米利亚诺·梅利斯 , 里卡多·格罗波 , 费德里卡·维拉 , 帕德雷格·奥利里 , 凯文·班伯里 , 安妮塔·芬尼根 , 马克·泽勒 , 凯·霍菲格 , 伊安妮斯·帕帕佐普洛斯 , 理查得·霍金 , 蒂姆·凯利 :
DEIS:工业CPS可靠性工程创新。 CoRR公司 abs/2106.01729 ( 2021 ) [第九章] 马克·泽勒 , 凯·霍菲格 , 马丁·罗斯菲尔德 :
面向嵌入式系统的跨域软件安全保证过程。 CoRR公司 abs/2106.02140 ( 2021 ) [i8] 马克·泽勒 , 丹尼尔·拉蒂乌 , 凯·霍菲格 :
在工业实践中采用基于模型的工程来开发安全关键系统。 CoRR公司 abs/2106.02273 ( 2021 ) [i7] 塞巴斯蒂安·雷特 , 马克·泽勒 , 凯·霍菲格 , 亚历山大·维尔 , 奥利弗·布林曼 , 沃尔夫冈·罗森斯蒂尔 :
使用误差影响模拟验证组件故障树。 CoRR公司 abs/2106.03368 ( 2021 ) [i6] 马克·泽勒 :
面向DevOps环境下的持续安全评估。 CoRR公司 abs/2106.07200 ( 2021 ) [i5] 凯·霍菲格 , 康奈尔·克莱恩 , 斯特凡·罗斯鲍尔 , 马克·泽勒 , 玛丽安·福德勒 , 奇鸿古 :
过程失效模式和影响分析的元模型(PFMEA)。 CoRR公司 abs/2106.11035 ( 2021 ) 2020 [j6] 吉尔伯特·里根 , 费加尔·麦卡弗里 , 庞卡杰·钱德拉·保罗 , Jan Reich公司 , 埃里克·阿蒙加德 , Cem Kaypmaz公司 , 马克·泽勒 , 郭振生(Joe Zhensheng Guo) , 西蒙·隆戈 , 伊恩·奥卡罗尔 , 伊安妮斯·索洛科斯 :
网络物理系统的质量改进机制——评估。 J.软件。 进化。 过程。 32 ( 11 ) ( 2020 ) [j5] 授加博尔 , 安德烈亚斯·塞德梅尔 , 汤米·潘 , 费边·里兹 , 玛丽·基尔梅尔 , 伦斯·贝尔兹纳 , 伯恩哈德·肯普特 , 康奈尔·克莱恩 , 霍斯特绍尔 , 雷纳·N·施密德 , 简·威格哈特 , 马克·泽勒 , 克劳迪娅·林霍夫·波皮恩 :
场景协同进化范式:自适应系统的自适应质量保证。 国际期刊软件。 技术工具。 Transf公司。 22 ( 4 ) : 457-476 ( 2020 ) [公元34年] 汤米·潘 , 授加博尔 , 安德烈亚斯·塞德梅尔 , 费边·里兹 , 伯恩哈德·肯普特 , 康奈尔·克莱恩 , 霍斯特绍尔 , 雷纳·N·施密德 , 简·威格哈特 , 马克·泽勒 , 克劳迪娅·林霍夫·波皮恩 :
协作多代理系统中的学习和测试弹性。 美国原子能机构 2020 : 1055-1063 [公元33年] 吉尔伯特·里根 , 费加尔·麦卡弗里 , 庞卡杰·钱德拉·保罗 , Jan Reich公司 , 伊安妮斯·索洛科斯 , 埃里克·阿蒙加德 , 马克·泽勒 , 西蒙·隆戈 :
通过网络物理系统的可靠性机制实现数据隐私。 欧洲SPI 2020 : 511-524 [公元32年] Jan Reich公司 , 约书亚·弗雷 , 艾米莉亚·乔罗埃卡 , 马克·泽勒 , 马丁·罗斯菲尔德 :
具有数字可靠性标识的通用输液泵的论证驱动安全工程。 IMBSA公司 2020 : 19-33 [公元31年] 哈米德·贾哈尼安 , 大卫·帕克 , 马克·泽勒 , 安娜贝拉·麦克维尔 , 伊安妮斯·帕帕佐普洛斯 :
基于模型的安全分析中的故障模式推理。 IMBSA公司 2020 : 130-145 [电子1] 马克·泽勒 , 凯·霍菲格 :
基于模型的安全和评估-第七届国际研讨会,IMBSA 2020,葡萄牙里斯本,2020年9月14日至16日,会议记录。 计算机科学课堂讲稿 12297, 施普林格 2020 ,国际标准图书编号 978-3-030-58919-6 [目录] [i4] 克里斯托夫·考克威奇 , 亨利克天主教 , 马克·泽勒 , 马丁·罗斯菲尔德 :
使用UML状态机从基于模型的功能描述自动生成RAMS分析。 CoRR公司 abs/2005/1993年1月 ( 2020 ) [i3] 郭振盛(音) , 马克·泽勒 :
DPN-可靠性优先级编号。 CoRR公司 abs/2005.01994 ( 2020 ) [i2] 哈米德·贾哈尼安 , 大卫·帕克 , 马克·泽勒 , 安娜贝拉·麦克维尔 , 伊安妮斯·帕帕佐普洛斯 :
基于模型的安全分析中的故障模式推理。 CoRR公司 abs/2005.06279 ( 2020 ) [i1] 费边·里兹 , 汤米·潘 , 罗伯特·米勒 , 授加博尔 , 安德烈亚斯·塞德迈耶 , 马克·泽勒 , 简·威格哈特 , 雷纳·N·施密德 , 霍斯特绍尔 , 康奈尔·克莱恩 , 克劳迪娅·林霍夫·波皮恩 :
SAT-MARL:多智能体强化学习中的规范意识培训。 CoRR公司 abs/2012.07949 ( 2020 )
2010 – 2019
2019 [公元30年] 凯·霍菲格 , 康奈尔·克莱恩 , 斯特凡·罗斯鲍尔 , 马克·泽勒 , 玛丽安·福德勒 , 奇鸿古 :
过程失效模式和影响分析的元模型(PFMEA)。 ETFA公司 2019 : 1199-1202 [公元29年] 郭振盛(音) , 马克·泽勒 :
DPN-可靠性优先级编号。 IMBSA公司 2019 : 173-187 [公元28年] 奇鸿古 , 斯特凡·罗斯鲍尔 , 玛丽安·福德勒 , 凯·霍菲格 , 马克·泽勒 :
SQUADfps:用于柔性生产系统的基于模型的机器安全和产品质量集成。 IMBSA公司 2019 : 222-236 [公元27年] 杰夫·斯特根 , 斯特凡·杜特雷 , 郭振生(Joe Zhensheng Guo) , 马克·泽勒 , 斯特凡·罗斯鲍尔 :
航空电子系统设计模型一致性管理的元模型应用。 MoDELS(伴侣) 2019 : 790-795 [公元26年] Jan Reich公司 , 马克·泽勒 , 丹尼尔·施奈德 :
使用数字可靠性标识对安全论证进行自动证据分析。 SAFECOMP公司 2019 : 254-268 2018 [公元25年] 马克·泽勒 , 弗朗西斯科·蒙特罗内 :
将组件故障树和马尔可夫链相结合来分析复杂的软件控制系统。 ICSRS系统 2018 : 13-20 [公元24年] 伯特·博姆 , 马克·泽勒 , 扬·沃尔马尔 , Stefanie Weiß , 凯·霍菲格 , 文森特·马利克 , 斯蒂芬·恩弗多尔本(Stephan Unverdorben) , 康斯坦丁·希尔德布兰特 :
适应性和灵活性工业工厂工程面临的挑战。 Modellierung(车间) 2018 : 101-110 【c23】 蒂姆·冈索雷克 , 马克·泽勒 , 凯·霍菲格 , 弗兰克·奥特米耶 :
故障树与组件故障树:一项实证研究。 SAFECOMP研讨会 2018 : 239-251 2017 [公元22年] 塞巴斯蒂安·雷特 , 马克·泽勒 , 凯·霍菲格 , 亚历山大·维尔 , 奥利弗·布林曼 , 沃尔夫冈·罗森斯蒂尔 :
使用误差影响模拟验证组件故障树。 IMBSA公司 2017 : 212-226 【c21】 马克·泽勒 , 凯·霍菲格 , Jean-Pascal Schwinn女士 :
ArChes-从连续功能图自动生成组件故障树。 印度 2017 : 577-582 2016 [公元20年] 马克·泽勒 , 丹尼尔·拉蒂乌 , 凯·霍菲格 :
在工业实践中采用基于模型的工程来开发安全关键系统。 SAFECOMP研讨会 2016 : 322-333 2015 [第19条] 凯·霍菲格 , 马克·泽勒 , 雷内尔·海尔曼 :
ALFRED:为分层体系结构启用组件故障树的方法。 欧微-东南亚 2015 : 167-176 [第18条] 费利克斯·默勒 , 马克·泽勒 , 凯·霍菲格 , 马丁·罗斯菲尔德 , 彼得·利格斯迈耶 :
使用组件故障树进行自动成分安全分析。 ISSRE研讨会 2015 : 152-159 [c17] 丹尼尔·施奈德 , 马里奥陷阱 , 伊安妮斯·帕帕佐普洛斯 , 埃里克·阿蒙加德 , 马克·泽勒 , 凯·霍菲格 :
WAP:数字可靠性标识。 ISSRE公司 2015 : 324-329 [第16条] 凯·霍菲格 , 马克·泽勒 , 康斯坦丁·肖普 :
使用内部端口依赖性跟踪的自动故障传播。 质量保证体系 2015 : 123-128 [第15条] 丹尼尔·拉蒂乌 , 马克·泽勒 , 伦纳特·基利安 :
安全。 实验室:基于模型的领域特定安全论证工具。 SAFECOMP研讨会 2015 : 72-82 2014 【j4】 菲利普·施莱斯 , 马克·泽勒 , 杰里恩·韦斯 :
用于在分布式嵌入式系统中实现适应性的内存概念。 SIGBED版本。 11 ( 三 ) : 66-69 ( 2014 ) [第14条] 凯·霍菲格 , 马克·泽勒 , 拉尔斯·格伦斯克 :
metaFMEA-A可重用FMEA框架。 IMBSA公司 2014 : 110-122 [第13条] 马克·泽勒 , 凯·霍菲格 , 马丁·罗斯菲尔德 :
面向嵌入式系统的跨域软件安全保证过程。 SAFECOMP研讨会 2014 : 396-400 2013 【b1】 马克·泽勒 :
vernetzten eingebetten Systemen unter Berücksichtigung nicht-funkinator Anforderungen中的自我适应。 奥格斯堡大学, Verlag博士Hut 2013 [j3] 马克·泽勒 , 克里斯蒂安·普雷霍弗 :
网络化嵌入式实时系统中自适应功能外特性的建模和高效求解。 J.系统。 阿奇特。 59 ( 10摄氏度 ) : 1067-1082 ( 2013 ) [注2] 马克·泽勒 , 克里斯蒂安·普雷霍弗 , 丹尼尔·克雷夫特 , 杰里恩·韦斯 :
在AUTOSAR中实现运行时自适应。 SIGBED版本。 10 ( 4 ) : 17-20 ( 2013 ) [第12条] 克里斯蒂安·德拉贝克 , 托马斯·普拉姆施勒 , 马克·泽勒 , 杰里恩·韦斯 :
使用可执行参考模型的接口验证:在汽车信息娱乐中的应用。 ACES-MB@MoDELS公司 2013 2012 [j1] 马克·泽勒 , 克里斯蒂安·普雷霍弗 :
汽车嵌入式系统自适应的多层控制方法。 高级软件。 工程师。 2012 : 971430:1-971430:15 ( 2012 ) [第11条] 克里斯蒂安·普雷霍弗 , 马克·泽勒 :
实时网络嵌入式系统中运行时自适应的层次事务概念。 ETFA公司 2012 : 1-8 [第10条] 马克·泽勒 , 克里斯蒂安·普雷霍弗 :
实时、网络化嵌入式系统中运行时自适应的时间约束。 SEAMS公司 2012 : 73-82 【c9】 克劳斯贝克 , 马克·泽勒 , 杰里恩·韦斯 :
自适应网络化嵌入式实时系统的高效在线可调度性测试。 PECCS公司 2012 : 440-449 【c8】 马克·泽勒 , 克里斯蒂安·普雷霍弗 :
汽车嵌入式系统中使用多层控制方法的自适应。 PECCS公司 2012 : 459-468 【c7】 克里斯蒂安·普雷霍弗 , 马克·泽勒 :
面向实时、网络化嵌入式系统的运行时自适应。 SIES公司 2012 : 271-274 2011 【c6】 马克·泽勒 , 杰里恩·韦斯 , 埃勒斯 , 鲁迪·克诺尔 :
一种在分布式嵌入式系统中提供可靠自适应的方法。 囊 2011 : 236-237 【c5】 马克·泽勒 , 克里斯蒂安·普雷霍弗 , 杰里恩·韦斯 , 埃勒斯 , 鲁迪·克诺尔 :
面向实时网络系统中的自适应:有效解决汽车嵌入式系统的系统约束。 SASO公司 2011 : 79-88 2010 【c4】 马克·泽勒 , 杰里恩·韦斯 , 埃勒斯 , 鲁迪·克诺尔 :
自适应汽车嵌入式系统的协同仿真。 欧盟委员会 2010 : 73-80 【c3】 马克·泽勒 , 斯特凡·格罗斯 , 埃勒斯 , 鲁迪·克诺尔 :
自愈式汽车系统中的故障安全数据管理。 ICAS公司 2010 : 24-29
2000 – 2009
2009 【c2】 杰里恩·韦斯 , 马克·泽勒 , 埃勒斯 , 鲁迪·克诺尔 :
汽车嵌入式系统中的自我组织。 空中交通管制 2009 : 32-46 【c1】 马克·泽勒 , 杰里恩·韦斯 , 福尔克·兰格 , 迈克·海德里奇 :
DynaSoft:Dynisch selbstorganierende软件系统。 GI贾尔斯塔贡 2009 : 2253-2267