Dehui Du
Guangxi Medical University(CN)The People's Hospital of Guangxi Zhuang Autonomous Region(CN)Department of Cultural Heritage(LT)East China Normal University(CN)
Publications by Year
Research Areas
Formal Methods in Verification, Model-Driven Software Engineering Techniques, Advanced Software Engineering Methodologies, Embedded Systems Design Techniques, Real-Time Systems Scheduling
Most-Cited Works
- → Statistical Model Checking for Stochastic Hybrid Systems(2012)83 cited
- → An evaluation framework for energy aware buildings using statistical model checking(2012)50 cited
- → A qualitative method for measuring the structural complexity of software systems based on complex networks(2005)46 cited
- → A Complexity Metrics Set for Large-Scale Object-Oriented Software Systems(2006)39 cited
- → Towards Model-based Verification of BPEL with Model Checking(2006)33 cited
- → Optimizing Control Strategy Using Statistical Model Checking(2013)33 cited
- →