第 1 到 23 筆結果,共 23 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 1997 | A Temporal Logic for Real-Time Partial-Ordering with Named Transactions | FARN WANG | Theoretical Computer Science | |||
2 | 2006 | Automated Technology for Verification and Analysis (ATVA 2003/2004) - Preface | FARN WANG | International Journal of Foundations of Computer Science | |||
3 | 2004 | BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction | Wang, Farn ; Schmidt, K.; Yu, Fang; Huang, Geng-Dian; Wang, Bow-Yaw | IEEE Transactions on Software Engineering | 4 | 1 | |
4 | 2015 | Complexity of node coverage games | Wang, F.; Schewe, S.; Wu, J.-H.; FARN WANG | Theoretical Computer Science | |||
5 | 2002 | Efficient and User-Friendly Verification. | F. Wang; P.-A. Hsiung; FARN WANG | IEEE Transactions on Computers | 35 | ||
6 | 2013 | Efficient model-checking of dense-time systems with time-convexity analysis | FARN WANG | Theoretical Computer Science | 3 | ||
7 | 2011 | Efficient verification of distributed real-time systems with broadcasting behaviors | Wang, F.; Yao, L.-W.; Yang, Y.-L.; FARN WANG | Real-Time Systems | |||
8 | 2004 | Efficient Verification of Timed Automata with BDD-like Data-Structures | FARN WANG | International Journal on Software Tools for Technology Transfer | |||
9 | 2015 | An extension of ATL with strategy interaction | Wang, F.; Schewe, S.; Huang, C.-H.; FARN WANG | ACM Transactions on Programming Languages and Systems | |||
10 | 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 | |||
11 | 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 | |||
12 | 2015 | Model-checking fair dense-time systems with propositions and events | FARN WANG | International Journal on Software Tools for Technology Transfer | |||
13 | 2017 | Model-checking iterated games | Huang, C.-H.; Schewe, S.; FARN WANG | Acta Informatica | |||
14 | 2000 | Parametric Analysis of Computer Systems. | FARN WANG | Formal Methods in System Design | |||
15 | 1996 | Parametric Timing Analysis of Real-Time Systems | FARN WANG | Information and Computation, Academic Press | |||
16 | 2004 | Reachability solution characterization of parametric real-time systems | FARN WANG ; HSU-CHUN YEN | Theoretical Computer Science | 2 | 1 | |
17 | 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 | |||
18 | 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 | |||
19 | 1997 | Symbolic Model Checking for Event-Driven Real-Time Systems | J. Yang; A.K. Mok; FARN WANG | ACM Transactions on Programming Languages and Systems | |||
20 | 2005 | Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures | Wang, Farn | IEEE Transactions on Software Engineering | 42 | 28 | |
21 | 2005 | Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol | Wang, Farn ; Huang, Geng-Dian; Yu, Fang | Journal of Embedded Computing | |||
22 | 2006 | TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering | Wang, Farn ; Huang, Geng-Dian; Yu, Fang | IEEE Transactions on Software Engineering | 17 | 7 | |
23 | 2018 | Theoretical aspects of computing | Sampaio, Augusto; FARN WANG | Theoretical Computer Science |