Takuya Katayama - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Automated Adaptor Generation for Services Based on Pushdown Model CheckingHsin-hung Lin, Toshiaki Aoki, Takuya Katayama. ECBS 2011: 130-139 [doi]

2010

A Minimized Assumption Generation Method for Component-Based Software VerificationPham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama. ieicet, 93-D(8):2172-2181, 2010. [doi]

Non-regular Adaptation of Services Using Model CheckingHsin-hung Lin, Toshiaki Aoki, Takuya Katayama. isorc 2010: 170-174 [doi]

Modeling of Real-Time System Designs for Parametric AnalysisChaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama. rtcsa 2010: 81-91 [doi]

2009

2008

2007

Statechart-based Verification of Object-Oriented Design ModelsToshiaki Aoki, Takuya Katayama. apsec 2007: 278-285 [doi]

Using Responsibility Modeling and Rule-Based Approach for Product Line EvolutionMing-Jen Huang, Takuya Katayama. SPLC 2007: 191-199

2006

Improving software documentation using textual entailmentYasser Kotb, Takuya Katayama. sigsoft, 31(6):1-2, 2006. [doi]

A Novel Technique to Verify the UML Use Case DiagramsYasser Kotb, Takuya Katayama. iastedSE 2006: 300-305

Specification and verification of inter-component constraints in CTLNguyen Truong Thang, Takuya Katayama. sigsoft, 31(2), 2006. [doi]

2005

Formalization and Analysis of Dataflow in Object-Oriented Design ModelsToshiaki Aoki, Takuya Katayama. isorc 2005: 95-105 [doi]

Definition and Specification of Accrual Failure DetectorsXavier Défago, Péter Urbán, Naohiro Hayashibara, Takuya Katayama. dsn 2005: 206-215 [doi]

Information Propagation on the phi Failure DetectorNaohiro Hayashibara, Xavier Défago, Makoto Takizawa, Takuya Katayama. dexaw 2005: 72-76 [doi]

Steering Model-Driven Development of Enterprise Information System Through ResponsibilitiesMing-Jen Huang, Takuya Katayama. wsmai 2005: 143-148

Steering Model-Driven Evolution by ResponsibilitiesMing-Jen Huang, Takuya Katayama. iwpse 2005: 71-80 [doi]

Workshop on Dependable Software - Tools and Methods - Workshop AbstractTakuya Katayama, Yutaka Ishikawa, Yoshiki Kinoshita. dsn 2005: 824 [doi]

Highly Reliable Embedded Software Development Using Advanced Software TechnologiesTakuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani. ieicet, 88-D(6):1105-1116, 2005. [doi]

Design Verification for Product Line DevelopmentTomoji Kishi, Natsuko Noda, Takuya Katayama. SPLC 2005: 150-161 [doi]

Consistency checking of UML model diagrams using the XML semantics approachYasser Kotb, Takuya Katayama. WWW 2005: 982-983 [doi]

A Scheduling Method for Divisible Workload Problem in Grid EnvironmentsNguyen The Loc, Said Elnaffar, Takuya Katayama, Tu Bao Ho. pdcat 2005: 513-517 [doi]

A Parametric Model Checking Approach for Real-Time Systems DesignChaiwat Sathawornwichit, Takuya Katayama. apsec 2005: 584-594 [doi]

Constructing Open Systems via Consistent ComponentsNguyen Truong Thang, Takuya Katayama. ictac 2005: 517-531 [doi]

A Formal Approach Facilitating the Evolution of Component-Based SoftwareNguyen Truong Thang, Takuya Katayama. iwpse 2005: 49-52 [doi]

Fault-Tolerant Group Membership Protocols Using Physical Robot MessengersRami Yared, Xavier Défago, Takuya Katayama. aina 2005: 921-926 [doi]

Implementing Application-Specific Object-Oriented Theories in HOLKenro Yatake, Toshiaki Aoki, Takuya Katayama. ictac 2005: 501-516 [doi]

2004

Foundations for Evolutionary Construction of State Transition ModelsToshiaki Aoki, Takuya Katayama. iwpse 2004: 143-146 [doi]

The F Accrual Failure DetectorNaohiro Hayashibara, Xavier Défago, Rami Yared, Takuya Katayama. srds 2004: 66-78 [doi]

Project Report: High-Reliable Object-Oriented Embedded Software DesignTomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama. wstfeus 2004: 144-148 [doi]

Optimizing the Execution Time for Checking the Consistency of XML DocumentsYasser Kotb, Katsuhiko Gondow, Takuya Katayama. jiis, 22(3):257-279, 2004. [doi]

Decomposition of Fundamental Problems for Cooperative Autonomous Mobile SystemsSamia Souissi, Xavier Défago, Takuya Katayama. icdcsw 2004: 554-560 [doi]

Handling Consistency of Software Evolution in an Efficient WayNguyen Truong Thang, Takuya Katayama. iwpse 2004: 121-130 [doi]

