Etsuya Shibayama

According to our database1, Etsuya Shibayama authored at least 48 papers between 1983 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Editor's Message to Special Issue of Young Researchers' Papers.
J. Inf. Process., 2019

Cutting Java Expressions into Lines for Detecting their Evaluation at Runtime.
Proceedings of the 2019 2nd International Conference on Geoinformatics and Data Analysis, 2019

2017
Analyzing Execution Traces of Failed Programs for Materializing Chain of Infection.
Proceedings of the 5th International Conference on Applied Computing and Information Technology, 2017

2016
Evaluation of diagnosis support methods in program debugging by trace analysis: An exploratory study.
Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

2015
A Case Study of Dynamic Analysis to Locate Unexpected Side Effects Inside of Frameworks.
Int. J. Softw. Innov., 2015

2014
Toward a dynamic analysis technique to locate framework misuses that cause unexpected side effects.
Proceedings of the 15th IEEE/ACIS International Conference on Software Engineering, 2014

Rollback mechanism of nested virtual machines for protocol fuzz testing.
Proceedings of the Symposium on Applied Computing, 2014

A dynamic analysis technique to extract symptoms that suggest side effects in framework applications.
Proceedings of the Symposium on Applied Computing, 2014

2013
A Feature Model of Framework Applications.
Proceedings of the 14th ACIS International Conference on Software Engineering, 2013

2012
Toward Comprehension of Side Effects in Framework Applications as Feature Interactions.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Security Sensitive Data Flow Coverage Criterion for Automatic Security Testing of Web Applications.
Proceedings of the Engineering Secure Software and Systems - Third International Symposium, 2011

2010
Coverage Criteria for Automatic Security Testing of Web Applications.
Proceedings of the Information Systems Security - 6th International Conference, 2010

Optimizing dynamic dispatch with fine-grained state tracking.
Proceedings of the 6th Symposium on Dynamic Languages, 2010

2009
A Conceptual Model for Comprehension of Object-oriented Interactive Systems.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Feature Interactions in Object-Oriented Effect Systems from a Viewpoint of Program Comprehension - ((W) work-in-progress paper).
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

Idea: Automatic Security Testing for Web Applications.
Proceedings of the Engineering Secure Software and Systems, 2009

2007
Efficient Model Checking of Applications with Input/Output.
Proceedings of the Computer Aided Systems Theory, 2007

2005
A New Static Depiction and Input Technique for 2D Animation.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

An interactive braille-recognition system for the visually impaired based on a portable camera.
Proceedings of the Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, 2005

The migratory cursor: accurate speech-based cursor movement by moving multiple ghost cursors using non-verbal vocalizations.
Proceedings of the ACM SIGACCESS Conference on Computers and Accessibility, 2005

2004
Effect Lines for Specifying Animation Effects.
Proceedings of the 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 2004

SilF: a sketching tool for cartoon-like pseudo-3D illustrations based on 3D outlines.
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2004

Sketch interface for 3D modeling of flowers.
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2004

An Interface for Input the Object Region Using the Hand Chroma Key.
Proceedings of the Computer Human Interaction, 6th Asia Pacific Conference, 2004

2003
Secure Software Infrastructure in the Internet Age.
New Gener. Comput., 2003

2002
Static Visualization of Dynamic Data Flow Visual Program Execution.
Proceedings of the International Conference on Information Visualisation, 2002

AnZenMail: A Secure and Certified E-mail System.
Proceedings of the Software Security -- Theories and Systems, 2002

Scalable and Comprehensible Visualization for Discovery of Knowledge from the Internet.
Proceedings of the Progress in Discovery Science, 2002

2000
Smart Browsing among Multiple Aspects of Data-Flow Visual Program Execution, Using Visual Patterns and Multi-Focus Fisheye Views.
J. Vis. Lang. Comput., 2000

HishiMochi: a zooming browser for hierarchically clustered documents.
Proceedings of the CHI '00 Extended Abstracts on Human Factors in Computing Systems, 2000

Automatic animation of discussions in USENET.
Proceedings of the working conference on Advanced visual interfaces, 2000

1999
Hyper Mochi Sheet: A Predictive Focusing Interface for Navigating and Editing Nested Networks Through a Multi-Focus Distortion-Oriented View.
Proceedings of the Proceeding of the CHI '99 Conference on Human Factors in Computing Systems: The CHI is the Limit, 1999

1998
Compiler-Generated Protection Domains and a Light Weight Runtime Protection Technique.
Proceedings of the Worldwide Computing and Its Applications, International Conference, 1998

Visual Patterns + Multi-Focus Fisheye View: An Automatic Scalable Visualization Technique of Data-Flow Visual Program Execution.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

Visualizing Semantic Clusters in the Internet Information Space.
Proceedings of the Discovery Science, 1998

1997
Supporting Design Patterns in a Visual Parallel Data-flow Programming Environment.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

1994
Comprehensive operating system for highly parallel machine.
Proceedings of the International Symposium on Parallel Architectures, 1994

1991
Semantic Layers of Object-Based Concurrent Computing.
Proceedings of the Object-Based Concurrent Computing, 1991

1989
Optimistic and Pessimistic Synchronization in Distributed Computing.
Proceedings of the Parallel Lisp: Languages and Systems, 1989

Reuse of Concurrent Object Descriptions.
Proceedings of the Concurrency: Theory, 1989

1988
Transformation of concurrent object systems.
Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

How To Invent Distributed Implementation Schemes of an Object-Based Concurrent Language: A Transformational Approach.
Proceedings of the Conference on Object-Oriented Programming Systems, 1988

1986
Object-Oriented Concurrent Programming in ABCL/1.
Proceedings of the Conference on Object-Oriented Programming Systems, 1986

1985
PRESET - A Debugging Environment for Prolog.
Proceedings of the Logic Programming '85, 1985

1984
A Fast Parallel Merging Algorithm for 2-3 trees.
Proceedings of the RIMS Symposia on Software Science and Engineering II, 1984

1983
Proof System.
Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

Verification System.
Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

KWIC Example.
Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983


  Loading...