Shinji Kikuchi

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 16

Top Topics

Cloud Computing

Business Process

Structural Analysis

Top Venues

Int. J. Comput. Sci. Eng.

Publications

Quoc-Hoan Tran, Shinji Kikuchi, Hirotaka Oshima
Variational Denoising for Variational Quantum Eigensolver. CoRR (2023)
Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata, Shinji Kikuchi
NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History. CoRR (2022)
Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata, Shinji Kikuchi
NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History. SANER (2022)
Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions. ASE (2021)
Kunihiro Noda, Haruki Yokoyama, Shinji Kikuchi
Sirius: Static Program Repair with Dependence Graph-Based Systematic Edit Patterns. ICSME (2021)
Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions. CoRR (2021)
Kunihiro Noda, Haruki Yokoyama, Shinji Kikuchi
Sirius: Static Program Repair with Dependence Graph-Based Systematic Edit Patterns. CoRR (2021)
Haruki Yokoyama, Satoshi Onoue, Shinji Kikuchi
Towards Building Robust DNN Applications: An Industrial Case Study of Evolutionary Data Augmentation. ASE (2020)
Kunihiro Noda, Yusuke Nemoto, Keisuke Hotta, Hideo Tanida, Shinji Kikuchi
Experience Report: How Effective is Automated Program Repair for Industrial Software? SANER (2020)
Hiroaki Yoshida, Rohan Bavishi, Keisuke Hotta, Yusuke Nemoto, Mukul R. Prasad, Shinji Kikuchi
Phoenix: a tool for automated data-driven synthesis of repairs for static analysis violations. ICSE (Companion Volume) (2020)
Shinji Kikuchi, Ian Thomas, Ons Jallouli, Jörg Dörr, Andreas Morgenstern, Emmanuel Baccelli, Kaspar Schleiser
Orchestration of IoT Device and Business Workflow Engine on Cloud. CIoT (2018)
Emmanuel Baccelli, Jörg Dörr, Ons Jallouli, Shinji Kikuchi, Andreas Morgenstern, Francisco Acosta Padilla, Kaspar Schleiser, Ian Thomas
Reprogramming Low-end IoT Devices from the Cloud. CIoT (2018)
Emmanuel Baccelli, Jörg Dörr, Shinji Kikuchi, Francisco Acosta Padilla, Kaspar Schleiser, Ian Thomas
Scripting Over-The-Air: Towards Containers on Low-end Devices in the Internet of Things. PerCom Workshops (2018)
Ian Thomas, Shinji Kikuchi, Emmanuel Baccelli, Kaspar Schleiser, Jörg Dörr, Andreas Morgenstern
Design and implementation of a platform for hyperconnected cyber physical systems. Internet Things (2018)
Shinji Kikuchi, Keizo Kato, Junya Saito, Seiji Okura, Kentaro Murase, Takaya Yamamoto, Akira Nakagawa
Quality estimation for Japanese Haiku poems using Neural Network. SSCI (2016)
Shinji Kikuchi, Subhash Bhalla
Evolution of distributed monitoring for scalable business process management in cloud-based databases. Int. J. Comput. Sci. Eng. 12 (2/3) (2016)
Shinji Kikuchi
Structural analysis of issues in exchanging qualified master data under cloud computing. Int. J. Comput. Sci. Eng. 11 (3) (2015)
Shinya Kitajima, Shinji Kikuchi, Yasuhide Matsumoto
Operation Changes Recommendation Method Using Histories of Operation Changes in Cloud Computing Environment. CloudCom (2015)
Shinji Kikuchi
Prediction of Workloads in Incident Management Based on Incident Ticket Updating History. UCC (2015)
Shinji Kikuchi
Performance Estimation for Business Workflows on Public Cloud Offerings Using Probabilistic Model Checker. UCC (2014)
Shinji Kikuchi
An Inductive and Semantic Model of Constraints for Master Data Management under Cloud Computing. DNIS (2014)
Shinji Kikuchi, Subhash Bhalla
Data model for reputational analysis for combined medias, social networks and IPTV. GCCE (2014)
Shinya Kitajima, Shinji Kikuchi, Yasuhide Matsumoto
Identification of Related Management Scripts for Efficient Automation of Cloud Management Tasks. CloudCom (2014)
Shinji Kikuchi, Kunihiko Hiraishi
Improving reliability in management of cloud computing infrastructure by formal methods. NOMS (2014)
Shinji Kikuchi, Toshiaki Aoki
Evaluation of Operational Vulnerability in Cloud Service Management Using Model Checking. SOSE (2013)
Shinji Kikuchi, Satoshi Tsuchiya, Kunihiko Hiraishi
Synthesis of Configuration Change Procedure Using Model Finder. IEICE Trans. Inf. Syst. (8) (2013)
Shinya Kitajima, Tetsuya Uchiumi, Shinji Kikuchi, Yasuhide Matsumoto
Automatic server role identification for cloud infrastructure construction. CloudNet (2013)
Kenneth Johnson, Radu Calinescu, Shinji Kikuchi
An incremental verification framework for component-based software systems. CBSE (2013)
Shinji Kikuchi, Tetsuya Uchiumi, Shinya Kitajima, Yasuhide Matsumoto
Configuration Policy Extraction for Parameter Settings in Cloud Infrastructure Using UML/OCL Verification. IEEE CLOUD (2013)
Shinji Kikuchi
Architectural Design of a Compensation Mechanism for Long Lived Transactions. DNIS (2013)
Tetsuya Uchiumi, Shinya Kitajima, Shinji Kikuchi, Yasuhide Matsumoto
Automatic Parameter Configuration for Cloud Infrastructures by Design Pattern Extraction. CloudCom (1) (2013)
Shinji Kikuchi, Yasuhide Matsumoto
Using Model Checking to Evaluate Live Migrations. IT Prof. 15 (2) (2013)
Radu Calinescu, Shinji Kikuchi, Kenneth Johnson
Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems. Monterey Workshop (2012)
Yukihiro Watanabe, Hiroshi Otsuka, Masataka Sonoda, Shinji Kikuchi, Yasuhide Matsumoto
Online failure prediction in cloud datacenters by real-time message pattern learning. CloudCom (2012)
Shinji Kikuchi, Shelly Sachdeva, Subhash Bhalla
Applying cloud computing model in PHR architecture. HCCE (2012)
Tetsuya Uchiumi, Shinji Kikuchi, Yasuhide Matsumoto
Misconfiguration detection for cloud datacenters using decision tree analysis. APNOMS (2012)
Shinji Kikuchi, Yoshihiro Kanna, Yohsuke Isozaki
Theoretical Considerations for Maintaining the Performance of Composite Web Services. IEICE Trans. Inf. Syst. (11) (2012)
Shinji Kikuchi, Yasuhide Matsumoto
Impact of Live Migration on Multi-tier Application Performance in Clouds. IEEE CLOUD (2012)
Shinji Kikuchi, Yasuhide Matsumoto
What will happen if cloud management operations burst out? Integrated Network Management (2011)
Shinji Kikuchi, Yasuhide Matsumoto
Performance Modeling of Concurrent Live Migration Operations in Cloud Computing Systems Using PRISM Probabilistic Model Checker. IEEE CLOUD (2011)
Shinji Kikuchi
Identification of Potential Requirements of Master Data Management under Cloud Computing. DNIS (2011)
Shinji Kikuchi, Yasuhide Matsumoto, Motomitsu Adachi, Shingo Moritomo
Process Mining for Job Nets in Integrated Complex Computer Systems. ICEIS (3) (2010)
Shinji Kikuchi, Satoshi Tsuchiya
Configuration Procedure Synthesis for Complex Systems Using Model Finder. ICECCS (2010)
Radu Calinescu, Shinji Kikuchi
Formal Methods @ Runtime. Monterey Workshop (2010)
Shinji Kikuchi
On Realizing Quick Compensation Transactions in Cloud Computing. DNIS (2010)
Eisuke Hirota, Kazuhiko Kinoshita, Hideki Tode, Koso Murakami, Shinji Kikuchi, Satoshi Tsuchiya, Atsuji Sekiguchi, Tsuneo Katsuyama
Multilayer failure detection method for network services based on distributed components. NOMS (2010)
Shinji Kikuchi, Yasuhide Matsumoto, Motomitsu Adachi, Shingo Moritomo
Process Mining for Job Nets in Integrated Enterprise Systems. ICEIS (2010)
Naosuke Yokoe, Wataru Miyazaki, Kazuhiko Kinoshita, Hideki Tode, Koso Murakami, Shinji Kikuchi, Satoshi Tsuchiya, Atsuji Sekiguchi, Tsuneo Katsuyama
Dynamic Reconstruction of Multiple Overlay Network for Next Generation Network Services with Distributed Components. APNOMS (2009)
Wataru Miyazaki, Kazuhiko Kinoshita, Hideki Tode, Koso Murakami, Shinji Kikuchi, Satoshi Tsuchiya, Atsuji Sekiguchi, Tsuneo Katsuyama
An Efficient Failure Recovery Scheme for Next Generation Network Services Based on Distributed Components. APNOMS (2008)
Shinji Kikuchi, Yohsuke Isozaki, Yoshihiro Kanna
A Proposal of the New Architectural and Mathematical Control Model for Maintaining SLA of Composite Web Services. EDOCW (2008)
Yohsuke Isozaki, Yoshihiro Kanna, Koki Kato, Tsuyoshi Kanai, Daisuke Miyamoto, Shinji Kikuchi
Monitoring Cross-Site Processes Executed across Heterogeneous WS-BPEL Processors. EDOCW (2008)
Shinji Kikuchi, Hisashi Shimamura, Yoshihiro Kanna
Monitoring Method of Cross-Sites' Processes Executed by Multiple WS-BPEL Processors. CEC/EEE (2007)
Shinji Kikuchi, Satoshi Tsuchiya, Motomitsu Adachi, Tsuneo Katsuyama
Policy Verification and Validation Framework Based on Model Checking Approach. ICAC (2007)
Shinji Kikuchi, Ken Yokoyama, Akira Takeyama
Performance problem analysis method for Web systems using multiple decision trees. IPCCC (2006)
Shinji Kikuchi, Ken Yokoyama, Akira Takeyama
Delay Estimation Method for N-tier Architecture. ICN (1) (2005)
Motomitsu Adachi, Shinji Kikuchi, Tsuneo Katsuyama
NEPRI: Available Bandwidth Measurement in IP Networks. ICC (1) (2000)