Takuya Katayama

	2012
90		Tatsuya Horie, Tsutomu Terada, Takuya Katayama, Masahiko Tsukamoto: A pointing method using accelerometers for graphical user interfaces. AH 2012: 12
89		Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama: An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. RIVF 2012: 1-6
	2011
88		Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama: Automated Adaptor Generation for Services Based on Pushdown Model Checking. ECBS 2011: 130-139
87		Kenro Yatake, Takuya Katayama: An executable object-oriented semantics and its application to firewall verification. Software and System Modeling 10(4): 515-536 (2011)
	2010
86		Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama: Non-regular Adaptation of Services Using Model Checking. ISORC 2010: 170-174
85		Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama: Modeling of Real-Time System Designs for Parametric Analysis. RTCSA 2010: 81-91
84		Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama: A Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Transactions 93-D(8): 2172-2181 (2010)
	2009
83		Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama: A Minimized Assumption Generation Method for Component-Based Software Verification. ICTAC 2009: 277-291
82		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: 105-111
81		Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama: Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. IEICE Transactions 92-A(11): 2772-2780 (2009)
	2008
80		Hiroaki Tanizaki, Takuya Katayama: Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy. APSEC 2008: 343-350
79		Pham Ngoc Hung, Takuya Katayama: Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. APSEC 2008: 479-486
78		Takuya Katayama: How Can We Make Industry Adopt Formal Methods? ICFEM 2008: 1
77		Kenro Yatake, Takuya Katayama: An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving. MSVVEIS 2008: 71-80
76		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: 88-93
	2007
75		Toshiaki Aoki, Takuya Katayama: Statechart-based Verification of Object-Oriented Design Models. APSEC 2007: 278-285
74		Ming-Jen Huang, Takuya Katayama: Using Responsibility Modeling and Rule-Based Approach for Product Line Evolution. SPLC (2) 2007: 191-199
	2006
73		Yasser Kotb, Takuya Katayama: A Novel Technique to Verify the UML Use Case Diagrams. IASTED Conf. on Software Engineering 2006: 300-305
72		Nguyen Truong Thang, Takuya Katayama: Specification and verification of inter-component constraints in CTL. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
71		Yasser Kotb, Takuya Katayama: Improving software documentation using textual entailment. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006)
	2005
70		Rami Yared, Xavier Défago, Takuya Katayama: Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers. AINA 2005: 921-926
69		Chaiwat Sathawornwichit, Takuya Katayama: A Parametric Model Checking Approach for Real-Time Systems Design. APSEC 2005: 584-594
68		Naohiro Hayashibara, Xavier Défago, Makoto Takizawa, Takuya Katayama: Information Propagation on the phi Failure Detector. DEXA Workshops 2005: 72-76
67		Xavier Défago, Péter Urbán, Naohiro Hayashibara, Takuya Katayama: Definition and Specification of Accrual Failure Detectors. DSN 2005: 206-215
66		Takuya Katayama, Yutaka Ishikawa, Yoshiki Kinoshita: Workshop on Dependable Software - Tools and Methods - Workshop Abstract. DSN 2005: 824
65		Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Implementing Application-Specific Object-Oriented Theories in HOL. ICTAC 2005: 501-516
64		Nguyen Truong Thang, Takuya Katayama: Constructing Open Systems via Consistent Components. ICTAC 2005: 517-531
63		Toshiaki Aoki, Takuya Katayama: Formalization and Analysis of Dataflow in Object-Oriented Design Models. ISORC 2005: 95-105
62		Nguyen Truong Thang, Takuya Katayama: A Formal Approach Facilitating the Evolution of Component-Based Software. IWPSE 2005: 49-52
61		Ming-Jen Huang, Takuya Katayama: Steering Model-Driven Evolution by Responsibilities. IWPSE 2005: 71-80
60		Nguyen The Loc, Said Elnaffar, Takuya Katayama, Tu Bao Ho: A Scheduling Method for Divisible Workload Problem in Grid Environments. PDCAT 2005: 513-517
59		Tomoji Kishi, Natsuko Noda, Takuya Katayama: Design Verification for Product Line Development. SPLC 2005: 150-161
58		Ming-Jen Huang, Takuya Katayama: Steering Model-Driven Development of Enterprise Information System Through Responsibilities. WSMDEIS 2005: 143-148
57		Yasser Kotb, Takuya Katayama: Consistency checking of UML model diagrams using the XML semantics approach. WWW (Special interest tracks and posters) 2005: 982-983
56		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 Transactions 88-D(6): 1105-1116 (2005)
	2004
