公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
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 | |
1995 | Reachability Analysis at Procedure Level through Timing Coincidence. | Wang, Farn; FARN WANG | CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings | 0 | 0 | |
2004 | Reachability solution characterization of parametric real-time systems | FARN WANG ; HSU-CHUN YEN | Theoretical Computer Science | 2 | 1 | |
1993 | Real-Time Distributed System Specification and Verification in APTL | F. Wang; A.K. Mok; E.A. Emerson; FARN WANG | ACM Transactions on Software Engineering and Methodology | 16 | 0 | |
2001 | RED: Model-Checker for Timed Automata with Clock-Restriction Diagram | F. Wang; FARN WANG | Workshop on Real-Time Tools | | | |
2007 | REDLIB for the formal verification of embedded systems | Wang, F.; FARN WANG | Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation | 17 | 0 | |
2000 | Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems. | Wang, Farn; FARN WANG | 24th International Computer Software and Applications Conference (COMPSAC 2000), 25-28 October 2000, Taipei, Taiwan | 0 | 0 | |
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 | 9 | 0 | |
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 | 0 | 0 | |
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 | 8 | 0 | |
1996 | Scalable compositional reachability analysis of real-time concurrent systems. | Wang, Farn; FARN WANG | 2nd IEEE Real-Time Technology and Applications Symposium, RTAS '96, Boston, MA, USA, June 10-12, 1996 | 2 | 0 | |
1996 | Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states. | Wang, Farn; FARN WANG | Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea | 0 | 0 | |
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 | |
2008 | Specification Formalisms and Models. | Wang, Farn; FARN WANG | Wiley Encyclopedia of Computer Science and Engineering | | | |
1998 | A State Graph Manipulator Tool for Real-Time System Specification and Verification. | Hsiung, Pao-Ann; Wang, Farn; FARN WANG | 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 27-29 October 1998, Hiroshima, Japan | 28 | 0 | |
2009 | Symbolic branching bisimulation-checking of dense-time systems in an environment | Wang, F.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 0 | 0 | |
2012 | Symbolic Consistency Checking of OpenMP Parallel Programs | Yu, Fang; Yang, Shun-Ching; Wang, Farn; Chen, Guan-Cheng; Chan, Che-Chang; FARN WANG | Acm Sigplan Notices | 0 | 5 | |
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) | 5 | 0 | |
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 | 12 | 0 | |
1993 | Symbolic Model Checking for Event-Driven Real-Time Systems | 王 凡; Yang, J.; Mok, A. K.; Wang, Farn | 1993 IEEE Real-Time System | 23 | 22 | |