Characterization of the Structure-Generating Functions of Regular Sets and the DOL Growth Functions - Takuya Katayama; Masayuki Okamoto; Hajime Enomoto (Inf. Control., 1978)

Verification of Attribute Grammars. - Takuya Katayama; Yutaka Hoshino (POPL, 1981)

Treatment of Big Values in an Applicative Language HFP. - Takuya Katayama (RIMS Symposium on Software Science and Engineering, 1982)

Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach. - Takuya Katayama (LISP and Functional Programming, 1984)

Global Storage Allocation in Attribute Evaluation. - Hisashi Sasaki; Takuya Katayama (RIMS Symposia on Software Science and Engineering, 1984)

Translation of Attribute Grammars into Procedures. - Takuya Katayama (ACM Trans. Program. Lang. Syst., 1984)

SDA: A Novel Approach to Software Environment Design and Construction. - Kouichi Kishida; Takuya Katayama; Masatoshi Matsuo; Isao Miyamoto; Koichiro Ochimizu; Nobuo Saito; John H. Sayler; Koji Torii; Lloyd G. Williams (ICSE, 1988)

A hierarchical and functional approach to software process description. - Takuya Katayama (ISPW, 1988)

Meta Operations for Type Management in Object-Oriented Databases. - Lichao Tan; Takuya Katayama (DOOD, 1989)

A Hierarchical and Functional Software Process Description and Its Enaction. - Takuya Katayama (ICSE, 1989)

Mechanisms for software process dynamics. - Takuya Katayama; Masato Suzuki (ISPW, 1989)

An example of process description in HFSP. - Takuya Katayama; Masato Suzuki (ISPW, 1989)

Towards Formal Description and Automatic Generation of Programming Environments. - Yoichi Shinoda; Takuya Katayama (SEE, 1989)

Applying the software process to the instruction tool in system design. - Sumio Mochizuki; Akira Yamauchi; Takuya Katayama; Masato Suzuki (ISPW, 1990)

Object-oriented software processes and their environment. - Yoichi Shinoda; Takuya Katayama (ISPW, 1990)

Coping with changes in an object management system based on attribute grammars. - Lichao Tan; Yoichi Shinoda; Takuya Katayama (SDE, 1990)

Object-Oriented Extension of Attribute Grammars and its Implementation Using Distributed Attribute Evaluation Algorithm. - Yoichi Shinoda; Takuya Katayama (WAGA, 1990)

Analyzing and evaluating fundamental design process of checkout system for artificial spacecraft. - Sumio Mochizuki; Akira Yamauchi; Takuya Katayama (COMPSAC, 1991)

ISPW6: Support for the Software Process. - Takuya Katayama (ICSE, 1991)

What has been learned from applying a formal process model to a real process. - Takuya Katayama; Sumio Motizuki (ISPW, 1991)

A Formal Model of Re-execution in Software Process. - Masato Suzuki; Atsushi Iwai; Takuya Katayama (ICSP, 1993)

Change Management and Consistency Maintenance in Software Development Environments Using Object-Oriented Attribute Grammars. - Katsuhiko Gondow; Takashi Imaizumi; Yoichi Shinoda; Takuya Katayama (ISOTAS, 1993)

Specifying Reactive Systems with Attributed Finite State Machines. - Shiyuan Ding; Takuya Katayama (IWSSD, 1993)

Attributed State Machines For Behavior Specification of Reactive Systems. - Shiyuan Ding; Takuya Katayama (SEKE, 1993)

Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model. - Sumio Mochizuki; Akira Yamauchi; Takuya Katayama (SEKE, 1993)

Implementing Fault Tolerance with an Attribute and Functional Based Model. - Masato Suzuki; Takuya Katayama; Richard D. Schlichting (FTCS, 1994)

A Proposal for Composing Software Design Process. - Sumio Mochizuki; Takuya Katayama (Software Quality and Productivity, 1994)

Principles of Software Evolution. - Takuya Katayama (APSEC, 1996)

A replication technique based on a functional and attribute grammar computation model. - Adel Cherif; Masato Suzuki; Takuya Katayama (ISSRE, 1996)

