| 2014 | SAC | Method for visualizing undone operations based on changes on desktop screen. | Arisa Sakamoto, Takuya Katayama, Tsutomu Terada, Masahiko Tsukamoto |
| 2013 | IECON | Study on effect of neutral voltages on shaft voltages causing bearing currents. | Takuya Katayama, Takeki Ogitsu, Hikaru Kokumai, Hiroshi Takemura, Tomohiro Nakayama, Hiroshi Mizoguchi |
| 2012 | MUM | A text input method for half-sized keyboard using keying interval. | Takuya Katayama, Tsutomu Terada, Kazuya Murao, Masahiko Tsukamoto |
| 2012 | SEKE | A Variability Management Method for Software Configuration Files. | Hiroaki Tanizaki, Toshiaki Aoki, Takuya Katayama |
| 2010 | ISORC | Non-regular Adaptation of Services Using Model Checking. | Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama |
| 2010 | RTCSA | Modeling of Real-Time System Designs for Parametric Analysis. | Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama |
| 2009 | ICTAC | A Minimized Assumption Generation Method for Component-Based Software Verification. | Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama |
| 2009 | ISORC | Project Report: Toward the Realization of Highly Reliable Embedded Systems. | Takuya Katayama, Tomoji Kishi, Shintaro Hosoai, Tatsuo Nakajima, Taiichi Yuasa, Midori Sugaya, Tomoharu Ugawa |
| 2008 | APSEC | Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. | Pham Ngoc Hung, Takuya Katayama |
| 2008 | APSEC | Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy. | Hiroaki Tanizaki, Takuya Katayama |
| 2008 | ICFEM | How Can We Make Industry Adopt Formal Methods? | Takuya Katayama |
| 2008 | MOMM | 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 |
| 2007 | APSEC | Statechart-based Verification of Object-Oriented Design Models. | Toshiaki Aoki, Takuya Katayama |
| 2007 | SPLC | Using Responsibility Modeling and Rule-Based Approach for Product Line Evolution. | Ming-Jen Huang, Takuya Katayama |
| 2005 | AINA | Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers. | Rami Yared, Xavier Dfago, Takuya Katayama |
| 2005 | APSEC | A Parametric Model Checking Approach for Real-Time Systems Design. | Chaiwat Sathawornwichit, Takuya Katayama |
| 2005 | DSN | Definition and Specification of Accrual Failure Detectors. | Xavier Dfago, Pter Urbn, Naohiro Hayashibara, Takuya Katayama |
| 2005 | DSN | Workshop on Dependable Software - Tools and Methods - Workshop Abstract. | Takuya Katayama, Yutaka Ishikawa, Yoshiki Kinoshita |
| 2005 | ICTAC | Constructing Open Systems via Consistent Components. | Nguyen Truong Thang, Takuya Katayama |
| 2005 | ICTAC | Implementing Application-Specific Object-Oriented Theories in HOL. | Kenro Yatake, Toshiaki Aoki, Takuya Katayama |
| 2005 | ISORC | Formalization and Analysis of Dataflow in Object-Oriented Design Models. | Toshiaki Aoki, Takuya Katayama |
| 2005 | PDCAT | A Scheduling Method for Divisible Workload Problem in Grid Environments. | Nguyen The Loc, Said Elnaffar, Takuya Katayama, Tu Bao Ho |
| 2005 | WWW | Consistency checking of UML model diagrams using the XML semantics approach. | Yasser Kotb, Takuya Katayama |
| 2005 | SPLC | Design Verification for Product Line Development. | Tomoji Kishi, Natsuko Noda, Takuya Katayama |
| 2004 | SRDS | The Φ Accrual Failure Detector. | Naohiro Hayashibara, Xavier Dfago, Rami Yared, Takuya Katayama |
| 2004 | SRDS | Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm. | Pter Urbn, Naohiro Hayashibara, Andr Schiper, Takuya Katayama |
| 2003 | APSEC | Science of Software Changes. | Takuya Katayama |
| 2003 | APSEC | An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation. | Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama |
| 2003 | APSEC | Towards a Sound Modular Model Checking of Collaboration-Based Software Designs. | Nguyen Truong Thang, Takuya Katayama |
| 2003 | SMC | A case study for XML semantics checker model. | Yasser Kotb, Katsuhiko Gondow, Takuya Katayama |
| 2002 | APSEC | Extracting threads from concurrent objects for the design of embedded systems. | Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama |
| 2002 | SMC | An incremental evaluation approach to check the consistency of XML documents. | Yasser Kotb, Katsuhiko Gondow, Takuya Katayama |
| 2002 | SPLC | A Method for Product Line Scoping Based on a Decision-Making Framework. | Tomoji Kishi, Natsuko Noda, Takuya Katayama |
| 2002 | SRDS | Failure Detectors for Large-Scale Distributed Systems. | Naohiro Hayashibara, Adel Cherif, Takuya Katayama |
| 2001 | APSEC | Architectural Design for Evolution by Analyzing Requirements on Quality Attributes. | Tomoji Kishi, Natsuko Noda, Takuya Katayama |
| 2000 | ICECCS | Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles. | Takuya Katayama |
| 1998 | APSEC | Unification and Consistency Verification of Object-Oriented Analysis Models. | Toshiaki Aoki, Takuya Katayama |
| 1998 | CC | Storage Allocation Strategies for Recursive Attributes Evaluators. | Kazunori Mizushima, Takuya Katayama |
| 1996 | APSEC | Principles of Software Evolution. | Takuya Katayama |
| 1996 | ISSRE | A replication technique based on a functional and attribute grammar computation model. | Adel Cherif, Masato Suzuki, Takuya Katayama |
| 1996 | SEKE | An Object Logic for Object Base Capable of Version Management. | Naoko Izumi, Takuya Katayama |
| 1993 | SEKE | Attributed State Machines For Behavior Specification of Reactive Systems. | Shiyuan Ding, Takuya Katayama |
| 1993 | SEKE | Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model. | Sumio Mochizuki, Akira Yamauchi, Takuya Katayama |
| 1991 | COMPSAC | Analyzing and evaluating fundamental design process of checkout system for artificial spacecraft. | Sumio Mochizuki, Akira Yamauchi, Takuya Katayama |
| 1991 | ICSE | ISPW6: Support for the Software Process. | Takuya Katayama |
| 1989 | ICSE | A Hierarchical and Functional Software Process Description and Its Enaction. | Takuya Katayama |
| 1988 | ICSE | 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 |
| 1986 | POPL | Global Storage Allocation in Attribute Evaluation. | Takuya Katayama, Hisashi Sasaki |
| 1981 | POPL | Verification of Attribute Grammars. | Takuya Katayama, Yutaka Hoshino |