Chih-Hong Cheng 鄭志弘

Permanent researcher in the software dependability (SD) research group at fortiss - Research Institute of the Free State of Bavaria.

Experience:

Before fortiss, I was a scientist in ABB Corporate Research Germany, working on projects related to intelligent production systems, cloud-related technologies for industrial automation (PaaS, IaaS), and the analysis of complex industrial software systems. I received my doctoral degree in CS from TU München, working on automatic control software synthesis for embedded systems.

Papers (DBLP):

• Runtime monitoring neuron activation patterns [draft]
• Towards dependability metrics for neural networks [MEMOCODE'18 (pdf)]
• Quantitative projection coverage for testing ML-enabled autonomous systems [ATVA'18 (pdf)]
• Verification of binarized neural networks via inter-neuron factoring [VSTTE'18 (pdf)]
• Neural networks for safety-critical applications - challenges, experiments and perspectives [DATE'18 (pdf)]
• Maximum resilience of artificial neural networks [ATVA'17 (pdf) (video)]
• autoCode4: Structural controller synthesis [TACAS'17 (pdf)]
• Structural synthesis for GXW specifications [CAV'16 (pdf) (video)]
• Compositional parameter synthesis [FM'16]
• Semantic degrees for Industrie 4.0 engineering [ESEC/FSE'15 (pdf)]
• Formal consistency checking over specifications in natural languages [DATE'15 (pdf) (slides)]
• G4LTL-ST: Automatic generation of PLC programs [CAV'14 (pdf)(video)]
• JBernstein: A validity checker for generalized polynomial constraints [CAV'13 (pdf)]
• MGSyn: Automatic synthesis for industrial automation [CAV'12 (pdf) (video1, video2) ]
• Algorithms for synthesizing priorities in component based systems [ATVA'11 (pdf)]

Informal tech writings on facebook (in traditional Chinese only):

• [20170821] AI, 成為非主流的一流
• [20160714] 自動駕駛的安全性？