Shinji Kikuchi

According to our database1, Shinji Kikuchi authored at least 46 papers between 2000 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Design and implementation of a platform for hyperconnected cyber physical systems.
Internet Things, 2018

Scripting Over-The-Air: Towards Containers on Low-end Devices in the Internet of Things.
Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018

Orchestration of IoT Device and Business Workflow Engine on Cloud.
Proceedings of the 3rd Cloudification of the Internet of Things, 2018

Reprogramming Low-end IoT Devices from the Cloud.
Proceedings of the 3rd Cloudification of the Internet of Things, 2018

2016
Evolution of distributed monitoring for scalable business process management in cloud-based databases.
IJCSE, 2016

Quality estimation for Japanese Haiku poems using Neural Network.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

2015
Structural analysis of issues in exchanging qualified master data under cloud computing.
IJCSE, 2015

Prediction of Workloads in Incident Management Based on Incident Ticket Updating History.
Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015

Operation Changes Recommendation Method Using Histories of Operation Changes in Cloud Computing Environment.
Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science, 2015

2014
Performance Estimation for Business Workflows on Public Cloud Offerings Using Probabilistic Model Checker.
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Improving reliability in management of cloud computing infrastructure by formal methods.
Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014

Data model for reputational analysis for combined medias, social networks and IPTV.
Proceedings of the IEEE 3rd Global Conference on Consumer Electronics, 2014

An Inductive and Semantic Model of Constraints for Master Data Management under Cloud Computing.
Proceedings of the Databases in Networked Information Systems - 9th International Workshop, 2014

Identification of Related Management Scripts for Efficient Automation of Cloud Management Tasks.
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

2013
Using Model Checking to Evaluate Live Migrations.
IT Professional, 2013

Synthesis of Configuration Change Procedure Using Model Finder.
IEICE Transactions, 2013

Evaluation of Operational Vulnerability in Cloud Service Management Using Model Checking.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

Architectural Design of a Compensation Mechanism for Long Lived Transactions.
Proceedings of the Databases in Networked Information Systems - 8th International Workshop, 2013

Automatic server role identification for cloud infrastructure construction.
Proceedings of the IEEE 2nd International Conference on Cloud Networking, 2013

Automatic Parameter Configuration for Cloud Infrastructures by Design Pattern Extraction.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

An incremental verification framework for component-based software systems.
Proceedings of the CBSE'13, 2013

Configuration Policy Extraction for Parameter Settings in Cloud Infrastructure Using UML/OCL Verification.
Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013

2012
Theoretical Considerations for Maintaining the Performance of Composite Web Services.
IEICE Transactions, 2012

Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Applying cloud computing model in PHR architecture.
Proceedings of the Joint International Conference on Human-Centered Computer Environments, 2012

Online failure prediction in cloud datacenters by real-time message pattern learning.
Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012

Misconfiguration detection for cloud datacenters using decision tree analysis.
Proceedings of the 14th Asia-Pacific Network Operations and Management Symposium, 2012

Impact of Live Migration on Multi-tier Application Performance in Clouds.
Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

2011
What will happen if cloud management operations burst out?
Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management, 2011

Identification of Potential Requirements of Master Data Management under Cloud Computing.
Proceedings of the Databases in Networked Information Systems - 7th International Workshop, 2011

Performance Modeling of Concurrent Live Migration Operations in Cloud Computing Systems Using PRISM Probabilistic Model Checker.
Proceedings of the IEEE International Conference on Cloud Computing, 2011

2010
Multilayer failure detection method for network services based on distributed components.
Proceedings of the IEEE/IFIP Network Operations and Management Symposium, 2010

Formal Methods @ Runtime.
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

Process Mining for Job Nets in Integrated Enterprise Systems.
Proceedings of the Enterprise Information Systems - 12th International Conference, 2010

Process Mining for Job Nets in Integrated Complex Computer Systems.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010

Configuration Procedure Synthesis for Complex Systems Using Model Finder.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

On Realizing Quick Compensation Transactions in Cloud Computing.
Proceedings of the Databases in Networked Information Systems, 6th International Workshop, 2010

2009
Dynamic Reconstruction of Multiple Overlay Network for Next Generation Network Services with Distributed Components.
Proceedings of the Management Enabling the Future Internet for Changing Business and New Computing Services, 2009

2008
A Proposal of the New Architectural and Mathematical Control Model for Maintaining SLA of Composite Web Services.
Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

Monitoring Cross-Site Processes Executed across Heterogeneous WS-BPEL Processors.
Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

An Efficient Failure Recovery Scheme for Next Generation Network Services Based on Distributed Components.
Proceedings of the Challenges for Next Generation Network Operations and Service Management, 2008

2007
Monitoring Method of Cross-Sites' Processes Executed by Multiple WS-BPEL Processors.
Proceedings of the 9th IEEE International Conference on E-Commerce Technology (CEC 2007) / 4th IEEE International Conference on Enterprise Computing, 2007

Policy Verification and Validation Framework Based on Model Checking Approach.
Proceedings of the Fourth International Conference on Autonomic Computing (ICAC'07), 2007

2006
Performance problem analysis method for Web systems using multiple decision trees.
Proceedings of the 25th IEEE International Performance Computing and Communications Conference, 2006

2005
Delay Estimation Method for N-tier Architecture.
Proceedings of the Networking, 2005

2000
NEPRI: Available Bandwidth Measurement in IP Networks.
Proceedings of the 2000 IEEE International Conference on Communications: Global Convergence Through Communications, 2000


  Loading...