| Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2002 | Compositional Verification of Concurrent and Real-Time Systems | J. Tsai; E. Juan | Kluwer Academic Publishers | |||
| 1998 | Compositional Verification of Concurrent Systems Using Petri-Nets-Based Condensation Rules | E. Juan ; J. Tsai; T. Murata | ACM Transactions on Programming Languages and Systems | |||
| 1999 | Knowledge Verification | E. Juan ; J. Tsai; D. Zhang; A. Sahay | Wiley Encyclopedia of Electrical and Electronics Engineering | |||
| 1999 | Knowledge-Based Software Architecture: Acquisition, Specification, and Verification | E. Juan ; A. Liu; J. Tsai; A. Sahay | IEEE Transactions on Knowledge and Data Engineering | |||
| 2003 | Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems | J. Tsai; A. Sahay; E. Juan | IEEE Transactions on Knowledge and Data Engineering | |||
| 2001 | Modelling and Verification of High-Assurance Properties of Safety-Critical Systems | J. Tsai; E. Juan | The Computer Journal | |||
| 1997 | A Parallel Evaluation Model for Software Architecture Specifications | J. Tsai; B. Li; E. Juan | Communications of the ACM | |||
| 2001 | Reduction Methods for Real-Time Systems using Delay Time Petri Nets | E. Juan ; J. Tsai; T. Murata; Y. Zhou | IEEE Transactions on Software Engineering |
