2008 |
76 | EE | Takuya 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 |
74 | EE | 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 |
73 | EE | Toshiaki 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 |
70 | EE | Nguyen Truong Thang,
Takuya Katayama:
Specification and verification of inter-component constraints in CTL.
ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
69 | EE | Yasser Kotb,
Takuya Katayama:
Improving software documentation using textual entailment.
ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
2005 |
68 | EE | Rami Yared,
Xavier Défago,
Takuya Katayama:
Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers.
AINA 2005: 921-926 |
67 | EE | Chaiwat Sathawornwichit,
Takuya Katayama:
A Parametric Model Checking Approach for Real-Time Systems Design.
APSEC 2005: 584-594 |
66 | EE | Naohiro Hayashibara,
Xavier Défago,
Makoto Takizawa,
Takuya Katayama:
Information Propagation on the phi Failure Detector.
DEXA Workshops 2005: 72-76 |
65 | EE | Xavier Défago,
Péter Urbán,
Naohiro Hayashibara,
Takuya Katayama:
Definition and Specification of Accrual Failure Detectors.
DSN 2005: 206-215 |
64 | EE | Takuya Katayama,
Yutaka Ishikawa,
Yoshiki Kinoshita:
Workshop on Dependable Software - Tools and Methods - Workshop Abstract.
DSN 2005: 824 |
63 | EE | Kenro Yatake,
Toshiaki Aoki,
Takuya Katayama:
Implementing Application-Specific Object-Oriented Theories in HOL.
ICTAC 2005: 501-516 |
62 | EE | Nguyen Truong Thang,
Takuya Katayama:
Constructing Open Systems via Consistent Components.
ICTAC 2005: 517-531 |
61 | EE | Toshiaki Aoki,
Takuya Katayama:
Formalization and Analysis of Dataflow in Object-Oriented Design Models.
ISORC 2005: 95-105 |
60 | EE | Nguyen Truong Thang,
Takuya Katayama:
A Formal Approach Facilitating the Evolution of Component-Based Software.
IWPSE 2005: 49-52 |
59 | EE | Ming-Jen Huang,
Takuya Katayama:
Steering Model-Driven Evolution by Responsibilities.
IWPSE 2005: 71-80 |
58 | EE | Nguyen The Loc,
Said Elnaffar,
Takuya Katayama,
Tu Bao Ho:
A Scheduling Method for Divisible Workload Problem in Grid Environments.
PDCAT 2005: 513-517 |
57 | EE | Tomoji 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 |
55 | EE | Yasser Kotb,
Takuya Katayama:
Consistency checking of UML model diagrams using the XML semantics approach.
WWW (Special interest tracks and posters) 2005: 982-983 |
54 | EE | 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 |
53 | EE | Samia Souissi,
Xavier Défago,
Takuya Katayama:
Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems.
ICDCS Workshops 2004: 554-560 |
52 | EE | Nguyen Truong Thang,
Takuya Katayama:
Handling Consistency of Software Evolution in an Efficient Way.
IWPSE 2004: 121-130 |
51 | EE | Toshiaki Aoki,
Takuya Katayama:
Foundations for Evolutionary Construction of State Transition Models.
IWPSE 2004: 143-146 |
50 | EE | 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 |
49 | EE | Naohiro 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 |
47 | EE | Tomoji Kishi,
Toshiaki Aoki,
Shin Nakajima,
Natsuko Noda,
Takuya Katayama:
Project Report: High-Reliable Object-Oriented Embedded Software Design.
WSTFEUS 2004: 144-148 |
46 | EE | 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 |
45 | EE | Takuya Katayama:
Science of Software Changes.
APSEC 2003: 2 |
44 | EE | Hiroyuki Ozaki,
Shingo Ban,
Katsuhiko Gondow,
Takuya Katayama:
An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation.
APSEC 2003: 362-370 |
43 | EE | Nguyen Truong Thang,
Takuya Katayama:
Towards a Sound Modular Model Checking of Collaboration-Based Software Designs.
APSEC 2003: 88-97 |
42 | EE | Nguyen Truong Thang,
Takuya Katayama:
Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects.
IWPSE 2003: 45-50 |
41 | EE | Hiroyuki Ozaki,
Katsuhiko Gondow,
Takuya Katayama:
Class Refinement for Software Evolution.
IWPSE 2003: 51-56 |
2002 |
40 | EE | Mitsutaka 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 |
38 | EE | Tomoji Kishi,
Natsuko Noda,
Takuya Katayama:
A Method for Product Line Scoping Based on a Decision-Making Framework.
SPLC 2002: 348-365 |
37 | EE | Naohiro Hayashibara,
Adel Cherif,
Takuya Katayama:
Failure Detectors for Large-Scale Distributed Systems.
SRDS 2002: 404-409 |
2001 |
36 | EE | Tomoji 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 |
34 | EE | Takuya 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 |
31 | EE | Toshiaki Aoki,
Takuya Katayama:
Unification and Consistency Verification of Object-Oriented Analysis Models.
APSEC 1998: 296-303 |
30 | | Kazunori Mizushima,
Takuya Katayama:
Storage Allocation Strategies for Recursive Attributes Evaluators.
CC 1998: 50-64 |
1996 |
29 | EE | Takuya 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 |
20 | EE | Takuya 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 |
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 | EE | 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) |