| 亞洲大學 |
2002-08 |
Modeling and Heuristic Technique for Efficient Verification of Component-Based Software Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002-06 |
Modeling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Colored Petri Nets
|
Jeffrey J. P. Tsai;C. Xiong, T. Murata |
| 亞洲大學 |
2002-06 |
A Secure Mobile Agent System Model Based on Extended Elementary Object Net
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002-06 |
Modeling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Colored Petri Nets
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002-05 |
Modeling a Secure Mobile Agent System with Petri Nets Scheme
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002 |
Development of Wireless Embedded Systems Using Component Based Software
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002 |
Compositional Verification of Concurrent and Real-Time Systems
|
Y.T.Juan;Eric, Y.T.Juan;蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2001.03 |
Formal Analysis of Software Security Systems Architecture
|
Y.Deng;Y.Deng;J.Wang;J.Wang;蔡進發;Jeffrey, J.P.Tsai;K.Beznosov;K.Beznosov |
| 中原大學 |
2001-12 |
Modeling and Verification of High-Assurance Properties of Safety-Critical Systems
|
Jeffrey J. P. Tsai;Eric Y. T. Juan |
| 國立臺灣海洋大學 |
2001-12 |
Modelling and Verification of High-Assurance Properties of Safety-Critical Systems
|
Jeffrey J. P. Tsai; Eric Y. T. Juan |
| 中原大學 |
2001-05 |
Reduction Methods for Real-Time Systems using Delay Time Petri Nets
|
Eric Y. T. Juan;Jeffrey J. P. Tsai;Tadao Murata;Yi Zhou |
| 亞洲大學 |
2001-03 |
Reduction Methods for Real-Time Systems using Delay Time Petri Nets
|
Jeffrey J. P. Tsai;. Juan T. Murata;Y. Zhou |
| 亞洲大學 |
2001-03 |
Formal Analysis of Software Security System Architectures
|
Jeffrey J. P. Tsai; |
| 亞洲大學 |
2001-03 |
Formal Analysis of Software Security Systems Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2001 |
Formal Verification Techniques for Communication Security Protocols
|
Jeffrey J. P. Tsai; |
| 亞洲大學 |
2001 |
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2001 |
Hybrid Parallel Execution Model for Logic-Based Specification Languages
|
蔡進發;Jeffrey, J.P.Tsai;B.Li;B.Li |
| 亞洲大學 |
2000.06 |
An Agent-based Internet Software Integration System
|
J.-M.Lin;J.-M.Lin;蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2000.06 |
A Compositional Approach for Modeling and Verification of Component-Based Software Systems
|
蔡進發;Jeffrey, J.P.Tsai;E.Juan;E.Juan |
| 亞洲大學 |
2000-06 |
A Compositional Approach for Modeling and Verification of Component-Based Software Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2000-06 |
An Agent-based Internet Software Integration System
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2000-04 |
Clustering Algorithm for Parallelizing Software Systems in Multi-Processors Environment
|
Jeffrey J. P. Tsai;D. Kadamuddi |
| 亞洲大學 |
2000 |
Clustering Algorithm for Parallelizing Software Systems in Multi-Processors Environment
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2000 |
Fault-toleration by Duplication and Debugging for Distributed Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1999.06 |
Architecture Specification of Multimedia Software Systems
|
蔡進發;Jeffrey, J.P.Tsai;K.Xu;K.Xu |
| 亞洲大學 |
1999-06 |
Architecture Specification of Multimedia Software Systems
|
Jeffrey J. P. Tsai;K. Xu |
| 亞洲大學 |
1999-06 |
Architecture Specification of Multimedia Software Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 中原大學 |
1999-01 |
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
|
Jeffrey J.P. Tsai;Alan Liu;Eric Juan;Avinash Sahay |
| 亞洲大學 |
1999-01 |
Knowledge-Based Software Architecture: Acquisition, Specification, and Verification
|
Jeffrey J. P. Tsai;A. Liu, E. Juan;A. Sahay |
| 亞洲大學 |
1999 |
Knowledge Verification
|
Jeffrey J. P. Tsai;E. Juan, A. sahay, D. Zhang |
| 亞洲大學 |
1999 |
System Monitoring
|
Jeffrey J. P. Tsai;A. Liu |
| 亞洲大學 |
1998.04 |
Multimedia Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai;F.Bastani;F.Bastani;M.Hirakawa;M.Hirakawa;S.B.;S.Barchayara |
| 中原大學 |
1998-09 |
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules
|
Eric Y. T. Juan;Jeffrey J. P. Tsai;Tadao Murata |
| 亞洲大學 |
1998-08 |
Improving Software Quality Through a New Testing Strategy
|
Jeffrey J. P. Tsai;X. Zeng, T. Weigert |
| 亞洲大學 |
1998-04 |
Multimedia Software Engineering
|
Jeffrey J. P. Tsai; |
| 亞洲大學 |
1998-04 |
Multimedia Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1998-01 |
A Logic-Based Transformation Systems
|
Jeffrey J. P. Tsai;B. Li;T. Weigert |
| 亞洲大學 |
1998 |
Compositional Verification of Concurrent Systems Using Petri-Nets-Based Condensation Rules
|
Jeffrey J. P. Tsai;E. Juan;T. Murata |
| 國立臺灣海洋大學 |
1998 |
Compositional verification of concurrent systems using Petri-net-based condensation rules
|
Eric Y. T. Juan; Jeffrey J. P. Tsai; Tadao Murata |
| 亞洲大學 |
1997.10 |
An Incremental Verification of Software Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997.08 |
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems
|
蔡進發;Jeffrey, J.P.Tsai;E.Juan;E.Juan |
| 亞洲大學 |
1997.02 |
An Incremental Verification Approach for Software Architecture Specification of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997-10 |
An Incremental Verification of Software Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997-09 |
Incremental Verification of Software Architectures
|
Jeffrey J. P. Tsai;A. Sistla, A. Sahay, R. Paul |
| 亞洲大學 |
1997-08 |
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems
|
Jeffrey J. P. Tsai;E. Juan |
| 亞洲大學 |
1997-08 |
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997-02 |
Incremental Verification of Architecture Specification Language for Real-Time Systems
|
Jeffrey J. P. Tsai;A. P. Sistla and Avinash Sahay |
| 亞洲大學 |
1997-02 |
An Incremental Verification Approach for Software Architecture Specification of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997-01 |
Parallel Evalutation Model for Software Architecture Specification
|
Jeffrey J. P. Tsai;B. Li ;E. Juan |
| 亞洲大學 |
1996.12 |
An Integrated Architecture for Distributed Real-Time Systems Analysis
|
S.Yang;S.Yang;蔡進發;Jeffrey, J.P.Tsai;A.Liu;A.Liu |
