Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
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 | |
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 | | | |
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 | | | |
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 | | | |
2000 | Parametric Analysis of Computer Systems. | FARN WANG | Formal Methods in System Design | | | |
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 | | | |
2001 | Parametric Optimization of Open Real-Time Systems | F. Wang; H.-C. Yen; FARN WANG | Lecture Notes in Computer Science | | | |
1996 | Parametric Timing Analysis of Real-Time Systems | FARN WANG | Information and Computation, Academic Press | | | |
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 | |
2016 | Preface | Sampaio, A.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
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 | |
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) | | | |
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. | FARN WANG | CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings | | | |
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 | | | |
2001 | RED: Model-Checker for Timed Automata with Clock-Restriction Diagram | FARN WANG | Workshop on Real-Time Tools | | | |
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 | | | |
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 | | | |
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 | | | |