Takuya Katayama

According to our database1, Takuya Katayama authored at least 106 papers between 1978 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Method for visualizing undone operations based on changes on desktop screen.
Proceedings of the Symposium on Applied Computing, 2014

Implementation and evaluation on a concealed interface using abdominal circumference.
Proceedings of the 5th Augmented Human International Conference, 2014

2013
Study on effect of neutral voltages on shaft voltages causing bearing currents.
Proceedings of the IECON 2013, 2013

2012
Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking.
IEICE Trans. Inf. Syst., 2012

On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

A Variability Management Method for Software Configuration Files.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification.
Proceedings of the 2012 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), Ho Chi Minh City, Vietnam, February 27, 2012

A text input method for half-sized keyboard using keying interval.
Proceedings of the 11th International Conference on Mobile and Ubiquitous Multimedia, 2012

A pointing method using accelerometers for graphical user interfaces.
Proceedings of the 3rd Augmented Human International Conference, 2012

2011
An executable object-oriented semantics and its application to firewall verification.
Softw. Syst. Model., 2011

Automated Adaptor Generation for Services Based on Pushdown Model Checking.
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

2010
A Minimized Assumption Generation Method for Component-Based Software Verification.
IEICE Trans. Inf. Syst., 2010

Modeling of Real-Time System Designs for Parametric Analysis.
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Non-regular Adaptation of Services Using Model Checking.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

2009
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

Learning lessons from the past: how IWPSE has started, and where we should go.
Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, 2009

An effective framework for assume-guarantee verification of evolving component-based software.
Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, 2009

Project Report: Toward the Realization of Highly Reliable Embedded Systems.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

A Minimized Assumption Generation Method for Component-Based Software Verification.
Proceedings of the Theoretical Aspects of Computing, 2009

2008
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving.
Proceedings of the Modelling, 2008

Development of a navigation system with a route planning algorithm using body-worn sensors.
Proceedings of the MoMM'2008 - The 6th International Conference on Advances in Mobile Computing and Multimedia, 24, 2008

How Can We Make Industry Adopt Formal Methods?
Proceedings of the Formal Methods and Software Engineering, 2008

Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy.
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007
Using Responsibility Modeling and Rule-Based Approach for Product Line Evolution.
Proceedings of the Software Product Lines, 11th International Conference, 2007

Statechart-based Verification of Object-Oriented Design Models.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006
Specification and verification of inter-component constraints in CTL.
ACM SIGSOFT Softw. Eng. Notes, 2006

Improving software documentation using textual entailment.
ACM SIGSOFT Softw. Eng. Notes, 2006

A Novel Technique to Verify the UML Use Case Diagrams.
Proceedings of the IASTED International Conference on Software Engineering, 2006

Responsibility-Steering Automation of Software Evolution.
Proceedings of the 2nd ERCIM Workshop on Software Evolution, 2006

2005
Highly Reliable Embedded Software Development Using Advanced Software Technologies.
IEICE Trans. Inf. Syst., 2005

Consistency checking of UML model diagrams using the XML semantics approach.
Proceedings of the 14th international conference on World Wide Web, 2005

Steering Model-Driven Development of Enterprise Information System Through Responsibilities.
Proceedings of the Web Services and Model-Driven Enterprise Information Services, 2005

Design Verification for Product Line Development.
Proceedings of the Software Product Lines, 9th International Conference, 2005

A Scheduling Method for Divisible Workload Problem in Grid Environments.
Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

A Formal Approach Facilitating the Evolution of Component-Based Software.
Proceedings of the 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 2005

Steering Model-Driven Evolution by Responsibilities.
Proceedings of the 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 2005

Formalization and Analysis of Dataflow in Object-Oriented Design Models.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Implementing Application-Specific Object-Oriented Theories in HOL.
Proceedings of the Theoretical Aspects of Computing, 2005

Constructing Open Systems via Consistent Components.
Proceedings of the Theoretical Aspects of Computing, 2005

Workshop on Dependable Software - Tools and Methods - Workshop Abstract.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

Definition and Specification of Accrual Failure Detectors.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

Information Propagation on the phi Failure Detector.
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

A Parametric Model Checking Approach for Real-Time Systems Design.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers.
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

2004
Optimizing the Execution Time for Checking the Consistency of XML Documents.
J. Intell. Inf. Syst., 2004

Project Report: High-Reliable Object-Oriented Embedded Software Design.
Proceedings of the 2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004

Collaboration-based verification of Object-Oriented models in HOL.
Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm.
Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

The Φ Accrual Failure Detector.
Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

Handling Consistency of Software Evolution in an Efficient Way.
Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE 2004), 2004

Foundations for Evolutionary Construction of State Transition Models.
Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE 2004), 2004

Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems.
Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

2003
A case study for XML semantics checker model.
Proceedings of the IEEE International Conference on Systems, 2003

Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects.
Proceedings of the 6th International Workshop on Principles of Software Evolution (IWPSE 2003), 2003

