Complete SAT-Based Model Checking for Context-Free Processes.

Geng-Dian Huang

Geng-Dian Huang Bow-Yaw Wang Complete SAT-Based Model Checking for Context-Free Processes. 115-134 2010 21 Int. J. Found. Comput. Sci. 2 https://doi.org/10.1142/S0129054110007179 db/journals/ijfcs/ijfcs21.html#HuangW10

Geng-Dian Huang Lin-Zan Cai Farn Wang LTL Model Checking for Recursive Programs. 382-396 2009 ATVA https://doi.org/10.1007/978-3-642-04761-9_28 conf/atva/2009 db/conf/atva/atva2009.html#HuangCW09 Farn Wang Geng-Dian Huang Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. 234-249 2008 TestCom/FATES https://doi.org/10.1007/978-3-540-68524-1_17 conf/pts/2008 db/conf/pts/testcom2008.html#WangH08 Geng-Dian Huang Bow-Yaw Wang Complete SAT-Based Model Checking for Context-Free Processes. 51-65 2007 conf/atva/2007 ATVA https://doi.org/10.1007/978-3-540-75596-8_6 db/conf/atva/atva2007.html#HuangW07

Farn Wang Geng-Dian Huang Fang Yu 0001 TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. 510-526 2006 32 IEEE Trans. Software Eng. 7 https://doi.org/10.1109/TSE.2006.71 http://doi.ieeecomputersociety.org/10.1109/TSE.2006.71 db/journals/tse/tse32.html#WangHY06

Farn Wang Geng-Dian Huang Fang Yu 0001 Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol. 39-56 2005 1 J. Embed. Comput. 1 http://content.iospress.com/articles/journal-of-embedded-computing/jec00004 db/journals/jec/jec1.html#WangHY05

Geng-Dian Huang Farn Wang Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems. 144-158 2005 conf/atva/2005 ATVA https://doi.org/10.1007/11562948_13 db/conf/atva/atva2005.html#HuangW05 Farn Wang Rong-Shiung Wu Geng-Dian Huang Verifying Timed and Linear Hybrid Rule-Systems with RED. 448-454 2005 conf/seke/2005 SEKE db/conf/seke/seke2005.html#WangWH05

Farn Wang Karsten Schmidt 0004 Fang Yu 0001 Geng-Dian Huang Bow-Yaw Wang BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. 403-417 2004 30 IEEE Trans. Software Eng. 6 https://doi.org/10.1109/TSE.2004.15 http://doi.ieeecomputersociety.org/10.1109/TSE.2004.15 db/journals/tse/tse30.html#WangSYHW04

Farn Wang Geng-Dian Huang Fang Yu 0001 Symbolic Simulation of Real-Time Concurrent Systems. 595-617 https://doi.org/10.1007/978-3-540-24686-2_37 2003 conf/rtcsa/2003 RTCSA db/conf/rtcsa/rtcsa2003.html#WangHY03 Lin-Zan Cai Bow-Yaw Wang Farn Wang Karsten WolfKarsten Schmidt 0004 Rong-Shiung Wu Fang Yu 0001