Concepedia

Dehui Du

DD

16

Publications

412

Citations

12

H-Index

2004

Active since

Affiliations

East China Normal University(Current)

Shanghai Key Laboratory of Trustworthy Computing

Wuhan University

Institut national de recherche en sciences et technologies du numérique

Aalborg University

Dehui Du is an author at East China Normal University specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsSoftware DesignFormal VerificationVerificationSoftware EngineeringModeling And SimulationSystem Software

Publications per year

2004–2023

16

Publications

16

Statistical Model Checking for Stochastic Hybrid Systems

Alexandre David, Dehui Du, Kim G. Larsen et al. · Electronic Proceedings in Theoretical Computer Science · 2012 · 83 citations · Full text

Stochastic Hybrid System, Engineering, Statistical Model Checking +14

An evaluation framework for energy aware buildings using statistical model checking

Alexandre David, Dehui Du, Kim G. Larsen et al. · Science China Information Sciences · 2012 · 50 citations

Built Environment, Engineering, Smart Building +11

A qualitative method for measuring the structural complexity of software systems based on complex networks

Yutao Ma, Keqing He, Dehui Du · 2005 · 46 citations

Software Maintenance, Engineering, Software Systems +24

A Complexity Metrics Set for Large-Scale Object-Oriented Software Systems

Yutao Ma, Keqing He, Dehui Du et al. · 2006 · 39 citations

Software Maintenance, Engineering, Large-scale Software Systems +22

Towards Model-based Verification of BPEL with Model Checking

Honghua Cao, Shi Ying, Dehui Du · 2006 · 33 citations

Engineering, Verification, Software Engineering +19

Rows per page

1–5 of 16