马克西米利安·施温格
人员信息
优化列表
2020年–今天
2023 [j3] 塞巴斯蒂安·比沃 , 伯恩德·芬克贝纳 , 霍尔格·赫尔曼斯 , 马克西米利安·科尔 , 扬尼克·施尼策 , 马克西米利安·施温格 :
与RTLola一起上路。 国际期刊软件。 技术工具。 Transf公司。 25 ( 2 ) : 205-218 ( 2023 ) 2022 【b1】 马克西米利安·施温格 :
网络物理系统的统计分析流监控。 德国萨尔布吕肯萨尔州大学, 2022 2021 [注2] Corto Mascle公司 , 丹尼尔·奈德 , 马克西米利安·施温格 , 保罗·塔布阿达 , 亚历山大·韦内特 , 马丁·齐默尔曼 :
从LTL到rLTL监控:通过健壮语义改进可监控性。 形式方法系统。 设计。 59 ( 1 ) : 170-204 ( 2021 ) 【c8】 塞巴斯蒂安·比沃 , 伯恩德·芬克贝纳 , 霍尔格·赫尔曼斯 , 马克西米利安·科尔 , 扬尼克·施尼策 , 马克西米利安·施温格 :
RTLola on Board:在手机上测试实际驾驶排放。 TACAS(2) 2021 : 365-372 [第九章] 塞巴斯蒂安·比沃 , 伯恩德·芬克贝纳 , 霍尔格·赫尔曼斯 , 马克西米利安·科尔 , 扬尼克·施尼策 , 马克西米利安·施温格 :
RTLola on Board:在手机上测试实际驾驶排放。 CoRR公司 abs/2111.05255 ( 2021 ) [i8] 尼古拉斯·梅茨格 , 桑尼·施密特 , 马克西米利安·施温格 :
开发工件中的保守混合自动机。 CoRR公司 abs/2111.05613 ( 2021 ) 2020 【c7】 扬·鲍迈斯特 , 伯恩德·芬克贝纳 , 塞巴斯蒂安·斯基默 , 马克西米利安·施文格 , 克里斯托夫·托伦斯 :
RTLola获准起飞:监控自主飞机。 CAV(2) 2020 : 28至39 【c6】 Corto Mascle公司 , 丹尼尔·奈德 , 马克西米利安·施温格 , 保罗·塔布阿达 , 亚历山大·韦内特 , 马丁·齐默尔曼 :
从LTL到rLTL监控:通过健壮语义改进可监控性。 高速列车控制中心 2020 : 7:1-7:12 【c5】 马克西米利安·施温格 :
监控网络物理系统:从设计到集成。 RV汽车 2020 : 87-106 【c4】 伯恩德·芬克贝纳 , 斯特凡·奥斯瓦尔德 , 诺埃米传球 , 马克西米利安·施温格 :
Lola规范的已验证锈蚀监测器。 RV汽车 2020 : 431-450 【c3】 扬·鲍迈斯特 , 伯恩德·芬克贝纳 , 马蒂斯·克鲁斯 , 马克西米利安·施温格 :
基于流的监控语言的自动优化。 RV汽车 2020 : 451-461 [i7] 扬·鲍迈斯特 , 伯恩德·芬克贝纳 , 马克西米利安·施温格 , 哈泽姆·托法 :
FPGA流—实时属性的监控。 CoRR公司 abs/2003.12477 ( 2020 ) [i6] 扬·鲍迈斯特 , 伯恩德·芬克贝纳 , 塞巴斯蒂安·席尔默 , 马克西米利安·施温格 , 克里斯托夫·托伦斯 :
RTLola获准起飞:监控自主飞机。 CoRR公司 abs/2004.06488 ( 2020 ) [i5] 简·鲍迈斯特 , 伯恩德·芬克贝纳 , 马蒂斯·克鲁斯 , 马克西米利安·施温格 :
基于流的监控语言的自动优化。 CoRR公司 abs/2011.13344 ( 2020 ) [i4] 马克西米利安·施温格 :
监控网络物理系统:从设计到集成。 CoRR公司 abs/2012.08959 ( 2020 ) [i3] 伯恩德·芬克贝纳 , 斯特凡·奥斯瓦尔德 , 诺埃米传球 , 马克西米利安·施温格 :
Lola规范的已验证锈蚀监测器。 CoRR公司 abs/2012.08961 ( 2020 )
2010 – 2019
2019 [j1] 简·鲍迈斯特 , 伯恩德·芬克贝纳 , 马克西米利安·施温格 , 哈泽姆·托法 :
实时属性的FPGA流监控。 ACM事务处理。 嵌入。 计算。 系统。 18 ( 5秒 ) : 88:1-88:24 ( 2019 ) 【c2】 彼得·费蒙维尔 , 伯恩德·芬克贝纳 , 马尔特·施莱德朱夫斯基 , 马克西米利安·施温格 , 马文·斯坦格 , Leander Tentrup公司 , 哈泽姆·托法 :
StreamLAB:基于流的网络物理系统监控。 CAV(1) 2019 : 421-431 2018 [i2] Corto Mascle公司 , 丹尼尔·奈德 , 马克西米利安·施温格 , 保罗·塔布阿达 , 亚历山大·韦内特 , 马丁·齐默尔曼 :
从LTL到rLTL监控:通过健壮语义改进可监控性。 CoRR公司 腹肌/1807.08203 ( 2018 ) 2017 [i1] 彼得·费蒙维尔 , 伯恩德·芬克贝纳 , 马克西米利安·施温格 , 哈泽姆·托法 :
实时流式监控。 CoRR公司 abs/1711.03829 ( 2017 ) 2016 【c1】 马克西米利安·施温格 , 阿尔瓦罗·托拉尔巴 , 约格·霍夫曼 , 大卫·M·豪克罗夫特 , 维拉·登贝里 :
从OpenCCG到人工智能规划:在句子生成中检测不可行边。 冷却 2016 : 1524-1534