| 臺大學術典藏 |
2020-06-04T07:49:01Z |
An extension of ATL with strategy interaction
|
Wang, F.;Schewe, S.;Huang, C.-H.; Wang, F.; Schewe, S.; Huang, C.-H.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:49:00Z |
Lazy decision diagrams for word-level model manipulation in software verification
|
Wang, F.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:49:00Z |
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors
|
FARN WANG; Wang, F.; Schewe, S.; Huang, C.-H.;Peled, D.A.;Schewe, S.;Wang, F.; Huang, C.-H.; Peled, D.A. |
| 臺大學術典藏 |
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:57Z |
An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata
|
Ji, W.;Wang, F.;Wu, P.;Lv, Y.; Ji, W.; Wang, F.; Wu, P.; Lv, Y.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:57Z |
Intelligent test oracle construction for reactive systems without explicit specifications
|
Wang, F.;Yao, L.-W.;Wu, J.-H.; Wang, F.; Yao, L.-W.; Wu, J.-H.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:56Z |
Complexity of node coverage games
|
Wang, F.;Schewe, S.;Wu, J.-H.; Wang, F.; Schewe, S.; Wu, J.-H.; 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 verification of distributed real-time systems with broadcasting behaviors
|
Wang, F.;Yao, L.-W.;Yang, Y.-L.; Wang, F.; Yao, L.-W.; Yang, Y.-L.; 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:54Z |
Machine Learning Techniques for Recognizing IoT Devices
|
Lin, Y.C.;Wang, F.; Lin, Y.C.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:53Z |
Regression testing of bug-fixes with AI techniques
|
Yao, L.W.; FARN WANG; Wang, F.;Wu, C.J.;Lee, Y.-C.;Yao, L.W.; Wang, F.; Wu, C.J.; Lee, Y.-C. |
| 臺大學術典藏 |
2020-06-04T07:48:53Z |
Regression testing based on neural networks and program slicing techniques
|
Wang, F.; Yang, S.-C.; Yang, Y.-L.; FARN WANG; Wang, F.;Yang, S.-C.;Yang, Y.-L. |
| 臺大學術典藏 |
2020-06-04T07:48:53Z |
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.; Chen, Y.-F.; Hsieh, C.; Tsai, M.-H.; Wang, B.-Y.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:53Z |
Model-checking iterated games
|
Huang, C.-H.;Schewe, S.;Wang, F.; Huang, C.-H.; Schewe, S.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:52Z |
Time-progress evaluation for dense-time automata with concave path conditions
|
Wang, F.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:52Z |
Symbolic branching bisimulation-checking of dense-time systems in an environment
|
Wang, F.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:52Z |
LTL model checking for recursive programs
|
Huang, G.-D.;Cai, L.-Z.;Wang, F.; Huang, G.-D.; Cai, L.-Z.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:52Z |
Evolving a test oracle in black-box testing
|
Wu, J.-H.; Huang, C.-H.; Chang, K.-H.; FARN WANG; Wang, F.;Wu, J.-H.;Huang, C.-H.;Chang, K.-H.; Wang, F. |
| 臺大學術典藏 |
2020-06-04T07:48:52Z |
A temporal logic for the interaction of strategies
|
Wang, F.;Huang, C.-H.;Yu, F.; Wang, F.; Huang, C.-H.; Yu, F.; 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 |
273-289 Temporal specification mining for anomaly analysis
|
Wu, J.-H.; Huang, C.-H.; Chang, C.-C.; Li, C.-C.; FARN WANG; Wang, F.; Wang, F.;Wu, J.-H.;Huang, C.-H.;Chang, C.-C.;Li, C.-C. |
| 臺大學術典藏 |
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:50Z |
Synthesizing coalitions for multi-agent games
|
Wu, P.; FARN WANG; Ji, W.;Wang, F.;Wu, P.; Ji, W.; Wang, F. |
| 臺大學術典藏 |
2020-06-04T07:48:49Z |
Reachability Analysis at Procedure Level through Timing Coincidence.
|
Wang, Farn; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2018-09-10T07:42:16Z |
Procedural-Level Verification of Real-Time Concurrent Systems
|
F. Wang; C.-T. Lo; FARN WANG |
| 臺大學術典藏 |
2018-09-10T06:37:14Z |
A Temporal Logic for Real-Time Partial-Ordering with Named Transactions
|
F. Wang; FARN WANG |
| 臺大學術典藏 |
2018-09-10T06:37:13Z |
Symbolic Model Checking for Event-Driven Real-Time Systems
|
J. Yang; A.K. Mok; F. Wang; FARN WANG |
| 臺大學術典藏 |
2018-09-10T06:02:45Z |
Parametric Timing Analysis of Real-Time Systems
|
F. Wang; FARN WANG |
| 臺大學術典藏 |
2018-09-10T05:27:17Z |
Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems
|
G.-D. Huang; F. Wang; FARN WANG |
| 臺大學術典藏 |
2018-09-10T05:27:17Z |
Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations
|
F. Wang; FARN WANG |
| 臺大學術典藏 |
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-09-10T04:59:30Z |
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-Structures
|
F. Wang.; FARN WANG |
| 臺大學術典藏 |
2018-09-10T04:59:30Z |
Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions
|
F. Wang.; FARN WANG |
| 臺大學術典藏 |
2018-09-10T04:59:29Z |
Formal Verification of Timed Systems: A Survey and Perspective
|
Falk, H.F. Wang.; Falk, H.; FARN WANG |
| 臺大學術典藏 |
2018-09-10T04:35:39Z |
Timing Parameter Characterization of Real-Time Systems
|
F. Wang; H.-C. Yen.; FARN WANG |
| 臺大學術典藏 |
2018-09-10T04:35:39Z |
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
|
F. Wang; G.-D. Huang; F. Yu.; FARN WANG |
| 臺大學術典藏 |
2018-09-10T04:35:38Z |
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems
|
F. Wang; FARN WANG |
| 臺大學術典藏 |
2018-09-10T04:35:38Z |
Symbolic Simulation of Real-Time Concurrent Systems
|
F. Wang; G.-D. Hwang; F. Yu; FARN WANG |
| 臺大學術典藏 |
2018-09-10T04:35:38Z |
Verification of Embedded Systems with BDD-like Data-Structures
|
F. Wang; FARN WANG |
| 臺大學術典藏 |
2018-09-10T04:35:38Z |
TCTL Inevitability Analysis of Dense-Time Systems
|
F. Wang; G.-D. Hwang; F. Yu; FARN WANG |
| 臺大學術典藏 |
2018-09-10T04:35:37Z |
Real-Time Distributed System Specification and Verification in APTL
|
F. Wang;A.K. Mok;E.A. Emerson; F. Wang; A.K. Mok; E.A. Emerson; FARN WANG |
| 臺大學術典藏 |
2018-09-10T04:35:37Z |
Efficient Verification of Timed Automata with BDD-like Data-Structures
|
F. Wang,; FARN WANG |
| 臺大學術典藏 |
2018-09-10T04:15:26Z |
Efficient and User-Friendly Verification.
|
F. Wang; P.-A. Hsiung; FARN WANG |
| 臺大學術典藏 |
2018-09-10T04:15:26Z |
Symmetric Model-Checking of Concurrent Timed Automata with Clock-Restriction Diagram
|
F. Wang; FARN WANG |
| 臺大學術典藏 |
2018-09-10T04:15:26Z |
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures
|
F. Wang; K. Schmidt; FARN WANG |
| 臺大學術典藏 |
2018-09-10T03:50:34Z |
Parametric Optimization of Open Real-Time Systems
|
F. Wang; H.-C. Yen; FARN WANG |
