The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Takuya Katayama: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lichao Tan, Takuya Katayama
    Meta Operations for Type Management in Object-Oriented Databases. [Citation Graph (2, 0)][DBLP]
    DOOD, 1989, pp:241-258 [Conf]
  2. Takuya Katayama
    A Hierarchical and Functional Software Process Description and Its Enaction. [Citation Graph (1, 0)][DBLP]
    ICSE, 1989, pp:343-352 [Conf]
  3. Rami Yared, Xavier Défago, Takuya Katayama
    Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers. [Citation Graph (0, 0)][DBLP]
    AINA, 2005, pp:921-926 [Conf]
  4. Toshiaki Aoki, Takuya Katayama
    Unification and Consistency Verification of Object-Oriented Analysis Models. [Citation Graph (0, 0)][DBLP]
    APSEC, 1998, pp:296-303 [Conf]
  5. Takuya Katayama
    Principles of Software Evolution. [Citation Graph (0, 0)][DBLP]
    APSEC, 1996, pp:152-0 [Conf]
  6. Takuya Katayama
    Science of Software Changes. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:2- [Conf]
  7. Tomoji Kishi, Natsuko Noda, Takuya Katayama
    Architectural Design for Evolution by Analyzing Requirements on Quality Attributes. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:111-118 [Conf]
  8. Chaiwat Sathawornwichit, Takuya Katayama
    A Parametric Model Checking Approach for Real-Time Systems Design. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:584-594 [Conf]
  9. Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama
    Extracting threads from concurrent objects for the design of embedded systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:107-116 [Conf]
  10. Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama
    An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:362-370 [Conf]
  11. Nguyen Truong Thang, Takuya Katayama
    Towards a Sound Modular Model Checking of Collaboration-Based Software Designs. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:88-97 [Conf]
  12. Kazunori Mizushima, Takuya Katayama
    Storage Allocation Strategies for Recursive Attributes Evaluators. [Citation Graph (0, 0)][DBLP]
    CC, 1998, pp:50-64 [Conf]
  13. Naohiro Hayashibara, Xavier Défago, Makoto Takizawa, Takuya Katayama
    Information Propagation on the phi Failure Detector. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2005, pp:72-76 [Conf]
  14. Xavier Défago, Péter Urbán, Naohiro Hayashibara, Takuya Katayama
    Definition and Specification of Accrual Failure Detectors. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:206-215 [Conf]
  15. Takuya Katayama, Yutaka Ishikawa, Yoshiki Kinoshita
    Workshop on Dependable Software - Tools and Methods - Workshop Abstract. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:824- [Conf]
  16. Masato Suzuki, Takuya Katayama, Richard D. Schlichting
    Implementing Fault Tolerance with an Attribute and Functional Based Model. [Citation Graph (0, 0)][DBLP]
    FTCS, 1994, pp:244-253 [Conf]
  17. Yasser Kotb, Takuya Katayama
    A Novel Technique to Verify the UML Use Case Diagrams. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering, 2006, pp:300-305 [Conf]
  18. Yasser Kotb, Katsuhiko Gondow, Takuya Katayama
    Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker. [Citation Graph (0, 0)][DBLP]
    International Conference on Internet Computing, 2002, pp:653-659 [Conf]
  19. Samia Souissi, Xavier Défago, Takuya Katayama
    Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2004, pp:554-560 [Conf]
  20. Takuya Katayama
    Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2000, pp:200-0 [Conf]
  21. Takuya Katayama
    ISPW6: Support for the Software Process. [Citation Graph (0, 0)][DBLP]
    ICSE, 1991, pp:258-262 [Conf]
  22. 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. [Citation Graph (0, 0)][DBLP]
    ICSE, 1988, pp:69-79 [Conf]
  23. Masato Suzuki, Atsushi Iwai, Takuya Katayama
    A Formal Model of Re-execution in Software Process. [Citation Graph (0, 0)][DBLP]
    ICSP, 1993, pp:84-99 [Conf]
  24. Sumio Mochizuki, Takuya Katayama
    A Proposal for Composing Software Design Process. [Citation Graph (0, 0)][DBLP]
    Software Quality and Productivity, 1994, pp:72-77 [Conf]
  25. Nguyen Truong Thang, Takuya Katayama
    Constructing Open Systems via Consistent Components. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:517-531 [Conf]
  26. Kenro Yatake, Toshiaki Aoki, Takuya Katayama
    Implementing Application-Specific Object-Oriented Theories in HOL. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:501-516 [Conf]
  27. Toshiaki Aoki, Takuya Katayama
    Formalization and Analysis of Dataflow in Object-Oriented Design Models. [Citation Graph (0, 0)][DBLP]
    ISORC, 2005, pp:95-105 [Conf]
  28. Katsuhiko Gondow, Takashi Imaizumi, Yoichi Shinoda, Takuya Katayama
    Change Management and Consistency Maintenance in Software Development Environments Using Object-Oriented Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    ISOTAS, 1993, pp:77-94 [Conf]
  29. Sumio Mochizuki, Akira Yamauchi, Takuya Katayama, Masato Suzuki
    Applying the software process to the instruction tool in system design. [Citation Graph (0, 0)][DBLP]
    ISPW, 1990, pp:141-144 [Conf]
  30. Takuya Katayama
    A hierarchical and functional approach to software process description. [Citation Graph (0, 0)][DBLP]
    ISPW, 1988, pp:87-92 [Conf]
  31. Takuya Katayama, Sumio Motizuki
    What has been learned from applying a formal process model to a real process. [Citation Graph (0, 0)][DBLP]
    ISPW, 1991, pp:79-81 [Conf]
  32. Takuya Katayama, Masato Suzuki
    Mechanisms for software process dynamics. [Citation Graph (0, 0)][DBLP]
    ISPW, 1989, pp:78-81 [Conf]
  33. Takuya Katayama, Masato Suzuki
    An example of process description in HFSP. [Citation Graph (0, 0)][DBLP]
    ISPW, 1989, pp:161-162 [Conf]
  34. Yoichi Shinoda, Takuya Katayama
    Object-oriented software processes and their environment. [Citation Graph (0, 0)][DBLP]
    ISPW, 1990, pp:191-194 [Conf]
  35. Nguyen Truong Thang, Takuya Katayama
    A Formal Approach Facilitating the Evolution of Component-Based Software. [Citation Graph (0, 0)][DBLP]
    IWPSE, 2005, pp:49-52 [Conf]
  36. Toshiaki Aoki, Takuya Katayama
    Foundations for Evolutionary Construction of State Transition Models. [Citation Graph (0, 0)][DBLP]
    IWPSE, 2004, pp:143-146 [Conf]
  37. Ming-Jen Huang, Takuya Katayama
    Steering Model-Driven Evolution by Responsibilities. [Citation Graph (0, 0)][DBLP]
    IWPSE, 2005, pp:71-80 [Conf]
  38. Hiroyuki Ozaki, Katsuhiko Gondow, Takuya Katayama
    Class Refinement for Software Evolution. [Citation Graph (0, 0)][DBLP]
    IWPSE, 2003, pp:51-56 [Conf]
  39. Nguyen Truong Thang, Takuya Katayama
    Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects. [Citation Graph (0, 0)][DBLP]
    IWPSE, 2003, pp:45-50 [Conf]
  40. Nguyen Truong Thang, Takuya Katayama
    Handling Consistency of Software Evolution in an Efficient Way. [Citation Graph (0, 0)][DBLP]
    IWPSE, 2004, pp:121-130 [Conf]
  41. Shiyuan Ding, Takuya Katayama
    Specifying Reactive Systems with Attributed Finite State Machines. [Citation Graph (0, 0)][DBLP]
    IWSSD, 1993, pp:90-99 [Conf]
  42. Takuya Katayama
    Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1984, pp:263-272 [Conf]
  43. Nguyen The Loc, Said Elnaffar, Takuya Katayama, Ho Tu Bao
    A Scheduling Method for Divisible Workload Problem in Grid Environments. [Citation Graph (0, 0)][DBLP]
    PDCAT, 2005, pp:513-517 [Conf]
  44. Takuya Katayama, Yutaka Hoshino
    Verification of Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    POPL, 1981, pp:177-186 [Conf]
  45. Takuya Katayama, Hisashi Sasaki
    Global Storage Allocation in Attribute Evaluation. [Citation Graph (0, 0)][DBLP]
    POPL, 1986, pp:26-37 [Conf]
  46. Takuya Katayama
    Treatment of Big Values in an Applicative Language HFP. [Citation Graph (0, 0)][DBLP]
    RIMS Symposium on Software Science and Engineering, 1982, pp:36-48 [Conf]
  47. Hisashi Sasaki, Takuya Katayama
    Global Storage Allocation in Attribute Evaluation. [Citation Graph (0, 0)][DBLP]
    RIMS Symposia on Software Science and Engineering, 1984, pp:181-211 [Conf]
  48. Yoichi Shinoda, Takuya Katayama
    Towards Formal Description and Automatic Generation of Programming Environments. [Citation Graph (0, 0)][DBLP]
    SEE, 1989, pp:261-270 [Conf]
  49. Naoko Izumi, Takuya Katayama
    An Object Logic for Object Base Capable of Version Management. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:171-180 [Conf]
  50. Sumio Mochizuki, Akira Yamauchi, Takuya Katayama
    Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:291-295 [Conf]
  51. Shiyuan Ding, Takuya Katayama
    Attributed State Machines For Behavior Specification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:695-702 [Conf]
  52. Tomoji Kishi, Natsuko Noda, Takuya Katayama
    A Method for Product Line Scoping Based on a Decision-Making Framework. [Citation Graph (0, 0)][DBLP]
    SPLC, 2002, pp:348-365 [Conf]
  53. Tomoji Kishi, Natsuko Noda, Takuya Katayama
    Design Verification for Product Line Development. [Citation Graph (0, 0)][DBLP]
    SPLC, 2005, pp:150-161 [Conf]
  54. Naohiro Hayashibara, Adel Cherif, Takuya Katayama
    Failure Detectors for Large-Scale Distributed Systems. [Citation Graph (0, 0)][DBLP]
    SRDS, 2002, pp:404-409 [Conf]
  55. Naohiro Hayashibara, Xavier Défago, Rami Yared, Takuya Katayama
    The F Accrual Failure Detector. [Citation Graph (0, 0)][DBLP]
    SRDS, 2004, pp:66-78 [Conf]
  56. Péter Urbán, Naohiro Hayashibara, André Schiper, Takuya Katayama
    Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm. [Citation Graph (0, 0)][DBLP]
    SRDS, 2004, pp:4-17 [Conf]
  57. Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
    An Axiomatic Formalization of UML Models. [Citation Graph (0, 0)][DBLP]
    pUML, 2001, pp:13-28 [Conf]
  58. Kenro Yatake, Toshiaki Aoki, Takuya Katayama
    Collaboration-based verification of Object-Oriented models in HOL. [Citation Graph (0, 0)][DBLP]
    VVEIS, 2004, pp:78-80 [Conf]
  59. Yoichi Shinoda, Takuya Katayama
    Object-Oriented Extension of Attribute Grammars and its Implementation Using Distributed Attribute Evaluation Algorithm. [Citation Graph (0, 0)][DBLP]
    WAGA, 1990, pp:177-191 [Conf]
  60. Ming-Jen Huang, Takuya Katayama
    Steering Model-Driven Development of Enterprise Information System Through Responsibilities. [Citation Graph (0, 0)][DBLP]
    WSMDEIS, 2005, pp:143-148 [Conf]
  61. Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama
    Project Report: High-Reliable Object-Oriented Embedded Software Design. [Citation Graph (0, 0)][DBLP]
    WSTFEUS, 2004, pp:144-148 [Conf]
  62. Yasser Kotb, Takuya Katayama
    Consistency checking of UML model diagrams using the XML semantics approach. [Citation Graph (0, 0)][DBLP]
    WWW (Special interest tracks and posters), 2005, pp:982-983 [Conf]
  63. Takuya Katayama, Masayuki Okamoto, Hajime Enomoto
    Characterization of the Structure-Generating Functions of Regular Sets and the DOL Growth Functions [Citation Graph (0, 0)][DBLP]
    Information and Control, 1978, v:36, n:1, pp:85-101 [Journal]
  64. Katsuhiko Gondow, Takuya Katayama
    Attribute Grammars as Record Calculus - A Structure-Oriented Denotational Semantics of Attribute Grammars by Using Cardelli's Record Calculus. [Citation Graph (0, 0)][DBLP]
    Informatica (Slovenia), 2000, v:24, n:3, pp:- [Journal]
  65. Yasser Kotb, Katsuhiko Gondow, Takuya Katayama
    Optimizing the Execution Time for Checking the Consistency of XML Documents. [Citation Graph (0, 0)][DBLP]
    J. Intell. Inf. Syst., 2004, v:22, n:3, pp:257-279 [Journal]
  66. Takuya Katayama
    Translation of Attribute Grammars into Procedures. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1984, v:6, n:3, pp:345-369 [Journal]

  67. Statechart-based Verification of Object-Oriented Design Models. [Citation Graph (, )][DBLP]


  68. Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. [Citation Graph (, )][DBLP]


  69. Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy. [Citation Graph (, )][DBLP]


  70. How Can We Make Industry Adopt Formal Methods? [Citation Graph (, )][DBLP]


  71. A Minimized Assumption Generation Method for Component-Based Software Verification. [Citation Graph (, )][DBLP]


  72. Project Report: Toward the Realization of Highly Reliable Embedded Systems. [Citation Graph (, )][DBLP]


  73. Using Responsibility Modeling and Rule-Based Approach for Product Line Evolution. [Citation Graph (, )][DBLP]


  74. An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving. [Citation Graph (, )][DBLP]


  75. Development of a navigation system with a route planning algorithm using body-worn sensors. [Citation Graph (, )][DBLP]


Search in 0.275secs, Finished in 0.280secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002