dblp.uni-trier.dewww.uni-trier.de

Takuya Katayama Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
79EEPham Ngoc Hung, Toshiaki Aoki, Takuya Katayama: A Minimized Assumption Generation Method for Component-Based Software Verification. ICTAC 2009: 277-291
2008
78EEHiroaki Tanizaki, Takuya Katayama: Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy. APSEC 2008: 343-350
77EEPham Ngoc Hung, Takuya Katayama: Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. APSEC 2008: 479-486
76EETakuya Katayama: How Can We Make Industry Adopt Formal Methods? ICFEM 2008: 1
75 Kenro Yatake, Takuya Katayama: An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving. MSVVEIS 2008: 71-80
74EETakuya 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
73EEToshiaki Aoki, Takuya Katayama: Statechart-based Verification of Object-Oriented Design Models. APSEC 2007: 278-285
72 Ming-Jen Huang, Takuya Katayama: Using Responsibility Modeling and Rule-Based Approach for Product Line Evolution. SPLC (2) 2007: 191-199
2006
71 Yasser Kotb, Takuya Katayama: A Novel Technique to Verify the UML Use Case Diagrams. IASTED Conf. on Software Engineering 2006: 300-305
70EENguyen Truong Thang, Takuya Katayama: Specification and verification of inter-component constraints in CTL. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
69EEYasser Kotb, Takuya Katayama: Improving software documentation using textual entailment. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006)
2005
68EERami Yared, Xavier Défago, Takuya Katayama: Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers. AINA 2005: 921-926
67EEChaiwat Sathawornwichit, Takuya Katayama: A Parametric Model Checking Approach for Real-Time Systems Design. APSEC 2005: 584-594
66EENaohiro Hayashibara, Xavier Défago, Makoto Takizawa, Takuya Katayama: Information Propagation on the phi Failure Detector. DEXA Workshops 2005: 72-76
65EEXavier Défago, Péter Urbán, Naohiro Hayashibara, Takuya Katayama: Definition and Specification of Accrual Failure Detectors. DSN 2005: 206-215
64EETakuya Katayama, Yutaka Ishikawa, Yoshiki Kinoshita: Workshop on Dependable Software - Tools and Methods - Workshop Abstract. DSN 2005: 824
63EEKenro Yatake, Toshiaki Aoki, Takuya Katayama: Implementing Application-Specific Object-Oriented Theories in HOL. ICTAC 2005: 501-516
62EENguyen Truong Thang, Takuya Katayama: Constructing Open Systems via Consistent Components. ICTAC 2005: 517-531
61EEToshiaki Aoki, Takuya Katayama: Formalization and Analysis of Dataflow in Object-Oriented Design Models. ISORC 2005: 95-105
60EENguyen Truong Thang, Takuya Katayama: A Formal Approach Facilitating the Evolution of Component-Based Software. IWPSE 2005: 49-52
59EEMing-Jen Huang, Takuya Katayama: Steering Model-Driven Evolution by Responsibilities. IWPSE 2005: 71-80
58EENguyen The Loc, Said Elnaffar, Takuya Katayama, Tu Bao Ho: A Scheduling Method for Divisible Workload Problem in Grid Environments. PDCAT 2005: 513-517
57EETomoji Kishi, Natsuko Noda, Takuya Katayama: Design Verification for Product Line Development. SPLC 2005: 150-161
56 Ming-Jen Huang, Takuya Katayama: Steering Model-Driven Development of Enterprise Information System Through Responsibilities. WSMDEIS 2005: 143-148
55EEYasser Kotb, Takuya Katayama: Consistency checking of UML model diagrams using the XML semantics approach. WWW (Special interest tracks and posters) 2005: 982-983
54EETakuya 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
53EESamia Souissi, Xavier Défago, Takuya Katayama: Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems. ICDCS Workshops 2004: 554-560
52EENguyen Truong Thang, Takuya Katayama: Handling Consistency of Software Evolution in an Efficient Way. IWPSE 2004: 121-130
51EEToshiaki Aoki, Takuya Katayama: Foundations for Evolutionary Construction of State Transition Models. IWPSE 2004: 143-146
50EEPé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
49EENaohiro Hayashibara, Xavier Défago, Rami Yared, Takuya Katayama: The F Accrual Failure Detector. SRDS 2004: 66-78
48 Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Collaboration-based verification of Object-Oriented models in HOL. VVEIS 2004: 78-80
47EETomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama: Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS 2004: 144-148
46EEYasser 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
45EETakuya Katayama: Science of Software Changes. APSEC 2003: 2
44EEHiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama: An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation. APSEC 2003: 362-370
43EENguyen Truong Thang, Takuya Katayama: Towards a Sound Modular Model Checking of Collaboration-Based Software Designs. APSEC 2003: 88-97
42EENguyen Truong Thang, Takuya Katayama: Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects. IWPSE 2003: 45-50
41EEHiroyuki Ozaki, Katsuhiko Gondow, Takuya Katayama: Class Refinement for Software Evolution. IWPSE 2003: 51-56
2002
40EEMitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama: Extracting threads from concurrent objects for the design of embedded systems. APSEC 2002: 107-116
39 Yasser Kotb, Katsuhiko Gondow, Takuya Katayama: Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker. International Conference on Internet Computing 2002: 653-659
38EETomoji Kishi, Natsuko Noda, Takuya Katayama: A Method for Product Line Scoping Based on a Decision-Making Framework. SPLC 2002: 348-365
37EENaohiro Hayashibara, Adel Cherif, Takuya Katayama: Failure Detectors for Large-Scale Distributed Systems. SRDS 2002: 404-409
2001
36EETomoji Kishi, Natsuko Noda, Takuya Katayama: Architectural Design for Evolution by Analyzing Requirements on Quality Attributes. APSEC 2001: 111-118
35 Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama: An Axiomatic Formalization of UML Models. pUML 2001: 13-28
2000
34EETakuya Katayama: Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles. ICECCS 2000: 200-
33 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
32 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
31EEToshiaki Aoki, Takuya Katayama: Unification and Consistency Verification of Object-Oriented Analysis Models. APSEC 1998: 296-303
30EEKazunori Mizushima, Takuya Katayama: Storage Allocation Strategies for Recursive Attributes Evaluators. CC 1998: 50-64
1996
29EETakuya Katayama: Principles of Software Evolution. APSEC 1996: 152-
28 Naoko Izumi, Takuya Katayama: An Object Logic for Object Base Capable of Version Management. SEKE 1996: 171-180
1994
27 Masato Suzuki, Takuya Katayama, Richard D. Schlichting: Implementing Fault Tolerance with an Attribute and Functional Based Model. FTCS 1994: 244-253
26 Sumio Mochizuki, Takuya Katayama: A Proposal for Composing Software Design Process. Software Quality and Productivity 1994: 72-77
1993
25 Masato Suzuki, Atsushi Iwai, Takuya Katayama: A Formal Model of Re-execution in Software Process. ICSP 1993: 84-99
24 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
23 Shiyuan Ding, Takuya Katayama: Specifying Reactive Systems with Attributed Finite State Machines. IWSSD 1993: 90-99
22 Sumio Mochizuki, Akira Yamauchi, Takuya Katayama: Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model. SEKE 1993: 291-295
21 Shiyuan Ding, Takuya Katayama: Attributed State Machines For Behavior Specification of Reactive Systems. SEKE 1993: 695-702
1991
20EETakuya Katayama: ISPW6: Support for the Software Process. ICSE 1991: 258-262
19 Takuya Katayama, Sumio Motizuki: What has been learned from applying a formal process model to a real process. ISPW 1991: 79-81
1990
18 Takuya Katayama: Proceedings of the Sixth International Software Process Workshop (ISPW '90), October 1990, Hakodate, Japan IEEE Computer Society 1990
17 Sumio Mochizuki, Akira Yamauchi, Takuya Katayama, Masato Suzuki: Applying the software process to the instruction tool in system design. ISPW 1990: 141-144
16 Yoichi Shinoda, Takuya Katayama: Object-oriented software processes and their environment. ISPW 1990: 191-194
15EEYoichi 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
10EEYoichi 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
4EETakuya 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)