55		Samia Souissi, Xavier Défago, Takuya Katayama: Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems. ICDCS Workshops 2004: 554-560
54		Nguyen Truong Thang, Takuya Katayama: Handling Consistency of Software Evolution in an Efficient Way. IWPSE 2004: 121-130
53		Toshiaki Aoki, Takuya Katayama: Foundations for Evolutionary Construction of State Transition Models. IWPSE 2004: 143-146
52		Péter Urbán, Naohiro Hayashibara, André Schiper, Takuya Katayama: Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm. SRDS 2004: 4-17
51		Naohiro Hayashibara, Xavier Défago, Rami Yared, Takuya Katayama: The Φ Accrual Failure Detector. SRDS 2004: 66-78
50		Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Collaboration-based verification of Object-Oriented models in HOL. VVEIS 2004: 78-80
49		Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama: Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS 2004: 144-148
48		Yasser Kotb, Katsuhiko Gondow, Takuya Katayama: Optimizing the Execution Time for Checking the Consistency of XML Documents. J. Intell. Inf. Syst. 22(3): 257-279 (2004)
	2003
47		Takuya Katayama: Science of Software Changes. APSEC 2003: 2
46		Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama: An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation. APSEC 2003: 362-370
45		Nguyen Truong Thang, Takuya Katayama: Towards a Sound Modular Model Checking of Collaboration-Based Software Designs. APSEC 2003: 88-97
44		Nguyen Truong Thang, Takuya Katayama: Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects. IWPSE 2003: 45-50
43		Hiroyuki Ozaki, Katsuhiko Gondow, Takuya Katayama: Class Refinement for Software Evolution. IWPSE 2003: 51-56
	2002
42		Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama: Extracting threads from concurrent objects for the design of embedded systems. APSEC 2002: 107-116
41		Yasser Kotb, Katsuhiko Gondow, Takuya Katayama: Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker. International Conference on Internet Computing 2002: 653-659
40		Tomoji Kishi, Natsuko Noda, Takuya Katayama: A Method for Product Line Scoping Based on a Decision-Making Framework. SPLC 2002: 348-365
39		Naohiro Hayashibara, Adel Cherif, Takuya Katayama: Failure Detectors for Large-Scale Distributed Systems. SRDS 2002: 404-409
	2001
38		Tomoji Kishi, Natsuko Noda, Takuya Katayama: Architectural Design for Evolution by Analyzing Requirements on Quality Attributes. APSEC 2001: 111-118
37		Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama: An Axiomatic Formalization of UML Models. pUML 2001: 13-28
	2000
36		Takuya Katayama: Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles. ICECCS 2000: 200-
35		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)
	1998
34		Yoshifumi Masunaga, Takuya Katayama, Michiharu Tsukamoto: Worldwide Computing and Its Applications, International Conference, WWCA '98, Second International Conference, Tsukuba, Japan, March 4-5, 1998, Proceedings Springer 1998
33		Toshiaki Aoki, Takuya Katayama: Unification and Consistency Verification of Object-Oriented Analysis Models. APSEC 1998: 296-303
32		Kazunori Mizushima, Takuya Katayama: Storage Allocation Strategies for Recursive Attributes Evaluators. CC 1998: 50-64
	1996
31		Takuya Katayama: Principles of Software Evolution. APSEC 1996: 152-
30		Naoko Izumi, Takuya Katayama: An Object Logic for Object Base Capable of Version Management. SEKE 1996: 171-180
	1994
