BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cheng:Chih=Hong

Contributed to:

DATE 20152015
ESEC/FSE 20152015
CAV 20142014
CAV 20132013
CAV 20122012
CIAA 20112011
TACAS 20112011
VMCAI 20112011
CAV (1) 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.