|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"wang farn"
Showing items 1-43 of 43 (1 Page(s) Totally)
1
View [10|25|50] records per page
| 臺大學術典藏 |
2020-06-04T07:48:58Z |
Timing Behavior Analysis for Real-Time Systems
|
Wang, Farn; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:58Z |
Symbolic Model Checking for Event-Driven Real-Time Systems.
|
Yang, Jin;Mok, Aloysius K.;Wang, Farn; Yang, Jin; Mok, Aloysius K.; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:56Z |
Theoretical aspects of computing
|
Sampaio, Augusto;Wang, Farn; Sampaio, Augusto; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:55Z |
Efficient model-checking of dense-time systems with time-convexity analysis
|
Wang, Farn; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:54Z |
Symbolic Model Checking for Distributed Real-Time Systems.
|
Wang, Farn;Mok, Aloysius K.;Emerson, E. Allen; Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:51Z |
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.
|
Wang, Farn;Huang, Geng-Dian; Wang, Farn; Huang, Geng-Dian; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:50Z |
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; Chen, Yu-Fang; Chung, Hsiao-chen; Hung, Wen-Chi; Tsai, Ming-Hsien; Wang, Bow-Yaw; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:50Z |
Verifying Recursive Programs Using Intraprocedural Analyzers.
|
Chen, Yu-Fang;Hsieh, Chiao;Tsai, Ming-Hsien;Wang, Bow-Yaw;Wang, Farn; Chen, Yu-Fang; Hsieh, Chiao; Tsai, Ming-Hsien; Wang, Bow-Yaw; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:49Z |
Reachability Analysis at Procedure Level through Timing Coincidence.
|
Wang, Farn; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2020-05-04T08:07:19Z |
Error Propagation Analysis of Real-Time Data Intensive Applications.
|
Kuo, Tei-Wei; Locke, Doug; Wang, Farn; TEI-WEI KUO |
| 臺大學術典藏 |
2020-05-04T08:07:19Z |
PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems.
|
Kuo, Tei-Wei; Ho, Shao-Juen; Wei, Chih-Hung; Wang, Farn; TEI-WEI KUO |
| 臺大學術典藏 |
2018-09-10T06:29:32Z |
Error propagation analysis of real-time data-intensive applications
|
TEI-WEI KUO; Wang, Farn; Locke, Doug; Kuo, Tei-Wei |
| 臺大學術典藏 |
2018-09-10T04:59:30Z |
Inductive Composition of Numbers with Maximum, Minimum, and Addition - A New Theory for Program Execution-Time Analysis
|
Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2018-06-29T12:48:05Z |
Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL
|
Mok, A. K.; Emerson, E. A.; Wang, Farn; 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Emerson, E. A. |
| 國立政治大學 |
2012.05 |
Symbolic Consistency Checking of OpenMP Parallel Programs
|
郁方; Yu,Fang ; Yang,Shun-Ching ; Wang,Farn ; Chen,Guan-Cheng ; Chan,Che-Chang |
| 臺大學術典藏 |
2006-11-15 |
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang; Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 國立臺灣大學 |
2006-07 |
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 國立臺灣大學 |
2005 |
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 國立臺灣大學 |
2005 |
Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
|
Wang, Farn |
| 臺大學術典藏 |
2005 |
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang; Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 臺大學術典藏 |
2005 |
Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
|
Wang, Farn; Wang, Farn |
| 國立臺灣大學 |
2004-08 |
Formal verification of timed systems: a survey and perspective
|
Wang, Farn |
| 國立臺灣大學 |
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 |
| 國立臺灣大學 |
2004 |
Efficient Verification of Timed Automata with BDD-like Data-Structures
|
Wang, Farn |
| 國立臺灣大學 |
2004 |
Reachability solution characterization of parametric real-time systems
|
Wang, Farn; Yen, Hsu-Chun |
| 國立臺灣大學 |
2004 |
Inductive Composition of Numbers with Maximum, Minimum, and Addition - A New Theory for Program Execution-Time Analysis
|
Wang, Farn |
| 臺大學術典藏 |
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; Wang, Farn; Schmidt, K.; Yu, Fang; Huang, Geng-Dian; Wang, Bow-Yaw |
| 臺大學術典藏 |
2004 |
Reachability solution characterization of parametric real-time systems
|
Wang, Farn; Yen, Hsu-Chun; Wang, Farn; Yen, Hsu-Chun |
| 國立臺灣大學 |
2003 |
Verification of Real-Time Systemswith BDD-like Data-Structures
|
Wang, Farn |
| 國立臺灣大學 |
1995-04 |
A Temporal Logic for Real-Time Partial-Ordering with Named Transactions
|
王 凡; Wang, Farn |
| 臺大學術典藏 |
1995-04 |
A Temporal Logic for Real-Time Partial-Ordering with Named Transactions
|
Wang, Farn; Wang, Farn |
| 國立臺灣大學 |
1994-10 |
RTL and Refutation by Positive Cycles
|
王 凡; Mok, A. K.; Wang, Farn; Mok, A. K. |
| 國立臺灣大學 |
1993-06 |
A Verifier for Distributed Real-Time Systems with Bounded Integer Variables
|
王 凡; Mok, A. K.; Wang, Farn; Mok, A. K. |
| 臺大學術典藏 |
1993-06 |
A Verifier for Distributed Real-Time Systems with Bounded Integer Variables
|
Mok, A. K.; Wang, Farn; 王 凡; Mok, A. K.; Wang, Farn |
| 國立臺灣大學 |
1993-04 |
Symbolic Model-Checking for Distributed Real-Time Systems
|
王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Mok, A. K.; Emerson, E. A. |
| 臺大學術典藏 |
1993-04 |
Symbolic Model-Checking for Distributed Real-Time Systems
|
Mok, A. K.; Emerson, E. A.; Wang, Farn; 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn |
| 國立臺灣大學 |
1993 |
Symbolic Model Checking for Event-Driven Real-Time Systems
|
王 凡; Yang, J.; Mok, A. K.; Wang, Farn; Yang, J.; Mok, A. K. |
| 臺大學術典藏 |
1993 |
Symbolic Model Checking for Event-Driven Real-Time Systems
|
Yang, J.; Mok, A. K.; Wang, Farn; 王 凡; Yang, J.; Mok, A. K.; Wang, Farn; Yang, J.; Mok, A. K. |
| 國立臺灣大學 |
1992-12 |
Asynchronous Real-Time Event Logic
|
王 凡; Mok, A. K.; Wang, Farn; Mok, A. K. |
| 臺大學術典藏 |
1992-12 |
Asynchronous Real-Time Event Logic
|
Wang, Farn; Mok, A. K.; 王 凡; Mok, A. K.; Wang, Farn; Mok, A. K. |
| 國立臺灣大學 |
1992-05 |
Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL
|
王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Mok, A. K.; Emerson, E. A. |
| 國立臺灣大學 |
1984-08 |
Timing Behavior Analysis for Real-Time Systems
|
王 凡; Wang, Farn |
| 臺大學術典藏 |
1984-08 |
Timing Behavior Analysis for Real-Time Systems
|
王 凡; Wang, Farn; Wang, Farn |
Showing items 1-43 of 43 (1 Page(s) Totally)
1
View [10|25|50] records per page
|
