Shinji Kikuchi

61 papers A* 2A 3B 3C 7Misc 2Journal 10Unranked 29

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