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 |