Dehui Du

Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis: Optimizing Control Strategy Using Statistical Model Checking. NASA Formal Methods 2013: 352-367

Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou: An evaluation framework for energy aware buildings using statistical model checking. SCIENCE CHINA Information Sciences 55(12): 2694-2707 (2012)

Haiying Sun, Jing Liu, Dehui Du: Integration of Safety Verification with Conformance Testing in Real-Time Reactive System. APSEC 2012: 10-19

Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards: Statistical Model Checking for Stochastic Hybrid Systems. HSB 2012: 122-136

Dehui Du, Xijiao Xiong: Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP. COMPSAC Workshops 2011: 230-235

Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang: BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. Electr. Notes Theor. Comput. Sci. 243: 69-87 (2009)

Yue Xie, Dehui Du, Jing Liu, Zuohua Ding: Towards the Verification of Services Collaboration. COMPSAC (2) 2009: 428-433

Dehui Du, Ling Yin: Probabilistic Coordination Language for Component Dynamic Composition. TASE 2009: 317-318

Dehui Du, Jing Liu, Honghua Cao: A Rigorous Model of Contract-Based Service Component Architecture. CSSE (2) 2008: 409-412

Yutao Ma, Keqing He, Dehui Du, Jing Liu, Yulan Yan: A Complexity Metrics Set for Large-Scale Object-Oriented Software Systems. CIT 2006: 189

Honghua Cao, Shi Ying, Dehui Du: Towards Model-based Verification of BPEL with Model Checking. CIT 2006: 190

Yutao Ma, Keqing He, Dehui Du: A Qualitative Method for Measuring the Structural Complexity of Software Systems Based on Complex Networks. APSEC 2005: 257-263

Dehui Du, Shi Ying, Keqing He, Yangfan He: An Approach for Constructing Software Component Repository in Grid Environments. GCC Workshops 2004: 75-82