An Object Logic for Object Base Capable of Version Management. - Naoko Izumi; Takuya Katayama (SEKE, 1996)

Application of object-oriented attribute grammars (OOAG) to software development environments. - Katsuhiko Gondow; Takashi Imaizumi; Takeshi Hagiwara; Takuya Katayama (Syst. Comput. Jpn., 1996)

On Generalization of Attribute Grammars. - Yutaka Kikuchi; Takuya Katayama (Syst. Comput. Jpn., 1996)

Unification and Consistency Verification of Object-Oriented Analysis Models. - Toshiaki Aoki; Takuya Katayama (APSEC, 1998)

Storage Allocation Strategies for Recursive Attributes Evaluators. - Kazunori Mizushima; Takuya Katayama (CC, 1998)

Incremental Software Development Method Based on Abstract Interpretation. - Nobukazu Yoshioka; Masato Suzuki; Takuya Katayama (IWSSD, 1998)

Replica management for fault-tolerant systems. - Adel Cherif; Takuya Katayama (IEEE Micro, 1998)

Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles. - Takuya Katayama (ICECCS, 2000)

Attribute Grammars as Record Calculus - A Structure-Oriented Denotational Semantics of Attribute Grammars by Using Cardelli's Record Calculus. - Katsuhiko Gondow; Takuya Katayama (Informatica (Slovenia), 2000)

Architectural Design for Evolution by Analyzing Requirements on Quality Attributes. - Tomoji Kishi; Natsuko Noda; Takuya Katayama (APSEC, 2001)

Evolutionary Domains: A Basis for Sound Software Evolution. - Takuya Katayama (IWPSE, 2001)

An Axiomatic Formalization of UML Models. - Toshiaki Aoki; Takaaki Tateishi; Takuya Katayama (pUML, 2001)

Extracting threads from concurrent objects for the design of embedded systems. - Mitsutaka Okazaki; Toshiaki Aoki; Takuya Katayama (APSEC, 2002)

Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker. - Yasser Kotb; Katsuhiko Gondow; Takuya Katayama (International Conference on Internet Computing, 2002)

Collaboration-based evolvable software implementations: Java and Hyper/J vs. C++-templates composition. - Nguyen Truong Thang; Takuya Katayama (IWPSE, 2002)

An incremental evaluation approach to check the consistency of XML documents. - Yasser Kotb; Katsuhiko Gondow; Takuya Katayama (SMC, 2002)

A Method for Product Line Scoping Based on a Decision-Making Framework. - Tomoji Kishi; Natsuko Noda; Takuya Katayama (SPLC, 2002)

Failure Detectors for Large-Scale Distributed Systems. - Naohiro Hayashibara; Adel Cherif; Takuya Katayama (SRDS, 2002)

Science of Software Changes. - Takuya Katayama (APSEC, 2003)

An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation. - Hiroyuki Ozaki; Shingo Ban; Katsuhiko Gondow; Takuya Katayama (APSEC, 2003)

Towards a Sound Modular Model Checking of Collaboration-Based Software Designs. - Nguyen Truong Thang; Takuya Katayama (APSEC, 2003)

Class Refinement for Software Evolution. - Hiroyuki Ozaki; Katsuhiko Gondow; Takuya Katayama (IWPSE, 2003)

Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects. - Nguyen Truong Thang; Takuya Katayama (IWPSE, 2003)

A case study for XML semantics checker model. - Yasser Kotb; Katsuhiko Gondow; Takuya Katayama (SMC, 2003)

Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems. - Samia Souissi; Xavier Défago; Takuya Katayama (ICDCS Workshops, 2004)

Foundations for Evolutionary Construction of State Transition Models. - Toshiaki Aoki; Takuya Katayama (IWPSE, 2004)

Handling Consistency of Software Evolution in an Efficient Way. - Nguyen Truong Thang; Takuya Katayama (IWPSE, 2004)

The Φ Accrual Failure Detector. - Naohiro Hayashibara; Xavier Défago; Rami Yared; Takuya Katayama (SRDS, 2004)

Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm. - Péter Urbán; Naohiro Hayashibara; André Schiper; Takuya Katayama (SRDS, 2004)

Collaboration-based verification of Object-Oriented models in HOL. - Kenro Yatake; Toshiaki Aoki; Takuya Katayama (VVEIS, 2004)

Project Report: High-Reliable Object-Oriented Embedded Software Design. - Tomoji Kishi; Toshiaki Aoki; Shin Nakajima 001; Natsuko Noda; Takuya Katayama (WSTFEUS, 2004)

Optimizing the Execution Time for Checking the Consistency of XML Documents. - Yasser Kotb; Katsuhiko Gondow; Takuya Katayama (J. Intell. Inf. Syst., 2004)

Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers. - Rami Yared; Xavier Défago; Takuya Katayama (AINA, 2005)

A Parametric Model Checking Approach for Real-Time Systems Design. - Chaiwat Sathawornwichit; Takuya Katayama (APSEC, 2005)

Information Propagation on the phi Failure Detector. - Naohiro Hayashibara; Xavier Défago; Makoto Takizawa 001; Takuya Katayama (DEXA Workshops, 2005)

Definition and Specification of Accrual Failure Detectors. - Xavier Défago; Péter Urbán; Naohiro Hayashibara; Takuya Katayama (DSN, 2005)

Workshop on Dependable Software - Tools and Methods - Workshop Abstract. - Takuya Katayama; Yutaka Ishikawa; Yoshiki Kinoshita (DSN, 2005)

Constructing Open Systems via Consistent Components. - Nguyen Truong Thang; Takuya Katayama (ICTAC, 2005)

Implementing Application-Specific Object-Oriented Theories in HOL. - Kenro Yatake; Toshiaki Aoki; Takuya Katayama (ICTAC, 2005)

Formalization and Analysis of Dataflow in Object-Oriented Design Models. - Toshiaki Aoki; Takuya Katayama (ISORC, 2005)

Steering Model-Driven Evolution by Responsibilities. - Ming-Jen Huang; Takuya Katayama (IWPSE, 2005)

A Formal Approach Facilitating the Evolution of Component-Based Software. - Nguyen Truong Thang; Takuya Katayama (IWPSE, 2005)

A Scheduling Method for Divisible Workload Problem in Grid Environments. - Nguyen The Loc; Said Elnaffar; Takuya Katayama; Tu Bao Ho (PDCAT, 2005)

Design Verification for Product Line Development. - Tomoji Kishi; Natsuko Noda; Takuya Katayama (SPLC, 2005)

Steering Model-Driven Development of Enterprise Information System Through Responsibilities. - Ming-Jen Huang; Takuya Katayama (WSMDEIS, 2005)

Consistency checking of UML model diagrams using the XML semantics approach. - Yasser Kotb; Takuya Katayama (WWW (Special interest tracks and posters), 2005)

Highly Reliable Embedded Software Development Using Advanced Software Technologies. - Takuya Katayama; Tatsuo Nakajima; Taiichi Yuasa; Tomoji Kishi; Shin Nakajima 001; Shuichi Oikawa; Masahiro Yasugi; Toshiaki Aoki; Mitsutaka Okazaki; Seiji Umatani (IEICE Trans. Inf. Syst., 2005)

Responsibility-Steering Automation of Software Evolution. - Ming-Jen Huang; Takuya Katayama (EVOL, 2006)

A Novel Technique to Verify the UML Use Case Diagrams. - Yasser Kotb; Takuya Katayama (IASTED Conf. on Software Engineering, 2006)

Improving software documentation using textual entailment. - Yasser Kotb; Takuya Katayama (ACM SIGSOFT Softw. Eng. Notes, 2006)

Specification and verification of inter-component constraints in CTL. - Nguyen Truong Thang; Takuya Katayama (ACM SIGSOFT Softw. Eng. Notes, 2006)

Statechart-based Verification of Object-Oriented Design Models. - Toshiaki Aoki; Takuya Katayama (APSEC, 2007)

