| |
| 2006 | ||
|---|---|---|
| 6 | EE | Nguyen Truong Thang, Takuya Katayama: Specification and verification of inter-component constraints in CTL. ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 2005 | ||
| 5 | EE | Nguyen Truong Thang, Takuya Katayama: Constructing Open Systems via Consistent Components. ICTAC 2005: 517-531 |
| 4 | EE | Nguyen Truong Thang, Takuya Katayama: A Formal Approach Facilitating the Evolution of Component-Based Software. IWPSE 2005: 49-52 |
| 2004 | ||
| 3 | EE | Nguyen Truong Thang, Takuya Katayama: Handling Consistency of Software Evolution in an Efficient Way. IWPSE 2004: 121-130 |
| 2003 | ||
| 2 | EE | Nguyen Truong Thang, Takuya Katayama: Towards a Sound Modular Model Checking of Collaboration-Based Software Designs. APSEC 2003: 88-97 |
| 1 | EE | Nguyen Truong Thang, Takuya Katayama: Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects. IWPSE 2003: 45-50 |
| 1 | Takuya Katayama | [1] [2] [3] [4] [5] [6] |