The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Toshiaki Aoki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Toshiaki Aoki, Takuya Katayama
    Unification and Consistency Verification of Object-Oriented Analysis Models. [Citation Graph (0, 0)][DBLP]
    APSEC, 1998, pp:296-303 [Conf]
  2. Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama
    Extracting threads from concurrent objects for the design of embedded systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:107-116 [Conf]
  3. Kenro Yatake, Toshiaki Aoki, Takuya Katayama
    Implementing Application-Specific Object-Oriented Theories in HOL. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:501-516 [Conf]
  4. Toshiaki Aoki, Takuya Katayama
    Formalization and Analysis of Dataflow in Object-Oriented Design Models. [Citation Graph (0, 0)][DBLP]
    ISORC, 2005, pp:95-105 [Conf]
  5. Toshiaki Aoki, Takuya Katayama
    Foundations for Evolutionary Construction of State Transition Models. [Citation Graph (0, 0)][DBLP]
    IWPSE, 2004, pp:143-146 [Conf]
  6. Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
    An Axiomatic Formalization of UML Models. [Citation Graph (0, 0)][DBLP]
    pUML, 2001, pp:13-28 [Conf]
  7. Kenro Yatake, Toshiaki Aoki, Takuya Katayama
    Collaboration-based verification of Object-Oriented models in HOL. [Citation Graph (0, 0)][DBLP]
    VVEIS, 2004, pp:78-80 [Conf]
  8. Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama
    Project Report: High-Reliable Object-Oriented Embedded Software Design. [Citation Graph (0, 0)][DBLP]
    WSTFEUS, 2004, pp:144-148 [Conf]

  9. Statechart-based Verification of Object-Oriented Design Models. [Citation Graph (, )][DBLP]


  10. A Minimized Assumption Generation Method for Component-Based Software Verification. [Citation Graph (, )][DBLP]


  11. Model Checking Multi-Task Software on Real-Time Operating Systems. [Citation Graph (, )][DBLP]


  12. Detecting and Analyzing State Inconsistencies in Multi-task Software. [Citation Graph (, )][DBLP]


  13. SPLC 2007 Dectoral Symposium. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002