IEICE SEARCH SYSTEM

Takuya KATAYAMA

On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification Ngoc Hung PHAM Viet Ha NGUYEN Toshiaki AOKI Takuya KATAYAMA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2012/09/01 Vol. E95-A No. 9 pp. 1451-1460 Type of Manuscript: Special Section PAPER (Special Section on Software Reliability Engineering) Category: Keyword: model checking, assume-guarantee reasoning, modular verification, learning algorithm, minimal assumption,
	Summary \| Full Text:PDF (1.4MB)

Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking Hsin-Hung LIN Toshiaki AOKI Takuya KATAYAMA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2012/07/01 Vol. E95-D No. 7 pp. 1882-1893 Type of Manuscript: PAPER Category: Data Engineering, Web Information Systems Keyword: service adaptation, behavior mismatch, pushdown model checking, unbounded messages,
	Summary \| Full Text:PDF (1.5MB)

A Minimized Assumption Generation Method for Component-Based Software Verification Ngoc Hung PHAM Viet Ha NGUYEN Toshiaki AOKI Takuya KATAYAMA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2010/08/01 Vol. E93-D No. 8 pp. 2172-2181 Type of Manuscript: PAPER Category: Software System Keyword: model checking, assume-guarantee reasoning, modular verification, learning algorithm, minimal assumption,
	Summary \| Full Text:PDF (318.6KB)

Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software Ngoc Hung PHAM Toshiaki AOKI Takuya KATAYAMA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/11/01 Vol. E92-A No. 11 pp. 2772-2780 Type of Manuscript: Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications) Category: Keyword: model checking, assume-guarantee reasoning, modular verification, component evolution, conformance testing,
	Summary \| Full Text:PDF (717.6KB)

Highly Reliable Embedded Software Development Using Advanced Software Technologies Takuya KATAYAMA Tatsuo NAKAJIMA Taiichi YUASA Tomoji KISHI Shin NAKAJIMA Shuichi OIKAWA Masahiro YASUGI Toshiaki AOKI Mitsutaka OKAZAKI Seiji UMATANI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/06/01 Vol. E88-D No. 6 pp. 1105-1116 Type of Manuscript: Special Section PAPER (Special Section on Software Engineering for Embedded Systems) Category: INVITED Keyword: embedded software, design verification operating system, real-time garbage collection,
	Summary \| Full Text:PDF (1.2MB)

OAG^*: Improved Ordered Attribute Grammars for Less Type 3 Circularities Shin NATORI Katsuhiko GONDOW Takashi IMAIZUMI Takeshi HAGIWARA Takuya KATAYAMA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/04/01 Vol. E86-D No. 4 pp. 673-685 Type of Manuscript: PAPER Category: Theory of Automata, Formal Language Theory Keyword: type 3 circularities, l-ordered attribute grammars, ordered attribute grammars, attribute evaluators,
	Summary \| Full Text:PDF (863.3KB)

FOREWORD Takuya KATAYAMA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1999/04/20 Vol. E82-D No. 4 pp. 727-728 Type of Manuscript: FOREWORD Category: Keyword:
	Summary \| Full Text:PDF (114.1KB)

A Novel Replication Technique for Detecting and Masking Failures for Parallel Software: Active Parallel Replication Adel CHERIF Masato SUZUKI Takuya KATAYAMA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1997/09/20 Vol. E80-D No. 9 pp. 886-892 Type of Manuscript: Special Section PAPER (Special Issue on Architectures, Algorithms and Networks for Massively Parallel Computing) Category: Fault Tolerance Keyword: fault tolerant systems, distributed systems, parallel computing, functional paradigm, checkpointing and recovery,
	Summary \| Full Text:PDF (642KB)