信息 站点地图 此网站上可用内容的概述。保持指针不动在一个项目上停留几秒钟以获得其描述。 团队 安德烈亚斯·波德尔斯基 丹尼尔·迪奇 马蒂亚斯·海兹曼 Jochen Hoenicke公司 伯恩德·韦斯特法尔 安娜·利奥利奥斯·齐默曼 马利斯·乔斯特 马丁·普雷恩 安德烈亚斯·德雷亚尼 塞尔吉奥·费奥·阿雷尼斯 马吕斯·格雷特斯 尼科·豪夫 伊丽莎白·汉克尔 多米尼克·克伦普 文森特·兰恩菲尔德 亚历山大·纳茨 克里斯蒂安·鲁特 坦贾·辛德勒 弗兰克·舒赛尔 丽贝卡·阿尔布雷希特 可视化阻抗模型 斯蒂芬·阿尔特 杰琳娜·巴思 布鲁诺·贝斯特尔·达席尔瓦 塞尔吉·博戈莫洛夫 贝里特·布劳尔 尤根基督 埃夫伦·埃尔米斯 哈拉尔德·费彻 克里斯蒂安·埃雷拉 资源 简·雷克 斯特凡·莫斯 科琳娜·米特罗欣 托比亚斯·莫西尼奇 马可·穆尼兹 阿玛琳达邮报 马丁·施瓦夫 克里斯蒂安·席林 穆罕默德·纳西姆·塞吉尔 韦尔勒 教学 学生项目和论文主题 可用 正在进行中 完成了 2024年夏季学期 Automatentheorie（普罗塞米纳） 软件技术/软件工程（讲座） 程序验证（讲座） 2023/24年冬季学期 网络物理系统I-离散模型（讲座） Softwarepraktikum软件 2023年夏季学期 Automatentheorie（普罗塞米纳） 软件技术/软件工程（讲座） 理论信息学（讲座） 2022/23年冬季学期 网络物理系统I-离散模型（讲座） Softwarepraktikum软件 Automatentheorie（普罗塞米纳） 方案分析和验证（研讨会） 2022年夏季学期 决策程序（讲座） 理论信息学（讲座） 程序验证（讲座） 软件技术/软件工程（讲座） 2021/22年冬季学期 网络物理系统I-离散模型（讲座） Softwarepraktikum软件 程序分析（Prosminar） 2021年夏季学期 自动机理论（研讨会） 自动机理论（Prosminar） 程序验证（讲座） 软件技术/软件工程（讲座） 2020/21年冬季学期 程序分析高级主题（研讨会） Softwarepraktikum软件 网络物理系统I-离散模型（讲座） 程序分析（Prosminar） 2020年夏季学期 自动机理论（研讨会、散文会） 程序验证（讲座） 软件技术/软件工程（讲座） 2019/20年冬季学期 自动机理论（研讨会） 决策程序（讲座） 网络物理系统I-离散模型（讲座） 程序分析（Prosminar） 2019年夏季学期 Softwarepraktikum（Nur für信息学理学士和ESE理学士） 程序验证（讲座） 软件技术/软件工程（讲座） 2018/19年冬季学期 自动机理论（研讨会） 项目分析（研讨会） Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士） 网络物理系统I-离散模型（讲座） Informatik III（讲座） 程序分析（Prosminar） 2018年夏季学期 自动机理论（研讨会、散文会） 决策程序（讲座） 项目分析（研讨会） Softwarepraktikum（Nur für信息学理学士和ESE理学士） 程序验证（讲座） 软件技术/软件工程（讲座） 2017/18冬季学期 自动机理论（研讨会、散文会） 程序分析和软件测试（研讨会） Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士） 网络物理系统I-离散模型（讲座） Informatik III（讲座） 实时系统（讲座） 2017年夏季学期 自动机理论（研讨会、散文会） 程序分析和软件测试（研讨会） Softwarepraktikum（Nur für信息学理学士和ESE理学士） 网络物理系统-混合模型（讲座） Java的形式化方法（讲座） 程序验证（讲座） 软件技术/软件工程（讲座） 2016/17年冬季学期 需求工程高级主题（研讨会） 自动机理论（研讨会、散文会） 决策程序（讲座） 程序分析和软件测试（研讨会） Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士） 网络物理系统I-离散模型（讲座） UML中的软件设计、建模和分析（讲座） 2016年夏季学期 自动机理论（研讨会、散文会） 程序分析和软件测试（研讨会） Softwarepraktikum（Nur für信息学理学士和ESE理学士） 网络物理系统-混合模型（讲座） 软件技术/软件工程（讲座） 2015/16年冬季学期 自动机理论（研讨会、散文会） 决策程序（讲座） 程序分析和软件测试（研讨会） Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士） UML中的软件设计、建模和分析（讲座） 2015年夏季学期 自动机理论（研讨会、散文会） 项目分析（研讨会） Softwarepraktikum（Nur für信息学理学士和ESE理学士） 软件技术/软件工程（讲座） 2014/2015年冬季学期 Automatentheorie（普罗塞米纳） Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士） 信息技术III UML中的软件设计、建模和分析（讲座） 2014年夏季学期 自动机理论（研讨会） 《信息学》中的Einführung（Vorlesung） C语言形式化方法研讨会 Softwarepraktikum（Nur für信息学理学士和ESE理学士） 计算机科学理论（桥梁课程）（教程） 实时系统（讲座） 2013/2014年冬季学期 Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士） 网络物理系统的设计与分析（研讨会） 计算机支持的建模和推理 信息技术III 静态代码分析（研讨会） UML中的软件设计、建模和分析（讲座） 软件测试（研讨会） 2013年夏季学期 自动机理论研讨会 决策程序（讲座） Softwarepraktikum（Nur für信息学理学士和ESE理学士） 需求工程高级专题研讨会 软件工程高级专题研讨会 网络物理系统-混合模型 混合动力系统研讨会 实时系统（讲座） 软件工程课程 2012/2013年冬季学期 Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士） 网络物理系统的设计与分析（研讨会） 网络物理系统I-模型检查（讲座） Java的形式化方法（讲座） UML中的软件设计、建模和分析（讲座） 软件测试（研讨会） Testverfahren für Softwaretechnik（Prosminar） 2012年夏季学期 自动机理论 决策程序 需求工程研讨会/研讨会（高级）主题 Softwarepraktikum（Nur für信息学理学士和ESE理学士） 网络物理系统-混合模型 混合动力系统研讨会 基于模型的测试和分析 实时系统（讲座） 理论I 2011/2012冬季学期 Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士） 网络物理系统的设计与分析 Java的形式化方法 程序验证 静态代码分析 UML中的软件设计、建模和分析 软件测试 工具 旗舰版 SMT互联网 汉福尔 加佐 混合动力系统 SpaceEx中的假设保证抽象细化 坦克网络分层控制器基准生成器 FMI协同模拟 混合系统的引导模型检查 混合自动机：从验证到实现 基于抽象的多仿射系统参数综合 方向优化框架 ACSAR公司 AMTV（AMTV） 博内 驱邪 MCTA公司 项目 AVACS公司 扎洛莫 Verisoft XT公司 Graduiertenkolleg公司 案例研究库 无线火灾报警系统 准相关变量 准等时钟缩短 研究数据库 服务 画廊 联系人
