The SCEAS System
Navigation Menu

Search the dblp DataBase


Kozo Okano: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.003secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002