Skip navigation
  • 中文
  • English

DSpace CRIS

  • DSpace logo
  • Home
  • Organizations
  • Researchers
  • Research Outputs
  • Explore by
    • Organizations
    • Researchers
    • Research Outputs
  • Academic & Publications
  • Sign in
  • 中文
  • English
  1. NTU Scholars
  2. Research Outputs

Browsing by Author


Jump to:
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 117  next >
Issue DateTitleAuthor(s)SourcescopusWOSFulltext/Archive link
2013273-289 Temporal specification mining for anomaly analysisWang, F.; Wu, J.-H.; Huang, C.-H.; Chang, C.-C.; Li, C.-C.; FARN WANG Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)30
1997A Temporal Logic for Real-Time Partial-Ordering with Named TransactionsF. Wang; FARN WANG Theoretical Computer Science 00
2016ABCA: Android Black-box Coverage Analyzer of mobile app without source codeHuang, S.-Y.; Yeh, C.-H.; Wang, F.; Huang, C.-H.; FARN WANG Proceedings of 2015 IEEE International Conference on Progress in Informatics and Computing, PIC 201510
1992Asynchronous Real-Time Event Logic王 凡; Mok, A. K.; Wang, Farn ; Mok, A. K.International Computer Symposium
2006Automated Technology for Verification and Analysis (ATVA 2003/2004) - PrefaceWang, Farn; FARN WANG International Journal of Foundations of Computer Science00
2004Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. ProceedingsFARN WANG 00
2016Automated testing of web applications with text inputWu, C.-Y.; Wang, F.; Weng, M.-H.; Lin, J.-W.; FARN WANG Proceedings of 2015 IEEE International Conference on Progress in Informatics and Computing, PIC 201500
2005Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time SystemsG.-D. Huang; F. Wang; FARN WANG 3rd ATVA (Automated Technology for Verification and Analysis)76
1999Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes.Wang, Farn; FARN WANG FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I10
1998Automatic Verification on the Large.Wang, Farn; Hsiung, Pao-Ann; FARN WANG 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings120
2004BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reductionWang, Farn ; Schmidt, K.; Yu, Fang; Huang, Geng-Dian; Wang, Bow-YawIEEE Transactions on Software Engineering 31
2015Complexity of node coverage gamesWang, F.; Schewe, S.; Wu, J.-H.; FARN WANG Theoretical Computer Science11
2015CPAREC: Verifying recursive programs via source-to-source program transformation (competition contribution)Chen, Y.-F.; Hsieh, C.; Tsai, M.-H.; Wang, B.-Y.; Wang, F.; FARN WANG Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)10
2002Efficient and User-Friendly Verification.F. Wang; P.-A. Hsiung; FARN WANG IEEE Transactions on Computers4835
2003Efficient Data Structure for Fully Symbolic Verification of Real-Time Software SystemsF. Wang; FARN WANG TACAS'2000, LNCS 17852416
2008Efficient model-checking of dense-time systems with time-convexity analysisWang, F.; FARN WANG Proceedings - Real-Time Systems Symposium30
2013Efficient model-checking of dense-time systems with time-convexity analysisWang, Farn; FARN WANG Theoretical Computer Science43
2011Efficient verification of distributed real-time systems with broadcasting behaviorsWang, F.; Yao, L.-W.; Yang, Y.-L.; FARN WANG Real-Time Systems86
2003Efficient Verification of Timed Automata with BDD-like Data-StructuresF. Wang,; FARN WANG 4th VMCAI (Verification, Model-Checking, and Abstract-Interpretation)446
2004Efficient Verification of Timed Automata with BDD-like Data-StructuresWang, Farn; FARN WANG International Journal on Software Tools for Technology Transfer 446
Showing results 1 to 20 of 117  next >

臺大位居世界頂尖大學之列,為永久珍藏及向國際展現本校豐碩的研究成果及學術能量,圖書館整合機構典藏(NTUR)與學術庫(AH)不同功能平台,成為臺大學術典藏NTU scholars。期能整合研究能量、促進交流合作、保存學術產出、推廣研究成果。

To permanently archive and promote researcher profiles and scholarly works, Library integrates the services of “NTU Repository” with “Academic Hub” to form NTU Scholars.

總館學科館員 (Main Library)
醫學圖書館學科館員 (Medical Library)
社會科學院辜振甫紀念圖書館學科館員 (Social Sciences Library)

開放取用是從使用者角度提升資訊取用性的社會運動,應用在學術研究上是透過將研究著作公開供使用者自由取閱,以促進學術傳播及因應期刊訂購費用逐年攀升。同時可加速研究發展、提升研究影響力,NTU Scholars即為本校的開放取用典藏(OA Archive)平台。(點選深入了解OA)

  • 請確認所上傳的全文是原創的內容,若該文件包含部分內容的版權非匯入者所有,或由第三方贊助與合作完成,請確認該版權所有者及第三方同意提供此授權。
    Please represent that the submission is your original work, and that you have the right to grant the rights to upload.
  • 若欲上傳已出版的全文電子檔,可使用Sherpa Romeo網站查詢,以確認出版單位之版權政策。
    Please use Sherpa Romeo to find a summary of permissions that are normally given as part of each publisher's copyright transfer agreement.
  • 網站簡介 (Quickstart Guide)
  • 使用手冊 (Instruction Manual)
  • 線上預約服務 (Booking Service)
  • 方案一:臺灣大學計算機中心帳號登入
    (With C&INC Email Account)
  • 方案二:ORCID帳號登入 (With ORCID)
  • 方案一:定期更新ORCID者,以ID匯入 (Search for identifier (ORCID))
  • 方案二:自行建檔 (Default mode Submission)
  • 方案三:學科館員協助匯入 (Email worklist to subject librarians)
Build with DSpace-CRIS - Extension maintained and optimized by Logo 4SCIENCE Feedback