Takuya Katayama

111 papers A* 6A 3B 13C 25Misc 1Journal 15Unranked 46

Year	Rank	Type	Title / Venue / Authors
2014	—	`conf`	Implementation and evaluation on a concealed interface using abdominal circumference. AH Hirotaka Sumitomo, Takuya Katayama, Tsutomu Terada, Masahiko Tsukamoto
2014	Misc	`conf`	Method for visualizing undone operations based on changes on desktop screen. SAC Arisa Sakamoto, Takuya Katayama, Tsutomu Terada, Masahiko Tsukamoto
2013	C	`conf`	Study on effect of neutral voltages on shaft voltages causing bearing currents. IECON Takuya Katayama, Takeki Ogitsu, Hikaru Kokumai, Hiroshi Takemura, Tomohiro Nakayama, Hiroshi Mizoguchi
2012	C	`conf`	A Variability Management Method for Software Configuration Files. SEKE Hiroaki Tanizaki, Toshiaki Aoki, Takuya Katayama
2012	—	`conf`	A pointing method using accelerometers for graphical user interfaces. AH Tatsuya Horie, Tsutomu Terada, Takuya Katayama, Masahiko Tsukamoto
2012	B	`conf`	A text input method for half-sized keyboard using keying interval. MUM Takuya Katayama, Tsutomu Terada, Kazuya Murao, Masahiko Tsukamoto
2012	—	`conf`	An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. RIVF Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
2012	J	`jnl`	Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking. IEICE Trans. Inf. Syst. Hsin-hung Lin, Toshiaki Aoki, Takuya Katayama
2012	J	`jnl`	On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
2011	J	`jnl`	An executable object-oriented semantics and its application to firewall verification. Softw. Syst. Model. Kenro Yatake, Takuya Katayama
2011	—	`conf`	Automated Adaptor Generation for Services Based on Pushdown Model Checking. ECBS Hsin-hung Lin, Toshiaki Aoki, Takuya Katayama
2010	J	`jnl`	A Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Trans. Inf. Syst. Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
2010	B	`conf`	Modeling of Real-Time System Designs for Parametric Analysis. RTCSA Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama
2010	C	`conf`	Non-regular Adaptation of Services Using Model Checking. ISORC Hsin-hung Lin, Toshiaki Aoki, Takuya Katayama
2009	C	`conf`	A Minimized Assumption Generation Method for Component-Based Software Verification. ICTAC Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
2009	—	`conf`	An effective framework for assume-guarantee verification of evolving component-based software. EVOL/IWPSE Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
2009	—	`conf`	Learning lessons from the past: how IWPSE has started, and where we should go. EVOL/IWPSE Takuya Katayama
2009	J	`jnl`	Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
2009	C	`conf`	Project Report: Toward the Realization of Highly Reliable Embedded Systems. ISORC Takuya Katayama, Tomoji Kishi, Shintaro Hosoai, Tatsuo Nakajima, Taiichi Yuasa, Midori Sugaya, Tomoharu Ugawa
2008	—	`conf`	An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving. MSVVEIS Kenro Yatake, Takuya Katayama
2008	C	`conf`	Development of a navigation system with a route planning algorithm using body-worn sensors. MoMM Takuya Katayama, Masashi Yamishita, Masaki Nakamiya, Kazuya Murao, Kohei Tanaka, Tsutomu Terada, Shojiro Nishio
2008	C	`conf`	Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy. APSEC Hiroaki Tanizaki, Takuya Katayama
2008	C	`conf`	How Can We Make Industry Adopt Formal Methods? ICFEM Takuya Katayama
2008	C	`conf`	Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. APSEC Pham Ngoc Hung, Takuya Katayama
2007	C	`conf`	Statechart-based Verification of Object-Oriented Design Models. APSEC Toshiaki Aoki, Takuya Katayama
2007	—	`conf`	Using Responsibility Modeling and Rule-Based Approach for Product Line Evolution. SPLC (2) Ming-Jen Huang, Takuya Katayama
2006	—	`conf`	A Novel Technique to Verify the UML Use Case Diagrams. IASTED Conf. on Software Engineering Yasser Kotb, Takuya Katayama
2006	J	`jnl`	Improving software documentation using textual entailment. ACM SIGSOFT Softw. Eng. Notes Yasser Kotb, Takuya Katayama
2006	—	`conf`	Responsibility-Steering Automation of Software Evolution. EVOL Ming-Jen Huang, Takuya Katayama
2006	J	`jnl`	Specification and verification of inter-component constraints in CTL. ACM SIGSOFT Softw. Eng. Notes Nguyen Truong Thang, Takuya Katayama
2005	—	`conf`	A Formal Approach Facilitating the Evolution of Component-Based Software. IWPSE Nguyen Truong Thang, Takuya Katayama
2005	C	`conf`	A Parametric Model Checking Approach for Real-Time Systems Design. APSEC Chaiwat Sathawornwichit, Takuya Katayama
2005	C	`conf`	A Scheduling Method for Divisible Workload Problem in Grid Environments. PDCAT Nguyen The Loc, Said Elnaffar, Takuya Katayama, Tu Bao Ho
2005	—	`conf`	Consistency checking of UML model diagrams using the XML semantics approach. WWW (Special interest tracks and posters) Yasser Kotb, Takuya Katayama
2005	C	`conf`	Constructing Open Systems via Consistent Components. ICTAC Nguyen Truong Thang, Takuya Katayama
2005	A	`conf`	Definition and Specification of Accrual Failure Detectors. DSN Xavier Défago, Péter Urbán, Naohiro Hayashibara, Takuya Katayama
2005	B	`conf`	Design Verification for Product Line Development. SPLC Tomoji Kishi, Natsuko Noda, Takuya Katayama
2005	B	`conf`	Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers. AINA Rami Yared, Xavier Défago, Takuya Katayama
2005	C	`conf`	Formalization and Analysis of Dataflow in Object-Oriented Design Models. ISORC Toshiaki Aoki, Takuya Katayama
2005	J	`jnl`	Highly Reliable Embedded Software Development Using Advanced Software Technologies. IEICE Trans. Inf. Syst. Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani
2005	C	`conf`	Implementing Application-Specific Object-Oriented Theories in HOL. ICTAC Kenro Yatake, Toshiaki Aoki, Takuya Katayama
2005	—	`conf`	Information Propagation on the phi Failure Detector. DEXA Workshops Naohiro Hayashibara, Xavier Défago, Makoto Takizawa, Takuya Katayama
2005	—	`conf`	Specification and verification of inter-component constraints in CTL. SAVCBS@ESEC/FSE Nguyen Truong Thang, Takuya Katayama
2005	—	`conf`	Steering Model-Driven Development of Enterprise Information System Through Responsibilities. WSMDEIS Ming-Jen Huang, Takuya Katayama
2005	—	`conf`	Steering Model-Driven Evolution by Responsibilities. IWPSE Ming-Jen Huang, Takuya Katayama
2005	A	`conf`	Workshop on Dependable Software - Tools and Methods - Workshop Abstract. DSN Takuya Katayama, Yutaka Ishikawa, Yoshiki Kinoshita
2004	—	`conf`	Collaboration-based verification of Object-Oriented models in HOL. VVEIS Kenro Yatake, Toshiaki Aoki, Takuya Katayama
2004	—	`conf`	Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems. ICDCS Workshops Samia Souissi, Xavier Défago, Takuya Katayama
2004	—	`conf`	Foundations for Evolutionary Construction of State Transition Models. IWPSE Toshiaki Aoki, Takuya Katayama
2004	—	`conf`	Handling Consistency of Software Evolution in an Efficient Way. IWPSE Nguyen Truong Thang, Takuya Katayama
2004	J	`jnl`	Optimizing the Execution Time for Checking the Consistency of XML Documents. J. Intell. Inf. Syst. Yasser Kotb, Katsuhiko Gondow, Takuya Katayama
2004	B	`conf`	Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm. SRDS Péter Urbán, Naohiro Hayashibara, André Schiper, Takuya Katayama
2004	—	`conf`	Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama
2004	B	`conf`	The Φ Accrual Failure Detector. SRDS Naohiro Hayashibara, Xavier Défago, Rami Yared, Takuya Katayama
2003	B	`conf`	A case study for XML semantics checker model. SMC Yasser Kotb, Katsuhiko Gondow, Takuya Katayama
2003	C	`conf`	An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation. APSEC Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama
2003	—	`conf`	Class Refinement for Software Evolution. IWPSE Hiroyuki Ozaki, Katsuhiko Gondow, Takuya Katayama
2003	—	`conf`	Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects. IWPSE Nguyen Truong Thang, Takuya Katayama
2003	C	`conf`	Science of Software Changes. APSEC Takuya Katayama
2003	C	`conf`	Towards a Sound Modular Model Checking of Collaboration-Based Software Designs. APSEC Nguyen Truong Thang, Takuya Katayama
2002	B	`conf`	A Method for Product Line Scoping Based on a Decision-Making Framework. SPLC Tomoji Kishi, Natsuko Noda, Takuya Katayama
2002	B	`conf`	An incremental evaluation approach to check the consistency of XML documents. SMC Yasser Kotb, Katsuhiko Gondow, Takuya Katayama
2002	—	`conf`	Collaboration-based evolvable software implementations: Java and Hyper/J vs. C++-templates composition. IWPSE Nguyen Truong Thang, Takuya Katayama
2002	C	`conf`	Extracting threads from concurrent objects for the design of embedded systems. APSEC Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama
2002	B	`conf`	Failure Detectors for Large-Scale Distributed Systems. SRDS Naohiro Hayashibara, Adel Cherif, Takuya Katayama
2002	—	`conf`	Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker. International Conference on Internet Computing Yasser Kotb, Katsuhiko Gondow, Takuya Katayama
2001	—	`conf`	An Axiomatic Formalization of UML Models. pUML Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
2001	C	`conf`	Architectural Design for Evolution by Analyzing Requirements on Quality Attributes. APSEC Tomoji Kishi, Natsuko Noda, Takuya Katayama
2001	—	`conf`	Evolutionary Domains: A Basis for Sound Software Evolution. IWPSE Takuya Katayama
2000	J	`jnl`	Attribute Grammars as Record Calculus - A Structure-Oriented Denotational Semantics of Attribute Grammars by Using Cardelli's Record Calculus. Informatica (Slovenia) Katsuhiko Gondow, Takuya Katayama
2000	B	`conf`	Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles. ICECCS Takuya Katayama
1998	—	`conf`	Incremental Software Development Method Based on Abstract Interpretation. IWSSD Nobukazu Yoshioka, Masato Suzuki, Takuya Katayama
1998	J	`jnl`	Replica management for fault-tolerant systems. IEEE Micro Adel Cherif, Takuya Katayama
1998	B	`conf`	Storage Allocation Strategies for Recursive Attributes Evaluators. CC Kazunori Mizushima, Takuya Katayama
1998	C	`conf`	Unification and Consistency Verification of Object-Oriented Analysis Models. APSEC Toshiaki Aoki, Takuya Katayama
1998	—	`ed.`	Worldwide Computing and Its Applications, International Conference, WWCA '98, Second International Conference, Tsukuba, Japan, March 4-5, 1998, Proceedings WWCA Yoshifumi Masunaga, Takuya Katayama, Michiharu Tsukamoto
1996	A	`conf`	A replication technique based on a functional and attribute grammar computation model. ISSRE Adel Cherif, Masato Suzuki, Takuya Katayama
1996	C	`conf`	An Object Logic for Object Base Capable of Version Management. SEKE Naoko Izumi, Takuya Katayama
1996	J	`jnl`	Application of object-oriented attribute grammars (OOAG) to software development environments. Syst. Comput. Jpn. Katsuhiko Gondow, Takashi Imaizumi, Takeshi Hagiwara, Takuya Katayama
1996	J	`jnl`	On Generalization of Attribute Grammars. Syst. Comput. Jpn. Yutaka Kikuchi, Takuya Katayama
1996	C	`conf`	Principles of Software Evolution. APSEC Takuya Katayama
1994	—	`conf`	A Proposal for Composing Software Design Process. Software Quality and Productivity Sumio Mochizuki, Takuya Katayama
1994	—	`conf`	Implementing Fault Tolerance with an Attribute and Functional Based Model. FTCS Masato Suzuki, Takuya Katayama, Richard D. Schlichting
1993	—	`conf`	A Formal Model of Re-execution in Software Process. ICSP Masato Suzuki, Atsushi Iwai, Takuya Katayama
1993	C	`conf`	Attributed State Machines For Behavior Specification of Reactive Systems. SEKE Shiyuan Ding, Takuya Katayama
1993	—	`conf`	Change Management and Consistency Maintenance in Software Development Environments Using Object-Oriented Attribute Grammars. ISOTAS Katsuhiko Gondow, Takashi Imaizumi, Yoichi Shinoda, Takuya Katayama
1993	A*	`ed.`	Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, USA, May 17-21, 1993. ICSE Victor R. Basili, Richard A. DeMillo, Takuya Katayama
1993	—	`conf`	Specifying Reactive Systems with Attributed Finite State Machines. IWSSD Shiyuan Ding, Takuya Katayama
1993	C	`conf`	Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model. SEKE Sumio Mochizuki, Akira Yamauchi, Takuya Katayama
1991	B	`conf`	Analyzing and evaluating fundamental design process of checkout system for artificial spacecraft. COMPSAC Sumio Mochizuki, Akira Yamauchi, Takuya Katayama
1991	A*	`conf`	ISPW6: Support for the Software Process. ICSE Takuya Katayama
1991	—	`conf`	What has been learned from applying a formal process model to a real process. ISPW Takuya Katayama, Sumio Motizuki
1990	—	`conf`	Applying the software process to the instruction tool in system design. ISPW Sumio Mochizuki, Akira Yamauchi, Takuya Katayama, Masato Suzuki
1990	—	`conf`	Coping with changes in an object management system based on attribute grammars. SDE Lichao Tan, Yoichi Shinoda, Takuya Katayama
1990	—	`conf`	Object-Oriented Extension of Attribute Grammars and its Implementation Using Distributed Attribute Evaluation Algorithm. WAGA Yoichi Shinoda, Takuya Katayama
1990	—	`conf`	Object-oriented software processes and their environment. ISPW Yoichi Shinoda, Takuya Katayama
1990	—	`ed.`	Proceedings of the Sixth International Software Process Workshop (ISPW '90), October 1990, Hakodate, Japan ISPW Takuya Katayama
1989	A*	`conf`	A Hierarchical and Functional Software Process Description and Its Enaction. ICSE Takuya Katayama
1989	—	`conf`	An example of process description in HFSP. ISPW Takuya Katayama, Masato Suzuki
1989	—	`conf`	Mechanisms for software process dynamics. ISPW Takuya Katayama, Masato Suzuki
1989	—	`conf`	Meta Operations for Type Management in Object-Oriented Databases. DOOD Lichao Tan, Takuya Katayama
1989	—	`conf`	Towards Formal Description and Automatic Generation of Programming Environments. SEE Yoichi Shinoda, Takuya Katayama
1988	—	`conf`	A hierarchical and functional approach to software process description. ISPW Takuya Katayama
1988	A*	`conf`	SDA: A Novel Approach to Software Environment Design and Construction. ICSE Kouichi Kishida, Takuya Katayama, Masatoshi Matsuo, Isao Miyamoto, Koichiro Ochimizu, Nobuo Saito, John H. Sayler, Koji Torii, Lloyd G. Williams
1986	A*	`conf`	Global Storage Allocation in Attribute Evaluation. POPL Takuya Katayama, Hisashi Sasaki
1984	—	`conf`	Global Storage Allocation in Attribute Evaluation. RIMS Symposia on Software Science and Engineering Hisashi Sasaki, Takuya Katayama
1984	J	`jnl`	Translation of Attribute Grammars into Procedures. ACM Trans. Program. Lang. Syst. Takuya Katayama
1984	—	`conf`	Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach. LISP and Functional Programming Takuya Katayama
1982	—	`conf`	Treatment of Big Values in an Applicative Language HFP. RIMS Symposium on Software Science and Engineering Takuya Katayama
1981	A*	`conf`	Verification of Attribute Grammars. POPL Takuya Katayama, Yutaka Hoshino
1978	J	`jnl`	Characterization of the Structure-Generating Functions of Regular Sets and the DOL Growth Functions Inf. Control. Takuya Katayama, Masayuki Okamoto, Hajime Enomoto