24 citations · 96 across the 43 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 2 cited
G4LTL-ST: Automatic Generation of PLC Programs
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess +1
G4LTL-ST automatically synthesizes control code for industrial Programmable Logic Controls (PLC) from timed behavioral specifications of input-output signals. These specifications…
cs.SE2014★ 6 cited
Formal Consistency Checking over Specifications in Natural Languages
Rongjie Yan, Chih-Hong Cheng, Guangquan Zhang +1
Early stages of system development involve outlining desired features such as functionality, availability, or usability. Specifications are derived from these features that concret…