![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Takuya Katayama
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2014
- [c93]Hirotaka Sumitomo, Takuya Katayama, Tsutomu Terada
, Masahiko Tsukamoto:
Implementation and evaluation on a concealed interface using abdominal circumference. AH 2014: 51:1-51:8 - [c92]Arisa Sakamoto, Takuya Katayama, Tsutomu Terada
, Masahiko Tsukamoto:
Method for visualizing undone operations based on changes on desktop screen. SAC 2014: 193-195 - 2013
- [c91]Takuya Katayama, Takeki Ogitsu, Hikaru Kokumai, Hiroshi Takemura, Tomohiro Nakayama, Hiroshi Mizoguchi
:
Study on effect of neutral voltages on shaft voltages causing bearing currents. IECON 2013: 4690-4693 - 2012
- [j15]Hsin-Hung Lin, Toshiaki Aoki
, Takuya Katayama:
Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking. IEICE Trans. Inf. Syst. 95-D(7): 1882-1893 (2012) - [j14]Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki
, Takuya Katayama:
On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 95-A(9): 1451-1460 (2012) - [c90]Tatsuya Horie, Tsutomu Terada
, Takuya Katayama, Masahiko Tsukamoto:
A pointing method using accelerometers for graphical user interfaces. AH 2012: 12 - [c89]Takuya Katayama, Tsutomu Terada
, Kazuya Murao
, Masahiko Tsukamoto:
A text input method for half-sized keyboard using keying interval. MUM 2012: 6 - [c88]Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki
, Takuya Katayama:
An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. RIVF 2012: 1-6 - [c87]Hiroaki Tanizaki, Toshiaki Aoki, Takuya Katayama:
A Variability Management Method for Software Configuration Files. SEKE 2012: 672-677 - 2011
- [j13]Kenro Yatake, Takuya Katayama:
An executable object-oriented semantics and its application to firewall verification. Softw. Syst. Model. 10(4): 515-536 (2011) - [c86]Hsin-Hung Lin, Toshiaki Aoki
, Takuya Katayama:
Automated Adaptor Generation for Services Based on Pushdown Model Checking. ECBS 2011: 130-139 - 2010
- [j12]Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki
, Takuya Katayama:
A Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Trans. Inf. Syst. 93-D(8): 2172-2181 (2010) - [c85]Hsin-Hung Lin, Toshiaki Aoki
, Takuya Katayama:
Non-regular Adaptation of Services Using Model Checking. ISORC 2010: 170-174 - [c84]Chaiwat Sathawornwichit, Toshiaki Aoki
, Takuya Katayama:
Modeling of Real-Time System Designs for Parametric Analysis. RTCSA 2010: 81-91
2000 – 2009
- 2009
- [j11]Pham Ngoc Hung, Toshiaki Aoki
, Takuya Katayama:
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 92-A(11): 2772-2780 (2009) - [c83]Pham Ngoc Hung, Toshiaki Aoki
, Takuya Katayama:
A Minimized Assumption Generation Method for Component-Based Software Verification. ICTAC 2009: 277-291 - [c82]Takuya Katayama, Tomoji Kishi, Shintaro Hosoai, Tatsuo Nakajima, Taiichi Yuasa, Midori Sugaya, Tomoharu Ugawa:
Project Report: Toward the Realization of Highly Reliable Embedded Systems. ISORC 2009: 105-111 - [c81]Takuya Katayama:
Learning lessons from the past: how IWPSE has started, and where we should go. EVOL/IWPSE 2009: 5-6 - [c80]Pham Ngoc Hung, Toshiaki Aoki
, Takuya Katayama:
An effective framework for assume-guarantee verification of evolving component-based software. EVOL/IWPSE 2009: 109-118 - 2008
- [c79]Hiroaki Tanizaki, Takuya Katayama:
Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy. APSEC 2008: 343-350 - [c78]Pham Ngoc Hung, Takuya Katayama:
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. APSEC 2008: 479-486 - [c77]Takuya Katayama:
How Can We Make Industry Adopt Formal Methods? ICFEM 2008: 1 - [c76]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 - [c75]Kenro Yatake, Takuya Katayama:
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving. MSVVEIS 2008: 71-80 - 2007
- [c74]Toshiaki Aoki
, Takuya Katayama:
Statechart-based Verification of Object-Oriented Design Models. APSEC 2007: 278-285 - [c73]Ming-Jen Huang, Takuya Katayama:
Using Responsibility Modeling and Rule-Based Approach for Product Line Evolution. SPLC (2) 2007: 191-199 - 2006
- [j10]Nguyen Truong Thang, Takuya Katayama:
Specification and verification of inter-component constraints in CTL. ACM SIGSOFT Softw. Eng. Notes 31(2) (2006) - [j9]Yasser Kotb, Takuya Katayama:
Improving software documentation using textual entailment. ACM SIGSOFT Softw. Eng. Notes 31(6): 1-2 (2006) - [c72]Ming-Jen Huang, Takuya Katayama:
Responsibility-Steering Automation of Software Evolution. EVOL 2006: 89-96 - [c71]Yasser Kotb, Takuya Katayama:
A Novel Technique to Verify the UML Use Case Diagrams. IASTED Conf. on Software Engineering 2006: 300-305 - 2005
- [j8]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 Trans. Inf. Syst. 88-D(6): 1105-1116 (2005) - [c70]Rami Yared, Xavier Défago
, Takuya Katayama:
Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers. AINA 2005: 921-926 - [c69]Chaiwat Sathawornwichit, Takuya Katayama:
A Parametric Model Checking Approach for Real-Time Systems Design. APSEC 2005: 584-594 - [c68]Naohiro Hayashibara, Xavier Défago
, Makoto Takizawa
, Takuya Katayama:
Information Propagation on the phi Failure Detector. DEXA Workshops 2005: 72-76 - [c67]Xavier Défago
, Péter Urbán, Naohiro Hayashibara, Takuya Katayama:
Definition and Specification of Accrual Failure Detectors. DSN 2005: 206-215 - [c66]Takuya Katayama, Yutaka Ishikawa, Yoshiki Kinoshita:
Workshop on Dependable Software - Tools and Methods - Workshop Abstract. DSN 2005: 824 - [c65]Kenro Yatake, Toshiaki Aoki
, Takuya Katayama:
Implementing Application-Specific Object-Oriented Theories in HOL. ICTAC 2005: 501-516 - [c64]Nguyen Truong Thang, Takuya Katayama:
Constructing Open Systems via Consistent Components. ICTAC 2005: 517-531 - [c63]Toshiaki Aoki
, Takuya Katayama:
Formalization and Analysis of Dataflow in Object-Oriented Design Models. ISORC 2005: 95-105 - [c62]Nguyen Truong Thang, Takuya Katayama:
A Formal Approach Facilitating the Evolution of Component-Based Software. IWPSE 2005: 49-52 - [c61]Ming-Jen Huang, Takuya Katayama:
Steering Model-Driven Evolution by Responsibilities. IWPSE 2005: 71-80 - [c60]Nguyen The Loc, Said Elnaffar, Takuya Katayama, Tu Bao Ho:
A Scheduling Method for Divisible Workload Problem in Grid Environments. PDCAT 2005: 513-517 - [c59]Nguyen Truong Thang, Takuya Katayama:
Specification and verification of inter-component constraints in CTL. SAVCBS@ESEC/FSE 2005: 8 - [c58]Tomoji Kishi, Natsuko Noda, Takuya Katayama:
Design Verification for Product Line Development. SPLC 2005: 150-161 - [c57]Ming-Jen Huang, Takuya Katayama:
Steering Model-Driven Development of Enterprise Information System Through Responsibilities. WSMDEIS 2005: 143-148 - [c56]Yasser Kotb, Takuya Katayama:
Consistency checking of UML model diagrams using the XML semantics approach. WWW (Special interest tracks and posters) 2005: 982-983 - 2004
- [j7]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) - [c55]Samia Souissi, Xavier Défago
, Takuya Katayama:
Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems. ICDCS Workshops 2004: 554-560 - [c54]Nguyen Truong Thang, Takuya Katayama:
Handling Consistency of Software Evolution in an Efficient Way. IWPSE 2004: 121-130 - [c53]Toshiaki Aoki, Takuya Katayama:
Foundations for Evolutionary Construction of State Transition Models. IWPSE 2004: 143-146 - [c52]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 - [c51]Naohiro Hayashibara, Xavier Défago
, Rami Yared, Takuya Katayama:
The Φ Accrual Failure Detector. SRDS 2004: 66-78 - [c50]Kenro Yatake, Toshiaki Aoki, Takuya Katayama:
Collaboration-based verification of Object-Oriented models in HOL. VVEIS 2004: 78-80 - [c49]Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama:
Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS 2004: 144-148 - 2003
- [c48]Takuya Katayama:
Science of Software Changes. APSEC 2003: 2 - [c47]Nguyen Truong Thang, Takuya Katayama:
Towards a Sound Modular Model Checking of Collaboration-Based Software Designs. APSEC 2003: 88-97 - [c46]Hiroyuki Ozaki
, Shingo Ban, Katsuhiko Gondow, Takuya Katayama:
An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation. APSEC 2003: 362-370 - [c45]Nguyen Truong Thang, Takuya Katayama:
Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects. IWPSE 2003: 45-50 - [c44]Hiroyuki Ozaki
, Katsuhiko Gondow, Takuya Katayama:
Class Refinement for Software Evolution. IWPSE 2003: 51-56 - [c43]Yasser Kotb, Katsuhiko Gondow, Takuya Katayama:
A case study for XML semantics checker model. SMC 2003: 4834-4839 - 2002
- [c42]Mitsutaka Okazaki, Toshiaki Aoki
, Takuya Katayama:
Extracting threads from concurrent objects for the design of embedded systems. APSEC 2002: 107-116 - [c41]Yasser Kotb, Katsuhiko Gondow, Takuya Katayama:
Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker. International Conference on Internet Computing 2002: 653-659 - [c40]Nguyen Truong Thang, Takuya Katayama:
Collaboration-based evolvable software implementations: Java and Hyper/J vs. C++-templates composition. IWPSE 2002: 29-33 - [c39]Yasser Kotb, Katsuhiko Gondow, Takuya Katayama:
An incremental evaluation approach to check the consistency of XML documents. SMC 2002: 6 - [c38]Tomoji Kishi, Natsuko Noda, Takuya Katayama:
A Method for Product Line Scoping Based on a Decision-Making Framework. SPLC 2002: 348-365 - [c37]Naohiro Hayashibara, Adel Cherif
, Takuya Katayama:
Failure Detectors for Large-Scale Distributed Systems. SRDS 2002: 404-409 - 2001
- [c36]Tomoji Kishi, Natsuko Noda, Takuya Katayama:
Architectural Design for Evolution by Analyzing Requirements on Quality Attributes. APSEC 2001: 111-118 - [c35]Takuya Katayama:
Evolutionary Domains: A Basis for Sound Software Evolution. IWPSE 2001: 107-113 - [c34]Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama:
An Axiomatic Formalization of UML Models. pUML 2001: 13-28 - 2000
- [j6]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) - [c33]Takuya Katayama:
Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles. ICECCS 2000: 200-
1990 – 1999
- 1998
- [j5]Adel Cherif
, Takuya Katayama:
Replica management for fault-tolerant systems. IEEE Micro 18(5): 54-65 (1998) - [c32]Toshiaki Aoki
, Takuya Katayama:
Unification and Consistency Verification of Object-Oriented Analysis Models. APSEC 1998: 296-303 - [c31]Kazunori Mizushima, Takuya Katayama:
Storage Allocation Strategies for Recursive Attributes Evaluators. CC 1998: 50-64 - [c30]Nobukazu Yoshioka, Masato Suzuki, Takuya Katayama:
Incremental Software Development Method Based on Abstract Interpretation. IWSSD 1998: 126-134 - [e3]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. Lecture Notes in Computer Science 1368, Springer 1998, ISBN 3-540-64216-1 [contents] - 1996
- [j4]Katsuhiko Gondow, Takashi Imaizumi, Takeshi Hagiwara, Takuya Katayama:
Application of object-oriented attribute grammars (OOAG) to software development environments. Syst. Comput. Jpn. 27(7): 1-17 (1996) - [j3]Yutaka Kikuchi, Takuya Katayama:
On Generalization of Attribute Grammars. Syst. Comput. Jpn. 27(9): 33-42 (1996) - [c29]Takuya Katayama:
Principles of Software Evolution. APSEC 1996: 152- - [c28]Adel Cherif, Masato Suzuki, Takuya Katayama:
A replication technique based on a functional and attribute grammar computation model. ISSRE 1996: 266-273 - [c27]Naoko Izumi, Takuya Katayama:
An Object Logic for Object Base Capable of Version Management. SEKE 1996: 171-180 - 1994
- [c26]Masato Suzuki, Takuya Katayama, Richard D. Schlichting:
Implementing Fault Tolerance with an Attribute and Functional Based Model. FTCS 1994: 244-253 - [c25]Sumio Mochizuki, Takuya Katayama:
A Proposal for Composing Software Design Process. Software Quality and Productivity 1994: 72-77 - 1993
- [c24]Masato Suzuki, Atsushi Iwai, Takuya Katayama:
A Formal Model of Re-execution in Software Process. ICSP 1993: 84-99 - [c23]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 - [c22]Shiyuan Ding, Takuya Katayama:
Specifying Reactive Systems with Attributed Finite State Machines. IWSSD 1993: 90-99 - [c21]Sumio Mochizuki, Akira Yamauchi, Takuya Katayama:
Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model. SEKE 1993: 291-295 - [c20]Shiyuan Ding, Takuya Katayama:
Attributed State Machines For Behavior Specification of Reactive Systems. SEKE 1993: 695-702 - [e2]Victor R. Basili, Richard A. DeMillo, Takuya Katayama:
Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, USA, May 17-21, 1993. IEEE Computer Society / ACM Press 1993, ISBN 0-89791-588-7 [contents] - 1991
- [c19]Sumio Mochizuki, Akira Yamauchi, Takuya Katayama:
Analyzing and evaluating fundamental design process of checkout system for artificial spacecraft. COMPSAC 1991: 507-514 - [c18]Takuya Katayama:
ISPW6: Support for the Software Process. ICSE 1991: 258-262 - [c17]Takuya Katayama, Sumio Motizuki:
What has been learned from applying a formal process model to a real process. ISPW 1991: 79-81 - 1990
- [c16]Sumio Mochizuki, Akira Yamauchi, Takuya Katayama, Masato Suzuki:
Applying the software process to the instruction tool in system design. ISPW 1990: 141-144 - [c15]Yoichi Shinoda, Takuya Katayama:
Object-oriented software processes and their environment. ISPW 1990: 191-194 - [c14]Lichao Tan, Yoichi Shinoda, Takuya Katayama:
Coping with changes in an object management system based on attribute grammars. SDE 1990: 56-65 - [c13]Yoichi Shinoda, Takuya Katayama:
Object-Oriented Extension of Attribute Grammars and its Implementation Using Distributed Attribute Evaluation Algorithm. WAGA 1990: 177-191 - [e1]Takuya Katayama:
Proceedings of the Sixth International Software Process Workshop (ISPW '90), October 1990, Hakodate, Japan. IEEE Computer Society 1990, ISBN 0-8186-2495-7 [contents]
1980 – 1989
- 1989
- [c12]Lichao Tan, Takuya Katayama:
Meta Operations for Type Management in Object-Oriented Databases. DOOD 1989: 241-258 - [c11]Takuya Katayama:
A Hierarchical and Functional Software Process Description and Its Enaction. ICSE 1989: 343-352 - [c10]Takuya Katayama, Masato Suzuki:
Mechanisms for software process dynamics. ISPW 1989: 78-81 - [c9]Takuya Katayama, Masato Suzuki:
An example of process description in HFSP. ISPW 1989: 161-162 - [c8]Yoichi Shinoda, Takuya Katayama:
Towards Formal Description and Automatic Generation of Programming Environments. SEE 1989: 261-270 - 1988
- [c7]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 - [c6]Takuya Katayama:
A hierarchical and functional approach to software process description. ISPW 1988: 87-92 - 1986
- [c5]Takuya Katayama, Hisashi Sasaki:
Global Storage Allocation in Attribute Evaluation. POPL 1986: 26-37 - 1984
- [j2]Takuya Katayama:
Translation of Attribute Grammars into Procedures. ACM Trans. Program. Lang. Syst. 6(3): 345-369 (1984) - [c4]Takuya Katayama:
Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach. LISP and Functional Programming 1984: 263-272 - [c3]Hisashi Sasaki, Takuya Katayama:
Global Storage Allocation in Attribute Evaluation. RIMS Symposia on Software Science and Engineering 1984: 181-211 - 1982
- [c2]Takuya Katayama:
Treatment of Big Values in an Applicative Language HFP. RIMS Symposium on Software Science and Engineering 1982: 36-48 - 1981
- [c1]Takuya Katayama, Yutaka Hoshino:
Verification of Attribute Grammars. POPL 1981: 177-186
1970 – 1979
- 1978
- [j1]Takuya Katayama, Masayuki Okamoto, Hajime Enomoto:
Characterization of the Structure-Generating Functions of Regular Sets and the DOL Growth Functions. Inf. Control. 36(1): 85-101 (1978)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint