Takuya Katayama

According to our database, Takuya Katayama authored at least 106 papers between 1978 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Method for visualizing undone operations based on changes on desktop screen.

Arisa Sakamoto, Takuya Katayama, Tsutomu Terada, Masahiko Tsukamoto

Proceedings of the Symposium on Applied Computing, 2014

Implementation and evaluation on a concealed interface using abdominal circumference.

Hirotaka Sumitomo, Takuya Katayama, Tsutomu Terada, Masahiko Tsukamoto

Proceedings of the 5th Augmented Human International Conference, 2014

2013

Study on effect of neutral voltages on shaft voltages causing bearing currents.

Takuya Katayama, Takeki Ogitsu, Hikaru Kokumai, Hiroshi Takemura, Tomohiro Nakayama, Hiroshi Mizoguchi

Proceedings of the IECON 2013, 2013

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

On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

A Variability Management Method for Software Configuration Files.

Hiroaki Tanizaki, Toshiaki Aoki, Takuya Katayama

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama

Proceedings of the 2012 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), Ho Chi Minh City, Vietnam, February 27, 2012

A text input method for half-sized keyboard using keying interval.

Takuya Katayama, Tsutomu Terada, Kazuya Murao, Masahiko Tsukamoto

Proceedings of the 11th International Conference on Mobile and Ubiquitous Multimedia, 2012

A pointing method using accelerometers for graphical user interfaces.

Tatsuya Horie, Tsutomu Terada, Takuya Katayama, Masahiko Tsukamoto

Proceedings of the 3rd Augmented Human International Conference, 2012

2011

An executable object-oriented semantics and its application to firewall verification.

Kenro Yatake, Takuya Katayama

Softw. Syst. Model., 2011

Automated Adaptor Generation for Services Based on Pushdown Model Checking.

Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

2010

A Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama

IEICE Trans. Inf. Syst., 2010

Modeling of Real-Time System Designs for Parametric Analysis.

Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama

Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Non-regular Adaptation of Services Using Model Checking.

Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

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

Learning lessons from the past: how IWPSE has started, and where we should go.

Takuya Katayama

Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, 2009

An effective framework for assume-guarantee verification of evolving component-based software.

Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama

Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, 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

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

A Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama

Proceedings of the Theoretical Aspects of Computing, 2009

2008

An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving.

Kenro Yatake, Takuya Katayama

Proceedings of the Modelling, 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

Proceedings of the MoMM'2008 - The 6th International Conference on Advances in Mobile Computing and Multimedia, 24, 2008

How Can We Make Industry Adopt Formal Methods?

Takuya Katayama

Proceedings of the Formal Methods and Software Engineering, 2008

Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy.

Hiroaki Tanizaki, Takuya Katayama

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.

Pham Ngoc Hung, Takuya Katayama

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

Using Responsibility Modeling and Rule-Based Approach for Product Line Evolution.

Ming-Jen Huang, Takuya Katayama

Proceedings of the Software Product Lines, 11th International Conference, 2007

Statechart-based Verification of Object-Oriented Design Models.

Toshiaki Aoki, Takuya Katayama

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Specification and verification of inter-component constraints in CTL.

Nguyen Truong Thang, Takuya Katayama

ACM SIGSOFT Softw. Eng. Notes, 2006

Improving software documentation using textual entailment.

Yasser Kotb, Takuya Katayama

ACM SIGSOFT Softw. Eng. Notes, 2006

A Novel Technique to Verify the UML Use Case Diagrams.

Yasser Kotb, Takuya Katayama

Proceedings of the IASTED International Conference on Software Engineering, 2006

Responsibility-Steering Automation of Software Evolution.

Ming-Jen Huang, Takuya Katayama

Proceedings of the 2nd ERCIM Workshop on Software Evolution, 2006

2005

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

IEICE Trans. Inf. Syst., 2005

Consistency checking of UML model diagrams using the XML semantics approach.

Yasser Kotb, Takuya Katayama

Proceedings of the 14th international conference on World Wide Web, 2005

Steering Model-Driven Development of Enterprise Information System Through Responsibilities.

Ming-Jen Huang, Takuya Katayama

Proceedings of the Web Services and Model-Driven Enterprise Information Services, 2005

Design Verification for Product Line Development.

Tomoji Kishi, Natsuko Noda, Takuya Katayama

Proceedings of the Software Product Lines, 9th International Conference, 2005

A Scheduling Method for Divisible Workload Problem in Grid Environments.

Nguyen The Loc, Said Elnaffar, Takuya Katayama, Tu Bao Ho

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

A Formal Approach Facilitating the Evolution of Component-Based Software.

Nguyen Truong Thang, Takuya Katayama

