![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Shinji Kikuchi
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [i4]Quoc-Hoan Tran, Shinji Kikuchi, Hirotaka Oshima:
Variational Denoising for Variational Quantum Eigensolver. CoRR abs/2304.00549 (2023) - 2022
- [c46]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: 1111-1121 - [i3]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 abs/2203.00191 (2022) - 2021
- [c45]Kunihiro Noda, Haruki Yokoyama, Shinji Kikuchi:
Sirius: Static Program Repair with Dependence Graph-Based Systematic Edit Patterns. ICSME 2021: 437-447 - [c44]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: 1227-1231 - [i2]Kunihiro Noda, Haruki Yokoyama, Shinji Kikuchi:
Sirius: Static Program Repair with Dependence Graph-Based Systematic Edit Patterns. CoRR abs/2107.04234 (2021) - [i1]Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad:
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions. CoRR abs/2108.09991 (2021) - 2020
- [c43]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: 53-56 - [c42]Haruki Yokoyama, Satoshi Onoue, Shinji Kikuchi:
Towards Building Robust DNN Applications: An Industrial Case Study of Evolutionary Data Augmentation. ASE 2020: 1184-1188 - [c41]Kunihiro Noda, Yusuke Nemoto, Keisuke Hotta, Hideo Tanida, Shinji Kikuchi:
Experience Report: How Effective is Automated Program Repair for Industrial Software? SANER 2020: 612-616
2010 – 2019
- 2018
- [j6]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 3-4: 69-81 (2018) - [c40]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: 1-6 - [c39]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: 1-2 - [c38]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: 504-507 - 2016
- [j5]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): 192-208 (2016) - [c37]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: 1-8 - 2015
- [j4]Shinji Kikuchi:
Structural analysis of issues in exchanging qualified master data under cloud computing. Int. J. Comput. Sci. Eng. 11(3): 297-311 (2015) - [c36]Shinya Kitajima, Shinji Kikuchi, Yasuhide Matsumoto:
Operation Changes Recommendation Method Using Histories of Operation Changes in Cloud Computing Environment. CloudCom 2015: 322-330 - [c35]Shinji Kikuchi:
Prediction of Workloads in Incident Management Based on Incident Ticket Updating History. UCC 2015: 333-340 - [e5]Wanming Chu, Shinji Kikuchi, Subhash Bhalla
:
Databases in Networked Information Systems - 10th International Workshop, DNIS 2015, Aizu-Wakamatsu, Japan, March 23-25, 2015. Proceedings. Lecture Notes in Computer Science 8999, Springer 2015, ISBN 978-3-319-16312-3 [contents] - 2014
- [c34]Shinya Kitajima, Shinji Kikuchi, Yasuhide Matsumoto:
Identification of Related Management Scripts for Efficient Automation of Cloud Management Tasks. CloudCom 2014: 747-750 - [c33]Shinji Kikuchi:
An Inductive and Semantic Model of Constraints for Master Data Management under Cloud Computing. DNIS 2014: 17-39 - [c32]Shinji Kikuchi, Subhash Bhalla
:
Data model for reputational analysis for combined medias, social networks and IPTV. GCCE 2014: 51-52 - [c31]Shinji Kikuchi, Kunihiko Hiraishi:
Improving reliability in management of cloud computing infrastructure by formal methods. NOMS 2014: 1-7 - [c30]Shinji Kikuchi:
Performance Estimation for Business Workflows on Public Cloud Offerings Using Probabilistic Model Checker. UCC 2014: 317-326 - [e4]Aastha Madaan, Shinji Kikuchi, Subhash Bhalla
:
Databases in Networked Information Systems - 9th International Workshop, DNIS 2014, Aizu-Wakamatsu, Japan, March 24-26, 2014. Proceedings. Lecture Notes in Computer Science 8381, Springer 2014, ISBN 978-3-319-05692-0 [contents] - 2013
- [j3]Shinji Kikuchi, Satoshi Tsuchiya, Kunihiko Hiraishi:
Synthesis of Configuration Change Procedure Using Model Finder. IEICE Trans. Inf. Syst. 96-D(8): 1696-1706 (2013) - [j2]Shinji Kikuchi, Yasuhide Matsumoto:
Using Model Checking to Evaluate Live Migrations. IT Prof. 15(2): 36-41 (2013) - [c29]Shinji Kikuchi, Tetsuya Uchiumi, Shinya Kitajima, Yasuhide Matsumoto:
Configuration Policy Extraction for Parameter Settings in Cloud Infrastructure Using UML/OCL Verification. IEEE CLOUD 2013: 67-74 - [c28]Kenneth Johnson
, Radu Calinescu
, Shinji Kikuchi:
An incremental verification framework for component-based software systems. CBSE 2013: 33-42 - [c27]Tetsuya Uchiumi, Shinya Kitajima, Shinji Kikuchi, Yasuhide Matsumoto:
Automatic Parameter Configuration for Cloud Infrastructures by Design Pattern Extraction. CloudCom (1) 2013: 224-231 - [c26]Shinya Kitajima, Tetsuya Uchiumi, Shinji Kikuchi, Yasuhide Matsumoto:
Automatic server role identification for cloud infrastructure construction. CloudNet 2013: 147-155 - [c25]Shinji Kikuchi:
Architectural Design of a Compensation Mechanism for Long Lived Transactions. DNIS 2013: 49-66 - [c24]Shinji Kikuchi, Toshiaki Aoki
:
Evaluation of Operational Vulnerability in Cloud Service Management Using Model Checking. SOSE 2013: 37-48 - [e3]Aastha Madaan, Shinji Kikuchi, Subhash Bhalla:
Databases in Networked Information Systems - 8th International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 25-27, 2013. Proceedings. Lecture Notes in Computer Science 7813, Springer 2013, ISBN 978-3-642-37133-2 [contents] - 2012
- [j1]Shinji Kikuchi, Yoshihiro Kanna, Yohsuke Isozaki:
Theoretical Considerations for Maintaining the Performance of Composite Web Services. IEICE Trans. Inf. Syst. 95-D(11): 2634-2650 (2012) - [c23]Shinji Kikuchi, Yasuhide Matsumoto:
Impact of Live Migration on Multi-tier Application Performance in Clouds. IEEE CLOUD 2012: 261-268 - [c22]Tetsuya Uchiumi, Shinji Kikuchi, Yasuhide Matsumoto:
Misconfiguration detection for cloud datacenters using decision tree analysis. APNOMS 2012: 1-4 - [c21]Yukihiro Watanabe, Hiroshi Otsuka, Masataka Sonoda, Shinji Kikuchi, Yasuhide Matsumoto:
Online failure prediction in cloud datacenters by real-time message pattern learning. CloudCom 2012: 504-511 - [c20]Shinji Kikuchi, Shelly Sachdeva
, Subhash Bhalla
:
Applying cloud computing model in PHR architecture. HCCE 2012: 236-237 - [c19]Radu Calinescu
, Shinji Kikuchi, Kenneth Johnson
:
Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems. Monterey Workshop 2012: 303-329 - 2011
- [c18]Shinji Kikuchi, Yasuhide Matsumoto:
Performance Modeling of Concurrent Live Migration Operations in Cloud Computing Systems Using PRISM Probabilistic Model Checker. IEEE CLOUD 2011: 49-56 - [c17]Shinji Kikuchi:
Identification of Potential Requirements of Master Data Management under Cloud Computing. DNIS 2011: 26-40 - [c16]Shinji Kikuchi, Yasuhide Matsumoto:
What will happen if cloud management operations burst out? Integrated Network Management 2011: 97-104 - [e2]Shinji Kikuchi, Aastha Madaan, Shelly Sachdeva
, Subhash Bhalla:
Databases in Networked Information Systems - 7th International Workshop, DNIS 2011, Aizu-Wakamatsu, Japan, December 12-14, 2011. Proceedings. Lecture Notes in Computer Science 7108, Springer 2011, ISBN 978-3-642-25730-8 [contents] - 2010
- [c15]Shinji Kikuchi:
On Realizing Quick Compensation Transactions in Cloud Computing. DNIS 2010: 46-64 - [c14]Shinji Kikuchi, Satoshi Tsuchiya:
Configuration Procedure Synthesis for Complex Systems Using Model Finder. ICECCS 2010: 95-104 - [c13]Shinji Kikuchi, Yasuhide Matsumoto, Motomitsu Adachi, Shingo Moritomo:
Process Mining for Job Nets in Integrated Complex Computer Systems. ICEIS (3) 2010: 5-12 - [c12]Shinji Kikuchi, Yasuhide Matsumoto, Motomitsu Adachi, Shingo Moritomo:
Process Mining for Job Nets in Integrated Enterprise Systems. ICEIS 2010: 299-310 - [c11]Radu Calinescu, Shinji Kikuchi:
Formal Methods @ Runtime. Monterey Workshop 2010: 122-135 - [c10]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: 365-372 - [e1]Shinji Kikuchi, Shelly Sachdeva
, Subhash Bhalla:
Databases in Networked Information Systems, 6th International Workshop, DNIS 2010, Aizu-Wakamatsu, Japan, March 29-31, 2010. Proceedings. Lecture Notes in Computer Science 5999, Springer 2010, ISBN 978-3-642-12037-4 [contents]
2000 – 2009
- 2009
- [c9]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: 481-485 - 2008
- [c8]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: 51-60 - [c7]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: 76-86 - [c6]Yohsuke Isozaki, Yoshihiro Kanna, Koki Kato, Tsuyoshi Kanai, Daisuke Miyamoto, Shinji Kikuchi:
Monitoring Cross-Site Processes Executed across Heterogeneous WS-BPEL Processors. EDOCW 2008: 389-392 - 2007
- [c5]Shinji Kikuchi, Satoshi Tsuchiya, Motomitsu Adachi, Tsuneo Katsuyama:
Policy Verification and Validation Framework Based on Model Checking Approach. ICAC 2007: 1 - [c4]Shinji Kikuchi, Hisashi Shimamura, Yoshihiro Kanna:
Monitoring Method of Cross-Sites' Processes Executed by Multiple WS-BPEL Processors. CEC/EEE 2007: 55-64 - 2006
- [c3]Shinji Kikuchi, Ken Yokoyama, Akira Takeyama:
Performance problem analysis method for Web systems using multiple decision trees. IPCCC 2006 - 2005
- [c2]Shinji Kikuchi, Ken Yokoyama, Akira Takeyama:
Delay Estimation Method for N-tier Architecture. ICN (1) 2005: 544-553 - 2000
- [c1]Motomitsu Adachi, Shinji Kikuchi, Tsuneo Katsuyama:
NEPRI: Available Bandwidth Measurement in IP Networks. ICC (1) 2000: 511-515
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint