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 checkingassume-guarantee reasoningmodular verificationlearning algorithmminimal assumption
 Summary | Full Text:PDF

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 adaptationbehavior mismatchpushdown model checkingunbounded messages
 Summary | Full Text:PDF

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 checkingassume-guarantee reasoningmodular verificationlearning algorithmminimal assumption
 Summary | Full Text:PDF

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 checkingassume-guarantee reasoningmodular verificationcomponent evolutionconformance testing
 Summary | Full Text:PDF

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:  INVITED PAPER (Special Section on Software Engineering for Embedded Systems)
Category: 
Keyword: 
embedded softwaredesign verification operating systemreal-time garbage collection
 Summary | Full Text:PDF

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 circularitiesl-ordered attribute grammarsordered attribute grammarsattribute evaluators
 Summary | Full Text:PDF

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

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/25
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 systemsdistributed systemsparallel computingfunctional paradigmcheckpointing and recovery
 Summary | Full Text:PDF