公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1997 | Symbolic Model Checking for Event-Driven Real-Time Systems | J. Yang; A.K. Mok; FARN WANG | ACM Transactions on Programming Languages and Systems | | | |
1993 | Symbolic Model Checking for Event-Driven Real-Time Systems. | Yang, Jin; Mok, Aloysius K.; Wang, Farn; FARN WANG | Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993 | | | |
1993 | Symbolic Model-Checking for Distributed Real-Time Systems | 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn | Formal Methods Europe Symposium | | | |
2005 | Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures | Wang, Farn | IEEE Transactions on Software Engineering | 42 | 28 | |
2004 | Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-Structures | FARN WANG | CAV (Computer-Aided Verification), LNCS 3114, Springer-Verlag | | 7 | |
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 | | | |
2003 | Symbolic Simulation of Real-Time Concurrent Systems | F. Wang; G.-D. Hwang; F. Yu; FARN WANG | RTCSA’2003 | | 0 | |
2007 | Symbolic Simulation-Checking of Dense-Time Automata. | FARN WANG | Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings | | | |
2001 | Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram | FARN WANG | FORTE 2001 | | | |
2005 | Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations | FARN WANG | 7'th ICFEM (International Conference on Formal Engineering Methods) | | 0 | |
2002 | Symmetric Model-Checking of Concurrent Timed Automata with Clock-Restriction Diagram | FARN WANG | RTCSA’2002 | | | |
2002 | Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures | F. Wang; K. Schmidt; FARN WANG | IFIP FORTE, LNCS 2529 | | | |
2019 | Synthesize Models for Quantitative Analysis Using Automata Learning. | Chen, Yu-Fang; Chung, Hsiao-chen; Hung, Wen-Chi; Tsai, Ming-Hsien; Wang, Bow-Yaw; FARN WANG | Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers | | | |
2017 | Synthesizing coalitions for multi-agent games | Ji, W.; Wang, F.; Wu, P.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2003 | TCTL Inevitability Analysis of Dense-Time Systems | F. Wang; G.-D. Hwang; F. Yu; FARN WANG | 8th International Conference on Implementation and Application of Automata (CIAA 2003) | | 4 | |
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 | |
1995 | A Temporal Logic for Real-Time Partial-Ordering with Named Transactions | Wang, Farn | Latin American Theoretical Informatics Symposium | 0 | 0 | |
1995 | A Temporal Logic for Real-Time Partial-Ordering with Named Transactions. | FARN WANG | LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valpara?so, Chile, April 3-7, 1995, Proceedings | | | |
2011 | A temporal logic for the interaction of strategies | Wang, F.; Huang, C.-H.; Yu, F.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2007 | Test automation for kernel code and disk arrays with virtual devices | Cai, L.-Z.; Wu, R.-S.; Huang, W.-T.; FARN WANG | ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering | | | |