Navigation

  • About
  • Resume
  • Research Fields
  • Enrollment and Training
  • Course
  • Scientific
  • Academic Achievements
  • Honor
头像

Dudehui

Related to the teacher

About

  • Department:
  • Gender: female
  • Post:
  • Graduate School:
  • Degree:
  • Academic Credentials:
  • Tel: 62233155－113
  • Email: d_dehui@hotmail.com
  • Office:
  • Address: North Zhongshan Road 3663, Science building 223C, Shanghai, China
  • PostCode:
  • Fax:

Education

WorkExperience

Resume

Other Appointments

teaching:

  1. UML, software engineering
  2. software process
  3. project management
  4. xml

 

Research Fields

  1. Trustworthy software engineering; model-driven development
  2. Time automata, process algebra
  3. Modeling and verifying real-time stochastic hybrid system
  4. Stastical model checking
  5. Synthesis of control strategy for real-time system based on timed game; performance analyisis of control strategy with SMC

Enrollment and Training

Course

Scientific

Academic Achievements

  1.  Alexandre David, Dehui du, Larsen G. Kim, an evaluation framework for energy-aware building using statistical model checking, SCIENCE CHINA Information Sciences, December 2012 Vol. 55 No. 12: 2694–2707, (SCI)

  2. Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, and Sean Sedwards. Statistical Model Checking for Stochastic Hybrid Systems. 1st International Workshop on Hybrid Systems and Biology 2012, pages 122-136, EPTCS volume 92, DOI: 10.4204/EPTCS.92.9.

    3.Dehui Du, Xijiao Xiong, SpecifyingCommunicationBehavioursBetweenComponentsWith Real-timerCOS-Case Study ATP, COMPASC WorkshopCORCS2011.(EI)

  3. Dehui Du, Jing Liu, Hybrid Interface Automata for Component Interfaces, CNSI 2011, pp193-197(EI)
  4. Dehui DU,Ling YING, Probabilistic Coordination Language for Component Dynamic Composition, TASE 2009,pp317-318.(EI)
  5. Dehui DU, Jing LIU,etc,BAS: A case study for modeling and verification in trustable model driven development, TTSS, Electronic Notes in Theoretical Computer Science, Volume 234,pp69-87, 2009.(EI)
  6. Dehui DU, Honghua Cao, Jing Liu, A rigorous model of contract-based service component model architecture, International Conference on Computer Science and Software Engineering (CSSE 2008),December,12,2008.(EI)
  7. Dehui DU‚ Honghua Cao‚ Keqing He‚ MCF4U: A Flexible Model Checking Framework for UML Models‚ DCDIS Series B‚ Vol.14(S6)‚ Special issue on software engineering and complex networks‚2007‚281-286.(期刊杂志)
  8. Yue XIE, Dehui DU‚ Jing LIU, Towards the verification of services collaboration ，33rd Annual IEEE International computer software and application conference,2009.12 (EI)
  9. 《UML统一建模方法》教学改革探讨－－案例驱动和体验式教学,南京大学学报,核心期刊杂志,2009,pp96-99.
  10. 杜德慧，应时，何克清, 一种基于ebXML规范构建软组件库的方法[J], 武汉大学学报（理学版）,2005,51(1)pp87-90.
  11. Dehui DU, Honghua CAO Keqing HE,A Coalgebraic Approach for the Formalization of UML Statecharts, JICC2005,pp793-798, world scientific publisher, ISBN:981-256-532-9.（ISTP）
  12. Dehui Du, Shi Ying, Keqing He, Yangfan He, An Approach For Constructing Software Component Repository In Grid Environments,GCC2004,LNCS,Springer,2004, pp75-82.(SCIE)
     
  13. Jing Liu, Xijiao Xiong , Dehui Du, Trustability Improvement of an Automatic Train Protection System, CNSI2012. (EI)
  14. yan wen, Dehui du, Algorithms for Selecting Interactions among Timed Components Based on TIOA/TIOTS, Proceedings of ICCSNT 2012. (EI)
  15. Haiying Sun,Jing Liu and Dehui Du, Integration of Safety Verification with Conformance Testing in Real-time Reactive System, Proc. of 19th Asia-Pacific Software Engineering Conference (APSEC 2012), IEEE Computer Society, pp10-19.

Honor