Jeffrey J. P. Tsai

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Eric Y. T. Juan

> Home > Persons > Jeffrey J. P. Tsai

Publications

2008
[p1]
- view
  authority control:
- export record
  dblp key:
  - reference/wiley/TsaiZSJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/wiley/TsaiZSJ08
Jeffrey J. P. Tsai, Du Zhang, Avinash Sahay, Eric Y. T. Juan:
Knowledge Verification. Wiley Encyclopedia of Computer Science and Engineering 2008
2003
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/tkde/TsaiJS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tkde/TsaiJS03
Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay:
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems. IEEE Trans. Knowl. Data Eng. 15(2): 405-422 (2003)
2002
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEicci/TsaiJ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEicci/TsaiJ02
Jeffrey J. P. Tsai, Eric Y. T. Juan:
Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems. IEEE ICCI 2002: 59-68
2001
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/TsaiJ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/TsaiJ01
Jeffrey J. P. Tsai, Eric Y. T. Juan:
Modeling and Verification of High-Assurance Properties of Safety-Critical Systems. Comput. J. 44(6): 504-530 (2001)
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/JuanTMZ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/JuanTMZ01
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou:
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. IEEE Trans. Software Eng. 27(5): 422-448 (2001)
1999
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/tkde/TsaiLJS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tkde/TsaiLJS99
Jeffrey J. P. Tsai, Alan Liu, Eric Y. T. Juan, Avinash Sahay:
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification. IEEE Trans. Knowl. Data Eng. 11(1): 187-201 (1999)
1998
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/JuanTM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/JuanTM98
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata:
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. ACM Trans. Program. Lang. Syst. 20(5): 917-979 (1998)
1997
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/TsaiLJ97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/TsaiLJ97
Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan:
Parallel Evaluation of Software Architecture Specifications. Commun. ACM 40(1): 83-86 (1997)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/TsaiJ97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/TsaiJ97
Jeffrey J. P. Tsai, Eric Y. T. Juan:
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. HASE 1997: 188-193
1996
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/TsaiYCJ96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/TsaiYCJ96
Jeffrey J. P. Tsai, Stephen J. H. Yang, Yao-Hsiung Chang, Eric Y. T. Juan:
Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets. COMPSAC 1996: 36-40
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/JuanTM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/JuanTM96
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata:
A new compositional method for condensed state-space verification. HASE 1996: 104-111
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/TsaiLJ96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/TsaiLJ96
Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan:
Transaction integration for reusable hard real-time components. HASE 1996: 166-175

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.