第 1 到 72 筆結果,共 72 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 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 | |||
2 | 2019 | Machine Learning Techniques for Recognizing IoT Devices | Lin, Y.C.; FARN WANG | Communications in Computer and Information Science | |||
3 | 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 | |
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 | 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) | |||
6 | 2016 | Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings | FARN WANG | ||||
7 | 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 | |||
8 | 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 | |||
9 | 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 | |||
10 | 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) | |||
11 | 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 | |||
12 | 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) | |||
13 | 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) | |||
14 | 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 | |
15 | 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) | |||
16 | 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 | |||
17 | 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 | |||
18 | 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 | |||
19 | 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) | |||
20 | 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) | |||
21 | 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 | |||
22 | 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) | |||
23 | 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) | |||
24 | 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 | |||
25 | 2008 | Efficient model-checking of dense-time systems with time-convexity analysis | FARN WANG | Proceedings - Real-Time Systems Symposium | |||
26 | 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) | |||
27 | 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) | |||
28 | 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 | |||
29 | 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 | |||
30 | 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 | |||
31 | 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 | |||
32 | 2005 | Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations | FARN WANG | 7'th ICFEM (International Conference on Formal Engineering Methods) | 0 | ||
33 | 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 | ||
34 | 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 | ||||
35 | 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 | ||
36 | 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 | ||
37 | 2004 | Formal verification of timed systems: A survey and perspective | FARN WANG | Proceedings of the IEEE | 79 | 55 | |
38 | 2004 | Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings | FARN WANG | ||||
39 | 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 | |
40 | 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) | |||
41 | 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 | ||
42 | 2003 | Verification of Embedded Systems with BDD-like Data-Structures | FARN WANG | 2nd Workshop on Automated Verification of Infinite-state Systems (AVIS’2003) | |||
43 | 2003 | Symbolic Simulation of Real-Time Concurrent Systems | F. Wang; G.-D. Hwang; F. Yu; FARN WANG | RTCSA’2003 | 0 | ||
44 | 2003 | Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems | FARN WANG | TACAS'2000, LNCS 1785 | 19 | ||
45 | 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 | |
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 | 2002 | Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures | F. Wang; K. Schmidt; FARN WANG | IFIP FORTE, LNCS 2529 | |||
48 | 2002 | Symmetric Model-Checking of Concurrent Timed Automata with Clock-Restriction Diagram | FARN WANG | RTCSA’2002 | |||
49 | 2001 | RED: Model-Checker for Timed Automata with Clock-Restriction Diagram | FARN WANG | Workshop on Real-Time Tools | |||
50 | 2001 | Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram | FARN WANG | FORTE 2001 | |||
51 | 2001 | Parametric Optimization of Open Real-Time Systems | F. Wang; H.-C. Yen; FARN WANG | Lecture Notes in Computer Science | |||
52 | 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 | |||
53 | 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 | |||
54 | 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 | |
55 | 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 | |||
56 | 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 | |||
57 | 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 | |||
58 | 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 | |||
59 | 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 | |
60 | 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 | |
61 | 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 | |||
62 | 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 | |||
63 | 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 | |
64 | 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 | |||
65 | 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 | |||
66 | 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 | |||
67 | 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 | |||
68 | 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 | |||
69 | 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 | |||
70 | 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 | |||
71 | 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 | |||
72 | 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. |