Class Refinement for Software Evolution.
Proceedings of the 6th International Workshop on Principles of Software Evolution (IWPSE 2003), 2003

Towards a Sound Modular Model Checking of Collaboration-Based Software Designs.
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation.
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

Science of Software Changes.
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002
Failure Detectors for Large-Scale Distributed Systems.
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

A Method for Product Line Scoping Based on a Decision-Making Framework.
Proceedings of the Software Product Lines, Second International Conference, 2002

An incremental evaluation approach to check the consistency of XML documents.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

Collaboration-based evolvable software implementations: Java and Hyper/J vs. C++-templates composition.
Proceedings of the International Workshop on Principles of Software Evolution, 2002

Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker.
Proceedings of the International Conference on Internet Computing, 2002

Extracting threads from concurrent objects for the design of embedded systems.
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001
An Axiomatic Formalization of UML Models.
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Evolutionary Domains: A Basis for Sound Software Evolution.
Proceedings of the 4th International Workshop on Principles of Software Evolution, 2001

Architectural Design for Evolution by Analyzing Requirements on Quality Attributes.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000
Attribute Grammars as Record Calculus - A Structure-Oriented Denotational Semantics of Attribute Grammars by Using Cardelli's Record Calculus.
Informatica (Slovenia), 2000

Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles.
Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

1998
Replica management for fault-tolerant systems.
IEEE Micro, 1998

Incremental Software Development Method Based on Abstract Interpretation.
Proceedings of the 9th International Workshop on Software Specification and Design, 1998

Storage Allocation Strategies for Recursive Attributes Evaluators.
Proceedings of the Compiler Construction, 7th International Conference, 1998

Unification and Consistency Verification of Object-Oriented Analysis Models.
Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1996
On Generalization of Attribute Grammars.
Syst. Comput. Jpn., 1996

Application of object-oriented attribute grammars (OOAG) to software development environments.
Syst. Comput. Jpn., 1996

An Object Logic for Object Base Capable of Version Management.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

A replication technique based on a functional and attribute grammar computation model.
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

Principles of Software Evolution.
Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1994
A Proposal for Composing Software Design Process.
Proceedings of the Software Quality and Productivity: Theory, 1994

Implementing Fault Tolerance with an Attribute and Functional Based Model.
Proceedings of the Digest of Papers: FTCS/24, 1994

1993
Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model.
Proceedings of the SEKE'93, 1993

Attributed State Machines For Behavior Specification of Reactive Systems.
Proceedings of the SEKE'93, 1993

Specifying Reactive Systems with Attributed Finite State Machines.
Proceedings of the 7th International Workshop on Software Specification and Design, 1993

Change Management and Consistency Maintenance in Software Development Environments Using Object-Oriented Attribute Grammars.
Proceedings of the Object Technologies for Advanced Software, 1993

A Formal Model of Re-execution in Software Process.
Proceedings of the Second International Conference on the Software Process, 1993

1991
What has been learned from applying a formal process model to a real process.
Proceedings of the Seventh International Software Process Workshop (ISPW '91), 1991

ISPW6: Support for the Software Process.
Proceedings of the 13th International Conference on Software Engineering, 1991

Analyzing and evaluating fundamental design process of checkout system for artificial spacecraft.
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990
Object-Oriented Extension of Attribute Grammars and its Implementation Using Distributed Attribute Evaluation Algorithm.
Proceedings of the Attribute Grammars and their Applications, 1990

Coping with changes in an object management system based on attribute grammars.
Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

Object-oriented software processes and their environment.
Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

Applying the software process to the instruction tool in system design.
Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

1989
Towards Formal Description and Automatic Generation of Programming Environments.
Proceedings of the Software Engineering Environments, 1989

An example of process description in HFSP.
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

Mechanisms for software process dynamics.
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

A Hierarchical and Functional Software Process Description and Its Enaction.
Proceedings of the 11th International Conference on Software Engineering, 1989

Meta Operations for Type Management in Object-Oriented Databases.
Proceedings of the Deductive and Object-Oriented Databases, 1989

1988
A hierarchical and functional approach to software process description.
Proceedings of the Forth International Software Process Workshop, 1988

SDA: A Novel Approach to Software Environment Design and Construction.
Proceedings of the Proceedings, 1988

1984
Translation of Attribute Grammars into Procedures.
ACM Trans. Program. Lang. Syst., 1984

Global Storage Allocation in Attribute Evaluation.
Proceedings of the RIMS Symposia on Software Science and Engineering II, 1984

Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach.
Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1982
Treatment of Big Values in an Applicative Language HFP.
Proceedings of the RIMS Symposium on Software Science and Engineering, 1982

1981
Verification of Attribute Grammars.
Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

1978
Characterization of the Structure-Generating Functions of Regular Sets and the DOL Growth Functions
Inf. Control., January, 1978


  Loading...