| 2020 | AINA | Evaluation of Yubimoji Based Gestures for Realizing User Authentication Method Using s-EMG. | Hisaaki Yamaba, Yuki Nagatomo, Shotaro Usuzaki, Kayoko Takatsuka, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki |
| 2019 | AINA | Introduction of Fingerspelling for Realizing a User Authentication Method Using s-EMG. | Hisaaki Yamaba, Shimpei Inotani, Shotaro Usuzaki, Kayoko Takatsuka, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki |
| 2019 | PRDC | State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing. | Tomohiko Takagi, Ryo Kurozumi, Tetsuro Katayama |
| 2013 | ICST | Combinatorial Test Architecture Design Using Viewpoint Diagram. | Yasuharu Nishi, Tetsuro Katayama, Satomi Yoshizawa |
| 2013 | ICST | Proposal of Testing Diagrams for Visualizing Test Cases. | Seiya Urata, Tetsuro Katayama |
| 2013 | KES | A Conversion Method from an ETSC to a Timed Petri Net to Improve the Matrix-based Discrete Event Controller and its Unified Support System. | Hisaaki Yamaba, Shoichiro Kitano, Kayoko Takatsuka, Tetsuro Katayama, Naonobu Okazaki, Shigeyuki Tomita |
| 2011 | APSEC | Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. | Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda |
| 2011 | ICCSA | An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. | Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda |
| 2007 | SERA | Implementation and Evaluation of an Automatic Visualization Tool "PGT" for Programming Education. | Yoshihiro Kita, Tetsuro Katayama, Shigeyuki Tomita |
| 2005 | APSEC | Proposal of a Method to Support Testing for Java Programs with UML. | Tetsuro Katayama, Yusuke Yabuya |
| 2002 | APSEC | Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML. | Tetsuro Katayama |
| 2000 | PDPTA | Performance Evaluation of Home-Cluster Based Scheduling for NUMA Multiprocessors. | Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda |
| 1999 | APSEC | Proposal of a Support System for Device Driver Generation. | Tetsuro Katayama, Keizo Saisho, Akira Fukuda |
| 1999 | PDPTA | Home-cluster Based Processor Scheduling with Page Placement for NUMA Multiprocessors. | Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda |
| 1998 | APSEC | Design and Implementation of Test-Case Generation for Concurrent Programs. | Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
| 1997 | APSEC | A Test-case Generation Method for Concurrent Programs Including Task-types. | Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
| 1996 | APSEC | A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. | Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
| 1995 | APSEC | Event Interactions Graph for Test-case Generation of Concurrent Programs. | Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |