Shinji Kikuchi
According to our database1,
Shinji Kikuchi
authored at least 53 papers
between 2000 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
2022
NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History.
Proceedings of the IEEE International Conference on Software Analysis, 2022
2021
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021
2020
Experience Report: How Effective is Automated Program Repair for Industrial Software?
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020
Towards Building Robust DNN Applications: An Industrial Case Study of Evolutionary Data Augmentation.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
Phoenix: a tool for automated data-driven synthesis of repairs for static analysis violations.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020
2018
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
Proceedings of the 3rd Cloudification of the Internet of Things, 2018
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.
Int. J. Comput. Sci. Eng., 2016
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016
2015
Structural analysis of issues in exchanging qualified master data under cloud computing.
Int. J. Comput. Sci. Eng., 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
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
IEICE Trans. Inf. Syst., 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
Proceedings of the Databases in Networked Information Systems - 8th International Workshop, 2013
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
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 Trans. Inf. Syst., 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
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
Proceedings of the 14th Asia-Pacific Network Operations and Management Symposium, 2012
Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012
2011
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
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010
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
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010
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
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
Proceedings of the 9th IEEE International Conference on E-Commerce Technology (CEC 2007) / 4th IEEE International Conference on Enterprise Computing, 2007
Proceedings of the Fourth International Conference on Autonomic Computing (ICAC'07), 2007
2006
Proceedings of the 25th IEEE International Performance Computing and Communications Conference, 2006
2005
2000
Proceedings of the 2000 IEEE International Conference on Communications: Global Convergence Through Communications, 2000