29		Masato Suzuki, Takuya Katayama, Richard D. Schlichting: Implementing Fault Tolerance with an Attribute and Functional Based Model. FTCS 1994: 244-253
28		Sumio Mochizuki, Takuya Katayama: A Proposal for Composing Software Design Process. Software Quality and Productivity 1994: 72-77
	1993
27		Victor R. Basili, Richard A. DeMillo, Takuya Katayama: Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, USA, May 17-21, 1993. IEEE Computer Society / ACM Press 1993
26		Masato Suzuki, Atsushi Iwai, Takuya Katayama: A Formal Model of Re-execution in Software Process. ICSP 1993: 84-99
25		Katsuhiko Gondow, Takashi Imaizumi, Yoichi Shinoda, Takuya Katayama: Change Management and Consistency Maintenance in Software Development Environments Using Object-Oriented Attribute Grammars. ISOTAS 1993: 77-94
24		Shiyuan Ding, Takuya Katayama: Specifying Reactive Systems with Attributed Finite State Machines. IWSSD 1993: 90-99
23		Sumio Mochizuki, Akira Yamauchi, Takuya Katayama: Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model. SEKE 1993: 291-295
22		Shiyuan Ding, Takuya Katayama: Attributed State Machines For Behavior Specification of Reactive Systems. SEKE 1993: 695-702
	1991
21		Takuya Katayama: ISPW6: Support for the Software Process. ICSE 1991: 258-262
20		Takuya Katayama, Sumio Motizuki: What has been learned from applying a formal process model to a real process. ISPW 1991: 79-81
	1990
