 | 2009 |
|---|
| 79 |       | Pham Ngoc Hung,
Toshiaki Aoki,
Takuya Katayama:
A Minimized Assumption Generation Method for Component-Based Software Verification.
ICTAC 2009: 277-291 |
| 2008 |
|---|
| 78 | | Hiroaki Tanizaki,
Takuya Katayama:
Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy.
APSEC 2008: 343-350 |
| 77 | | Pham Ngoc Hung,
Takuya Katayama:
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.
APSEC 2008: 479-486 |
| 76 | | 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 | | 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 | | 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 | | Nguyen Truong Thang,
Takuya Katayama:
Specification and verification of inter-component constraints in CTL.
ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 69 | | Yasser Kotb,
Takuya Katayama:
Improving software documentation using textual entailment.
ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
| 2005 |
|---|
| 68 | | Rami Yared,
Xavier Défago,
Takuya Katayama:
Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers.
AINA 2005: 921-926 |
| 67 | | Chaiwat Sathawornwichit,
Takuya Katayama:
A Parametric Model Checking Approach for Real-Time Systems Design.
APSEC 2005: 584-594 |
| 66 | | Naohiro Hayashibara,
Xavier Défago,
Makoto Takizawa,
Takuya Katayama:
Information Propagation on the phi Failure Detector.
DEXA Workshops 2005: 72-76 |
| 65 | | Xavier Défago,
Péter Urbán,
Naohiro Hayashibara,
Takuya Katayama:
Definition and Specification of Accrual Failure Detectors.
DSN 2005: 206-215 |
| 64 | | Takuya Katayama,
Yutaka Ishikawa,
Yoshiki Kinoshita:
Workshop on Dependable Software - Tools and Methods - Workshop Abstract.
DSN 2005: 824 |
| 63 | | Kenro Yatake,
Toshiaki Aoki,
Takuya Katayama:
Implementing Application-Specific Object-Oriented Theories in HOL.
ICTAC 2005: 501-516 |
| 62 | | Nguyen Truong Thang,
Takuya Katayama:
Constructing Open Systems via Consistent Components.
ICTAC 2005: 517-531 |
| 61 | | Toshiaki Aoki,
Takuya Katayama:
Formalization and Analysis of Dataflow in Object-Oriented Design Models.
ISORC 2005: 95-105 |
| 60 | | Nguyen Truong Thang,
Takuya Katayama:
A Formal Approach Facilitating the Evolution of Component-Based Software.
IWPSE 2005: 49-52 |
| 59 | | Ming-Jen Huang,
Takuya Katayama:
Steering Model-Driven Evolution by Responsibilities.
IWPSE 2005: 71-80 |
| 58 | | 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 | | 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 | | 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 | | 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 | | Samia Souissi,
Xavier Défago,
Takuya Katayama:
Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems.
ICDCS Workshops 2004: 554-560 |
| 52 | | Nguyen Truong Thang,
Takuya Katayama:
Handling Consistency of Software Evolution in an Efficient Way.
IWPSE 2004: 121-130 |
| 51 | | Toshiaki Aoki,
Takuya Katayama:
Foundations for Evolutionary Construction of State Transition Models.
IWPSE 2004: 143-146 |
| 50 | | 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 | | 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 | | Tomoji Kishi,
Toshiaki Aoki,
Shin Nakajima,
Natsuko Noda,
Takuya Katayama:
Project Report: High-Reliable Object-Oriented Embedded Software Design.
WSTFEUS 2004: 144-148 |
| 46 | | 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 | | Takuya Katayama:
Science of Software Changes.
APSEC 2003: 2 |
| 44 | | Hiroyuki Ozaki,
Shingo Ban,
Katsuhiko Gondow,
Takuya Katayama:
An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation.
APSEC 2003: 362-370 |
| 43 | | Nguyen Truong Thang,
Takuya Katayama:
Towards a Sound Modular Model Checking of Collaboration-Based Software Designs.
APSEC 2003: 88-97 |
| 42 | | Nguyen Truong Thang,
Takuya Katayama:
Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects.
IWPSE 2003: 45-50 |
| 41 | | Hiroyuki Ozaki,
Katsuhiko Gondow,
Takuya Katayama:
Class Refinement for Software Evolution.
IWPSE 2003: 51-56 |
| 2002 |
|---|
| 40 | | 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 | | Tomoji Kishi,
Natsuko Noda,
Takuya Katayama:
A Method for Product Line Scoping Based on a Decision-Making Framework.
SPLC 2002: 348-365 |
| 37 | | Naohiro Hayashibara,
Adel Cherif,
Takuya Katayama:
Failure Detectors for Large-Scale Distributed Systems.
SRDS 2002: 404-409 |
| 2001 |
|---|
| 36 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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) |
