Xiaofeng Yu

  • Doctor of Philosophy (Computer Software and Theory), Nanjing University,Nanjing, China, 2007

  • Master of Engineering(Aerospace Manufacturing Engineering), Nanjing University of Aeronautics and Astronautics, Nanjing, China, 2003

  • Bachelor of Engineering (Aerospace Manufacturing Engineering), Nanjing University of Aeronautics and Astronautics, Nanjing, China, 1998

Research Area

  1. Services Engineering
  2. Software Engineering
  3. Model Driven Engineering

Teaching Courses

  1. Management Information System
  2. Computer Networks
  3. Enterprise Resources Planning
Enter Courses>>

Contact Me

Email:xiaofengyu@nju.edu.cn

TEL(O):86-25-83621159

Research Award

  1. 于笑丰, 2010.12, 商学院本科教学奖一等奖, 南京大学商学院 ,

Research Projects

  1. 周耿、王宇伟、候赟慧、于笑丰、卜茂亮等, 2011-2013, 网络事件中消费者态度群体极化形成机理研究, 国家自然科学基金（青年项目）, , No:71002028
  2. 于笑丰, 2008.09-2010.09, 基于Mobile Service 的应急反应建模与模型转换研究, 计算机软件新技术国家重点实验室（南京大学）,
  3. 李宣东等, 2007.08-2010.12, 支持软件可信性分析和评估的生产线, 国家高技术研究发展计划（863计划）重点项目, , No:2007AA010302
  4. 李宣东, 2007.01-2009.12, 基于场景规约的Web Service组合行为获取与验证研究, 国家自然科学基金委员会, , No:60673125
  5. 李宣东, 2005.1-2008.12, 软件工程学, 国家杰出青年科学基金, , No:60425204
  6. 李宣东等, 2002.12-2007.8, 网构软件形式化理论与方法研究, 国家重点基础研究发展计划（973 计划）, , No:2002CB312001

Published Papers

  1. YU Xiaofeng, 2009, A Web Services Based Approach for Aviation Emergency Response, In: Proceedings of 2009 IEEE Asia-Pacific Services Computing Conference(IEEEAPSCC),IEEE Computer Society,
  2. 张天，张岩，于笑丰，王林章，李宣东, 2008, 基于MDA的设计模式建模与模型转换, 软件学报, 19(9),2203-2217.
  3. Xiaofeng Yu, Yan Zhang, Tian Zhang, Jun Hu, Linzhang Wang, JianHua Zhao, Xuandong Li, 2007, A Model Driven Development Framework for Enterprise Web Services, Information Systems Frontiers, Vol.9, No.4. 391-409. (SCI:000248825200006,EI:074710933647) (A preliminary version of this paper appears in Proceedings of the 10th IEEE International EDOC Enterprise Computing Conference(EDOC 2006))
  4. 张岩, 胡军, 于笑丰, 张天, 李宣东, 郑国梁, 2007, 场景驱动的构件行为抽取, 软件学报, 18(1)，50-61. EI
  5. 于笑丰, 胡军, 李宣东, 郑国梁, 2006, 面向Web service的模型驱动开发方法, 计算机科学, 33(4)，260-265.
  6. Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng, 2006, Deriving Available Behavior All Out from Incompatible Component Compositions, In: Proceedings of the 2nd International Workshop on Formal Aspects of Component Software (FACS 2005), Electronic Notes in Theoretical Computer Science, Elsevier, Vol.160, 349-361. (EI:063210052706)
  7. 胡军, 于笑丰, 张岩, 李宣东, 郑国梁, 2006, 基于场景构件式实时软件设计的一致性检验, 软件学报, 17(1)，48-58. EI
  8. 胡军, 于笑丰, 张岩, 王林章, 李宣东, 郑国梁, 2006, 基于场景规约的构件式系统设计分析与验证, 计算机学报, 26(4)，513-525. EI
  9. 胡军, 于笑丰, 张岩, 王林章, 李宣东, 郑国梁, 2005, 嵌入式软件建模、实现与验证：研究与进展, 计算机科学, 32(12)，16-23.
  10. 张岩, 胡军, 于笑丰, 李宣东, 郑国梁, 2005, 接口自动机--一种用于组件组合的形式系统, 计算机科学, 32(11)，212-217.

Conference Papers & Working Papers

  1. YU Xiaofeng, Teodor Sommestad, Casey Fung,Patrick C. K. Hung, 2008, Emergency Response Framework for Aviation XML Services on MANET, Accepted by ICWS(International Conference on Web Services) 2008, (EI:085211814259)
  2. YU Xiaofeng, HU Jun, ZHANG Yan, ZHANG Tian, WANG Linzhang, ZHAO Jianhua, 2007, Towards a Model Driven Approach to Automatic BPEL Generation, In:Proceedings of Third European Conference on Model Driven Architecture: Foundations and Applications (ECMDA-FA 2007), Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg New York,204-218., Vol.4530. (SCI:000247365200016,EI:075110984435)
  3. Xiaofeng Yu , Jun Hu, Yan Zhang, Tian Zhang, Xuandong Li, Linzhang Wang, and Jianhua Zhao, 2006, A Model Driven Development Framework for Enterprise Web Services, In: Proceedings of 10th IEEE International EDOC Enterprise Computing Conference(EDOC2006), IEEE Computer Society, 75-85. (EI:080611082577)
  4. Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng, 2006, Scenariobased Component Behavior Derivation, In: Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM 2006). Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg, New York, 206-225, Vol. 4260 (SCI:000243128400012,EI:065010297331)
  5. Yan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, and Guoliang Zheng, 2006, Scenario-based Component Behavior Filtration, In: Proceedings of IFIP Working Conference on Software Engineering Techniques (SET 2006), Lecture Notes in Computer Science, Springer Boston, Vol.227, 25-36. (SCI:000242338400003)
  6. Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, and Guoliang Zheng, 2005, Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications, In: Proceedings of IFIP International Conference on Embedded and Ubiquitous Computing (EUC2005), Lecture Notes in Computer Science, Springer, Vol.3824, 395-404. (SCI:000234715700038,EI:06249940213)
  7. Hu Jun, Yu Xiaofeng, Zhang Yan, Zhang Tian, Li Xuandong, and Zheng Guoliang, 2005, Scenario-Based Verification of Component-Based Embedded Software Designs, In: Proceedings of the 34th International Conference on Parallel Processing Workshops (ICPP2005 Workshops), IEEE Computer Society Press, 240-247. (EI:06269956743)

Navigation