Proceedings of the 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 2005

Steering Model-Driven Evolution by Responsibilities.

Ming-Jen Huang, Takuya Katayama

Proceedings of the 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 2005

Formalization and Analysis of Dataflow in Object-Oriented Design Models.

Toshiaki Aoki, Takuya Katayama

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Implementing Application-Specific Object-Oriented Theories in HOL.

Kenro Yatake, Toshiaki Aoki, Takuya Katayama

Proceedings of the Theoretical Aspects of Computing, 2005

Constructing Open Systems via Consistent Components.

Nguyen Truong Thang, Takuya Katayama

Proceedings of the Theoretical Aspects of Computing, 2005

Workshop on Dependable Software - Tools and Methods - Workshop Abstract.

Takuya Katayama, Yutaka Ishikawa, Yoshiki Kinoshita

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

Definition and Specification of Accrual Failure Detectors.

Xavier Défago, Péter Urbán, Naohiro Hayashibara, Takuya Katayama

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

Information Propagation on the phi Failure Detector.

Naohiro Hayashibara, Xavier Défago, Makoto Takizawa, Takuya Katayama

Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

A Parametric Model Checking Approach for Real-Time Systems Design.

Chaiwat Sathawornwichit, Takuya Katayama

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers.

Rami Yared, Xavier Défago, Takuya Katayama

Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

2004

Optimizing the Execution Time for Checking the Consistency of XML Documents.

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

J. Intell. Inf. Syst., 2004

Project Report: High-Reliable Object-Oriented Embedded Software Design.

Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama

Proceedings of the 2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004

Collaboration-based verification of Object-Oriented models in HOL.

Kenro Yatake, Toshiaki Aoki, Takuya Katayama

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm.

Péter Urbán, Naohiro Hayashibara, André Schiper, Takuya Katayama

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

The Φ Accrual Failure Detector.

Naohiro Hayashibara, Xavier Défago, Rami Yared, Takuya Katayama

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

Handling Consistency of Software Evolution in an Efficient Way.

Nguyen Truong Thang, Takuya Katayama

Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE 2004), 2004

Foundations for Evolutionary Construction of State Transition Models.

Toshiaki Aoki, Takuya Katayama

Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE 2004), 2004

Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems.

Samia Souissi, Xavier Défago, Takuya Katayama

Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

2003

A case study for XML semantics checker model.

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

Proceedings of the IEEE International Conference on Systems, 2003

Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects.

Nguyen Truong Thang, Takuya Katayama

Proceedings of the 6th International Workshop on Principles of Software Evolution (IWPSE 2003), 2003

Class Refinement for Software Evolution.

Hiroyuki Ozaki, Katsuhiko Gondow, Takuya Katayama

Proceedings of the 6th International Workshop on Principles of Software Evolution (IWPSE 2003), 2003

Towards a Sound Modular Model Checking of Collaboration-Based Software Designs.

Nguyen Truong Thang, Takuya Katayama

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation.

Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

Science of Software Changes.

Takuya Katayama

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

Failure Detectors for Large-Scale Distributed Systems.

Naohiro Hayashibara, Adel Cherif, Takuya Katayama

Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

A Method for Product Line Scoping Based on a Decision-Making Framework.

Tomoji Kishi, Natsuko Noda, Takuya Katayama

Proceedings of the Software Product Lines, Second International Conference, 2002

An incremental evaluation approach to check the consistency of XML documents.

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

Collaboration-based evolvable software implementations: Java and Hyper/J vs. C++-templates composition.

Nguyen Truong Thang, Takuya Katayama

Proceedings of the International Workshop on Principles of Software Evolution, 2002

Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker.

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

Proceedings of the International Conference on Internet Computing, 2002

Extracting threads from concurrent objects for the design of embedded systems.

Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

An Axiomatic Formalization of UML Models.

Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Evolutionary Domains: A Basis for Sound Software Evolution.

Takuya Katayama

Proceedings of the 4th International Workshop on Principles of Software Evolution, 2001

Architectural Design for Evolution by Analyzing Requirements on Quality Attributes.

Tomoji Kishi, Natsuko Noda, Takuya Katayama

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

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

Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles.

Takuya Katayama

Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

1998

Replica management for fault-tolerant systems.

Adel Cherif, Takuya Katayama

IEEE Micro, 1998

Incremental Software Development Method Based on Abstract Interpretation.

Nobukazu Yoshioka, Masato Suzuki, Takuya Katayama

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

Storage Allocation Strategies for Recursive Attributes Evaluators.

Kazunori Mizushima, Takuya Katayama

Proceedings of the Compiler Construction, 7th International Conference, 1998

Unification and Consistency Verification of Object-Oriented Analysis Models.

