Tetsuro Katayama

	2011
17		Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda: Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. APSEC 2011: 81-88
16		Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix. IEICE Transactions 94-D(5): 946-957 (2011)
	2010
15		Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: Model Checking of Software Design in State Transition Matrix. Software Engineering Research and Practice 2010: 507-513
	2007
14		Yoshihiro Kita, Tetsuro Katayama, Shigeyuki Tomita: Implementation and Evaluation of an Automatic Visualization Tool "PGT" for Programming Education. SERA 2007: 213-220
	2005
13		Tetsuro Katayama, Yusuke Yabuya: Proposal of a Method to Support Testing for Java Programs with UML. APSEC 2005: 533-540
12		Yoshihiro Kita, Takanori Kawasoe, Tetsuro Katayama: Prototype of an Automatic Visualization Tool for Java to Educate Novice Programmers. IASTED Conf. on Software Engineering 2005: 307-312
11		Tetsuro Katayama: Extraction of Transformation Rules from UML Diagrams to SpecC. IEICE Transactions 88-D(6): 1126-1133 (2005)
	2002
10		Tetsuro Katayama: Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML. APSEC 2002: 475-484
	2000
9		Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda: Performance Evaluation of Home-Cluster Based Scheduling for NUMA Multiprocessors. PDPTA 2000
8		Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda: Memory Conscious Scheduling for Cluster-based NUMA Multiprocessors. The Journal of Supercomputing 16(3): 217-235 (2000)
	1999
7		Tetsuro Katayama, Keizo Saisho, Akira Fukuda: Proposal of a Support System for Device Driver Generation. APSEC 1999: 494-
6		Tetsuro Katayama, Keizo Saisho, Akira Fukuda: Generating a Device Driver with a Formal Specification Language. Applied Informatics 1999: 638-643
5		Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda: Home-cluster Based Processor Scheduling with Page Placement for NUMA Multiprocessors. PDPTA 1999: 539-545
	1998
4		Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima: Design and Implementation of Test-Case Generation for Concurrent Programs. APSEC 1998: 262-269
	1997
3		Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima: A Test-case Generation Method for Concurrent Programs Including Task-types. APSEC 1997: 485-494
	1996
2		Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima: A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. APSEC 1996: 355-
	1995
1		Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima: Event Interactions Graph for Test-case Generation of Concurrent Programs. APSEC 1995: 29-37

Coauthor Index

1	Akira Fukuda	[5] [6] [7] [8] [9] [15] [16] [17]
2	Zengo Furukawa	[1] [2] [3] [4]
3	Kenji Hisazumi	[17]
4	Noriyuki Katahira	[15] [16] [17]
5	Takanori Kawasoe	[12]
6	Yoshihiro Kita	[12] [14]
7	Takahiro Koita	[5] [8] [9]
8	Weiqiang Kong	[15] [16] [17]
9	Michihiro Matsumoto	[15]
10	Yuki Mizushima	[15]
11	Keizo Saisho	[5] [6] [7] [8] [9]
12	Tomohiro Shiraishi	[15] [16]
13	Shigeyuki Tomita	[14]
14	Kazuo Ushijima	[1] [2] [3] [4]
15	Masahiko Watanabe	[15] [16] [17]
16	Yusuke Yabuya	[13]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page