埃夫伦·埃尔米斯
 |
研究兴趣
出版物
GUI应用程序的黑盒验证 -与斯蒂芬·阿尔特、塞尔吉奥·费奥·阿雷尼斯和安德烈亚斯·波德尔斯基合作。 （技术报告） 流敏故障定位 -与尤根、基督、马丁·施瓦夫和托马斯·维斯合作。 （VMCAI 2013） 错误不变量 ——与马丁·施瓦夫（Martin Schäf）和托马斯·维斯（Thomas Wies）合作。 （FM 2012） 通过插值进行分割 –与Jochen Hoenicke和Andreas Podelski合作。 （VMCAI 2012）
教学
2009-2012年静态代码分析研讨会 2008-2012年软件实验室/软件实践 验证07/08 软件工程和验证领域的学生论文和项目。 如果你正在寻找学士/硕士论文或项目，请通过电子邮件与我联系。
咨询时间
学期：周二和周四，11:00-12:00和14:00-16:00 学期中断：按预约