Toshiaki Aoki, Takuya Katayama

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1996

On Generalization of Attribute Grammars.

Yutaka Kikuchi, Takuya Katayama

Syst. Comput. Jpn., 1996

Application of object-oriented attribute grammars (OOAG) to software development environments.

Katsuhiko Gondow, Takashi Imaizumi, Takeshi Hagiwara, Takuya Katayama

Syst. Comput. Jpn., 1996

An Object Logic for Object Base Capable of Version Management.

Naoko Izumi, Takuya Katayama

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

A replication technique based on a functional and attribute grammar computation model.

Adel Cherif, Masato Suzuki, Takuya Katayama

Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

Principles of Software Evolution.

Takuya Katayama

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1994

A Proposal for Composing Software Design Process.

Sumio Mochizuki, Takuya Katayama

Proceedings of the Software Quality and Productivity: Theory, 1994

Implementing Fault Tolerance with an Attribute and Functional Based Model.

Masato Suzuki, Takuya Katayama, Richard D. Schlichting

Proceedings of the Digest of Papers: FTCS/24, 1994

1993

Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model.

Sumio Mochizuki, Akira Yamauchi, Takuya Katayama

Proceedings of the SEKE'93, 1993

Attributed State Machines For Behavior Specification of Reactive Systems.

Shiyuan Ding, Takuya Katayama

Proceedings of the SEKE'93, 1993

Specifying Reactive Systems with Attributed Finite State Machines.

Shiyuan Ding, Takuya Katayama

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

Change Management and Consistency Maintenance in Software Development Environments Using Object-Oriented Attribute Grammars.

Katsuhiko Gondow, Takashi Imaizumi, Yoichi Shinoda, Takuya Katayama

Proceedings of the Object Technologies for Advanced Software, 1993

A Formal Model of Re-execution in Software Process.

Masato Suzuki, Atsushi Iwai, Takuya Katayama

Proceedings of the Second International Conference on the Software Process, 1993

1991

What has been learned from applying a formal process model to a real process.

Takuya Katayama, Sumio Motizuki

Proceedings of the Seventh International Software Process Workshop (ISPW '91), 1991

ISPW6: Support for the Software Process.

Takuya Katayama

Proceedings of the 13th International Conference on Software Engineering, 1991

Analyzing and evaluating fundamental design process of checkout system for artificial spacecraft.

Sumio Mochizuki, Akira Yamauchi, Takuya Katayama

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990

Object-Oriented Extension of Attribute Grammars and its Implementation Using Distributed Attribute Evaluation Algorithm.

Yoichi Shinoda, Takuya Katayama

Proceedings of the Attribute Grammars and their Applications, 1990

Coping with changes in an object management system based on attribute grammars.

Lichao Tan, Yoichi Shinoda, Takuya Katayama

Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

Object-oriented software processes and their environment.

Yoichi Shinoda, Takuya Katayama

Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

Applying the software process to the instruction tool in system design.

Sumio Mochizuki, Akira Yamauchi, Takuya Katayama, Masato Suzuki

Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

1989

Towards Formal Description and Automatic Generation of Programming Environments.

Yoichi Shinoda, Takuya Katayama

Proceedings of the Software Engineering Environments, 1989

An example of process description in HFSP.

Takuya Katayama, Masato Suzuki

Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

Mechanisms for software process dynamics.

Takuya Katayama, Masato Suzuki

Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

A Hierarchical and Functional Software Process Description and Its Enaction.

Takuya Katayama

Proceedings of the 11th International Conference on Software Engineering, 1989

Meta Operations for Type Management in Object-Oriented Databases.

Lichao Tan, Takuya Katayama

Proceedings of the Deductive and Object-Oriented Databases, 1989

1988

A hierarchical and functional approach to software process description.

Takuya Katayama

Proceedings of the Forth International Software Process Workshop, 1988

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

Proceedings of the Proceedings, 1988

1984

Translation of Attribute Grammars into Procedures.

Takuya Katayama

ACM Trans. Program. Lang. Syst., 1984

Global Storage Allocation in Attribute Evaluation.

Hisashi Sasaki, Takuya Katayama

Proceedings of the RIMS Symposia on Software Science and Engineering II, 1984

Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach.

Takuya Katayama

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1982

Treatment of Big Values in an Applicative Language HFP.

Takuya Katayama

Proceedings of the RIMS Symposium on Software Science and Engineering, 1982

1981

Verification of Attribute Grammars.

Takuya Katayama, Yutaka Hoshino

Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

1978

Characterization of the Structure-Generating Functions of Regular Sets and the DOL Growth Functions

Takuya Katayama, Masayuki Okamoto, Hajime Enomoto

Inf. Control., January, 1978