dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Farn Wang (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeng-Dian Huang, Lin-Zan Cai, Farn Wang: LTL Model Checking for Recursive Programs. ATVA 2009: 382-396
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarn Wang, Geng-Dian Huang: Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. TestCom/FATES 2008: 234-249
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarn Wang, Geng-Dian Huang, Fang Yu: TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. IEEE Trans. Software Eng. 32(7): 510-526 (2006)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeng-Dian Huang, Farn Wang: Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems. ATVA 2005: 144-158
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarn Wang, Rong-Shiung Wu, Geng-Dian Huang: Verifying Timed and Linear Hybrid Rule-Systems with RED. SEKE 2005: 448-454
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarn Wang, Geng-Dian Huang, Fang Yu: Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol. J. Embedded Computing 1(1): 39-56 (2005)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang: BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. IEEE Trans. Software Eng. 30(6): 403-417 (2004)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarn Wang, Geng-Dian Huang, Fang Yu: Symbolic Simulation of Real-Time Concurrent Systems. RTCSA 2003: 595-617

Selection of 8 from 79 records - Farn Wang has 37 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page