第 1 到 72 筆結果,共 72 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2014 | Verifying Recursive Programs Using Intraprocedural Analyzers. | Chen, Yu-Fang; Hsieh, Chiao; Tsai, Ming-Hsien; Wang, Bow-Yaw; FARN WANG | Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings | |||
2 | 2003 | Verification of Embedded Systems with BDD-like Data-Structures | FARN WANG | 2nd Workshop on Automated Verification of Infinite-state Systems (AVIS’2003) | |||
3 | 1999 | Verification of Concurrent Client-Server Real-Time Scheduling Systems. | Hsiung, Pao-Ann; Wang, Farn; Kuo, Yue-Sun; FARN WANG | 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China | |||
4 | 2017 | Using Semantic Similarity in Crawling-Based Web Application Testing | Lin, J.-W.; Wang, F.; Chu, P.; FARN WANG | Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017 | |||
5 | 2003 | Timing Parameter Characterization of Real-Time Systems | F. Wang; H.-C. Yen.; FARN WANG | 8th International Conference on Implementation and Application of Automata (CIAA) | |||
6 | 1995 | Timing Behavior Analysis for Real-Time Systems | FARN WANG | Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995 | |||
7 | 2008 | Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions. | FARN WANG | Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings | |||
8 | 2008 | Time-progress evaluation for dense-time automata with concave path conditions | FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
9 | 2016 | Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings | FARN WANG | ||||
10 | 2008 | Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. | Wang, Farn; Huang, Geng-Dian; FARN WANG | Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings | |||
11 | 2007 | Test automation for kernel code and disk arrays with virtual devices | Cai, L.-Z.; Wu, R.-S.; Huang, W.-T.; FARN WANG | ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering | |||
12 | 2011 | A temporal logic for the interaction of strategies | Wang, F.; Huang, C.-H.; Yu, F.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
13 | 1995 | A Temporal Logic for Real-Time Partial-Ordering with Named Transactions. | FARN WANG | LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valpara?so, Chile, April 3-7, 1995, Proceedings | |||
14 | 2003 | TCTL Inevitability Analysis of Dense-Time Systems | F. Wang; G.-D. Hwang; F. Yu; FARN WANG | 8th International Conference on Implementation and Application of Automata (CIAA 2003) | 4 | ||
15 | 2017 | Synthesizing coalitions for multi-agent games | Ji, W.; Wang, F.; Wu, P.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
16 | 2019 | Synthesize Models for Quantitative Analysis Using Automata Learning. | Chen, Yu-Fang; Chung, Hsiao-chen; Hung, Wen-Chi; Tsai, Ming-Hsien; Wang, Bow-Yaw; FARN WANG | Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers | |||
17 | 2002 | Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures | F. Wang; K. Schmidt; FARN WANG | IFIP FORTE, LNCS 2529 | |||
18 | 2002 | Symmetric Model-Checking of Concurrent Timed Automata with Clock-Restriction Diagram | FARN WANG | RTCSA’2002 | |||
19 | 2005 | Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations | FARN WANG | 7'th ICFEM (International Conference on Formal Engineering Methods) | 0 | ||
20 | 2001 | Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram | FARN WANG | FORTE 2001 | |||
21 | 2007 | Symbolic Simulation-Checking of Dense-Time Automata. | FARN WANG | Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings | |||
22 | 2003 | Symbolic Simulation of Real-Time Concurrent Systems | F. Wang; G.-D. Hwang; F. Yu; FARN WANG | RTCSA’2003 | 0 | ||
23 | 2004 | Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-Structures | FARN WANG | CAV (Computer-Aided Verification), LNCS 3114, Springer-Verlag | 7 | ||
24 | 1993 | Symbolic Model Checking for Event-Driven Real-Time Systems. | Yang, Jin; Mok, Aloysius K.; Wang, Farn; FARN WANG | Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993 | |||
25 | 1993 | Symbolic Model Checking for Distributed Real-Time Systems. | Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG | FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings | |||
26 | 2012 | Symbolic consistency checking of OpenMP parallel programs | Yu, F.; Yang, S.-C.; Wang, F.; Chen, G.-C.; Chan, C.-C.; FARN WANG | Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) | |||
27 | 2009 | Symbolic branching bisimulation-checking of dense-time systems in an environment | FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
28 | 1998 | A State Graph Manipulator Tool for Real-Time System Specification and Verification. | Hsiung, Pao-Ann; FARN WANG | 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 27-29 October 1998, Hiroshima, Japan | |||
29 | 1999 | Scheduling System Verification. | Hsiung, Pao-Ann; FARN WANG ; Kuo, Yue-Sun | Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings | 5 | 0 | |
30 | 1996 | Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states. | FARN WANG | Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea | |||
31 | 1996 | Scalable compositional reachability analysis of real-time concurrent systems. | FARN WANG | 2nd IEEE Real-Time Technology and Applications Symposium, RTAS '96, Boston, MA, USA, June 10-12, 1996 | |||
32 | 1994 | RTL and Refutation by Positive Cycles. | Wang, Farn; Mok, Aloysius K.; FARN WANG | FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings | |||
33 | 2011 | Regression testing of bug-fixes with AI techniques | Wang, F.; Wu, C.J.; Lee, Y.-C.; Yao, L.W.; FARN WANG | Advances in Intelligent and Soft Computing | |||
34 | 2011 | Regression testing based on neural networks and program slicing techniques | Wang, F.; Yang, S.-C.; Yang, Y.-L.; FARN WANG | Advances in Intelligent and Soft Computing | |||
35 | 2000 | Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems. | FARN WANG | 24th International Computer Software and Applications Conference (COMPSAC 2000), 25-28 October 2000, Taipei, Taiwan | |||
36 | 2007 | REDLIB for the formal verification of embedded systems | FARN WANG | Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation | |||
37 | 2001 | RED: Model-Checker for Timed Automata with Clock-Restriction Diagram | FARN WANG | Workshop on Real-Time Tools | |||
38 | 1995 | Reachability Analysis at Procedure Level through Timing Coincidence. | FARN WANG | CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings | |||
39 | 2012 | Rapid recovery for systems with scarce faults | Huang, C.-H.; Peled, D.; Schewe, S.; FARN WANG | Electronic Proceedings in Theoretical Computer Science, EPTCS | 3 | 0 | |
40 | 2008 | Program repair suggestions from graphical state-transition specifications | Wang, F.; Cheng, C.-H.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
41 | 1996 | Procedure-Level Verification of Real-time Concurrent Systems. | FARN WANG ; Lo, Chia-Tien Dan | FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings | 0 | 0 | |
42 | 1997 | PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems. | Kuo, Tei-Wei; Ho, Shao-Juen; Wei, Chih-Hung; TEI-WEI KUO ; FARN WANG | 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 27-29 October 1997, Taipei, Taiwan | 0 | 0 | |
43 | 2001 | Parametric Optimization of Open Real-Time Systems | F. Wang; H.-C. Yen; FARN WANG | Lecture Notes in Computer Science | |||
44 | 1997 | Parametric Analysis of Computer Systems. | Wang, Farn; Hsiung, Pao-Ann; FARN WANG | Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings | |||
45 | 2016 | PAC learning-based verification and model synthesis | Chen, Y.-F.; Hsieh, C.; Leng?l, O.; Lii, T.-J.; Tsai, M.-H.; Wang, B.-Y.; FARN WANG | Proceedings - International Conference on Software Engineering | |||
46 | 2003 | OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. | Wang, Farn; Yu, Fang; FARN WANG | Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers | |||
47 | 2000 | On the verification of Wireless Transaction Protocol using SGM and RED. | Hsiung, Pao-Ann; Wang, Farn; Chen, Ruey-Cheng; FARN WANG | 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea | |||
48 | 2003 | Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems | FARN WANG ; G.-D. Huang; F. Yu. | FORTE'2003, LNCS 2767 | 8 | 5 | |
49 | 2013 | Model-checking iterated games | Huang, C.-H.; Schewe, S.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
50 | 2004 | Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions | FARN WANG | AMAST (Algebraic Methodology And Software Technology), LNCS 3116, Springer-Verlga | 3 | ||
51 | 2019 | Machine Learning Techniques for Recognizing IoT Devices | Lin, Y.C.; FARN WANG | Communications in Computer and Information Science | |||
52 | 2009 | LTL model checking for recursive programs | Huang, G.-D.; Cai, L.-Z.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
53 | 2010 | Lazy decision diagrams for word-level model manipulation in software verification | FARN WANG | Proceedings - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010 | |||
54 | 2011 | Intelligent test oracle construction for reactive systems without explicit specifications | Wang, F.; Yao, L.-W.; Wu, J.-H.; FARN WANG | Proceedings - IEEE 9th International Conference on Dependable, Autonomic and Secure Computing, DASC 2011 | |||
55 | 1997 | High-Level Execution Time Analysis. | FARN WANG | Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings | |||
56 | 2004 | Formal verification of timed systems: A survey and perspective | FARN WANG | Proceedings of the IEEE | 79 | 55 | |
57 | 2005 | Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings | FARN WANG | ||||
58 | 1992 | Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. | Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG | Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, May 11-15, 1992. | |||
59 | 2017 | An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata | Ji, W.; Wu, P.; Lv, Y.; FARN WANG | Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS | 1 | 0 | |
60 | 2011 | Evolving a test oracle in black-box testing | Wang, F.; Wu, J.-H.; Huang, C.-H.; Chang, K.-H.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
61 | 1997 | Error Propagation Analysis of Real-Time Data Intensive Applications. | Kuo, Tei-Wei; Locke, Doug; TEI-WEI KUO ; FARN WANG | 3rd IEEE Real-Time Technology and Applications Symposium, RTAS '97, Montreal, Canada, June 9-11, 1997 | 1 | 0 | |
62 | 2003 | Efficient Verification of Timed Automata with BDD-Like Data-Structures. | FARN WANG | Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings | 37 | 0 | |
63 | 2008 | Efficient model-checking of dense-time systems with time-convexity analysis | FARN WANG | Proceedings - Real-Time Systems Symposium | |||
64 | 2003 | Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems | FARN WANG | TACAS'2000, LNCS 1785 | 19 | ||
65 | 2015 | CPAREC: Verifying recursive programs via source-to-source program transformation (competition contribution) | Chen, Y.-F.; Hsieh, C.; Tsai, M.-H.; Wang, B.-Y.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
66 | 1998 | Automatic 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, Proceedings | |||
67 | 1999 | Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. | 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 I | |||
68 | 2005 | Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems | G.-D. Huang; FARN WANG | 3rd ATVA (Automated Technology for Verification and Analysis) | 6 | ||
69 | 2016 | Automated testing of web applications with text input | Wu, 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 2015 | |||
70 | 2004 | Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings | FARN WANG | ||||
71 | 2016 | ABCA: Android Black-box Coverage Analyzer of mobile app without source code | Huang, 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 2015 | |||
72 | 2013 | 273-289 Temporal specification mining for anomaly analysis | Wang, 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) |