19		Takuya Katayama: Proceedings of the Sixth International Software Process Workshop (ISPW '90), October 1990, Hakodate, Japan IEEE Computer Society 1990
18		Sumio Mochizuki, Akira Yamauchi, Takuya Katayama, Masato Suzuki: Applying the software process to the instruction tool in system design. ISPW 1990: 141-144
17		Yoichi Shinoda, Takuya Katayama: Object-oriented software processes and their environment. ISPW 1990: 191-194
16		Lichao Tan, Yoichi Shinoda, Takuya Katayama: Coping with changes in an object management system based on attribute grammars. SDE 1990: 56-65
15		Yoichi Shinoda, Takuya Katayama: Object-Oriented Extension of Attribute Grammars and its Implementation Using Distributed Attribute Evaluation Algorithm. WAGA 1990: 177-191
	1989
14		Lichao Tan, Takuya Katayama: Meta Operations for Type Management in Object-Oriented Databases. DOOD 1989: 241-258
13		Takuya Katayama: A Hierarchical and Functional Software Process Description and Its Enaction. ICSE 1989: 343-352
12		Takuya Katayama, Masato Suzuki: An example of process description in HFSP. ISPW 1989: 161-162
11		Takuya Katayama, Masato Suzuki: Mechanisms for software process dynamics. ISPW 1989: 78-81
10		Yoichi Shinoda, Takuya Katayama: Towards Formal Description and Automatic Generation of Programming Environments. SEE 1989: 261-270
	1988
9		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: 69-79
8		Takuya Katayama: A hierarchical and functional approach to software process description. ISPW 1988: 87-92
	1986
7		Takuya Katayama, Hisashi Sasaki: Global Storage Allocation in Attribute Evaluation. POPL 1986: 26-37
	1984
6		Takuya Katayama: Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach. LISP and Functional Programming 1984: 263-272
5		Hisashi Sasaki, Takuya Katayama: Global Storage Allocation in Attribute Evaluation. RIMS Symposia on Software Science and Engineering 1984: 181-211
4		Takuya Katayama: Translation of Attribute Grammars into Procedures. ACM Trans. Program. Lang. Syst. 6(3): 345-369 (1984)
	1982
3		Takuya Katayama: Treatment of Big Values in an Applicative Language HFP. RIMS Symposium on Software Science and Engineering 1982: 36-48
	1981
2		Takuya Katayama, Yutaka Hoshino: Verification of Attribute Grammars. POPL 1981: 177-186
	1978
1		Takuya Katayama, Masayuki Okamoto, Hajime Enomoto: Characterization of the Structure-Generating Functions of Regular Sets and the DOL Growth Functions Information and Control 36(1): 85-101 (1978)

Coauthor Index

1	Toshiaki Aoki	[33] [37] [42] [49] [50] [53] [56] [63] [65] [75] [81] [83] [84] [85] [86] [88] [89]
2	Shingo Ban	[46]
3	Victor R. Basili	[27]
4	Adel Cherif	[39]
5	Richard A. DeMillo	[27]
6	Xavier Défago	[51] [55] [67] [68] [70]
7	Shiyuan Ding	[22] [24]
8	Said Elnaffar	[60]
9	Hajime Enomoto	[1]
10	Katsuhiko Gondow	[25] [35] [41] [43] [46] [48]
11	Naohiro Hayashibara	[39] [51] [52] [67] [68]
12	Tu Bao Ho	[60]
13	Tatsuya Horie	[90]
14	Yutaka Hoshino	[2]
15	Shintaro Hosoai	[82]
16	Ming-Jen Huang	[58] [61] [74]
17	Pham Ngoc Hung	[79] [81] [83] [84] [89]
18	Takashi Imaizumi	[25]
19	Yutaka Ishikawa	[66]
20	Atsushi Iwai	[26]
21	Naoko Izumi	[30]
22	Yoshiki Kinoshita	[66]
23	Tomoji Kishi	[38] [40] [49] [56] [59] [82]
24	Kouichi Kishida	[9]
25	Yasser Kotb	[41] [48] [57] [71] [73]
26	Hsin-Hung Lin	[86] [88]
27	Nguyen The Loc	[60]
28	Yoshifumi Masunaga	[34]
29	Masatoshi Matsuo	[9]
30	Isao Miyamoto	[9]
31	Kazunori Mizushima	[32]
32	Sumio Mochizuki	[18] [23] [28]
33	Sumio Motizuki	[20]
34	Kazuya Murao	[76]
35	Shin Nakajima	[49] [56]
36	Tatsuo Nakajima	[56] [82]
37	Masaki Nakamiya	[76]
38	Viet Ha Nguyen	[84] [89]
39	Shojiro Nishio (Shojiro Muro)	[76]
40	Natsuko Noda	[38] [40] [49] [59]
41	Koichiro Ochimizu	[9]
42	Shuichi Oikawa	[56]
43	Masayuki Okamoto	[1]
44	Mitsutaka Okazaki	[42] [56]
45	Hiroyuki Ozaki	[43] [46]
46	Nobuo Saito	[9]
47	Hisashi Sasaki	[5] [7]
48	Chaiwat Sathawornwichit	[69] [85]
49	John H. Sayler	[9]
50	André Schiper	[52]
51	Richard D. Schlichting	[29]
52	Yoichi Shinoda	[10] [15] [16] [17] [25]
53	Samia Souissi	[55]
54	Midori Sugaya	[82]
55	Masato Suzuki	[11] [12] [18] [26] [29]
56	Makoto Takizawa	[68]
57	Lichao Tan	[14] [16]
58	Kohei Tanaka	[76]
59	Hiroaki Tanizaki	[80]
60	Takaaki Tateishi	[37]
61	Tsutomu Terada	[76] [90]
62	Nguyen Truong Thang	[44] [45] [54] [62] [64] [72]
63	Koji Torii	[9]
64	Masahiko Tsukamoto	[90]
65	Michiharu Tsukamoto	[34]
66	Tomoharu Ugawa	[82]
67	Seiji Umatani	[56]
68	Péter Urbán	[52] [67]
69	Lloyd G. Williams	[9]
70	Akira Yamauchi	[18] [23]
71	Masashi Yamishita	[76]
72	Rami Yared	[51] [70]
73	Masahiro Yasugi	[56]
74	Kenro Yatake	[50] [65] [77] [87]
75	Taiichi Yuasa	[56] [82]

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