第 1 到 30 筆結果,共 30 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 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 | |||
2 | 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 | |||
3 | 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 | |
4 | 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 | |||
5 | 1998 | A State Graph Manipulator Tool for Real-Time System Specification and Verification. | Hsiung, Pao-Ann; FARN WANG | 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 27-29 October 1998, Hiroshima, Japan | |||
6 | 1997 | A Temporal Logic for Real-Time Partial-Ordering with Named Transactions | FARN WANG | Theoretical Computer Science | |||
7 | 1997 | Symbolic Model Checking for Event-Driven Real-Time Systems | J. Yang; A.K. Mok; FARN WANG | ACM Transactions on Programming Languages and Systems | |||
8 | 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 | |
9 | 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 | |
10 | 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 | |||
11 | 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 | |||
12 | 1996 | Parametric Timing Analysis of Real-Time Systems | FARN WANG | Information and Computation, Academic Press | |||
13 | 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 | |||
14 | 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 | |||
15 | 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 | |
16 | 1995 | A Temporal Logic for Real-Time Partial-Ordering with Named Transactions | Wang, Farn | Latin American Theoretical Informatics Symposium | 0 | 0 | |
17 | 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 | |||
18 | 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 | |||
19 | 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 | |||
20 | 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 | |||
21 | 1993 | A Verifier for Distributed Real-Time Systems with Bounded Integer Variables | 王 凡; Mok, A. K.; Wang, Farn | COMPASS Conference | |||
22 | 1993 | Symbolic Model-Checking for Distributed Real-Time Systems | 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn | Formal Methods Europe Symposium | |||
23 | 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 | |||
24 | 1993 | Symbolic Model Checking for Event-Driven Real-Time Systems | 王 凡; Yang, J.; Mok, A. K.; Wang, Farn | 1993 IEEE Real-Time System | 23 | 22 | |
25 | 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 | |||
26 | 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 | |||
27 | 1992 | Asynchronous Real-Time Event Logic | 王 凡; Mok, A. K.; Wang, Farn | International Computer Symposium | |||
28 | 1992 | Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL | 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn | International Conference on Software Engineering | |||
29 | 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. | |||
30 | 1984 | Timing Behavior Analysis for Real-Time Systems | Wang, Farn | IEEE Symposium on Logic in Computer Science |