Travelled to:1 × Austria
1 × Germany
1 × Italy
1 × Russia
2 × France
2 × USA
Collaborated with:H.Rueß C.Buckl A.Knoll R.Yan Y.Chai N.Shankar Y.Hamza H.Ruess C.Huang S.Stattelmann B.Jobstmann M.Luttenberger M.Geisinger T.Guelfirat C.Messinger J.O.Schmitt M.Schnelte P.Weber
Talks about:synthesi (4) industri (2) automat (2) specif (2) semant (2) formal (2) degre (2) game (2) constraint (1) technolog (1)
Person: Chih-Hong Cheng
DBLP: Cheng:Chih=Hong
Contributed to:
2015
2015
201420132012
2011
2011
20112016Wrote 9 papers:
- DATE-2015-YanCC #consistency #natural language #specification
- Formal consistency checking over specifications in natural languages (RY, CHC, YC), pp. 1677–1682.
- ESEC-FSE-2015-ChengGMSSW #formal method #semantics
- Semantic degrees for Industrie 4.0 engineering: deciding on the degree of semantic formalization to select appropriate technologies (CHC, TG, CM, JOS, MS, PW), pp. 1010–1013.
- CAV-2014-ChengHRS #automation #generative #named #source code
- G4LTL-ST: Automatic Generation of PLC Programs (CHC, CHH, HR, SS), pp. 541–549.
- CAV-2013-ChengRS #constraints #named #polynomial
- JBernstein: A Validity Checker for Generalized Polynomial Constraints (CHC, HR, NS), pp. 656–661.
- CAV-2012-ChengGRBK #automation #industrial #named #synthesis
- MGSyn: Automatic Synthesis for Industrial Automation (CHC, MG, HR, CB, AK), pp. 658–664.
- CIAA-2011-ChengJBK #on the #synthesis
- On the Hardness of Priority Synthesis (CHC, BJ, CB, AK), pp. 110–117.
- TACAS-2011-ChengKLB #algorithm #framework #game studies #platform #research
- GAVS+: An Open Platform for the Research of Algorithmic Game Solving (CHC, AK, ML, CB), pp. 258–261.
- VMCAI-2011-ChengRKB #embedded #fault tolerance #game studies #synthesis #theory and practice #using
- Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice (CHC, HR, AK, CB), pp. 118–133.
- CAV-2016-ChengHR #specification #synthesis
- Structural Synthesis for GXW Specifications (CHC, YH, HR), pp. 95–117.