Soichiro Hidaka

According to our database1, Soichiro Hidaka authored at least 37 papers between 1998 and 2023.

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

2023
A Practical Model Driven Approach for Designing Security Aware RESTful Web APIs Using SOFL.
IEICE Trans. Inf. Syst., May, 2023

2020
A Formal Approach to Secure Design of RESTful Web APIs Using SOFL.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

Trace-baed Error Prevention and Detection of Consistency Maintenance via Bidirectional Graph Transformations.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019
Proceedings of the Third Workshop on Software Foundations for Data Interoperability (SFDI2019+), October 28, 2019, Fukuoka, Japan.
CoRR, 2019

Design and Engineering of Adaptive Software Systems.
Proceedings of the Engineering Adaptive Software Systems, 2019

2018
Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -.
CoRR, 2018

A View-based Programmable Architecture for Controlling and Integrating Decentralized Data.
CoRR, 2018

2017
On Additivity in Transformation Languages.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016
Feature-based classification of bidirectional transformation approaches.
Softw. Syst. Model., 2016

2015
Context-preserving XQuery fusion.
Math. Struct. Comput. Sci., 2015

Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations.
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015

2014
Towards Bidirectional Higher-Order Transformation for Model-Driven Co-evolution.
Proceedings of the Model-Driven Engineering and Software Development, 2014

Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Preface to the Third International Workshop on Bidirectional Transformations.
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013
Optimization for iterative queries on MapReduce.
Proc. VLDB Endow., 2013

A Bidirectional Collaboration Framework for Bio-Model Development.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

A parameterized graph transformation calculus for finite graphs with monadic branches.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

Structural recursion for querying ordered graphs.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012
Maintaining invariant traceability through bidirectional transformations.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
Graph-transformation verification using monadic second-order logic.
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Marker-Directed Optimization of UnCAL Graph Transformations.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Toward Bidirectionalization of ATL with GRoundTram.
Proceedings of the Theory and Practice of Model Transformations, 2011

2010
Bidirectionalizing graph transformations.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009
Towards a compositional approach to model transformation for software development.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A compositional approach to bidirectional model transformation.
Proceedings of the 31st International Conference on Software Engineering, 2009

2007
Design and Implementation of Remote Device Access Facility to Support Device Migration.
IEICE Trans. Inf. Syst., 2007

SOOM: Scalable Object-Oriented Middleware for Cooperative and Pervasive Computings.
IEICE Trans. Commun., 2007

A relative cost model for XQuery.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2006
Cluster Replication for Distributed-Java-Object Caching.
IEICE Trans. Inf. Syst., 2006

2005
Contemporaneity-Conscious Clustering Algorithm for Distributed Object Caching.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2005

Accessing Remote Devices Using Conventional Interfaces in Mobile Computing Environment.
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

2002
Implementation and performance evaluation of a FIFO queue class library for time warp.
Syst. Comput. Jpn., 2002

Extensible distributed operating system for reliable control systems.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

1999
Overview of IR tasks.
Proceedings of the First NTCIR Workshop on Research in Japanese Text Retrieval and Term Recognition, 1999

Querying Structured Documents Based on Human Visual Memory.
Proceedings of the 1999 International Symposium on Database Applications in Non-Traditional Environments (DANTE '99), 1999

1998
A FIFO Queue Class Library as a State Variable of Time Warp Logical Processes.
Proceedings of the Computing in Object-Oriented Parallel Environments, 1998


  Loading...