Paper list.

Paper List.

Click title if you want to get a pdf or PostScript file.

T. Katayama, Z. Furukawa, and K. Ushijima: ``Event-Constraint Model of a Concurrent Program for Test-Case Generation,'' Proc. 1992 Joint Conf. of Softw. Eng. (JCSE'92), pp.285-292 (Mar. 1992).
T. Katayama, T. Komoda, Z. Furukawa, and K. Ushijima: ``Definition of the Test-case for Concurrent Programs and Prototype of Test-case Generation System,'' Trans. IPS Japan, Vol.34, No.11, pp.2223-2232 (Nov. 1993) (in Japanese).
T. Katayama, Z. Furukawa and K. Ushijima: ``Testing Method for Concurrent Programs which Communicate and Synchronize between Dynamically Generated Processes,'' Softw. Sympo. '95 JAPAN, pp.172-180 (Jun. 1995) (in Japanese).
T. Katayama, Z. Furukawa, and K. Ushijima: ``Event Interactions Graph for Test-case Generation of Concurrent Programs,'' Proc. 1995 Asia-Pacific Softw. Eng. Conf. (APSEC'95), pp.29-37 (Dec. 1995).
T. Katayama, Z. Furukawa, and K. Ushijima: ``A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph,'' Proc. 1996 Asia-Pacific Softw. Eng. Conf. (APSEC'96), pp.355-364 (Dec. 1996).
T. Katayama, Z. Furukawa, and K. Ushijima: ``A Test-case Generation Method for Concurrent Programs Including Task-types,'' Proc. Joint 1997 Asia-Pacific Softw. Eng. Conf. and Int'l Comp. Sci. Conf. (APSEC'97/ICSC'97), pp.485-494 (Dec. 1997).
Z. Furukawa, E. Itoh, and T. Katayama: ``Testing for Concurrent Programs,'' Journal of IPS Japan, Vol.39, No.1, pp.7-12 (Jan. 1998) (in Japanese).
T. Koita, T. Katayama, K. Saisho, and A. Fukuda: ``Performance Evaluation of Two-level Processor Scheduling in Collaboration with Memory Management for NUMA Multiprocessors,'' Proc. The 1998 Int'l Association of Sci. and Tech. for Development (IASTED'98), pp.265-272 (Feb. 1998).
T. Katayama, K. Saisho, and A. Fukuda: ``A Method for Automatic Generation of Device Drivers with a Formal Specification Language,'' Proc. Int'l Workshop on Principles of Software Evolution (IWPSE98), pp.183-187 (Apr. 1998).
T. Katayama, Z. Furukawa, and K. Ushijima: ``A Method to Generate Test-cases for Concurrnt Programs Including Task-types," Trans. of IEICE, Vol.j81-D-1, No.6, pp.809-818 (Jun. 1998) (in Japanese).
T. Koita, T. Katayama, K. Saisho, and A. Fukuda: ``Processor Scheduling with Page Placement for Cluster-based NUMA Multiprocessors,'' Proc. 1998 Int'l Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'98), Vol.2, pp.851-858 (Jul. 1998).
T. Katayama, Z. Furukawa, and K. Ushijima: ``Design and Implementation of Test-case Generation for Concurrent Programs,'' Proc. 1998 Asia-Pacific Softw. Eng. Conf. (APSEC'98), pp.262-269 (Dec. 1998).
T. Katayama, K. Saisho, and A. Fukuda: ``Generating a Device Driver with a Formal Specification Language,'' Proc. The 1999 Int'l Association of Sci. and Tech. for Development (IASTED'99), pp.638-643 (Feb. 1999).
T. Koita, T. Katayama, K. Saisho, and A. Fukuda: ``Home-cluster Based Processor Scheduling with Page Placement for NUMA Multiprocessors,'' Proc. 1999 Int'l Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Vol.1, pp.539-545(Jun. 1999).
T. Katayama, K. Saisho, and A. Fukuda: ``Proposal of a Support System for Device Driver Generation,'' Proc. 1999 Asia-Pacific Softw. Eng. Conf. (APSEC'99), pp.494-497 (Dec. 1999).
T. Katayama, E. Itoh, Z. Furukawa, and K. Ushijima: ``Test-case Generation for Concurrent Programs with the Testing Criteria Using Interaction Sequences,'' Proc. 1999 Asia-Pacific Softw. Eng. Conf. (APSEC'99), pp.590-597 (Dec. 1999).
T. Koita, T. Katayama, K. Saisho, and A. Fukuda: ``Performance Evaluation of Memory Conscious Scheduling for NUMA Multiprocessors,'' Proc. the 18th IASTED Int'l Conf. on Applied Informatics, pp.855-861 (Feb. 2000).
M. Okuno, T. Katayama, K. Saisho, and A. Fukuda: ``Abstraction and Generation System of Device Drivers for UNIX-like OSs,'' Trans. IPS Japan, Vol.41, No.6, pp.1755-1765 (Jun. 2000) (in Japanese).
T. Koita, T. Katayama, K. Saisho, and A. Fukuda: ``Performance Evaluation of Home-Cluster Based Scheduling for NUMA Multiprocessors,'' Proc. 2000 Int'l Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000) Vol.4, pp.1939-1945 (Jun. 2000).
T. Koita, T. Katayama, K. Saisho, and A. Fukuda: ``Memory Conscious Scheduling for Cluster-based NUMA Multi-processors,'' Journal of Supercomputing, Kluwer academic publishers Vol.16, No.3, pp.217-235 (Jul. 2000).
T. Katayama, K. Saisho, and A. Fukuda: ``Prototype of the Device Driver Generation System for UNIX-like Operating Systems,'' Proc. Int'l Symp. on the Principles of Software Evolution (ISPSE2000), pp.302-310 (Nov. 2000).
T. Katayama, K. Saisho, and A. Fukuda: ``Abstraction of Device Drivers and Inputs of the Device Driver Generation System for UNIX-like Operating Systems,'' Proc. 2001 Int'l Association of Sci. and Tech. for Development (IASTED) Int'l Conf. on Applied Informatics(AI'2001), pp.489-495 (Feb. 2001).
T. Katayama: ``Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML,'' Proc. 2002 Asia-Pacific Softw. Eng. Conf. (APSEC 2002), pp.475-484 (Dec. 2002).
T. Katayama: ``A Study of Co-design for Systems with Interfaces of USB Devices in SpecC,'' Proc. 7th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2003), Vol.7, pp.234-240 (Jul. 2003).
Y. Kita, T. Kawasoe, and T. Katayama: ``Prototype of an Automatic Visualization Tool for Java to Educate Novice Programmers,'' Proc. Int'l Conf. on Softw. Eng. (SE 2005), as part of the 23rd Int'l Association of Sci. and Tech. for Development(IASTED) Int'l Multi-Conf. on Applied Informatics, pp.307-312 (Feb. 2005).
T. Katayama: ``Extraction of Transformation Rules from UML Diagrams to SpecC,'' IEICE Trans. on Info. & Sys., Vol.E88-D, No.6, pp.1126-1133 (Jun. 2005).
T. Katayama and Y. Yabuya: ``Proposal of a Method to Support Testing for Java Programs with UML,'' Proc. 2005 Asia-Pacific Softw. Eng. Conf. (APSEC 2005), pp.533-540 (Dec. 2005).
Y. Kita, T. Katayama, and S. Tomita: ``Implementation and Evaluation of an Automatic Visualization Tool ``PGT'' for Programming Education,'' Proc. 5th Int'l Conf. on Softw. Eng. Research, Management & Applications(SERA2007), pp.213-220 (Aug. 2007).

Click Here! (to my homepage)