PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Cheng, Chih-Hong"

Author of the publication

copydeleteadd this publication to your clipboard
Algorithms for Synthesizing Priorities in Component-based Systems

, , , , , , , and . CoRR, (2011)

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.

Xiaoyu Cheng University of Stuttgart

Hong Chen University of Stuttgart

Tiffany Cheng University of Stuttgart

Univ. -Prof. Dr. Po Wen Cheng University of Stuttgart

Yingxing Cheng University of Stuttgart

 

Other publications of authors with the same name

Distributed Priority Synthesis and its Applications, , , and . CoRR, (2011)A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems, , , and . CoRR, (2010)Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives., , , , , , , and . CoRR, (2017)Formal Consistency Checking over Specifications in Natural Languages., , , and . CoRR, (2014)MGSyn: Automatic Synthesis for Industrial Automation., , , , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 658-664. Springer, (2012)Towards Dependability Metrics for Neural Networks., , , , and . MEMOCODE, page 43-46. IEEE, (2018)Automated Analysis of Multi-View Software Architectures., , and . APSEC, page 725-730. IEEE Computer Society, (2017)FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems, , , and . CoRR, (2009)Architecting Dependable Learning-enabled Autonomous Systems: A Survey., , and . CoRR, (2019)Synthesizing Controllers for Automation Tasks with Performance Guarantees., , and . SPIN, volume 7976 of Lecture Notes in Computer Science, page 154-159. Springer, (2013)