PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hou, Gang"

Author of the publication

copydeleteadd this publication to your clipboard
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC.

, , , , , and . J. Inf. Secur. Appl., (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Elke Gangl University of Stuttgart

Suraj Gangani University of Stuttgart

 

Other publications of authors with the same name

Managing bioethanol supply chain resiliency: a risk-sharing model to mitigate yield uncertainty risk., , , and . Industrial Management and Data Systems, 118 (7): 1510-1527 (2018)A Novel Image Retrieval Method Based on Mutual Information Descriptors., , , , and . ICIC (2), volume 7996 of Lecture Notes in Computer Science, page 435-442. Springer, (2013)High Spectral Resolution Raman Measurements Using Light-Emitting Diode as Excitation Based on Weighted Spectral Reconstruction Method., , , , , , , and . IEEE Access, (2019)Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration., , , , and . TASE, page 113-120. IEEE, (2019)Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC., , , , , and . J. Inf. Secur. Appl., (2016)Algorithm for Public Transit Trip with Minimal Transfer Times and Shortest Travel Time., , and . KSEM, volume 4798 of Lecture Notes in Computer Science, page 562-567. Springer, (2007)N-Times Trilateral Centroid Weighted Localization Algorithm of Wireless Sensor Networks., , , and . iThings/CPSCom, page 351-357. IEEE Computer Society, (2011)Real-Time Fault Repair Scheme Based on Improved Genetic Algorithm., , and . IEEE Access, (2019)Energy Consumption Analysis Method of CPS Software Based on Architecture Modeling., , , , , and . FCST, page 34-39. IEEE Computer Society, (2015)Accelerating Software Model Checking Based on Program Backbone., , , , , and . APPT, volume 8299 of Lecture Notes in Computer Science, page 347-358. Springer, (2013)