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