PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Du, Chenglie"

Author of the publication

copydeleteadd this publication to your clipboard
Semantics-based memory leak detection for C programs.

, , , , , and . FSKD, page 2283-2287. IEEE, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Qian Du University of Stuttgart

Christian Dürnhofer University of Stuttgart

Andrian Dudonu University of Stuttgart

Tobias Dürr University of Stuttgart

Margun Dürr University of Stuttgart

 

Other publications of authors with the same name

An Implementation towards Integrated Simulation of Cyber-physical Systems., , , , and . GreenCom/iThings/CPScom, page 789-796. IEEE, (2013)Extension of TD-pi Calculus in Real-Time Distributed Virtual-Test System Description., , , and . CSSE (3), page 363-369. IEEE Computer Society, (2008)978-0-7695-3336-0.WSDL-Based Automated Test Data Generation for Web Service., , , , and . CSSE (2), page 731-737. IEEE Computer Society, (2008)978-0-7695-3336-0.Modeling and Simulating Adaptive Multi-agent Systems with CAMLE., , and . COMPSAC, page 147-152. IEEE Computer Society, (2015)Allocation and Scheduling of Strictly Periodic Tasks in Multi-core Real-Time Systems., , , and . RTCSA, page 130-138. IEEE Computer Society, (2016)Semantics-based memory leak detection for C programs., , , , , and . FSKD, page 2283-2287. IEEE, (2015)Research on Real-Time Software Sensors Based on Aspect Reconstruction and Reentrant., , and . ICIC (1), volume 5754 of Lecture Notes in Computer Science, page 715-723. Springer, (2009)LTS Semantics Model of Event-B Synchronization Control Flow Design Patterns., , , and . JIPS, 15 (3): 570-592 (2019)Modelling the Embedded Control System Using iUML-B Pattern State Machine., , , and . J. Control. Sci. Eng., (2018)A DEA Based Hybrid Algorithm for Bi-objective Task Scheduling in Cloud Computing., , and . CCIS, page 63-67. IEEE, (2018)