我离开了研究小组，加入了奥地利IST的Thomas A.Henzinger小组.
研究兴趣
自动机理论、混合系统、参数综合
出版物
DBLP公司 arXiv公司 ResearchGate研究之门
- ARCH-COMP18类别报告：具有线性连续动力学的连续和混合系统，in建筑18与Matthias Althoff、Stanley Bak、Xin Chen、Chuchu Fan、Marcelo Forets、Goran Frehse、Niklas Kochdumper、Yangge Li、Sayan Mitra、Rajarshi Ray和Stefan Schupp合作。[国防部] [围兜]
- 终极Automizer和寻找完美插值2018年墨西哥玉米饼与Matthias Heizmann、Yu-Fang Chen、Daniel一起迪特施、马吕斯·格雷特斯、乔森·霍尼克、李勇、亚历山大·纳茨、，Betim Musa、Tanja Schindler和Andreas Podelski。[国防部] [围兜]
- 带动态块编码的Ultimate Tapan，英寸2018年TACAS与丹尼尔·迪特施、马吕斯·格雷楚斯、马蒂亚斯·海兹曼、乔森·霍尼克、亚历山大·纳茨、安德烈亚斯·波德尔斯基和坦尼娅·辛德勒一起。[国防部] [围兜]
- 通过低维集和高维矩阵分解的到达集近似2018年HSCC，以及Sergiy Bogomolov、Marcelo Forets、Goran Frehse、Andreas Podelski和Frédéric Viry。[国防部] [扩展版本] [围兜] [幻灯片]
- 混合自动机：从验证到实现STTT公司2017年，与Stanley Bak、Omar Ali Beg、Sergiy Bogomolov、Taylor T.Johnson和Luan Viet Nguyen合作。[国防部] [pdf格式]
- 基于不变簇的非线性混合系统的安全性验证2017年HSCC与惠孔、塞尔吉·博戈莫洛夫、于江和托马斯·汉津格一起。[国防部] [pdf格式] [围兜]
- 使用部分Max-SAT最小化可视下推自动机2017年TACAS以及马蒂亚斯·海兹曼和丹尼尔·蒂施纳。[国防部] [扩展版本] [围兜] [幻灯片]
- 带Floyd-Hoare Automata按需构建的Ultimate Automizer，年2017年TACAS与马蒂亚斯·海兹曼、陈宇文、丹尼尔·迪特施、马吕斯·格雷楚斯、贝蒂姆·穆萨、亚历山大·纳茨、克劳斯·舒泽尔、弗兰克·舒赛尔和安德烈亚斯·波德尔斯基一起。[国防部] [围兜]
- 《终极大班：痕迹提取和抽象解释》，年2017年TACAS与马吕斯·格雷丘斯、丹尼尔·迪特施、马蒂亚斯·海兹曼、亚历山大·纳茨、克劳斯·施亚策、弗兰克·舒赛尔和安德烈亚斯·波德尔斯基一起。[国防部] [围兜]
- 多仿射系统的离散抽象2016年HSB与慧刚、埃齐奥·巴托西、塞尔吉·博戈莫洛夫、拉杜·格罗苏、托马斯·汉津格和余江一起。[国防部] [围兜]
- 生化反应网络参数推断的自适应矩闭包生物系统2016年，与Sergiy Bogomolov、Thomas A.Henzinger、Andreas Podelski和Jakob Ruess合作。[国防部] [围兜]
- 混合系统验证、转换和合成的软件工具：C2E2、HyST和TuLiP，in2016年CCA（教程），与许多人一起。[国防部] [围兜]
- 使用Hypy进行高级混合系统分析，in2016年建筑以及斯坦利·贝克和塞尔吉·博戈莫洛夫。[pdf格式] [围兜]
- 基于抽象的多仿射系统参数综合2015年HVC以及Sergiy Bogomolov、Ezio Bartocci、Gregory Batt、Hui Kong和Radu Grosu。[国防部] [围兜]
- 生化反应网络参数推断的自适应矩闭包CMSB 2015年与Sergiy Bogomolov、Thomas A.Henzinger、Andreas Podelski和Jakob Ruess合作。[国防部] [围兜] [幻灯片]
- HyRG：仿射混合自动机的随机生成工具，in2015年HSCC以及Luan Viet Nguyen、Sergiy Bogomolov和Taylor T.Johnson。[国防部] [围兜]
- 混合分析工具的运行时验证，在2015年RV以及Luan Viet Nguyen、Sergiy Bogomolov和Taylor T.Johnson。[国防部] [围兜]
- 具有不满意内核的终极Automizer,在里面TACAS 2014年，以及Matthias Heizmann。尤尔根·基督、丹尼尔·迪奇、约琴霍尼克、马库斯·林登曼、贝蒂姆·穆萨、斯特凡Wissert和Andreas Podelski。[国防部] [围兜]
- 使用SMTInterpol的终极Automizer，英寸2013年TACAS,与马提亚斯·海兹曼、尤尔根·基督、丹尼尔·迪特施、埃夫伦·埃尔米斯、约琴Hoenicke、Markus Lindenmann、Alexander Nutz和安德烈亚斯·波德尔斯基（Andreas Podelski）。[国防部] [围兜]
以前的工作
教学
- Prosminar：《自动化理论》中的艾因夫(冬季学期14/15,夏季学期15,冬季学期15/16,夏季学期16,冬季学期16/17,夏季学期17,17/18冬季学期,夏季学期18)
- 研讨会：自动机理论(第十四学期,夏季学期15,冬季学期15/16,夏季学期16,冬季学期16/17,夏季学期17,17/18冬季学期,夏季学期18)
- 研讨会：程序分析(夏季学期15,冬季学期15/16,夏季学期16,冬季学期16/17,夏季学期17,17/18冬季学期,夏季学期18)
- 教程：计算机科学理论（桥接课程）(第十四学期)
- 讲座协助：软件工程(夏季学期18)
- 讲座协助：课程验证(夏季学期17)
- 讲座辅助：网络物理系统-离散模型(冬季学期16/17)
- 讲座辅助：网络物理系统-混合模型(夏季学期16,夏季学期17)
- 讲座协助：Informatik III-Theoretische Informatik(冬季学期13/14,冬季学期14/15,17/18冬季学期)
- 硕士论文：
- 使用异常微量元素进行静态误差跟踪分析（2018年）
- 主项目：
- 简单错误的静态故障定位（2017）
- 最小化Büchi嵌套字自动机（2016）
- 主实验室：
- 学士论文：
- 实施eines Delta Debugging-Frameworks für Werkzeuge zur分析C-Programmen（2016）
- 基于Max Horn SAT的可视下推最小化方法自动化（2016）
- 将非线性决策过程扩展到自动化网络（2015）
- 最小化算法的并行执行（2015）
- Vergleich aktueller Minimierungsalgorithmen für deterministische endliche Automaten（2014）
- 学士项目：
