研究兴趣
需求工程、模型检查、需求工程中的认知科学、认知模型
出版物
DBLP公司,ORCiD公司,谷歌Schloar
- 实时需求的可扩展冗余检测.参考文献24。与伊丽莎白·汉克尔（Elisabeth Henkel）、尼科·豪夫（Nico Hauff）、莉娜·芬克（Lena Funk）和安德烈亚斯·波德尔斯基（Andreas Podelski）合作。[pdf格式][人工制品]
- 形式模式语言可理解性的系统顺应与研究需求工程期刊。与伊丽莎白·汉克尔（Elisabeth Henkel）、尼科·豪夫（Nico Hauff）、卢卡斯·埃伯（Lukas Eber）和安德烈亚斯·波德尔斯基（Andreas Podelski）合作。[开放存取]
- 形式模式语言直觉理解的实证研究.参考2023。
与伊丽莎白·汉克尔（Elisabeth Henkel）、尼科·豪夫（Nico Hauff）、卢卡斯·埃伯（Lukas Eber）和安德烈亚斯·波德尔斯基（Andreas Podelski）合作。
⭐REFSQ'23最佳论文奖。[国防部] [pdf格式]
- 系统需求的形式化和分析. 🎓弗赖堡大学论文，2023年[开放存取]
- 具有按需支持的软件实验室HICSS 2022。和Daniel Dietsch一起。[开放存取]
-
Hanfor：大规模语义需求评审.REFSQ 2021海报和工具。
与Samuel Becker、Daniel Dietsch、Elisabeth Henkel、Andreas Podelski和Bernd Westphal一起[开放存取]
- ACT-R的正式运作模型：结构和行为.CogSci 2021。与伯恩德·韦斯特法尔（Bernd Westphal）和安德烈亚斯·波德尔斯基（Andreas Podelski）合作。[开放存取]
- 非正式世界中的形式要求FORMREQ 2020。与Daniel Dietsch、Bernd Westphal和Andreas Podelski一起。[国防部] [pdf格式]
- 实时需求的可扩展分析2019年3月。与Daniel Dietsch、Bernd Westphal和Jochen Hoenicke合作。[国防部] [pdf格式] [人工制品]
- ACT-R体系结构和模型的形式化验证2019年CogSci。与伯恩德·韦斯特法尔（Bernd Westphal）和安德烈亚斯·波德尔斯基（Andreas Podelski）合作。[pdf格式]
- 但它真的做到了吗？使用形式分析确保理想的ACT-R模型行为。CogSci 2018。与伯恩德·韦斯特法尔（Bernd Westphal）、丽贝卡·阿尔布雷希特（Rebecca Albrecht）和安德烈亚斯·波德尔斯基（Andreas Podelski）一起。[pdf格式]
- 复杂建筑中人类和机器人自我定位准确性的差异和共性。2018年空间认知。与Rul von Stülpnagel和Christoph Hölscher合作。[国防部]
- 项目生命周期内的需求缺陷：博世一个5年汽车项目缺陷数据的实证分析2016年REFSQ。与Amalinda Post和Andreas Podelski合作。[国防部]
-
公平模理论：LTL软件模型检查的新方法。CAV 2015。与Daniel Dietsch、Matthias Heizmann和Andreas Podelski合作。[国防部] [pdf格式]
工具
讲座和研讨会
- 软件工程讲座（'24）
- 软件实验室（'16、'17、'18、'19、'20、'21、'22、'23）和面向所有院系成员的软件实验室（'16/17、'17/18、'18/19）
- 专业/研讨会自动化仓库('24, '23, '20)
学生项目合作/监督
如果你对一个项目或论文感兴趣，只需发送一个Emai来询问当前主题或提出自己的建议。我通常对与我的研究兴趣和/或软件工程的一般主题相关的所有项目持开放态度（参见下面的列表以供参考）。
- 理学学士学位论文提取形式化需求冗余的解释（正在进行）
- BSc项目作为人工智能和人类协同努力的需求形式化（正在进行）
- BSc项目编程能力问卷（正在进行）
- 理学学士学位论文Stuck-At-Property：一种新的实时需求属性（正在进行）
- 理学学士学位论文评估编程能力的有效编程评估(2023)
- 理学学士学位论文监测ROS2中的实时要求(2023)
- 理学学士学位论文阶段事件自动机的补充(2023)
- 理学硕士实验室相位事件自动机的最小化(2023)
- 理学学士学位论文ambiHMD-通过使用环境光LED扩展虚拟现实头戴式显示器中的感知水平视野(2023)
- 理学硕士实验室Hanfor Scepcification模式语言的直观理解性研究(2022)
- 硕士论文形式化需求模拟器(2022)
- 理学学士学位论文基于类型的合作网络(2022)
- BSc项目使用Markov-Chain Wave函数折叠生成程序化Tilemap(2021)
- 硕士论文识别和分析软件开发项目中的协作模式(2021)
- 理学学士学位论文PAM-个人存档管理器(2021)
- 项目理学硕士翻译ACT-R：从形式化描述到扩展时间自动机(2020)
咨询时间
请随时发送电子邮件（如果我在一周内没有回复，请随时提醒我）。
