法国理工信息研究所

托拜厄斯·何理学硕士

我研究的核心是通过知识编译（首先是二进制决策图）对可配置系统进行分析。其中，我的研究旨在提高二进制决策图的可伸缩性，以便能够分析实际系统。当然，我也对分析所包含的具体问题（SAT、#SAT、QBF）感兴趣。

研究项目

OBD小

O（运行）最佳的B类二元的D类决定D类的图表我信息可视化，米模型A类分析，以及L（左）ogic操作

学术服务

我曾担任

  • 日记账：EMSE（A）、TOSEM（A*）
  • 其他日记账：澳大利亚（B），SoSyM（B）
  • 会议：GPCE’21（B）、SPLC’21（B）、VaMoS’22、ISSTA’22（A）、SPLC'22（B），ISSTA‘23（A），ICSE’24，VaMoS‘24

我在担任主席

教学

讲座、项目和研讨会

  • Rahmenprogram Prosminar（学术写作，LaTeX-Einführung）
  • 软件工程项目（7名学生）

  • Rahmenprogram Prosminar（学术写作，LaTeX-Einführung）
  • 软件工程项目（5名学生）

  • Rahmenprogram Prosminar（学术写作，LaTeX-Einführung）
  • 软件工程项目（4名学生）

  • 助教，“Einführung in die Informatik 1-Grundlagen”（2018/2019、2019/2020、2020/2021冬季学期）
  • 助教，“Einführung in die Informatik 2-Vertiefung”（2019年夏季学期，2020年）
  • “Allgemeine Informatik 1”助教（2017/2018冬季学期）
  • “Allgemeine Informatik 2”助教（2017、2018夏季学期）
  • “Paradigmen der Programmierung”助教（2016、2017、2018夏季学期）

出版物

2024

17.
桑德曼，奇科；他，托拜厄斯；尼克，迈克尔；比特纳，保罗·马克西米利安；年轻，杰弗里·M。；图姆，托马斯；谢弗，伊纳
评估工业配置空间上最先进的SAT解算器-总结
程序。软件工程（SE）（待发布）
赫劳斯盖伯：Gesellschaft für Informatik公司，德国波恩
2024年2月
日期：pdf格式https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-SE-Sundermann.pdf
16
Kuiter，埃利亚斯；他，托拜厄斯；桑德曼，奇科；克里特，塞巴斯蒂安；图姆，托马斯；萨克，冈特
基于SAT的特征模型分析有多容易？
程序。软件集成系统（VaMoS）可变性建模国际工作会议，赛特149-151
赫劳斯盖伯：ACM，美国纽约州纽约市
2024年2月
内政部：10.1145/3634713.3634733
日期：pdf格式https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Kuiter.pdf
15
伯恩，萨布里娜；克里特，塞巴斯蒂安；他，托拜厄斯；图姆，托马斯；洛肖，马耳他
T-Wise特征交互的增量识别
程序。软件集成系统（VaMoS）可变性建模国际工作会议，第27-36页
赫劳斯盖伯：ACM，美国纽约州纽约市
2024年2月
内政部：10.1145/3634713.3634715
国际标准图书编号：9798400708770
日期：pdf格式https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Boehm.pdf
14
Heß，托拜厄斯；施密特，蒂姆·扬尼克（Tim Jannik）；奥斯海默，卢卡斯；克里特，塞巴斯蒂安；图姆，托马斯
不明智：统一抽样的高T明智覆盖率
程序。软件集成系统（VaMoS）可变性建模国际工作会议（待定）
赫劳斯盖伯：ACM，美国纽约州纽约市
2024年2月
日期：pdf格式https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Hess.pdf
13
他，托比亚斯；奥斯海默，卢卡斯；贝茨，托拜厄斯；卡勒，西蒙；施密特，蒂姆·扬尼克（Tim Jannik）；Coquet、，皮埃尔；塞姆勒，肖恩；图姆，托马斯
variability.dev：面向特征建模的在线工具箱
程序。建模可变性语言国际研讨会（即将举行）
2024年2月

2023