Performance Comparison of a Rotating Coordinator and a Leader Based Consensus AlgorithmPéter Urbán, Naohiro Hayashibara, André Schiper, Takuya Katayama. srds 2004: 4-17 [doi]

Collaboration-based verification of Object-Oriented models in HOLKenro Yatake, Toshiaki Aoki, Takuya Katayama. vveis 2004: 78-80

2003

2002

2001

An Axiomatic Formalization of UML ModelsToshiaki Aoki, Takaaki Tateishi, Takuya Katayama. uml 2001: 13-28

Architectural Design for Evolution by Analyzing Requirements on Quality AttributesTomoji Kishi, Natsuko Noda, Takuya Katayama. apsec 2001: 111-118 [doi]

2000

Attribute Grammars as Record Calculus - A Structure-Oriented Denotational Semantics of Attribute Grammars by Using Cardelli s Record CalculusKatsuhiko Gondow, Takuya Katayama. informaticaSI, 24(3), 2000.

Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution PrinciplesTakuya Katayama. iceccs 2000: 200 [doi]

1998

Unification and Consistency Verification of Object-Oriented Analysis ModelsToshiaki Aoki, Takuya Katayama. apsec 1998: 296-303 [doi]

Worldwide Computing and Its Applications, International Conference, WWCA 98, Second International Conference, Tsukuba, Japan, March 4-5, 1998, ProceedingsYoshifumi Masunaga, Takuya Katayama, Michiharu Tsukamoto, editors, Volume 1368 of Lecture Notes in Computer Science, Springer, 1998.

Storage Allocation Strategies for Recursive Attributes EvaluatorsKazunori Mizushima, Takuya Katayama. CC 1998: 50-64

1996

An Object Logic for Object Base Capable of Version ManagementNaoko Izumi, Takuya Katayama. seke 1996: 171-180

Principles of Software EvolutionTakuya Katayama. apsec 1996: 152 [doi]

1994

A Proposal for Composing Software Design ProcessSumio Mochizuki, Takuya Katayama. icsqp 1995: 72-77

Implementing Fault Tolerance with an Attribute and Functional Based ModelMasato Suzuki, Takuya Katayama, Richard D. Schlichting. ftcs 1994: 244-253

1993

1991

ISPW6: Support for the Software ProcessTakuya Katayama. ICSE 1991: 258-262 [doi]

What has been learned from applying a formal process model to a real processTakuya Katayama, Sumio Motizuki. ispw 1991: 79-81

1990

Proceedings of the Sixth International Software Process Workshop (ISPW 90), October 1990, Hakodate, JapanTakuya Katayama, editor, IEEE Computer Society, 1990.

Applying the software process to the instruction tool in system designSumio Mochizuki, Akira Yamauchi, Takuya Katayama, Masato Suzuki. ispw 1990: 141-144

Object-Oriented Extension of Attribute Grammars and its Implementation Using Distributed Attribute Evaluation AlgorithmYoichi Shinoda, Takuya Katayama. waga 1990: 177-191

Object-oriented software processes and their environmentYoichi Shinoda, Takuya Katayama. ispw 1990: 191-194

1989

A Hierarchical and Functional Software Process Description and Its EnactionTakuya Katayama. ICSE 1989: 343-352

Mechanisms for software process dynamicsTakuya Katayama, Masato Suzuki. ispw 1989: 78-81

An example of process description in HFSPTakuya Katayama, Masato Suzuki. ispw 1989: 161-162

Towards Formal Description and Automatic Generation of Programming EnvironmentsYoichi Shinoda, Takuya Katayama. see 1990: 261-270

Meta Operations for Type Management in Object-Oriented DatabasesLichao Tan, Takuya Katayama. dood 1989: 241-258

1988

A hierarchical and functional approach to software process descriptionTakuya Katayama. ispw 1988: 87-92

SDA: A Novel Approach to Software Environment Design and ConstructionKouichi Kishida, Takuya Katayama, Masatoshi Matsuo, Isao Miyamoto, Koichiro Ochimizu, Nobuo Saito, John H. Sayler, Koji Torii, Lloyd G. Williams. ICSE 1988: 69-79

1986

Global Storage Allocation in Attribute EvaluationTakuya Katayama, Hisashi Sasaki. POPL 1986: 26-37

1984

Translation of Attribute Grammars into ProceduresTakuya Katayama. TOPLAS, 6(3):345-369, 1984. [doi]

Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation ApproachTakuya Katayama. lfp 1984: 263-272

Global Storage Allocation in Attribute EvaluationHisashi Sasaki, Takuya Katayama. rims 1986: 181-211

1982

Treatment of Big Values in an Applicative Language HFPTakuya Katayama. rims 1983: 36-48

1981

Verification of Attribute GrammarsTakuya Katayama, Yutaka Hoshino. POPL 1981: 177-186

1978

Characterization of the Structure-Generating Functions of Regular Sets and the DOL Growth FunctionsTakuya Katayama, Masayuki Okamoto, Hajime Enomoto. iandc, 36(1):85-101, January 1978.