研究兴趣
混合系统验证。 研究
我在软件工程主席,计算机科学研究所,弗莱堡大学2007年6月至2012年6月。我的研究兴趣包括混合系统的安全性和稳定性验证。我是跨区域合作研究中心AVACS.
出版物
- 混合系统的组成稳定性验证，Corina Mitrohin，博士论文
论文Corina Mitrohin-混合系统的组成稳定性验证（ISBN:978-3-8440-1820-2）由振动筛Verlag.
- 混合系统的稳定性证明，科琳娜·米特罗欣和安德烈亚斯·波德尔斯基，格式2011.
- 混合系统稳定性分析的组合可达性分析塞尔吉·博戈莫洛夫（Sergiy Bogomolov）、科琳娜·米特罗欣（Corina Mitrohin）和安德烈亚斯·波德尔斯基（Andreas Podelski），ATVA 2010.
- 开发并应用需求工程概念来自动检测冲突科琳娜·米特罗欣（Corina Mitrohin），阿尔伯特·路德维希斯大学硕士论文，德国弗莱堡，2007年6月。
- 部分序集的基于子集的性质，F.L.Tipaint、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-2000-1，芬兰坦佩雷大学计算机和信息科学系，2000年1月，19页
会谈
项目
咨询时间
教学
