公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2016 | A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors | Huang, C.-H.; Peled, D.A.; Schewe, S.; FARN WANG | IEEE Transactions on Software Engineering | | | |
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 | | | |
2004 | Inductive Composition of Numbers with Maximum, Minimum, and Addition - A New Theory for Program Execution-Time Analysis | FARN WANG | International Journal of Foundations of Computer Science | | | |
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 | | | |
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 | | | |
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) | | | |
2019 | Machine Learning Techniques for Recognizing IoT Devices | Lin, Y.C.; FARN WANG | Communications in Computer and Information Science | | | |
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 | |
2015 | Model-checking fair dense-time systems with propositions and events | FARN WANG | International Journal on Software Tools for Technology Transfer | | | |
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) | | | |
2017 | Model-checking iterated games | Huang, C.-H.; Schewe, S.; FARN WANG | Acta Informatica | | | |
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 | |