公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2002 | Efficient and User-Friendly Verification. | F. Wang; P.-A. Hsiung; FARN WANG | IEEE Transactions on Computers | 50 | 35 | |
2003 | Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems | F. Wang; FARN WANG | TACAS'2000, LNCS 1785 | 32 | 19 | |
2008 | Efficient model-checking of dense-time systems with time-convexity analysis | Wang, F.; FARN WANG | Proceedings - Real-Time Systems Symposium | 3 | 0 | |
2013 | Efficient model-checking of dense-time systems with time-convexity analysis | Wang, Farn; FARN WANG | Theoretical Computer Science | 4 | 3 | |
2011 | Efficient verification of distributed real-time systems with broadcasting behaviors | Wang, F.; Yao, L.-W.; Yang, Y.-L.; FARN WANG | Real-Time Systems | 14 | 6 | |
2004 | Efficient Verification of Timed Automata with BDD-like Data-Structures | Wang, Farn; FARN WANG | International Journal on Software Tools for Technology Transfer | 48 | 6 | |
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 | |
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 | |
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) | 9 | 0 | |
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 | |
2015 | An extension of ATL with strategy interaction | Wang, F.; Schewe, S.; Huang, C.-H.; FARN WANG | ACM Transactions on Programming Languages and Systems | 7 | 2 | |
1992 | Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL | 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn | International Conference on Software Engineering | | | |
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. | 6 | 0 | |
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 | | 0 | 0 | |
2004 | Formal verification of timed systems: A survey and perspective | FARN WANG | Proceedings of the IEEE | 79 | 55 | |
2016 | A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors | Huang, C.-H.; Peled, D.A.; Schewe, S.; Wang, F.; FARN WANG | IEEE Transactions on Software Engineering | 11 | 6 | |
1997 | High-Level Execution Time Analysis. | Wang, Farn; 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 | 1 | 0 | |
2004 | Inductive Composition of Numbers with Maximum, Minimum, and Addition - A New Theory for Program Execution-Time Analysis | Wang, Farn; FARN WANG | International Journal of Foundations of Computer Science | 0 | 0 | |
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 | 0 | |
2010 | Lazy decision diagrams for word-level model manipulation in software verification | Wang, F.; FARN WANG | Proceedings - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010 | 0 | 0 | |