( en | de | ru )

 

Disambiguation of "Peng, Zebo"

Author of the publication

copydeleteadd this publication to your clipboard
On Reachability in Parameterized Phaser Programs.

, , , , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 299-315. Springer, (2019)

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.

Zebo Zhang

Inga Zebothsen

Changgeng Peng

Xiao-Wei Peng

Martin Peng

 

Other publications of authors with the same name

On the timing analysis of the dynamic segment of FlexRay., , , and . SIES, page 94-101. IEEE, (2012)Genetic algorithm based estimation of non-functional properties for GPGPU programs., , , and . J. Syst. Archit., (2020)Inter-domain movement of functionality as a repartitioning strategy for hardware/software co-design., and . J. Syst. Archit., 43 (1-5): 87-98 (1997)Modeling and formal verification of embedded systems based on a Petri net representation., , and . J. Syst. Archit., 49 (12-15): 571-598 (2003)An improved register-transfer level functional partitioning approach for testability., and . J. Syst. Archit., 46 (3): 209-223 (2000)An Integrated Framework for the Design and Optimization of SOC Test Solutions., and . J. Electron. Test., 18 (4-5): 385-400 (2002)Process-Variation and Temperature Aware SoC Test Scheduling Technique., , and . J. Electron. Test., 29 (4): 499-520 (2013)System Level Hardware/Software Partitioning Based on Simulated Annealing and Tabu Search., , , and . Des. Autom. Embed. Syst., 2 (1): 5-32 (1997)Day 2: Mini-tutorial: Challenges to the design and optimization of cyber-physical systems.. IDT, page xvii. IEEE, (2014)Stability-aware integrated routing and scheduling for control applications in Ethernet networks., , , , , and . DATE, page 682-687. IEEE, (2018)