Menü
软件工程
搜索网站
仅在当前节中
高级搜索…
你在这里：
主页
›
团队
›
克里斯蒂安·埃雷拉
›
资源
信息
资源
尚未上传相册或照片。
准等时钟减少：更多网络，更多查询
QE基准
准等时钟缩减：消除网络上的假设
混合自动机中的拟相关变量
减少时间自动机网络中的准等时钟
容错时钟同步算法验证基准
«
六月
2024
»
六月
莫
图
我们
Th（第个）
法语
Sa公司
苏
1
2
三
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
主页
快速访问
团队
安德烈亚斯·波德尔斯基
丹尼尔·迪奇
马蒂亚斯·海兹曼
Jochen Hoenicke公司
伯恩德·韦斯特法尔
安娜·利奥利奥斯·齐默曼
马利斯·乔斯特
马丁·普雷恩
安德烈亚斯·德雷亚尼
塞尔吉奥·费奥·阿雷尼斯
马吕斯·格雷特斯
尼科·豪夫
伊丽莎白·汉克尔
多米尼克·克伦普
文森特·兰恩菲尔德
亚历山大·纳茨
克里斯蒂安·路透社
坦尼娅·辛德勒
弗兰克·舒赛尔
丽贝卡·阿尔布雷希特
可视化阻抗模型
斯蒂芬·阿尔特
杰琳娜·巴思
布鲁诺·伯斯特尔·达·席尔瓦
塞尔吉·博戈莫洛夫
贝里特·布劳尔
尤根基督
埃夫伦·埃尔米斯
哈拉尔德·费彻
克里斯蒂安·埃雷拉
资源
简·雷克
斯特凡·莫斯
科琳娜·米特罗欣
托比亚斯·莫西尼奇
马可·穆尼兹
阿玛琳达邮报
马丁·施瓦夫
克里斯蒂安·席林
穆罕默德·纳西姆·塞吉尔
韦尔勒
教学
学生项目和论文主题
可用
正在进行中
完成了
2024年夏季学期
自动化（初级）
软件技术/软件工程（讲座）
程序验证（讲座）
2023/24年冬季学期
网络物理系统I-离散模型（讲座）
Softwarepraktikum软件
2023年夏季学期
自动化（初级）
软件技术/软件工程（讲座）
理论信息学（讲座）
2022/23年冬季学期
网络物理系统I-离散模型（讲座）
Softwarepraktikum软件
自动化（初级）
方案分析和验证（研讨会）
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年冬季学期
自动化（初级）
Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士）
信息技术III
UML中的软件设计、建模和分析（讲座）
2014年夏季学期
自动机理论（研讨会）
《Informatik》中的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公司
项目
航空电子控制系统
扎洛莫
Verisoft XT公司
格拉迪尔滕科列格
案例研究库
无线火灾报警系统
准相关变量
准等时钟缩短
研究数据库
服务
画廊
联系人
导航
团队
安德烈亚斯·波德尔斯基
丹尼尔·迪奇
马蒂亚斯·海兹曼
Jochen Hoenicke公司
伯恩德·韦斯特法尔
安娜·利奥利奥斯·齐默曼
马利斯·乔斯特
马丁·普雷恩
安德烈亚斯·德雷亚尼
塞尔吉奥·费奥·阿雷尼斯
马吕斯·格雷特斯
尼科·豪夫
伊丽莎白·汉克尔
多米尼克·克伦普
文森特·兰恩菲尔德
亚历山大·纳茨
克里斯蒂安·路透社
坦尼娅·辛德勒
弗兰克·舒赛尔
丽贝卡·阿尔布雷希特
斯蒂芬·阿尔特
杰琳娜·巴思
布鲁诺·伯斯特尔·达·席尔瓦
塞尔吉·博戈莫洛夫
贝里特·布劳尔
尤根基督
埃夫伦·埃尔米斯
哈拉尔德·费彻
克里斯蒂安·埃雷拉
资源
准等时钟减少：更多网络，更多查询
QE基准
准等时钟缩减：消除网络上的假设
混合自动机中的拟因变量
减少时间自动机网络中的准等时钟
容错时钟同步算法验证基准
简·雷克
斯特凡·莫斯
科琳娜·米特罗欣
托比亚斯·莫西尼奇
马可·穆尼兹
阿玛琳达邮报
马丁·施瓦夫
克里斯蒂安·席林
穆罕默德·纳西姆·塞吉尔
韦尔勒
教学
工具
项目
研究数据库
服务
画廊
联系人
«
六月
2024
»
六月
莫
图
我们
Th（第个）
法语
Sa公司
苏
1
2
三
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
