研究兴趣
混合系统验证。 研究
我在软件工程主席,计算机科学研究所,弗莱堡大学2007年6月至2012年6月。我的研究兴趣包括混合系统的安全性和稳定性验证。我是跨区域合作研究中心AVACS.
出版物
- 混合系统的组成稳定性验证,Corina Mitrohin,博士论文
论文Corina Mitrohin-混合系统的组成稳定性验证(ISBN:978-3-8440-1820-2)由振动筛Verlag.
- 混合系统的稳定性证明Corina Mitrohin和Andreas Podelski,格式2011.
- 混合系统稳定性分析的组合可达性分析塞尔吉·博戈莫洛夫(Sergiy Bogomolov)、科琳娜·米特罗欣(Corina Mitrohin)和安德烈亚斯·波德尔斯基(Andreas Podelski),ATVA 2010.
- 开发并应用需求工程概念来自动检测冲突科琳娜·米特罗欣(Corina Mitrohin),阿尔伯特·路德维希斯大学硕士论文,德国弗莱堡,2007年6月。
- 部分序集的基于子集的性质F.L.Tiopse、S.Iftene、B.Ciurariu、C.Apachite;2002年2月,罗马尼亚Iasi大学“Al.I.Cuza”计算机科学学院技术报告02-01。
- 带同步的代码科琳娜·米特罗欣(Corina Mitrohin),2000年9月罗马尼亚伊亚西Al.I.Cuza大学学士论文。
- 同步扩展系统,F.L.Tiopse,E.Makinen,C.Apachite Acta Informatica 37,6(2001),449-465。技术报告 A-200-1,芬兰坦佩雷大学计算机与信息科学系,2000年1月,第19页
会谈
项目
咨询时间
教学