Results 1-117 of 117 (Search time: 0.006 seconds).

Issue DateTitleAuthor(s)TypescopusWOSFulltext/Archive link
12019Machine Learning Techniques for Recognizing IoT DevicesLin, Y.C.; Wang, F.; FARN WANG conference paper00
22019Synthesize Models for Quantitative Analysis Using Automata Learning.Chen, Yu-Fang; Chung, Hsiao-chen; Hung, Wen-Chi; Tsai, Ming-Hsien; Wang, Bow-Yaw; Wang, Farn; FARN WANG conference paper00
32018Theoretical aspects of computingSampaio, Augusto; Wang, Farn; FARN WANG journal article00
42017Model-checking iterated gamesHuang, C.-H.; Schewe, S.; Wang, F.; FARN WANG journal article11
52017Synthesizing coalitions for multi-agent gamesJi, W.; Wang, F.; Wu, P.; FARN WANG conference paper00
62017Using Semantic Similarity in Crawling-Based Web Application TestingLin, J.-W.; Wang, F.; Chu, P.; FARN WANG conference paper30
72017An Experiment on Decision Diagrams for Model Checking Probabilistic Timed AutomataJi, W.; Wang, F.; Wu, P.; Lv, Y.; FARN WANG conference paper00
82016Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, ProceedingsFARN WANG conference paper00
92016ABCA: Android Black-box Coverage Analyzer of mobile app without source codeHuang, S.-Y.; Yeh, C.-H.; Wang, F.; Huang, C.-H.; FARN WANG conference paper10
102016Automated testing of web applications with text inputWu, C.-Y.; Wang, F.; Weng, M.-H.; Lin, J.-W.; FARN WANG conference paper00
112016PrefaceSampaio, A.; Wang, F.; FARN WANG other0
122016PAC learning-based verification and model synthesisChen, Y.-F.; Hsieh, C.; Leng?l, O.; Lii, T.-J.; Tsai, M.-H.; Wang, B.-Y.; Wang, F.; FARN WANG conference paper100
132016A Game-Theoretic Foundation for the Maximum Software Resilience against Dense ErrorsHuang, C.-H.; Peled, D.A.; Schewe, S.; Wang, F.; FARN WANG journal article84
142015Model-checking fair dense-time systems with propositions and eventsWang, F.; FARN WANG journal article22
152015Complexity of node coverage gamesWang, F.; Schewe, S.; Wu, J.-H.; FARN WANG journal article11
162015CPAREC: 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 conference paper10
172015An extension of ATL with strategy interactionWang, F.; Schewe, S.; Huang, C.-H.; FARN WANG journal article52
182014Verifying Recursive Programs Using Intraprocedural Analyzers.Chen, Yu-Fang; Hsieh, Chiao; Tsai, Ming-Hsien; Wang, Bow-Yaw; Wang, Farn; FARN WANG conference paper20
192013273-289 Temporal specification mining for anomaly analysisWang, F.; Wu, J.-H.; Huang, C.-H.; Chang, C.-C.; Li, C.-C.; FARN WANG conference paper30
202013Model-checking iterated gamesHuang, C.-H.; Schewe, S.; Wang, F.; FARN WANG conference paper50
212013Efficient model-checking of dense-time systems with time-convexity analysisWang, Farn; FARN WANG journal article43
222012Rapid recovery for systems with scarce faultsHuang, C.-H.; Peled, D.; Schewe, S.; Wang, F.; FARN WANG conference paper30
232012Symbolic consistency checking of OpenMP parallel programsYu, F.; Yang, S.-C.; Wang, F.; Chen, G.-C.; Chan, C.-C.; FARN WANG conference paper40
242012Symbolic Consistency Checking of OpenMP Parallel ProgramsYu, Fang; Yang, Shun-Ching; Wang, Farn; Chen, Guan-Cheng; Chan, Che-Chang; FARN WANG journal article01
252011Intelligent test oracle construction for reactive systems without explicit specificationsWang, F.; Yao, L.-W.; Wu, J.-H.; FARN WANG conference paper100
262011A temporal logic for the interaction of strategiesWang, F.; Huang, C.-H.; Yu, F.; FARN WANG conference paper140
272011Regression testing of bug-fixes with AI techniquesWang, F.; Wu, C.J.; Lee, Y.-C.; Yao, L.W.; FARN WANG conference paper00
282011Regression testing based on neural networks and program slicing techniquesWang, F.; Yang, S.-C.; Yang, Y.-L.; FARN WANG conference paper50
292011Evolving a test oracle in black-box testingWang, F.; Wu, J.-H.; Huang, C.-H.; Chang, K.-H.; FARN WANG conference paper60
302011Efficient verification of distributed real-time systems with broadcasting behaviorsWang, F.; Yao, L.-W.; Yang, Y.-L.; FARN WANG journal article84
312010Lazy decision diagrams for word-level model manipulation in software verificationWang, F.; FARN WANG conference paper00
322009LTL model checking for recursive programsHuang, G.-D.; Cai, L.-Z.; Wang, F.; FARN WANG conference paper10
332009Symbolic branching bisimulation-checking of dense-time systems in an environmentWang, F.; FARN WANG conference paper00
342008Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.Wang, Farn; Huang, Geng-Dian; FARN WANG conference paper00
352008Program repair suggestions from graphical state-transition specificationsWang, F.; Cheng, C.-H.; FARN WANG conference paper60
362008Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions.Wang, Farn; FARN WANG conference paper00
372008Time-progress evaluation for dense-time automata with concave path conditionsWang, F.; FARN WANG conference paper30
382008Specification Formalisms and Models.Wang, Farn; FARN WANG book chapter
392008Efficient model-checking of dense-time systems with time-convexity analysisWang, F.; FARN WANG conference paper30
402007程式執行時間分析的新理論(2/3)王凡; 王凡 report
412007Symbolic Simulation-Checking of Dense-Time Automata.Wang, Farn; FARN WANG conference paper50
422007REDLIB for the formal verification of embedded systemsWang, F.; FARN WANG conference paper150
432007Test automation for kernel code and disk arrays with virtual devicesCai, L.-Z.; Wu, R.-S.; Huang, W.-T.; Wang, F.; FARN WANG conference paper10
442006複雜嵌入式系統的正規整合式發展技術架構(2/3)王凡; 王凡 report
452006TCTL Inevitability Analysis of Dense-Time Systems: From Theory to EngineeringWang, Farn ; Huang, Geng-Dian; Yu, Fangjournal article167
462006Automated Technology for Verification and Analysis (ATVA 2003/2004) - PrefaceWang, Farn; FARN WANG journal article00
472005Symbolic Verification of Distributed Real-Time Systems with Complex SynchronizationsFARN WANG conference paper10
482005Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time SystemsG.-D. Huang; F. Wang; FARN WANG conference paper76
492005Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structuresWang, Farn journal article4126
502005Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocolWang, Farn ; Huang, Geng-Dian; Yu, Fangjournal article
512005Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, ProceedingsFARN WANG conference paper00
522004Inductive Composition of Numbers with Maximum, Minimum, and Addition - A New Theory for Program Execution-Time AnalysisFARN WANG ; Wang, Farn journal article00
532004Formal Verification of Timed Systems: A Survey and PerspectiveFalk, H.; FARN WANG journal article6647
542004混合系統的全符號式自動化分析軟體工具環境(2/3)王凡; 王凡 report
552004即時系統全符號式驗證工具的底層基礎技術(3/3)王凡; 王凡 report
562004Efficient Verification of Timed Automata with BDD-like Data-StructuresFARN WANG ; Wang, Farn journal article446
572004Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness AssumptionsFARN WANG conference paper62
582004Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-StructuresFARN WANG conference paper107
592004BDD-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-Yawjournal article31
602004Reachability solution characterization of parametric real-time systemsWang, Farn ; Yen, Hsu-Chun journal article21
612004Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. ProceedingsFARN WANG conference paper00
622004Reachability solution characterization of parametric real-time systemsWang, F.; Yen, H.-C.; FARN WANG conference paper21
632004Formal verification of timed systems: A survey and perspectiveWang, F.; FARN WANG conference paper6647
642003Numerical Coverage Estimation for the Symbolic Simulation of Real-Time SystemsFARN WANG conference paper65
652003混合系統的全符號式自動化分析軟體工具環境(1/3)王凡; 王凡 report
662003即時系統全符號式驗證工具的底層基礎技術(2/3)王凡; 王凡 report
672003Timing Parameter Characterization of Real-Time SystemsFARN WANG conference paper64
682003TCTL Inevitability Analysis of Dense-Time SystemsFARN WANG conference paper84
692003Verification of Embedded Systems with BDD-like Data-StructuresFARN WANG conference paper
702003Symbolic Simulation of Real-Time Concurrent SystemsFARN WANG conference paper30
712003Efficient Verification of Timed Automata with BDD-like Data-StructuresFARN WANG conference paper446
722003Efficient Data Structure for Fully Symbolic Verification of Real-Time Software SystemsFARN WANG conference paper2416
732003OVL Assertion-Checking of Embedded Software with Dense-Time Semantics.Wang, Farn; Yu, Fang; FARN WANG conference paper20
742003Efficient Verification of Timed Automata with BDD-Like Data-Structures.Wang, Farn; FARN WANG conference paper340
752003Timing Parameter Characterization of Real-Time Systems.Wang, Farn; Yen, Hsu-Chun; FARN WANG conference paper60
762002Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data StructuresFARN WANG conference paper
772002Symmetric Model-Checking of Concurrent Timed Automata with Clock-Restriction DiagramFARN WANG conference paper
782002Efficient and User-Friendly Verification.FARN WANG journal article4835
792001Symbolic Verification of Complex Real-Time Systems with Clock-Restriction DiagramFARN WANG conference paper
802001RED: Model-Checker for Timed Automata with Clock-Restriction DiagramFARN WANG conference paper
812001Parametric Optimization of Open Real-Time SystemsFARN WANG conference paper44
822001Parametric Optimization of Open Real-Time Systems.Wang, Farn; Yen, Hsu-Chun; FARN WANG conference paper40
832000Parametric Analysis of Computer Systems.Wang, Farn; FARN WANG journal article129
842000Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems.Wang, Farn; FARN WANG conference paper00
852000On the verification of Wireless Transaction Protocol using SGM and RED.Hsiung, Pao-Ann; Wang, Farn; Chen, Ruey-Cheng; FARN WANG conference paper00
861999Procedural-Level Verification of Real-Time Concurrent SystemsFARN WANG journal article
871999Procedure-Level Verification of Real-time Concurrent Systems.Wang, Farn; Lo, Chia-Tien Dan; FARN WANG journal article39
881999Verification of Concurrent Client-Server Real-Time Scheduling Systems.Hsiung, Pao-Ann; Wang, Farn; Kuo, Yue-Sun; FARN WANG conference paper10
891999Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes.Wang, Farn; FARN WANG conference paper10
901999Scheduling System Verification.Hsiung, Pao-Ann; Wang, Farn; Kuo, Yue-Sun; FARN WANG conference paper50
911998A State Graph Manipulator Tool for Real-Time System Specification and Verification.Hsiung, Pao-Ann; Wang, Farn; FARN WANG conference paper270
921998Automatic Verification on the Large.Wang, Farn; Hsiung, Pao-Ann; FARN WANG conference paper120
931997A Temporal Logic for Real-Time Partial-Ordering with Named TransactionsF. Wang; FARN WANG journal article00
941997Symbolic Model Checking for Event-Driven Real-Time SystemsFARN WANG journal article2220
951997High-Level Execution Time Analysis.Wang, Farn; FARN WANG conference paper10
961997Parametric Analysis of Computer Systems.Wang, Farn; Hsiung, Pao-Ann; FARN WANG conference paper60
971997PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems.Kuo, Tei-Wei; Ho, Shao-Juen; Wei, Chih-Hung; Wang, Farn; FARN WANG conference paper00
981997Error propagation analysis of real-time data-intensive applicationsKuo, T.-W.; Locke, D.; Wang, F.; FARN WANG conference paper10
991996Parametric Timing Analysis of Real-Time SystemsFARN WANG journal article4031
1001996Procedure-Level Verification of Real-time Concurrent Systems.Wang, Farn; Lo, Chia-Tien Dan; FARN WANG conference paper00
1011996Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states.Wang, Farn; FARN WANG conference paper00
1021996Scalable compositional reachability analysis of real-time concurrent systems.Wang, Farn; FARN WANG conference paper20
1031995A Temporal Logic for Real-Time Partial-Ordering with Named TransactionsWang, Farn 00
1041995A Temporal Logic for Real-Time Partial-Ordering with Named Transactions.Wang, Farn; FARN WANG conference paper00
1051995Timing Behavior Analysis for Real-Time SystemsWang, Farn; FARN WANG conference paper00
1061995Reachability Analysis at Procedure Level through Timing Coincidence.Wang, Farn; FARN WANG conference paper00
1071994RTL and Refutation by Positive Cycles.Wang, Farn; Mok, Aloysius K.; FARN WANG conference paper80
1081993A Verifier for Distributed Real-Time Systems with Bounded Integer Variables王 凡; Mok, A. K.; Wang, Farn 
1091993Symbolic Model-Checking for Distributed Real-Time Systems王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn 
1101993Real-Time Distributed System Specification and Verification in APTLFARN WANG journal article140
1111993Symbolic Model Checking for Event-Driven Real-Time Systems王 凡; Yang, J.; Mok, A. K.; Wang, Farn ; Yang, J.; Mok, A. K.2220
1121993Symbolic Model Checking for Distributed Real-Time Systems.Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG conference paper120
1131993Symbolic Model Checking for Event-Driven Real-Time Systems.Yang, Jin; Mok, Aloysius K.; Wang, Farn; FARN WANG conference paper00
1141992Asynchronous Real-Time Event Logic王 凡; Mok, A. K.; Wang, Farn ; Mok, A. K.
1151992Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn ; Emerson, E. A.
1161992Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL.Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG conference paper50
1171984Timing Behavior Analysis for Real-Time SystemsWang, Farn