Shinichi Honiden

ORCID

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 37

Top Venues

SEAMS@ICSE

APSEC

IEEE Trans. Serv. Comput.

IEICE Trans. Inf. Syst.

Publications

Kazutaka Matsuzaki, Shinichi Honiden
Enhancing ICS Security Diagnostics with Pseudo-Greybox Fuzzing During Maintenance Testing. ICSOFT (2023)
Hiroyuki Nakagawa, Shinichi Honiden
MAPE-K Loop-Based Goal Model Generation Using Generative AI. REW (2023)
Kazutaka Matsuzaki, Kenji Sawada, Shinichi Honiden
Remote Security Assessment for Cyber-Physical Systems: Adapting Design Patterns for Enhanced Diagnosis. SECRYPT (2023)
Jialong Li, Mingyue Zhang, Zhenyu Mao, Haiyan Zhao, Zhi Jin, Shinichi Honiden, Kenji Tei
Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation. APSEC (2022)
Jiali Ling, Jialong Li, Kenji Tei, Shinichi Honiden
Towards Personalized Autonomous Driving: An Emotion Preference Style Adaptation Framework. ICA (2021)
Zhenyu Mao, Jialong Li, Nianzhao Zheng, Kenji Tei, Shinichi Honiden
Transfer Learning Method in Reinforcement Learning-based Traffic Signal Control. GCCE (2021)
Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden
Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence. LifeTech (2021)
Mingyue Zhang, Jialong Li, Haiyan Zhao, Kenji Tei, Shinichi Honiden, Zhi Jin
A Meta Reinforcement Learning-based Approach for Self-Adaptive System. ACSOS (2021)
Mingyue Zhang, Jialong Li, Haiyan Zhao, Kenji Tei, Shinichi Honiden, Zhi Jin
A Meta Reinforcement Learning-based Approach for Self-Adaptive System. CoRR (2021)
Yichen Ding, Jialong Li, Kenji Tei, Shinichi Honiden
Blockchain-Based Cooperative Incentive System for Emergency Road Right Transferring. GCCE (2021)
Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden
A robust and flexible operating system compatibility architecture. VEE (2020)
Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault. EUC (2020)
Jialong Li, Kenji Tei, Shinichi Honiden
Identifying Achievable Goals for Adaptive Replanning Against Runtime Environment Change. ISDA (2020)
Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis. AIKE (2020)
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
Dynamic Update of Discrete Event Controllers. IEEE Trans. Software Eng. 46 (11) (2020)
Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira
Smart SE: Smart Systems and Services Innovative Professional Education Program. COMPSAC (2020)
Takuto Yamauchi, Kenji Tei, Shinichi Honiden
Method for Low-Cost Environment Partitioning Modeling in Dynamic Update. AIKE (2020)
Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
Change Impact Analysis for Refinement-Based Formal Specification. IEICE Trans. Inf. Syst. (8) (2019)
Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE (2019)
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
Consistency-preserving refactoring of refinement structures in Event-B models. Formal Aspects Comput. 31 (3) (2019)
Kazuya Aizawa, Kenji Tei, Shinichi Honiden
Analysis Space Reduction with State Merging for Ensuring Safety Properties of Self-Adaptive Systems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2019)
Koki Kato, Fuyuki Ishikawa, Shinichi Honiden
Falsification of Cyber-Physical Systems with Reinforcement Learning. MT@CPSWeek (2018)
Kazuya Aizawa, Kenji Tei, Shinichi Honiden
Identifying safety properties guaranteed in changed environment at runtime. ICA (2018)
Keita Tsukamoto, Yuta Maezawa, Shinichi Honiden
AutoPUT: an automated technique for retrofitting closed unit tests into parameterized unit tests. SAC (2018)
Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden
Construction of Abstract State Graphs for Understanding Event-B Models. SETTA (2017)
Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden
Bash on Ubuntu on macOS. APSys (2017)
Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
Extracting Traceability between Predicates in Event-B Refinement. APSEC (2017)
Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects. SEAMS@ICSE (2017)
Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
Learning environment model at runtime for self-adaptive systems. SAC (2017)
Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden
Test Suite Reduction in Idempotence Testing of Infrastructure as Code. TAP@STAF (2017)
Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden
Fast Live Migration for IO-Intensive VMs with Parallel and Adaptive Transfer of Page Cache via SAN. IEICE Trans. Inf. Syst. (12) (2016)
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
Refactoring Refinement Structure of Event-B Machines. FM (2016)
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
Robust Service Compositions with Functional and Location Diversity. IEEE Trans. Serv. Comput. 9 (2) (2016)
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
Stepwise Refinement of Software Development Problem Analysis. ER (2016)
Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden
Automatic Generation of Potentially Pathological Instances for Validating Alloy Models. ICFEM (2016)
Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden
MuVM: Higher Order Mutation Analysis Virtual Machine for C. ICST (2016)
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
Assured and correct dynamic update of controllers. SEAMS@ICSE (2016)
Fernando Tarin Morales, Fuyuki Ishikawa, Shinichi Honiden
Abstract rewriting Approach to solve Datalog programs. DBPL (2015)
Soo Ling Lim, Peter J. Bentley, Natalie Kanakam, Fuyuki Ishikawa, Shinichi Honiden
Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering. IEEE Trans. Software Eng. 41 (1) (2015)
Miki Yagita, Fuyuki Ishikawa, Shinichi Honiden
An Application Conflict Detection and Resolution System for Smart Homes. SEsCPS@ICSE (2015)
Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
Feedback-controlled random test generation. ISSTA (2015)
Kenji Tei, Ryo Shimizu, Yoshiaki Fukazawa, Shinichi Honiden
Model-Driven-Development-Based Stepwise Software Development Process for Wireless Sensor Networks. IEEE Trans. Syst. Man Cybern. Syst. 45 (4) (2015)
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
Understanding and Planning Event-B Refinement through Primitive Rationales. ABZ (2014)
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
Toward a portability framework with multi-level models for wireless sensor network software. SMARTCOMP (2014)
Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
ArbitCheck: A Highly Automated Property-Based Testing Tool for Java. ICST Workshops (2014)
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
SanGA: A Self-Adaptive Network-Aware Approach to Service Composition. IEEE Trans. Serv. Comput. 7 (3) (2014)
Mari Inoki, Takayuki Kitagawa, Shinichi Honiden
Application of requirements prioritization decision rules in software product line evolution. RePriCo (2014)
Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden
Fast Live Migration with Small IO Performance Penalty by Exploiting SAN in Parallel. IEEE CLOUD (2014)
Shengbo Xu, Yuki Inoue, Tetsunari Inamura, Hirotaka Moriguchi, Shinichi Honiden
Sample efficiency improvement on neuroevolution via estimation-based elimination strategy. AAMAS (2014)
Yuta Maezawa, Kazuki Nishiura, Hironori Washizaki, Shinichi Honiden
Validating ajax applications using a delay-based mutation technique. ASE (2014)
Takayuki Suzuki, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
An approach for evaluating and suggesting method names using n-gram models. ICPC (2014)
Soramichi Akiyama, Takahiro Hirofuchi, Shinichi Honiden
Evaluating Impact of Live Migration on Data Center Energy Saving. CloudCom (2014)
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
A Scalable Distributed Architecture for Network- and QoS-aware Service Composition CoRR (2013)
Shengbo Xu, Hirotaka Moriguchi, Shinichi Honiden
Sample efficiency analysis of Neuroevolution algorithms on a quadruped robot. IEEE Congress on Evolutionary Computation (2013)
Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe, Shinichi Honiden
Automated verification of pattern-based interaction invariants in Ajax applications. ASE (2013)
Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden
Fast Wide Area Live Migration with a Low Overhead through Page Cache Teleportation. CCGRID (2013)
Valentina Baljak, Kenji Tei, Shinichi Honiden
Fault classification and model learning from sensory Readings - Framework for fault tolerance in wireless sensor networks. ISSNIP (2013)
Shinichi Honiden, Zhenjiang Hu, Hausi A. Müller, John Mylopoulos, Yijun Yu
Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7). NII Shonan Meet. Rep. 2013 (2013)
Kazuki Nishiura, Yuta Maezawa, Hironori Washizaki, Shinichi Honiden
Mutation Analysis for JavaScriptWeb Application Testing. SEKE (2013)
Shingo Horiuchi, Hirotaka Moriguchi, Shinichi Honiden, Shengbo Xu
Automatic image description by using word-level features. ICIMCS (2013)
Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
A goal model elaboration for localizing changes in software evolution. RE (2013)
Shinichi Honiden
Goal Model Elaboration for Software Evolution. ICECCS (2013)
Kazuki Nishiura, Yuta Maezawa, Fuyuki Ishikawa, Shinichi Honiden
Supporting View Transition Design of Smartphone Applications Using Web Templates. ICWE (2012)
Atsushi Watanabe, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden
Web Service Selection Algorithm Using Vickrey Auction. ICWS (2012)
Yuta Maezawa, Hironori Washizaki, Shinichi Honiden
Extracting Interaction-Based Stateful Behavior in Rich Internet Applications. CSMR (2012)
Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
Towards Dynamic Evolution of Self-Adaptive Systems Based on Dynamic Updating of Control Loops. SASO (2012)
Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden
Trust Computation in Web Service Compositions Using Bayesian Networks. ICWS (2012)
Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden
Component Trust for Web Service Compositions. AAAI Spring Symposium: Intelligent Web Services Meet Social Computing (2012)
Florian Wagner, Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden
Towards robust service compositions in the context of functionally diverse services. WWW (2012)
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
Towards network-aware service composition in the cloud. WWW (2012)
Benjamin Klöpper, Jan Patrick Pater, Shinichi Honiden, Wilhelm Dangelmaier
A multi-objective evolutionary approach to scheduling for evolving manufacturing systems. Evol. Syst. 3 (1) (2012)
Valentina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cédric Herpson, Shinichi Honiden, Nga Thi Thuy Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei, Susumu Toriumi
S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study. ANT/MobiWIS (2012)
Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden
MiyakoDori: A Memory Reusing Mechanism for Dynamic VM Consolidation. IEEE CLOUD (2012)
Tsutomu Kobayashi, Shinichi Honiden
Towards Refinement Strategy Planning for Event-B CoRR (2012)
Hirotaka Moriguchi, Shinichi Honiden
CMA-TWEANN: efficient optimization of neural networks via self-adaptation and seamless augmentation. GECCO (2012)
Florian Wagner, Adrian Klein, Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden
Multi-objective Service Composition with Time- and Input-Dependent QoS. ICWS (2012)
Arosha K. Bandara, Shinichi Honiden, Yijun Yu
Engineering Autonomic Systems (EASy) (NII Shonan Meeting 2012-3). NII Shonan Meet. Rep. 2012 (2012)
Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
A Probabilistic Approach for Long-Term B2B Service Compositions. ICWS (2012)
Shengbo Xu, Hirotaka Moriguchi, Shinichi Honiden
Efficient Neuroevolution for a Quadruped Robot. SEAL (2012)
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
Case studies on the development of wireless sensor network applications using multiple abstraction levels. SESENA (2012)
Nik Nailah Binti Abdullah, Samuel Mendes, Stefano A. Cerri, Shinichi Honiden
Activity States Framework as an Experimental Approach to Studying, and Modeling Context in Web-Mediated Collaborative Dialogs. FLAIRS Conference (2011)
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
Model driven development for rapid prototyping and optimization of wireless sensor network applications. SESENA@ICSE (2011)
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
Applying QoS-Aware Service Selection on Functionally Diverse Services. ICSOC Workshops (2011)
Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden
IMPULSE: a design framework for multi-agent systems based on model transformation. SAC (2011)
Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden
Group Migration by Mobile Agents in Wireless Sensor Networks. Comput. J. 54 (3) (2011)
Nik Nailah Binti Abdullah, Helen Sharp, Shinichi Honiden
How Artefacts Influence the Construction of Communications and Contexts during Collaboration in an Agile Software Development Team. FLAIRS Conference (2011)
Taku Inoue, Shinichi Honiden
A method for data-flow analysis of business components. CBSE (2011)
Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
gocc: a configuration compiler for self-adaptive systems using goal-oriented requirements description. SEAMS (2011)
Themistoklis Bourdenas, Kenji Tei, Shinichi Honiden, Morris Sloman
Autonomic Role and Mission Allocation Framework for Wireless Sensor Networks. SASO (2011)
Benjamin Klöpper, Shinichi Honiden, Jan Patrick Pater, Wilhelm Dangelmaier
Decision making in adaptive manufacturing systems: Multi-objective scheduling and user interface. CICA (2011)
Camilo Fitzgerald, Benjamin Klöpper, Shinichi Honiden
Utility-Based Self-Adaption with Environment Specific Quality Models. ICAIS (2011)
Susumu Toriumi, Shinichi Honiden
Assignment of Sensors for Multiple Tasks Using Path Information. EUC (2011)
Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden
Service Selection with Combinational Use of Functionally-Equivalent Services. ICWS (2011)
Johan Nyström-Persson, Shinichi Honiden
Poplar: A Java Extension for Evolvable Component Integration CoRR (2011)
Benjamin Klöpper, Shinichi Honiden, Wilhelm Dangelmaier
Divide & conquer in planning for self-optimizing mechatronic systems - A first application example. CICA (2011)
Fuyuki Ishikawa, Satoshi Katafuchi, Florian Wagner, Yoshiaki Fukazawa, Shinichi Honiden
Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures. IEEE SCC (2011)
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
Efficient Heuristic Approach with Improved Time Complexity for Qos-Aware Service Composition. ICWS (2011)
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
QoS-Aware Automatic Service Composition by Applying Functional Clustering. ICWS (2011)
Nik Nailah Binti Abdullah, Helen Sharp, Shinichi Honiden
Communication in Context: A Stimulus-Response Account of Agile Team Interactions. XP (2010)
Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden
Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes. ICSOC (2010)

Shinichi Honiden.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shinichi Honiden