Shinji Kikuchi

Shinji Kikuchi, Yasuhide Matsumoto: Using Model Checking to Evaluate Live Migrations. IT Professional 15(2): 36-41 (2013)

Shinji Kikuchi: Architectural Design of a Compensation Mechanism for Long Lived Transactions. DNIS 2013: 49-66

Aastha Madaan, Shinji Kikuchi, Subhash Bhalla (Eds.): 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

Shinji Kikuchi, Yoshihiro Kanna, Yohsuke Isozaki: Theoretical Considerations for Maintaining the Performance of Composite Web Services. IEICE Transactions 95-D(11): 2634-2650 (2012)

Shinji Kikuchi, Yasuhide Matsumoto: Impact of Live Migration on Multi-tier Application Performance in Clouds. IEEE CLOUD 2012: 261-268

Tetsuya Uchiumi, Shinji Kikuchi, Yasuhide Matsumoto: Misconfiguration detection for cloud datacenters using decision tree analysis. APNOMS 2012: 1-4

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

Shinji Kikuchi, Shelly Sachdeva, Subhash Bhalla: Applying cloud computing model in PHR architecture. HCCE 2012: 236-237

Radu Calinescu, Shinji Kikuchi, Kenneth Johnson: Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems. Monterey Workshop 2012: 303-329

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

Shinji Kikuchi: Identification of Potential Requirements of Master Data Management under Cloud Computing. DNIS 2011: 26-40

Shinji Kikuchi, Yasuhide Matsumoto: What will happen if cloud management operations burst out? Integrated Network Management 2011: 97-104

Shinji Kikuchi, Aastha Madaan, Shelly Sachdeva, Subhash Bhalla (Eds.): 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

Shinji Kikuchi: On Realizing Quick Compensation Transactions in Cloud Computing. DNIS 2010: 46-64

Shinji Kikuchi, Satoshi Tsuchiya: Configuration Procedure Synthesis for Complex Systems Using Model Finder. ICECCS 2010: 95-104

Shinji Kikuchi, Yasuhide Matsumoto, Motomitsu Adachi, Shingo Moritomo: Process Mining for Job Nets in Integrated Complex Computer Systems. ICEIS (3) 2010: 5-12

Shinji Kikuchi, Yasuhide Matsumoto, Motomitsu Adachi, Shingo Moritomo: Process Mining for Job Nets in Integrated Enterprise Systems. ICEIS 2010: 299-310

Radu Calinescu, Shinji Kikuchi: Formal Methods @ Runtime. Monterey Workshop 2010: 122-135

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

Shinji Kikuchi, Shelly Sachdeva, Subhash Bhalla (Eds.): 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

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

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

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

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

Shinji Kikuchi, Satoshi Tsuchiya, Motomitsu Adachi, Tsuneo Katsuyama: Policy Verification and Validation Framework Based on Model Checking Approach. ICAC 2007: 1

Shinji Kikuchi, Hisashi Shimamura, Yoshihiro Kanna: Monitoring Method of Cross-Sites' Processes Executed by Multiple WS-BPEL Processors. CEC/EEE 2007: 55-64

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: 544-553

Motomitsu Adachi, Shinji Kikuchi, Tsuneo Katsuyama: NEPRI: Available Bandwidth Measurement in IP Networks. ICC (1) 2000: 511-515