Takuya Katayama

Publication Activity (10 Years)

Years Active: 1978-2014
Publications (10 Years): 0

Top Venues

IECON

SAC

Publications

Hirotaka Sumitomo, Takuya Katayama, Tsutomu Terada, Masahiko Tsukamoto
Implementation and evaluation on a concealed interface using abdominal circumference. AH (2014)
Arisa Sakamoto, Takuya Katayama, Tsutomu Terada, Masahiko Tsukamoto
Method for visualizing undone operations based on changes on desktop screen. SAC (2014)
Takuya Katayama, Takeki Ogitsu, Hikaru Kokumai, Hiroshi Takemura, Tomohiro Nakayama, Hiroshi Mizoguchi
Study on effect of neutral voltages on shaft voltages causing bearing currents. IECON (2013)
Tatsuya Horie, Tsutomu Terada, Takuya Katayama, Masahiko Tsukamoto
A pointing method using accelerometers for graphical user interfaces. AH (2012)
Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (9) (2012)
Takuya Katayama, Tsutomu Terada, Kazuya Murao, Masahiko Tsukamoto
A text input method for half-sized keyboard using keying interval. MUM (2012)
Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama
Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking. IEICE Trans. Inf. Syst. (7) (2012)
Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. RIVF (2012)
Hiroaki Tanizaki, Toshiaki Aoki, Takuya Katayama
A Variability Management Method for Software Configuration Files. SEKE (2012)
Kenro Yatake, Takuya Katayama
An executable object-oriented semantics and its application to firewall verification. Softw. Syst. Model. 10 (4) (2011)
Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama
Automated Adaptor Generation for Services Based on Pushdown Model Checking. ECBS (2011)
Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama
Modeling of Real-Time System Designs for Parametric Analysis. RTCSA (2010)
Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
A Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Trans. Inf. Syst. (8) (2010)
Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama
Non-regular Adaptation of Services Using Model Checking. ISORC (2010)
Takuya Katayama, Tomoji Kishi, Shintaro Hosoai, Tatsuo Nakajima, Taiichi Yuasa, Midori Sugaya, Tomoharu Ugawa
Project Report: Toward the Realization of Highly Reliable Embedded Systems. ISORC (2009)
Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (11) (2009)
Takuya Katayama
Learning lessons from the past: how IWPSE has started, and where we should go. EVOL/IWPSE (2009)
Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
An effective framework for assume-guarantee verification of evolving component-based software. EVOL/IWPSE (2009)
Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
A Minimized Assumption Generation Method for Component-Based Software Verification. ICTAC (2009)
Hiroaki Tanizaki, Takuya Katayama
Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy. APSEC (2008)
Kenro Yatake, Takuya Katayama
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving. MSVVEIS (2008)
Pham Ngoc Hung, Takuya Katayama
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. APSEC (2008)
Takuya Katayama, Masashi Yamishita, Masaki Nakamiya, Kazuya Murao, Kohei Tanaka, Tsutomu Terada, Shojiro Nishio
Development of a navigation system with a route planning algorithm using body-worn sensors. MoMM (2008)
Takuya Katayama
How Can We Make Industry Adopt Formal Methods? ICFEM (2008)
Ming-Jen Huang, Takuya Katayama
Using Responsibility Modeling and Rule-Based Approach for Product Line Evolution. SPLC (2) (2007)
Toshiaki Aoki, Takuya Katayama
Statechart-based Verification of Object-Oriented Design Models. APSEC (2007)
Nguyen Truong Thang, Takuya Katayama
Specification and verification of inter-component constraints in CTL. ACM SIGSOFT Softw. Eng. Notes 31 (2) (2006)
Yasser Kotb, Takuya Katayama
Improving software documentation using textual entailment. ACM SIGSOFT Softw. Eng. Notes 31 (6) (2006)
Ming-Jen Huang, Takuya Katayama
Responsibility-Steering Automation of Software Evolution. EVOL (2006)
Yasser Kotb, Takuya Katayama
A Novel Technique to Verify the UML Use Case Diagrams. IASTED Conf. on Software Engineering (2006)
Rami Yared, Xavier Défago, Takuya Katayama
Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers. AINA (2005)
Xavier Défago, Péter Urbán, Naohiro Hayashibara, Takuya Katayama
Definition and Specification of Accrual Failure Detectors. DSN (2005)
Ming-Jen Huang, Takuya Katayama
Steering Model-Driven Development of Enterprise Information System Through Responsibilities. WSMDEIS (2005)
Nguyen Truong Thang, Takuya Katayama
A Formal Approach Facilitating the Evolution of Component-Based Software. IWPSE (2005)
Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani
Highly Reliable Embedded Software Development Using Advanced Software Technologies. IEICE Trans. Inf. Syst. (6) (2005)
Tomoji Kishi, Natsuko Noda, Takuya Katayama
Design Verification for Product Line Development. SPLC (2005)
Takuya Katayama, Yutaka Ishikawa, Yoshiki Kinoshita
Workshop on Dependable Software - Tools and Methods - Workshop Abstract. DSN (2005)
Chaiwat Sathawornwichit, Takuya Katayama
A Parametric Model Checking Approach for Real-Time Systems Design. APSEC (2005)
Toshiaki Aoki, Takuya Katayama
Formalization and Analysis of Dataflow in Object-Oriented Design Models. ISORC (2005)
Ming-Jen Huang, Takuya Katayama
Steering Model-Driven Evolution by Responsibilities. IWPSE (2005)
Naohiro Hayashibara, Xavier Défago, Makoto Takizawa, Takuya Katayama
Information Propagation on the phi Failure Detector. DEXA Workshops (2005)
Kenro Yatake, Toshiaki Aoki, Takuya Katayama
Implementing Application-Specific Object-Oriented Theories in HOL. ICTAC (2005)
Nguyen Truong Thang, Takuya Katayama
Constructing Open Systems via Consistent Components. ICTAC (2005)
Nguyen The Loc, Said Elnaffar, Takuya Katayama, Tu Bao Ho
A Scheduling Method for Divisible Workload Problem in Grid Environments. PDCAT (2005)
Yasser Kotb, Takuya Katayama
Consistency checking of UML model diagrams using the XML semantics approach. WWW (Special interest tracks and posters) (2005)
Nguyen Truong Thang, Takuya Katayama
Specification and verification of inter-component constraints in CTL. SAVCBS@ESEC/FSE (2005)
Naohiro Hayashibara, Xavier Défago, Rami Yared, Takuya Katayama
The Φ Accrual Failure Detector. SRDS (2004)
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama
Optimizing the Execution Time for Checking the Consistency of XML Documents. J. Intell. Inf. Syst. 22 (3) (2004)
Nguyen Truong Thang, Takuya Katayama
Handling Consistency of Software Evolution in an Efficient Way. IWPSE (2004)
Kenro Yatake, Toshiaki Aoki, Takuya Katayama
Collaboration-based verification of Object-Oriented models in HOL. VVEIS (2004)
Péter Urbán, Naohiro Hayashibara, André Schiper, Takuya Katayama
Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm. SRDS (2004)
Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama
Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS (2004)
Toshiaki Aoki, Takuya Katayama
Foundations for Evolutionary Construction of State Transition Models. IWPSE (2004)
Samia Souissi, Xavier Défago, Takuya Katayama
Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems. ICDCS Workshops (2004)
Takuya Katayama
Science of Software Changes. APSEC (2003)
Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama
An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation. APSEC (2003)
Nguyen Truong Thang, Takuya Katayama
Towards a Sound Modular Model Checking of Collaboration-Based Software Designs. APSEC (2003)
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama
A case study for XML semantics checker model. SMC (2003)
Hiroyuki Ozaki, Katsuhiko Gondow, Takuya Katayama
Class Refinement for Software Evolution. IWPSE (2003)
Nguyen Truong Thang, Takuya Katayama
Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects. IWPSE (2003)
Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama
Extracting threads from concurrent objects for the design of embedded systems. APSEC (2002)
Naohiro Hayashibara, Adel Cherif, Takuya Katayama
Failure Detectors for Large-Scale Distributed Systems. SRDS (2002)
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama
Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker. International Conference on Internet Computing (2002)
Tomoji Kishi, Natsuko Noda, Takuya Katayama
A Method for Product Line Scoping Based on a Decision-Making Framework. SPLC (2002)
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama
An incremental evaluation approach to check the consistency of XML documents. SMC (2002)
Nguyen Truong Thang, Takuya Katayama
Collaboration-based evolvable software implementations: Java and Hyper/J vs. C++-templates composition. IWPSE (2002)
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
An Axiomatic Formalization of UML Models. pUML (2001)
Takuya Katayama
Evolutionary Domains: A Basis for Sound Software Evolution. IWPSE (2001)
Tomoji Kishi, Natsuko Noda, Takuya Katayama
Architectural Design for Evolution by Analyzing Requirements on Quality Attributes. APSEC (2001)
Takuya Katayama
Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles. ICECCS (2000)
Katsuhiko Gondow, Takuya Katayama
Attribute Grammars as Record Calculus - A Structure-Oriented Denotational Semantics of Attribute Grammars by Using Cardelli's Record Calculus. Informatica (Slovenia) 24 (3) (2000)
Kazunori Mizushima, Takuya Katayama
Storage Allocation Strategies for Recursive Attributes Evaluators. CC (1998)
Adel Cherif, Takuya Katayama
Replica management for fault-tolerant systems. IEEE Micro 18 (5) (1998)
Nobukazu Yoshioka, Masato Suzuki, Takuya Katayama
Incremental Software Development Method Based on Abstract Interpretation. IWSSD (1998)
Toshiaki Aoki, Takuya Katayama
Unification and Consistency Verification of Object-Oriented Analysis Models. APSEC (1998)
Yutaka Kikuchi, Takuya Katayama
On Generalization of Attribute Grammars. Systems and Computers in Japan 27 (9) (1996)
Katsuhiko Gondow, Takashi Imaizumi, Takeshi Hagiwara, Takuya Katayama
Application of object-oriented attribute grammars (OOAG) to software development environments. Systems and Computers in Japan 27 (7) (1996)
Adel Cherif, Masato Suzuki, Takuya Katayama
A replication technique based on a functional and attribute grammar computation model. ISSRE (1996)
Naoko Izumi, Takuya Katayama
An Object Logic for Object Base Capable of Version Management. SEKE (1996)
Takuya Katayama
Principles of Software Evolution. APSEC (1996)
Masato Suzuki, Takuya Katayama, Richard D. Schlichting
Implementing Fault Tolerance with an Attribute and Functional Based Model. FTCS (1994)
Sumio Mochizuki, Takuya Katayama
A Proposal for Composing Software Design Process. Software Quality and Productivity (1994)
Masato Suzuki, Atsushi Iwai, Takuya Katayama
A Formal Model of Re-execution in Software Process. ICSP (1993)
Shiyuan Ding, Takuya Katayama
Specifying Reactive Systems with Attributed Finite State Machines. IWSSD (1993)
Katsuhiko Gondow, Takashi Imaizumi, Yoichi Shinoda, Takuya Katayama
Change Management and Consistency Maintenance in Software Development Environments Using Object-Oriented Attribute Grammars. ISOTAS (1993)
Sumio Mochizuki, Akira Yamauchi, Takuya Katayama
Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model. SEKE (1993)
Shiyuan Ding, Takuya Katayama
Attributed State Machines For Behavior Specification of Reactive Systems. SEKE (1993)
Takuya Katayama, Sumio Motizuki
What has been learned from applying a formal process model to a real process. ISPW (1991)
Sumio Mochizuki, Akira Yamauchi, Takuya Katayama
Analyzing and evaluating fundamental design process of checkout system for artificial spacecraft. COMPSAC (1991)
Takuya Katayama
ISPW6: Support for the Software Process. ICSE (1991)
Sumio Mochizuki, Akira Yamauchi, Takuya Katayama, Masato Suzuki
Applying the software process to the instruction tool in system design. ISPW (1990)
Lichao Tan, Yoichi Shinoda, Takuya Katayama
Coping with changes in an object management system based on attribute grammars. SDE (1990)
Yoichi Shinoda, Takuya Katayama
Object-oriented software processes and their environment. ISPW (1990)
Yoichi Shinoda, Takuya Katayama
Object-Oriented Extension of Attribute Grammars and its Implementation Using Distributed Attribute Evaluation Algorithm. WAGA (1990)
Yoichi Shinoda, Takuya Katayama
Towards Formal Description and Automatic Generation of Programming Environments. SEE (1989)
Takuya Katayama, Masato Suzuki
An example of process description in HFSP. ISPW (1989)
Takuya Katayama, Masato Suzuki
Mechanisms for software process dynamics. ISPW (1989)
Takuya Katayama
A Hierarchical and Functional Software Process Description and Its Enaction. ICSE (1989)
Lichao Tan, Takuya Katayama
Meta Operations for Type Management in Object-Oriented Databases. DOOD (1989)
Kouichi Kishida, Takuya Katayama, Masatoshi Matsuo, Isao Miyamoto, Koichiro Ochimizu, Nobuo Saito, John H. Sayler, Koji Torii, Lloyd G. Williams
SDA: A Novel Approach to Software Environment Design and Construction. ICSE (1988)

Takuya Katayama.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Takuya Katayama