| 2006 |
|---|
| 9 | EE | Takashi Takenaka,
Kozo Okano,
Teruo Higashino,
Kenichi Taniguchi:
Symbolic model checking of extended finite state machines with linear constraints over integer variables.
Systems and Computers in Japan 37(6): 64-72 (2006) |
| 2005 |
|---|
| 8 | EE | Behzad Bordbar,
Rachid Anane,
Kozo Okano:
An Evaluation Mechanism for QoS Management in Wireless Systems.
ICPADS (2) 2005: 150-154 |
| 2004 |
|---|
| 7 | EE | Behzad Bordbar,
Kozo Okano:
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach.
FATES 2004: 95-109 |
| 2003 |
|---|
| 6 | EE | Behzad Bordbar,
Kozo Okano:
Verification of Timeliness QoS Properties in Multimedia Systems.
ICFEM 2003: 523-540 |
| 2001 |
|---|
| 5 | EE | Kozo Okano,
Yuko Kitahama,
Akira Kitajima,
Teruo Higashino,
Kenichi Taniguchi:
Formal Verification of CPU in Laboratory Work.
MSE 2001: 32-34 |
| 1999 |
|---|
| 4 | EE | Kozo Okano,
Satoshi Hattori,
Akira Yamamoto,
Teruo Higashino,
Kenichi Taniguchi:
Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness.
ICPP Workshops 1999: 576-581 |
| 1997 |
|---|
| 3 | EE | Hirozumi Yamaguchi,
Kozo Okano,
Teruo Higashino,
Kenichi Taniguchi:
Protocol Synthesis from Time Petri Net Based Service Specification.
ICPADS 1997: 236-243 |
| 1995 |
|---|
| 2 | | Hirozumi Yamaguchi,
Kozo Okano,
Teruo Higashino,
Kenichi Taniguchi:
Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers.
ICDCS 1995: 510-517 |
| 1993 |
|---|
| 1 | | Teruo Higashino,
Kozo Okano,
Hiroshi Imajo,
Kenichi Taniguchi:
Deriving Protocol Specifications from Service Specifications in Extended FSM Models.
ICDCS 1993: 141-148 |
