师资情况

王新宇

日期:2017-09-30阅读:6357

5954bf1f4bc07.jpg

王新宇 副教授

电子邮件:wangxinyu@zju.edu.cn

电      话:0571-87952420

个人简介

2011.12至今          彩神8app在线登录计算机学院软件与理论研究所、副教授

2009.10-2011.12  彩神8app在线登录计算机学院软件与理论研究所、讲师

2007.7-2009.10    彩神8app在线登录计算机学院软件与理论研究所、博士后

2002.9-2007.7      彩神8app在线登录计算机学院,博士研究生,从事软件再工程的研究

1998.9-2002.7      彩神8app在线登录计算机学院,获学士学位,被保送为硕博连读研究生

主要从事分布式软件架构、软件工程、金融信息工程等方向的研究。发表SCI/EI论文近40篇;主持国家自然科学基金、国家科技支撑计划项目、973项目等多项;主要成果包括:1) 分布式系统安全冲突检测方法;2) 提出基于数据划分的软件分布式设计方法;3) 提出了可信驱动的遗留系统再造方法论及关键技术;4)实时数据流监控平台等。通过产学研合作模式,与工程界展开紧密的项目合作,技术成果应用于多家合作机构或企业中,解决了多项业界的技术难题。项目合作单位包括美国道富银行、中国外汇交易中心、Cisco、IBM、浙大网新等。

工作研究领域

超大规模信息系统、软件工程、金融信息系统

工作研究项目

基于时空向量回归的服务质量预测方法研究                                                    国家自然科学基金

基于问题框架的FR/NFR关联追踪方法研究                                                     国家自然科学基金

面向个性化服务的业务流程分析与可信建模技术研究与系统开发                     国家科技支撑计划项目

数字图书馆-用户建模子项目                                                                            国家发改委

网构软件的可信和服务质量需求建模与分析                                                     973计划项目

面向分布式数据划分环境的遗留系统组件识别技术研究                                    博士后基金项目

网络会议系统可靠性建模与研发                                                                        国际合作项目

面向金融领域的可信化系统分析与构建技术研究                                               国际合作项目

A Formal Method for Quality Assessment of Large-Scale Software Systems  新加坡技术与设计大学合作研究项目

发表论文

 Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jinsong Dong, Xiaohu Yang, Xiaohong Li: A Systematic Study on Explicit-state Non-Zenoness Checking for Timed Automata. IEEE Transactions on Software Engineering (TSE), 2014

Weiwei Qiu, Zibin Zheng Xinyu Wang, Xiaohu Yang, Michael R. Lyu: Reliability-Based Design Optimization for Cloud Migration.  IEEETransactions on Services Computing (TSC): 223-236 (2014)

Xinyu Wang, Jianke Zhu, Yuanhong Shen: Network-aware QoS prediction for Service Composition Using Geolocation, IEEETransactions on Services Computing (TSC): 2014

Xin Xia, David Lo, Emad Shihab, Xinyu Wang, Bo Zhou: Automatic, high accuracy prediction of reopened bugs[J]. Automated Software Engineering, 2014: 1-33.

Ye Wang, Liping Zhao, Xinyu Wang, Xiaohu Yang, Sam Supakkul: LANT: A Pattern Language for Transforming Scenarios into Requirements Models, International Journal of Human Computer Studies (IJHCS), 2013, 71(11): 1026–1043.

Xiaohu Yang, Liping Zhao, Xinyu Wang, Ye Wang, Jie Sun, and Albert J. Cristoforo: Satisfying Quality Requirements in the Design of a Partition-based, Distributed Stock Trading System, Software: Practice and Experience (SPE), 2010.

Xinyu Wang, David Lo, Xin Xia, Xingen Wang, Pavneet Singh Kochhar, Tian Yuan, Xiaohu Yang, Shanping Li, Jianling Sun, and Bo Zhou: BOAT: An Experimental Platform for Researchers to Comparatively and Reproducibly Evaluate Bug Localization Techniques",36th ACM/IEEE International Conference on Software Engineering (ICSE’14 Tool Demon Paper), 2014.

Xinyu Wang, Jianling Sun, Xiaohu Yang, Chao Huang and Zhijun He: Reengineering Standalone C++ Legacy Systems into the J2EE Partition Distributed Environment, 28th International Conference on Software Engineering (ICSE’06), Shanghai, China, May 20-28, 2006, 525-533.

Xin Xia, Yang Feng, David Lo, Zhenyu Chen, Xinyu Wang: Towards more accurate multi-label software behavior learning. CSMR-WCRE 2014: 134-143

Bo Zhou, Xin Xia, David Lo, Cong Tian, Xinyu Wang: Towards more accurate content categorization of API discussions. ICPC 2014: 95-105

Xin Xia, David Lo, Xingen Wang, Chenyi Zhang, Xinyu Wang: Cross-language bug localization. ICPC 2014: 275-278

Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang: Automatic early defects detection in use case documents. ASE 2014: 785-790

Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li: Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata. TACAS 2014: 310-325

Xinyu Wang, Jie Sun, Xiaohu Yang, Ye Wang, Shanping Li, Aleksander J. Kavs: Deriving problem frames from business process and object analysis models. Expert Systems 30(3): 200-214 (2013)

Weiwei Qiu, Zibin Zheng, Xinyu Wang, Xiaohu Yang, Michael R. Lyu: Reputation-Aware QoS Value Prediction of Web Services. IEEE SCC 2013: 41-48

Yuanhong Shen, Jianke Zhu, Xinyu Wang, Liang Cai, Xiaohu Yang, Bo Zhou: Geographic Location-Based Network-Aware QoS Prediction for Service Composition. ICWS 2013: 66-74

Xin Xia, David Lo, Xinyu Wang, Bo Zhou: Tag recommendation in software information sites. MSR 2013: 287-296

Lin Gui, Jun Sun, Yang Liu, Yuan Jie Si, Jin Song Dong, Xinyu Wang: Combining model checking and testing with an application to reliability prediction and distribution. ISSTA 2013: 101-111

Xin Xia, David Lo, Xinyu Wang, Bo Zhou: Accurate developer recommendation for bug resolution. WCRE 2013: 72-81

Zhengong Cai, Xiaohu Yang, Xinyu Wang: Business process recovery for system maintenance - An empirical approach. ICSM 2009: 399-402

Chao Huang, Jianling Sun, Xinyu Wang, Yuanjie Si, Di Wu: Preprocessing the noise in legacy user permission assignment data for role mining - An industrial practice. ICSM 2009: 403-406

Xinyu Wang, Jianling Sun, Xiaohu Yang: Experience Report: Reengineering Standalone System into the Service-Partition Distributed Environment. ICSM 2007: 477-480

Xinyu Wang, Jianling Sun, Xiaohu Yang, Zhijun He, Srinivasa R. Maddineni: Business Rules Extraction from Large Legacy Systems.CSMR 2004: 249-253

Bo Zhou, Xin Xia, David Lo, Xinyu Wang: Build Predictor: More Accurate Missed Dependency Prediction in Build Configuration Files.COMPSAC 2014: 53-58