| 2025 | SEKE | LLM-based Adaptive Requirements Elicitation for Innovative Systems (S). | Hiroyuki Nakagawa, Shinichi Honiden |
| 2023 | ICSoft | Enhancing ICS Security Diagnostics with Pseudo-Greybox Fuzzing During Maintenance Testing. | Kazutaka Matsuzaki, Shinichi Honiden |
| 2023 | RE | MAPE-K Loop-Based Goal Model Generation Using Generative AI. | Hiroyuki Nakagawa, Shinichi Honiden |
| 2023 | SECRYPT | Remote Security Assessment for Cyber-Physical Systems: Adapting Design Patterns for Enhanced Diagnosis. | Kazutaka Matsuzaki, Kenji Sawada, Shinichi Honiden |
| 2022 | APSEC | Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation. | Jialong Li, Mingyue Zhang, Zhenyu Mao, Haiyan Zhao, Zhi Jin, Shinichi Honiden, Kenji Tei |
| 2020 | COMPSAC | Smart SE: Smart Systems and Services Innovative Professional Education Program. | Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira |
| 2020 | EUC | Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault. | Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden |
| 2020 | ISDA | Identifying Achievable Goals for Adaptive Replanning Against Runtime Environment Change. | Jialong Li, Kenji Tei, Shinichi Honiden |
| 2020 | VEE | A robust and flexible operating system compatibility architecture. | Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden |
| 2019 | ICSE | Modelling and analysing resilient cyber-physical systems. | 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. Mller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao |
| 2019 | UIC | Analysis Space Reduction with State Merging for Ensuring Safety Properties of Self-Adaptive Systems. | Kazuya Aizawa, Kenji Tei, Shinichi Honiden |
| 2018 | SAC | AutoPUT: an automated technique for retrofitting closed unit tests into parameterized unit tests. | Keita Tsukamoto, Yuta Maezawa, Shinichi Honiden |
| 2017 | APSEC | Extracting Traceability between Predicates in Event-B Refinement. | Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden |
| 2017 | ICSE | Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects. | Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden |
| 2017 | SAC | Learning environment model at runtime for self-adaptive systems. | Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden |
| 2017 | SETTA | Construction of Abstract State Graphs for Understanding Event-B Models. | Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden |
| 2017 | TAP | Test Suite Reduction in Idempotence Testing of Infrastructure as Code. | Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden |
| 2016 | ER | Stepwise Refinement of Software Development Problem Analysis. | Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden |
| 2016 | FM | Refactoring Refinement Structure of Event-B Machines. | Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden |
| 2016 | ICFEM | Automatic Generation of Potentially Pathological Instances for Validating Alloy Models. | Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden |
| 2016 | ICSE | Assured and correct dynamic update of controllers. | Leandro Nahabedian, Vctor A. Braberman, Nicols D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastin Uchitel |
| 2016 | ICST | MuVM: Higher Order Mutation Analysis Virtual Machine for C. | Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden |
| 2015 | ICSE | An Application Conflict Detection and Resolution System for Smart Homes. | Miki Yagita, Fuyuki Ishikawa, Shinichi Honiden |
| 2015 | ISSTA | Feedback-controlled random test generation. | Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden |
| 2014 | CloudCom | Evaluating Impact of Live Migration on Data Center Energy Saving. | Soramichi Akiyama, Takahiro Hirofuchi, Shinichi Honiden |
| 2014 | ICST | ArbitCheck: A Highly Automated Property-Based Testing Tool for Java. | Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden |
| 2014 | RE | Application of requirements prioritization decision rules in software product line evolution. | Mari Inoki, Takayuki Kitagawa, Shinichi Honiden |
| 2014 | SmartComp | Toward a portability framework with multi-level models for wireless sensor network software. | Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden |
| 2013 | CCGRID | Fast Wide Area Live Migration with a Low Overhead through Page Cache Teleportation. | Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden |
| 2013 | CEC | Sample efficiency analysis of Neuroevolution algorithms on a quadruped robot. | Shengbo Xu, Hirotaka Moriguchi, Shinichi Honiden |
| 2013 | ICECCS | Goal Model Elaboration for Software Evolution. | Shinichi Honiden |
| 2013 | RE | A goal model elaboration for localizing changes in software evolution. | Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden |
| 2013 | SEKE | Mutation Analysis for JavaScriptWeb Application Testing. | Kazuki Nishiura, Yuta Maezawa, Hironori Washizaki, Shinichi Honiden |
| 2012 | GECCO | CMA-TWEANN: efficient optimization of neural networks via self-adaptation and seamless augmentation. | Hirotaka Moriguchi, Shinichi Honiden |
| 2012 | ICWE | Supporting View Transition Design of Smartphone Applications Using Web Templates. | Kazuki Nishiura, Yuta Maezawa, Fuyuki Ishikawa, Shinichi Honiden |
| 2012 | ICWS | A Probabilistic Approach for Long-Term B2B Service Compositions. | Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden |
| 2012 | ICWS | Trust Computation in Web Service Compositions Using Bayesian Networks. | Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden |
| 2012 | ICWS | Multi-objective Service Composition with Time- and Input-Dependent QoS. | Florian Wagner, Adrian Klein, Benjamin Klpper, Fuyuki Ishikawa, Shinichi Honiden |
| 2012 | ICWS | Web Service Selection Algorithm Using Vickrey Auction. | Atsushi Watanabe, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden |
| 2012 | WWW | Towards network-aware service composition in the cloud. | Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden |
| 2012 | WWW | Towards robust service compositions in the context of functionally diverse services. | Florian Wagner, Benjamin Klpper, Fuyuki Ishikawa, Shinichi Honiden |
| 2011 | EUC | Assignment of Sensors for Multiple Tasks Using Path Information. | Susumu Toriumi, Shinichi Honiden |
| 2011 | FlAIRS | Activity States Framework as an Experimental Approach to Studying, and Modeling Context in Web-Mediated Collaborative Dialogs. | Nik Nailah Binti Abdullah, Samuel Mendes, Stefano A. Cerri, Shinichi Honiden |
| 2011 | FlAIRS | How Artefacts Influence the Construction of Communications and Contexts during Collaboration in an Agile Software Development Team. | Nik Nailah Binti Abdullah, Helen Sharp, Shinichi Honiden |
| 2011 | ICSE | gocc: a configuration compiler for self-adaptive systems using goal-oriented requirements description. | Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden |
| 2011 | ICSE | Model driven development for rapid prototyping and optimization of wireless sensor network applications. | Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden |
| 2011 | ICSOC | Applying QoS-Aware Service Selection on Functionally Diverse Services. | Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden |
| 2011 | ICWS | Service Selection with Combinational Use of Functionally-Equivalent Services. | Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden |
| 2011 | ICWS | Efficient Heuristic Approach with Improved Time Complexity for Qos-Aware Service Composition. | Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden |
| 2011 | ICWS | QoS-Aware Automatic Service Composition by Applying Functional Clustering. | Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden |
| 2011 | SAC | IMPULSE: a design framework for multi-agent systems based on model transformation. | Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden |
| 2010 | DCOSS | Suppressing Redundancy in Wireless Sensor Network Traffic. | Rey Abe, Shinichi Honiden |
| 2010 | ECAI | Extraction of Places Related to Flickr Tags. | Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden |
| 2010 | FlAIRS | A Method of Analysis to Uncover Artefact-Communication Relationships. | Nik Nailah Binti Abdullah, Helen C. Sharp, Shinichi Honiden |
| 2010 | GECCO | Sustaining behavioral diversity in NEAT. | Hirotaka Moriguchi, Shinichi Honiden |
| 2010 | ICSOC | Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy. | Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden |
| 2010 | ICSOC | Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes. | Benjamin Klpper, Fuyuki Ishikawa, Shinichi Honiden |
| 2010 | MSWIM | Adaptive geographic routing in wireless sensor networks. | Rey Abe, Shinichi Honiden |
| 2010 | PAAMS | Cooperative Behaviors Description for Self-* Systems Implementation. | Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden |
| 2010 | PRIMA | A Framework for Validating Task Assignment in Multiagent Systems Using Requirements Importance. | Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden |
| 2010 | SERVICES | Business Semantics Centric Reliability Testing for Web Services in BPEL. | Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden |
| 2009 | INFOCOM | Distributed Arrays: A P2P Data Structure for Efficient Logical Arrays. | Daisuke Fukuchi, Christian Sommer, Yuichi Sei, Shinichi Honiden |
| 2009 | MDM | Management of Networked Sensing Devices. | Levent Grgen, Shinichi Honiden |
| 2009 | RE | Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering. | Fuyuki Ishikawa, Rihoko Inoue, Shinichi Honiden |
| 2009 | SAC | Geographical data collection in sensor networks with self-organizing transaction cluster-heads. | Neeraj Rajgure, Eric Platon, Cristian Borcea, Shinichi Honiden |
| 2009 | SEFM | Specifying and Checking Refinement Relationships in VDM++. | Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden |
| 2008 | APSEC | Model Checking Process with Goal Oriented Requirements Analysis. | Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden |
| 2008 | EDOC | Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems. | Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Shinichi Honiden, Yoshiaki Fukazawa |
| 2008 | PERCOM | A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems. | Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden |
| 2007 | APSCC | Developing Consistent Contractual Policies in Service Composition. | Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden |
| 2007 | COMPSAC | AOP-based automated unit test classification of large benchmarks. | Cyrille Artho, Zhongwei Chen, Shinichi Honiden |
| 2007 | COMPSAC | Visualization of Concurrent Program Executions. | Cyrille Artho, Klaus Havelund, Shinichi Honiden |
| 2007 | ICCCN | Ringed Filters for Peer-to-Peer Keyword Searching. | Yuichi Sei, Shinichi Honiden |
| 2007 | ICCCN | Applying Design Patterns to Wireless Sensor Network Programming. | Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden |
| 2007 | ICSE | Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan. | Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Hironori Washizaki |
| 2007 | ICWS | Policy-based Runtime Partner Management in ProcessBased Services. | Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden |
| 2007 | ICWS | Protocol Selection alongside Service Selection and Composition. | Jos Ghislain Quenum, Fuyuki Ishikawa, Shinichi Honiden |
| 2007 | PERCOM | Increasing the Ease of Deployment in Ubiquitous Environments. | Kazutaka Matsuzaki, Shinichi Honiden |
| 2007 | TASE | Model Checking Networked Programs in the Presence of Transmission Failures. | Cyrille Artho, Christian Sommer, Shinichi Honiden |
| 2006 | FM | Enforcer - Efficient Failure Injection. | Cyrille Artho, Armin Biere, Shinichi Honiden |
| 2006 | ICSE | Analysis of multi-agent systems based on KAOS modeling. | Hiroyuki Nakagawa, Takuya Karube, Shinichi Honiden |
| 2006 | ICTAI | PID-filtered Negotiation for Decision Making in Dynamic Coverage Problem. | Satoshi Kataoka, Fuyuki Ishikawa, Shinichi Honiden |
| 2005 | EUMAS | Tag Interactions in MultiAgent Systems: Environment Support. | Eric Platon, Nicolas Sabouret, Shinichi Honiden |
| 2005 | Mobiquitous | Geographically Bound Mobile Agent in MANET. | Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden, Nobukazu Yoshioka |
| 2004 | CATA | Software Design Method for Agent Systems from Scenarios. | Kazunori Matsumoto, Shinichi Honiden |
| 2004 | EDOC | Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems. | Nobukazu Yoshioka, Shinichi Honiden, Anthony Finkelstein |
| 2004 | ICWS | Behavior Descriptions of Mobile Agents for Web Services Integration. | Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden |
| 2004 | ICWS | Dynamic Invocation Model of Web Services Using Subsumption Relations. | Shinichi Nagano, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden |
| 2004 | PRIMA | picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing. | Kenta Cho, Hisashi Hayashi, Masanori Hattori, Akihiko Ohsuga, Shinichi Honiden |
| 2004 | PRIMA | Introducing Participative Personal Assistant Teams in Negotiation Support Systems. | Eric Platon, Shinichi Honiden |
| 2003 | IJCAI | Integrating Multiple Internet Directories by Instance-based Learning. | Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden |
| 2003 | PDPTA | Planning Mobile Agent Architecture for Realizing Mobile Intelligence. | Masanori Hattori, Akihiko Ohsuga, Shinichi Honiden |
| 2003 | PERCOM | Context-Aware Agent Platform in Ubiquitous Environments and Its Verification Tests. | Masanori Hattori, Kenta Cho, Akihiko Ohsuga, Masao Isshiki, Shinichi Honiden |
| 2003 | PERCOM | Mobile Agent Based Evacuation System When The Battery Runs Out: EASTER. | Heisuke Kaneko, Yoshiaki Fukazawa, Fumihiro Kumeno, Nobukazu Yoshioka, Shinichi Honiden |
| 2001 | IJCAI | Rule Induction for Concept Hierarchy Alignment. | Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden |
| 2001 | ISADS | Behavior Patterns for Mobile Agent Systems from the Development Process Viewpoint. | Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden |
| 2001 | WWW | Automated Alignment of Multiple Internet Directories. | Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden |
| 2000 | EDOC | Rental Application to Rental Service Development of Advanced ASP Framework. | Takahiro Kawamura, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden |
| 1999 | APSEC | Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems. | Takahiro Kawamura, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden |
| 1999 | ISADS | Agent System Development Method based on Agent Patterns. | Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden |
| 1999 | ICSE | Agent System Development Method Based on Agent Patterns. | Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden |
| 1996 | ICSR | Reuse of design processes based on domain analysis. | Mari Natori, Akira Kagaya, Shinichi Honiden |
| 1995 | APSEC | Evolutional Agents: Field Oriented Programming Language, Flage. | Fumihiro Kumeno, Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden |
| 1995 | APSEC | Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse. | Saeko Matsuura, Shinichi Honiden |
| 1994 | APSEC | Object-oriented analysis and design support system using algebraic specification techniques. | Junichi Yamamoto, Akihiko Ohsuga, Shinichi Honiden |
| 1994 | ICSR | Flage: field-oriented language for agents model. | Fumihiro Kumeno, Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden |
| 1993 | SEKE | An Experimental Analysis for Classifying Specification Processes. | Seiichi Komiya, Motoshi Saeki, Shinichi Honiden, Junzou Kato, Akira Ohmori, Hisayuki Horai, Shigeru Ohtsuki, Kazuhito Ohmaki |
| 1991 | COMPSAC | Qualitative reasoning-based parameter tuning on bottleneck of synchronized queueing network. | Kiyoshi Itoh, Shinichi Honiden, Keisuke Shida, Takaaki Konno |
| 1990 | ECAI | On Logical Foundations of the ATMS. | Yasushi Fujiwara, Shinichi Honiden |
| 1989 | IJCAI | Relating the TMS to Autoepistemic Logic. | Yasushi Fujiwara, Shinichi Honiden |