Permanent researcher in fortiss - Landesforschungsinstitut des Freistaats Bayern, heading the software dependability (SD) research group. fortiss is a Bavarian state-funded research & transfer institute located in Munich, with focus on software and system engineering.


Coordinate:

fortiss - Landesforschungsinstitut des Freistaats Bayern
GuerickeStr. 25
80805 Munich, Germany

Contact: 

cheng(at)fortiss(dot)org
    View Chih-Hong Cheng's profile on LinkedIn  

    Experience: 

    Previously
    , 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
    • Maximum resilience of artificial neural networks [ATVA'17 (preprint)]
    • autoCode4: Structural controller synthesis [TACAS'17 (preprint)]
    • Structural synthesis for GXW specifications [CAV'16 (tech report) (video)
    • Compositional parameter synthesis [FM'16]
    • Semantic degrees for Industrie 4.0 engineering [ESEC/FSE'15 (tech report)]
    • Formal consistency checking over specifications in natural languages [DATE'15 (tech report) (slides)]
    • G4LTL-ST: Automatic generation of PLC programs [CAV'14 (tech report) (video)
    • JBernstein: A validity checker for generalized polynomial constraints [CAV'13 (preprint)]
    • MGSyn: Automatic synthesis for industrial automation [CAV'12 (preprint) (video1, video2]
    • Algorithms for synthesizing priorities in component based systems [ATVA'11 (preprint)]

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