第 1 到 110 筆結果,共 110 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2019 | Machine Learning Techniques for Recognizing IoT Devices | Lin, Y.C.; Wang, F.; FARN WANG | Communications in Computer and Information Science | 2 | 0 | |
2 | 2019 | Synthesize Models for Quantitative Analysis Using Automata Learning. | Chen, Yu-Fang; Chung, Hsiao-chen; Hung, Wen-Chi; Tsai, Ming-Hsien; Wang, Bow-Yaw; Wang, Farn; FARN WANG | Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers | 0 | 0 | |
3 | 2018 | Theoretical aspects of computing | Sampaio, Augusto; Wang, Farn; FARN WANG | Theoretical Computer Science | 0 | 0 | |
4 | 2017 | Using Semantic Similarity in Crawling-Based Web Application Testing | Lin, J.-W.; Wang, F.; Chu, P.; FARN WANG | Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017 | 9 | 0 | |
5 | 2017 | Model-checking iterated games | Huang, C.-H.; Schewe, S.; Wang, F.; FARN WANG | Acta Informatica | 2 | 1 | |
6 | 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) | 0 | 0 | |
7 | 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 | |
8 | 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.; Wang, F.; FARN WANG | Proceedings - International Conference on Software Engineering | 19 | 0 | |
9 | 2016 | Automated testing of web applications with text input | Wu, C.-Y.; Wang, F.; Weng, M.-H.; Lin, J.-W.; FARN WANG | Proceedings of 2015 IEEE International Conference on Progress in Informatics and Computing, PIC 2015 | 0 | 0 | |
10 | 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 | |
11 | 2016 | ABCA: Android Black-box Coverage Analyzer of mobile app without source code | Huang, S.-Y.; Yeh, C.-H.; Wang, F.; Huang, C.-H.; FARN WANG | Proceedings of 2015 IEEE International Conference on Progress in Informatics and Computing, PIC 2015 | 2 | 0 | |
12 | 2016 | Preface | Sampaio, A.; Wang, F.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 0 | ||
13 | 2016 | Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings | FARN WANG | ||||
14 | 2015 | CPAREC: Verifying recursive programs via source-to-source program transformation (competition contribution) | Chen, Y.-F.; Hsieh, C.; Tsai, M.-H.; Wang, B.-Y.; Wang, F.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1 | 0 | |
15 | 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 | |
16 | 2015 | Complexity of node coverage games | Wang, F.; Schewe, S.; Wu, J.-H.; FARN WANG | Theoretical Computer Science | 1 | 1 | |
17 | 2015 | Model-checking fair dense-time systems with propositions and events | FARN WANG | International Journal on Software Tools for Technology Transfer | |||
18 | 2014 | Verifying Recursive Programs Using Intraprocedural Analyzers. | Chen, Yu-Fang; Hsieh, Chiao; Tsai, Ming-Hsien; Wang, Bow-Yaw; Wang, Farn; FARN WANG | Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings | 5 | 0 | |
19 | 2013 | Model-checking iterated games | Huang, C.-H.; Schewe, S.; Wang, F.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 5 | 0 | |
20 | 2013 | 273-289 Temporal specification mining for anomaly analysis | Wang, F.; Wu, J.-H.; Huang, C.-H.; Chang, C.-C.; Li, C.-C.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 3 | 0 | |
21 | 2013 | Efficient model-checking of dense-time systems with time-convexity analysis | FARN WANG | Theoretical Computer Science | 3 | ||
22 | 2012 | Symbolic consistency checking of OpenMP parallel programs | Yu, F.; Yang, S.-C.; Wang, F.; Chen, G.-C.; Chan, C.-C.; FARN WANG | Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) | 5 | 0 | |
23 | 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 | |
24 | 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 | 0 | 5 | |
25 | 2011 | Regression testing of bug-fixes with AI techniques | Wang, F.; Wu, C.J.; Lee, Y.-C.; Yao, L.W.; FARN WANG | Advances in Intelligent and Soft Computing | 0 | 0 | |
26 | 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 | 9 | 0 | |
27 | 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 | |
28 | 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) | 14 | 0 | |
29 | 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 | |
30 | 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 | |
31 | 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 | |||
32 | 2009 | LTL model checking for recursive programs | Huang, G.-D.; Cai, L.-Z.; Wang, F.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1 | 0 | |
33 | 2009 | Symbolic branching bisimulation-checking of dense-time systems in an environment | FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
34 | 2008 | Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. | Wang, Farn; Huang, Geng-Dian; FARN WANG | Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings | 0 | 0 | |
35 | 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) | 6 | 0 | |
36 | 2008 | Time-progress evaluation for dense-time automata with concave path conditions | FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
37 | 2008 | Efficient model-checking of dense-time systems with time-convexity analysis | FARN WANG | Proceedings - Real-Time Systems Symposium | |||
38 | 2008 | Specification Formalisms and Models. | FARN WANG | Wiley Encyclopedia of Computer Science and Engineering | |||
39 | 2008 | Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions. | FARN WANG | Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings | |||
40 | 2007 | 程式執行時間分析的新理論(2/3) | 王凡 | ||||
41 | 2007 | Test automation for kernel code and disk arrays with virtual devices | Cai, L.-Z.; Wu, R.-S.; Huang, W.-T.; Wang, F.; FARN WANG | ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering | 1 | 0 | |
42 | 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 | |||
43 | 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 | |||
44 | 2006 | 複雜嵌入式系統的正規整合式發展技術架構(2/3) | 王凡 | ||||
45 | 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 | |
46 | 2006 | Automated Technology for Verification and Analysis (ATVA 2003/2004) - Preface | FARN WANG | International Journal of Foundations of Computer Science | |||
47 | 2005 | Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations | FARN WANG | 7'th ICFEM (International Conference on Formal Engineering Methods) | 0 | ||
48 | 2005 | Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems | G.-D. Huang; F. Wang; FARN WANG | 3rd ATVA (Automated Technology for Verification and Analysis) | 8 | 6 | |
49 | 2005 | Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures | Wang, Farn | IEEE Transactions on Software Engineering | 42 | 28 | |
50 | 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 | |||
51 | 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 | ||||
52 | 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 | |||
53 | 2004 | 混合系統的全符號式自動化分析軟體工具環境(2/3) | 王凡 | ||||
54 | 2004 | 即時系統全符號式驗證工具的底層基礎技術(3/3) | 王凡 | ||||
55 | 2004 | Efficient Verification of Timed Automata with BDD-like Data-Structures | FARN WANG | International Journal on Software Tools for Technology Transfer | |||
56 | 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 | ||
57 | 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 | ||
58 | 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 | |
59 | 2004 | Reachability solution characterization of parametric real-time systems | FARN WANG ; HSU-CHUN YEN | Theoretical Computer Science | 2 | 1 | |
60 | 2004 | Formal verification of timed systems: A survey and perspective | FARN WANG | Proceedings of the IEEE | 79 | 55 | |
61 | 2004 | Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings | FARN WANG | ||||
62 | 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 | |
63 | 2003 | 混合系統的全符號式自動化分析軟體工具環境(1/3) | 王凡 | ||||
64 | 2003 | 即時系統全符號式驗證工具的底層基礎技術(2/3) | 王凡 | ||||
65 | 2003 | Timing Parameter Characterization of Real-Time Systems | F. Wang; H.-C. Yen.; FARN WANG | 8th International Conference on Implementation and Application of Automata (CIAA) | 7 | 4 | |
66 | 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) | 10 | 4 | |
67 | 2003 | Verification of Embedded Systems with BDD-like Data-Structures | FARN WANG | 2nd Workshop on Automated Verification of Infinite-state Systems (AVIS’2003) | |||
68 | 2003 | Symbolic Simulation of Real-Time Concurrent Systems | F. Wang; G.-D. Hwang; F. Yu; FARN WANG | RTCSA’2003 | 3 | 0 | |
69 | 2003 | Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems | FARN WANG | TACAS'2000, LNCS 1785 | 19 | ||
70 | 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 | |
71 | 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 | 2 | 0 | |
72 | 2002 | Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures | F. Wang; K. Schmidt; FARN WANG | IFIP FORTE, LNCS 2529 | |||
73 | 2002 | Symmetric Model-Checking of Concurrent Timed Automata with Clock-Restriction Diagram | FARN WANG | RTCSA’2002 | |||
74 | 2002 | Efficient and User-Friendly Verification. | F. Wang; P.-A. Hsiung; FARN WANG | IEEE Transactions on Computers | 50 | 35 | |
75 | 2001 | Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram | FARN WANG | FORTE 2001 | |||
76 | 2001 | RED: Model-Checker for Timed Automata with Clock-Restriction Diagram | FARN WANG | Workshop on Real-Time Tools | |||
77 | 2001 | Parametric Optimization of Open Real-Time Systems | F. Wang; H.-C. Yen; FARN WANG | Lecture Notes in Computer Science | 4 | 4 | |
78 | 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 | 0 | 0 | |
79 | 2000 | Parametric Analysis of Computer Systems. | FARN WANG | Formal Methods in System Design | |||
80 | 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 | |||
81 | 1999 | Scheduling System Verification. | Hsiung, Pao-Ann; FARN WANG ; Kuo, Yue-Sun | Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings | 5 | 0 | |
82 | 1999 | Verification of Concurrent Client-Server Real-Time Scheduling Systems. | Hsiung, Pao-Ann; Wang, Farn; Kuo, Yue-Sun; FARN WANG | 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China | 1 | 0 | |
83 | 1999 | Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. | FARN WANG | FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I | |||
84 | 1998 | Automatic Verification on the Large. | Wang, Farn; Hsiung, Pao-Ann; FARN WANG | 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings | 12 | 0 | |
85 | 1998 | A State Graph Manipulator Tool for Real-Time System Specification and Verification. | Hsiung, Pao-Ann; Wang, Farn; FARN WANG | 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 27-29 October 1998, Hiroshima, Japan | 28 | 0 | |
86 | 1997 | A Temporal Logic for Real-Time Partial-Ordering with Named Transactions | FARN WANG | Theoretical Computer Science | |||
87 | 1997 | Symbolic Model Checking for Event-Driven Real-Time Systems | J. Yang; A.K. Mok; F. Wang; FARN WANG | ACM Transactions on Programming Languages and Systems | 23 | 22 | |
88 | 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 | |
89 | 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 | |
90 | 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 | 6 | 0 | |
91 | 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 | |||
92 | 1996 | Parametric Timing Analysis of Real-Time Systems | FARN WANG | Information and Computation, Academic Press | |||
93 | 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 | |
94 | 1996 | Scalable compositional reachability analysis of real-time concurrent systems. | FARN WANG | 2nd IEEE Real-Time Technology and Applications Symposium, RTAS '96, Boston, MA, USA, June 10-12, 1996 | |||
95 | 1996 | Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states. | FARN WANG | Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea | |||
96 | 1995 | A Temporal Logic for Real-Time Partial-Ordering with Named Transactions | Wang, Farn | Latin American Theoretical Informatics Symposium | 0 | 0 | |
97 | 1995 | Timing Behavior Analysis for Real-Time Systems | FARN WANG | Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995 | |||
98 | 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 | |||
99 | 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 | |||
100 | 1994 | RTL and Refutation by Positive Cycles. | Wang, Farn; Mok, Aloysius K.; FARN WANG | FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings | 8 | 0 | |
101 | 1993 | A Verifier for Distributed Real-Time Systems with Bounded Integer Variables | 王 凡; Mok, A. K.; Wang, Farn | COMPASS Conference | |||
102 | 1993 | Symbolic Model-Checking for Distributed Real-Time Systems | 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn | Formal Methods Europe Symposium | |||
103 | 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 | 16 | 0 | |
104 | 1993 | Symbolic Model Checking for Event-Driven Real-Time Systems | 王 凡; Yang, J.; Mok, A. K.; Wang, Farn | 1993 IEEE Real-Time System | 23 | 22 | |
105 | 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 | 0 | 0 | |
106 | 1993 | Symbolic Model Checking for Distributed Real-Time Systems. | Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG | FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings | 12 | 0 | |
107 | 1992 | Asynchronous Real-Time Event Logic | 王 凡; Mok, A. K.; Wang, Farn | International Computer Symposium | |||
108 | 1992 | Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL | 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn | International Conference on Software Engineering | |||
109 | 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 | |
110 | 1984 | Timing Behavior Analysis for Real-Time Systems | Wang, Farn | IEEE Symposium on Logic in Computer Science |