Using Responsibility Modeling and Rule-Based Approach for Product Line Evolution. - Ming-Jen Huang; Takuya Katayama (SPLC (2), 2007)

Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. - Pham Ngoc Hung; Takuya Katayama (APSEC, 2008)

Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy. - Hiroaki Tanizaki; Takuya Katayama (APSEC, 2008)

How Can We Make Industry Adopt Formal Methods? - Takuya Katayama (ICFEM, 2008)

Development of a navigation system with a route planning algorithm using body-worn sensors. - Takuya Katayama; Masashi Yamishita; Masaki Nakamiya; Kazuya Murao; Kohei Tanaka; Tsutomu Terada; Shojiro Nishio (MoMM, 2008)

An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving. - Kenro Yatake; Takuya Katayama (MSVVEIS, 2008)

A Minimized Assumption Generation Method for Component-Based Software Verification. - Pham Ngoc Hung; Toshiaki Aoki; Takuya Katayama (ICTAC, 2009)

Project Report: Toward the Realization of Highly Reliable Embedded Systems. - Takuya Katayama; Tomoji Kishi; Shintaro Hosoai; Tatsuo Nakajima; Taiichi Yuasa; Midori Sugaya; Tomoharu Ugawa (ISORC, 2009)

An effective framework for assume-guarantee verification of evolving component-based software. - Pham Ngoc Hung; Toshiaki Aoki; Takuya Katayama (EVOL/IWPSE, 2009)

Learning lessons from the past: how IWPSE has started, and where we should go. - Takuya Katayama (EVOL/IWPSE, 2009)

Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. - Pham Ngoc Hung; Toshiaki Aoki; Takuya Katayama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)

Non-regular Adaptation of Services Using Model Checking. - Hsin-Hung Lin; Toshiaki Aoki; Takuya Katayama (ISORC, 2010)

Modeling of Real-Time System Designs for Parametric Analysis. - Chaiwat Sathawornwichit; Toshiaki Aoki; Takuya Katayama (RTCSA, 2010)

A Minimized Assumption Generation Method for Component-Based Software Verification. - Pham Ngoc Hung; Viet Ha Nguyen 001; Toshiaki Aoki; Takuya Katayama (IEICE Trans. Inf. Syst., 2010)

Automated Adaptor Generation for Services Based on Pushdown Model Checking. - Hsin-Hung Lin; Toshiaki Aoki; Takuya Katayama (ECBS, 2011)

An executable object-oriented semantics and its application to firewall verification. - Kenro Yatake; Takuya Katayama (Softw. Syst. Model., 2011)

A pointing method using accelerometers for graphical user interfaces. - Tatsuya Horie; Tsutomu Terada; Takuya Katayama; Masahiko Tsukamoto (AH, 2012)

A text input method for half-sized keyboard using keying interval. - Takuya Katayama; Tsutomu Terada; Kazuya Murao; Masahiko Tsukamoto (MUM, 2012)

An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. - Pham Ngoc Hung; Viet Ha Nguyen 001; Toshiaki Aoki; Takuya Katayama (RIVF, 2012)

A Variability Management Method for Software Configuration Files. - Hiroaki Tanizaki; Toshiaki Aoki; Takuya Katayama (SEKE, 2012)

On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification. - Pham Ngoc Hung; Viet Ha Nguyen 001; Toshiaki Aoki; Takuya Katayama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012)

Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking. - Hsin-Hung Lin; Toshiaki Aoki; Takuya Katayama (IEICE Trans. Inf. Syst., 2012)

Study on effect of neutral voltages on shaft voltages causing bearing currents. - Takuya Katayama; Takeki Ogitsu; Hikaru Kokumai; Hiroshi Takemura; Tomohiro Nakayama; Hiroshi Mizoguchi (IECON, 2013)

Implementation and evaluation on a concealed interface using abdominal circumference. - Hirotaka Sumitomo; Takuya Katayama; Tsutomu Terada; Masahiko Tsukamoto (AH, 2014)

Method for visualizing undone operations based on changes on desktop screen. - Arisa Sakamoto; Takuya Katayama; Tsutomu Terada; Masahiko Tsukamoto (SAC, 2014)