删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

华东理工大学2014年博士研究生招生导师基本信息-虞慧群

华东理工大学 免费考研网/2013-03-09

博导姓名 虞慧群
导师所在学院信息科学与工程学院
最后学位工学博士
主要研究方向

软件工程、可信计算与安全、形式化方法及应用

主要代表成果

[1] An approach to analyzing dynamic trustworthy service composition. LNCS 5926, pp. 261-275, 2009
[2] A method for modeling and analyzing fault-tolerant service composition. Proc of APSEC, pp.507-514, 2009
[3] Modeling and analyzing time constrains for service composition. Proc of 9th ICYCS, pp. 124-129, 2008
[4] Analyzing BPEL compositionality based on Petri nets. COMPSAC, pp.373-376, 2008
[5] Modeling complex software systems using an aspect extension of Object-Z. SEKE, pp.11-16, 2006
[6] Formal aspect-oriented modeling and analysis by AspectZ. SEKE, pp. 175-180, 2005
[7] Secure software architecture design by aspect orientation. ICECCS, pp.47-55, 2005
[8] 高可信度软件系统的形式化设计和分析, 2005年上海市科学技术进步三等奖

联系电话
E-mailyhq@ecust.edu.cn
相关话题/博士 导师