12
他，托拜厄斯；施密特，蒂姆·扬尼克（Tim Jannik）；奥斯海默，卢卡斯；克里特，塞巴斯蒂安；图姆，托马斯
不明智的评估工件：统一抽样的高T明智覆盖率
德泽伯2023
内政部：10.5281/季诺多.10303558
日期：https://doi.org/10.5281/zenodo.10303558
11
桑德曼，奇科；库伊特，埃利亚斯；他，托拜厄斯；拉布，海科；克里特，塞巴斯蒂安；图姆，托马斯
论知识编译对特征模型分析的益处
数学与人工智能年鉴（即将出版）
2023年10月
赫劳斯盖伯：斯普林格
日期：pdf格式https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-AMAI-Sundermann.pdf
10.
佩特，托拜厄斯；他，托拜厄斯；克里特，塞巴斯蒂安；图姆，托马斯；谢弗，伊纳
连续T-Wise覆盖
程序。国际系统和软件产品线大会（SPLC），赛特87-98
赫劳斯盖伯：ACM，美国纽约州纽约市
2023年8月
内政部：10.1145/3579027.3608980
国际标准图书编号：9798400700910
日期：pdf格式https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Pett.pdf
9.
桑德曼，奇科；拉布，海子；他，托拜厄斯；图姆，托马斯；谢弗，伊纳
利用d-DNNF实现特征模型上的重复计数查询
技术报告arXiv:2303.12383
马兹2023
内政部：10.48550/arXiv.2303.12383
日期：pdf格式https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-TR-Sundermann.pdf
8
桑德曼，奇科；他，托拜厄斯；尼克，迈克尔；比特纳，保罗·马克西米利安；年轻，杰弗里·M。；图姆，托马斯；谢弗，伊纳
在工业配置空间上评估最先进的SAT解算器
经验软件工程（EMSE）
2023年1月
赫劳斯盖伯：斯普林格
内政部：2007年10月10日/10664-022-10265-9
日期：pdf格式https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-EMSE-Sundermann.pdf

2022

7
他，托拜厄斯；米勒，托拜厄斯；桑德曼，奇科；图姆，托马斯
dduem：特征模型分析工具的包装器
程序。国际系统和软件产品线大会（SPLC），赛特54-57
Herausgeber公司：ACM，美国纽约州纽约市
2022年9月
内政部：10.1145/3503229.3547032
国际标准图书编号：9781450392068
日期：pdf格式https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Hess.pdf

2021

6
克里特，塞巴斯蒂安；阿伦斯，拉赫尔；尼克，迈克尔；桑德曼，奇科；他，托拜厄斯；图姆，托马斯；塞德尔，克里斯托夫
演化特征模型中模态蕴涵图的增量构造
程序。国际系统和软件产品线大会（SPLC），第64-74页
赫劳斯盖伯：ACM，美国纽约州纽约市
2021年9月
内政部：10.1145/3461001.3471148
国际标准图书编号：9781450384698
日期：pdf格式https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Krieter.pdf
5
桑德曼，奇科；他，托拜厄斯；恩格尔哈特，多米尼克；阿伦斯，拉赫尔；赫歇尔，约翰内斯；杰德豪泽，凯文；朱茨，贝内迪克特；克里特，塞巴斯蒂安；谢弗，伊纳
UVL在FeatureIDE中的集成
程序。建模变量语言国际研讨会（MODEVAR），赛特73-79
赫劳斯盖伯：ACM，美国纽约州纽约市
2021年9月
内政部：10.1145/3461002.3473940
国际标准图书编号：9781450384704
日期：pdf格式https://github.com/SoftVarE-Group/Papers/raw/main/2022/2021-MODEVAR-Undermann.pdf
4.
他，托拜厄斯；桑德曼，奇科；图姆，托马斯
当前特征模型二元决策图构建的可扩展性研究
程序。国际系统和软件产品线大会（SPLC），塞特131-135
赫劳斯盖伯：ACM，美国纽约州纽约市
2021年9月
内政部：10.1145/3461001.3474452
国际标准图书编号：9781450384698
日期：pdf格式https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Hess.pdf
三。
桑德曼，奇科；尼克，迈克尔；比特纳，保罗·马克西米利安；他，托拜厄斯；图姆，托马斯；谢弗，伊纳
#SAT求解器在特征模型上的应用
程序。软件集成系统（VaMoS）可变性建模国际工作会议
赫劳斯盖伯：ACM，美国纽约州纽约市
2021年2月
内政部：10.1145/3442391.3442404
国际标准图书编号：9781450388245
日期：pdf格式https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Sundermann.pdf

2020

2
他，托拜厄斯
用于大型特征模型分析的二元决策图
硕士
乌尔姆大学，德国
2020年11月

2016

1
他，托拜厄斯
有值工作流可满足性问题及其进化算法求解
学士学位
乌尔姆大学，德国
2016年11月