Software Prototyping with MENDEL. - Shinichi Honiden; Naoshi Uchihira; Toshiaki Kasuya (LP, 1985)

MENDEL: Prolog Based Concurrent Object Oriented Language. - Shinichi Honiden; Naoshi Uchihira; Toshiaki Kasuya (COMPCON, 1986)

MENDELS: Concurrent Program Synthesis System Using Temporal Logic. - Naoshi Uchihira; Kazunori Matsumoto; Shinichi Honiden; Hideo Nakamura (LP, 1987)

Relating the TMS to Autoepistemic Logic. - Yasushi Fujiwara; Shinichi Honiden (IJCAI, 1989)

An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design. - Shinichi Honiden; Naoshi Uchihira; Kazunori Matsumoto; Kazuo Matsumura; Masahiko Arai (Real Time Syst., 1989)

On Logical Foundations of the ATMS. - Yasushi Fujiwara; Shinichi Honiden (Truth Maintenance Systems (ECAI Workshop), 1990)

Qualitative reasoning-based parameter tuning on bottleneck of synchronized queueing network. - Kiyoshi Itoh; Shinichi Honiden; Keisuke Shida; Takaaki Konno (COMPSAC, 1991)

An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems. - Shinichi Honiden; Naoshi Uchihira; Kiyoshi Itoh (ESEC, 1991)

An integration environment to put formal specifications into practical use in real-time systems. - Shinichi Honiden; Akihiko Ohsuga; Naoshi Uchihira (IWSSD, 1991)

Specification Process Modelling in Object-Oriented Analysis. - Nobuto Kotaka; Yoshinori Kishimoto; Shinichi Honiden (TOOLS (6), 1992)

Transobj: Software Prototyping Environment for Real-Time Transaction-Based Software System Applications. - Kiyoshi Itoh; Yasuhisa Tamura; Shinichi Honiden (Int. J. Softw. Eng. Knowl. Eng., 1992)

An Experimental Analysis for Classifying Specification Processes. - Seiichi Komiya; Motoshi Saeki; Shinichi Honiden; Junzou Kato; Akira Ohmori; Hisayuki Horai; Shigeru Ohtsuki; Kazuhito Ohmaki (SEKE, 1993)

Formalizing Specification Modeling in OOA. - Shinichi Honiden; Nobuto Kotaka; Yoshinori Kishimoto (IEEE Softw., 1993)

Object-oriented analysis and design support system using algebraic specification techniques. - Junichi Yamamoto; Akihiko Ohsuga; Shinichi Honiden (APSEC, 1994)

Flage: field-oriented language for agents model. - Fumihiro Kumeno; Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden (ICSR, 1994)

An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems. - Shinichi Honiden; Kazuhiko Nishimura; Naoshi Uchihira; Kiyoshi Itoh (IEEE Trans. Software Eng., 1994)

Evolutional Agents: Field Oriented Programming Language, Flage. - Fumihiro Kumeno; Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden (APSEC, 1995)

Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse. - Saeko Matsuura; Shinichi Honiden (APSEC, 1995)

Formal Semantics of Agent Evolution in Language Flage. - Yasuyuki Tahara; Fumihiro Kumeno; Akihiko Ohsuga; Shinichi Honiden (OBPDC, 1995)

Cooad: a Case Tool for Object-Oriented Analysis and Design. - Junichi Yamamoto; Akihiko Ohsuga; Shinichi Honiden (Int. J. Softw. Eng. Knowl. Eng., 1995)

Guest Editors' Introduction: Reliability and Safety of Real-Time Systems. - William W. Everett; Shinichi Honiden (IEEE Softw., 1995)

Adapting Object-Communication Methods Dynamically. - Yoshinori Kishimoto; Nobuto Kotaka; Shinichi Honiden (IEEE Softw., 1995)

Reuse of design processes based on domain analysis. - Mari Natori; Akira Kagaya; Shinichi Honiden (ICSR, 1996)

An Algebraic Semantics of Reflective Objects. - Yasuyuki Tahara; Fumihiro Kumeno; Akihiko Ohsuga; Shinichi Honiden (ISOTAS, 1996)

Hypersequential programming - a novel paradigm for concurrent programming. - Naoshi Uchihira; Shinichi Honiden; Toshibumi Seki (Software Engineering for Parallel and Distributed Systems, 1996)

MENDELS ZONE: A parallel program development system based on formal specifications. - Shinichi Honiden; Akihiko Ohsuga; Naoshi Uchihira (Inf. Softw. Technol., 1996)

Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. - Naoshi Uchihira; Shinichi Honiden (J. Syst. Softw., 1996)

Hypersequential programming: a new way to develop concurrent programs. - Naoshi Uchihira; Shinichi Honiden; Toshibumi Seki (IEEE Concurrency, 1997)

PLANGENT: An Approach to Making Mobile Agents Intelligent. - Akihiko Ohsuga; Yasuo Nagai; Yutaka Irie; Masanori Hattori; Shinichi Honiden (IEEE Internet Comput., 1997)

EVA: A Flexible Programming Method for Evolving Systems. - Saeko Matsuura; Hironobu Kuruma; Shinichi Honiden (IEEE Trans. Software Eng., 1997)

Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems. - Takahiro Kawamura; Tetsuo Hasegawa; Akihiko Ohsuga; Shinichi Honiden (APSEC, 1999)

Agent System Development Method Based on Agent Patterns. - Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden (ICSE, 1999)

Agent-Based Drivers' Information Assistance System. - Masanori Hattori; Naoki Kase; Akihiko Ohsuga; Shinichi Honiden (New Gener. Comput., 1999)

Security for Mobile Agents. - Nobukazu Yoshioka; Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden (AOSE, 2000)

Rental Application to Rental Service Development of Advanced ASP Framework. - Takahiro Kawamura; Tetsuo Hasegawa; Akihiko Ohsuga; Shinichi Honiden (EDOC, 2000)

Quantitative Evaluation of Pairwise Interactions between Agents. - Takahiro Kawamura; Sam Joseph; Akihiko Ohsuga; Shinichi Honiden (ASA/MA, 2000)

Bee-gent: bonding and encapsulation enhancement agent framework for development of distributed systems. - Takahiro Kawamura; Yasuyuki Tahara; Tetsuo Hasegawa; Akihiko Ohsuga; Shinichi Honiden (Syst. Comput. Jpn., 2000)

Mobile agent security with the IPEditor development tool and the mobile UNITY language. - Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden (Agents, 2001)

Rule Induction for Concept Hierarchy Alignment. - Ryutaro Ichise; Hideaki Takeda 001; Shinichi Honiden (Workshop on Ontology Learning, 2001)

Behavior Patterns for Mobile Agent Systems from the Development Process Viewpoint. - Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden (ISADS, 2001)

Secure and efficient mobile agent application reuse using patterns. - Yasuyuki Tahara; Nobukazu Toshiba; Akihiko Ohsuga; Shinichi Honiden (SSR, 2001)

Automated Alignment of Multiple Internet Directories. - Ryutaro Ichise; Hideaki Takeda 001; Shinichi Honiden (WWW Posters, 2001)

Evaluation of a Multi Agent Framework for Open Distributed Systems. - Nobukazu Yoshioka; Takahiro Kawamura; Akihiko Ohsuga; Shinichi Honiden (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)

Planning mobile agent architecture for open network environment. - Masanori Hattori; Akihiko Ohsuga; Shinichi Honiden (Syst. Comput. Jpn., 2002)

Interoperability for mobile agents by incarnation agents. - Tetsuo Hasegawa; Kenta Cho 001; Fumihiro Kumeno; Shin Nakajima 001; Akihiko Ohsuga; Shinichi Honiden (AAMAS, 2003)

Integrating Multiple Internet Directories by Instance-based Learning. - Ryutaro Ichise; Hideaki Takeda 001; Shinichi Honiden (IJCAI, 2003)

A Formal Model of Active Contents Based on the Ambient Calculus. - Yasuyuki Tahara; Nobukazu Yoshioka; Shinichi Honiden (MATA, 2003)

Planning Mobile Agent Architecture for Realizing Mobile Intelligence. - Masanori Hattori; Akihiko Ohsuga; Shinichi Honiden (PDPTA, 2003)

Mobile Agent Based Evacuation System When The Battery Runs Out: EASTER. - Heisuke Kaneko; Yoshiaki Fukazawa; Fumihiro Kumeno; Nobukazu Yoshioka; Shinichi Honiden (PerCom, 2003)

Formal specification of components in a component-based framework development method. - Kazuki Yoshida; Shinichi Honiden (Syst. Comput. Jpn., 2003)

Mobeet: A Multi-agent Framework for Ubiquitous Information Systems. - Nobukazu Yoshioka; Akihiko Ohsuga; Shinichi Honiden (AOIS, 2004)

Pigeon: A Specification Language for Mobile Agent Applications. - Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden (AAMAS, 2004)

Software Design Method for Agent Systems from Scenarios. - Kazunori Matsumoto; Shinichi Honiden (CATA, 2004)

Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems. - Nobukazu Yoshioka; Shinichi Honiden; Anthony Finkelstein (EDOC, 2004)

T-Compound Interaction and Overhearing Agents. - Eric Platon; Nicolas Sabouret; Shinichi Honiden (ESAW, 2004)

Behavior Descriptions of Mobile Agents for Web Services Integration. - Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (ICWS, 2004)

Dynamic Invocation Model of Web Services Using Subsumption Relations. - Shinichi Nagano; Tetsuo Hasegawa; Akihiko Ohsuga; Shinichi Honiden (ICWS, 2004)

Mobile Agent System for Web Services Integration in Pervasive Networks. - Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (IWUC, 2004)

Ubiquitous Application Development using a Mobile Agent-based System. - Kazutaka Matsuzaki; Nobukazu Yoshioka; Shinichi Honiden (IWUC, 2004)

Development Methodology for Location-Aware Mobile Agent. - Kazutaka Matsuzaki; Nobukazu Yoshioka; Shinichi Honiden (MATA, 2004)

A Pattern Oriented Mobile Agent Framework for Mobile Computing. - Nobukazu Yoshioka; Shinichi Honiden (MATA, 2004)

picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing. - Kenta Cho 001; Hisashi Hayashi; Masanori Hattori; Akihiko Ohsuga; Shinichi Honiden (PRIMA, 2004)

Introducing Participative Personal Assistant Teams in Negotiation Support Systems. - Eric Platon; Shinichi Honiden (PRIMA, 2004)

Bridging the Gap Between AUML and Implementation Using IOM/T. - Takou Doi; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (PROMAS, 2004)

Context-aware agent platform in ubiquitous environments and its verification tests. - Masanori Hattori; Kenta Cho 001; Akihiko Ohsuga; Masao Isshiki; Shinichi Honiden (Syst. Comput. Jpn., 2004)

Mobile and Cooperative Compounds of Multimedia Services. - Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (IEEE SCC, 2005)

Modelling interactions in assistant teams. - Eric Platon; Shinichi Honiden; Nicolas Sabouret (AMT, 2005)

Pheromone Model: Application to Traffic Congestion Prediction. - Yasushi Ando; Osamu Masutani; Hiroshi Sasaki 005; Hirotoshi Iwasaki; Yoshiaki Fukazawa; Shinichi Honiden (Engineering Self-Organising Systems, 2005)

IOM/T: an interaction description language for multi-agent systems. - Takuo Doi; Yasuyuki Tahara; Shinichi Honiden (AAMAS, 2005)

Agent synthesis: partnership and agreement in cooperative mobile agents. - Fuyuki Ishikawa; Yasuyuki Tahara; Nobukazu Yoshioka; Shinichi Honiden (AAMAS, 2005)

Incorporating Agreements on Service Options into BPEL-based Services. - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (CIMCA/IAWTIC, 2005)

Overhearing and Direct Interactions: Point of View of an Active Environment. - Eric Platon; Nicolas Sabouret; Shinichi Honiden (E4MAS, 2005)

Tag Interactions in MultiAgent Systems: Environment Support. - Eric Platon; Nicolas Sabouret; Shinichi Honiden (EUMAS, 2005)

Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound. - Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (ICEIS (4), 2005)

A Model for Policy Based Service Community. - Hironobu Kuruma; Shinichi Honiden (ICEIS (3), 2005)

Using Mobile Agent for Location-Specific Data Retrieval in Manet. - Kenji Tei; Nobukazu Yoshioka; Yoshiaki Fukazawa; Shinichi Honiden (INTELLCOMM, 2005)

Geographically Bound Mobile Agent in MANET. - Kenji Tei; Yoshiaki Fukazawa; Shinichi Honiden; Nobukazu Yoshioka (MobiQuitous, 2005)

Flexible and Maintainable Contents Activities in Ubiquitous Environment. - Kazutaka Matsuzaki; Nobukazu Yoshioka; Shinichi Honiden (OTM Workshops, 2005)

A framework for synthesis of web services and mobile agents. - Fuyuki Ishikawa; Yasuyuki Tahara; Nobukazu Yoshioka; Shinichi Honiden (Int. J. Pervasive Comput. Commun., 2005)

Application of the ?Plangent intelligent mobile agent architecture for embedded systems to the inspection of power systems. - Kenta Cho 001; Yutaka Irie; Akihiko Ohsuga; Katsuhiko Sekiguchi; Shinichi Honiden (Syst. Comput. Jpn., 2005)

Mobile agent system for Web service integration in pervasive network. - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (Syst. Comput. Jpn., 2005)

Performance of pheromone model for predicting traffic congestion. - Yasushi Ando; Yoshiaki Fukazawa; Osamu Masutani; Hirotoshi Iwasaki; Shinichi Honiden (AAMAS, 2006)

Power and negotiation: lessons from agent-based participatory simulations. - Paul Guyot; Alexis Drogoul; Shinichi Honiden (AAMAS, 2006)

Service-oriented and autonomous distribution and provision of multimedia contents. - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (AAMAS, 2006)

A Sensor Middleware for Lightweight Relocatable Sensing Programs. - Makoto Ishiguro; Kenji Tei; Yoshiaki Fukazawa; Shinichi Honiden (CIMCA/IAWTIC, 2006)

Smartive: Agreement-based Mobile Composite Agents for Multimedia Services. - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (CIMCA/IAWTIC, 2006)

Multi-Robot Positioning Model: Multi-Agent Approach. - Satoshi Kataoka; Shinichi Honiden (CIMCA/IAWTIC, 2006)

Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity. - Truong Khanh Quan; Fuyuki Ishikawa; Shinichi Honiden (CIMCA/IAWTIC, 2006)

Reduction of the Communication Traffic for Multi-word Searches in DHTs. - Yuichi Sei; Kazutaka Matsuzaki; Shinichi Honiden (CIMCA/IAWTIC, 2006)

Introducing Auction Scheme to Route Allocation to Prolong the Lifetime of Ad-Hoc Networks. - Kenji Tei; Hiromi Muto; Yoshiaki Fukazawa; Shinichi Honiden (CIMCA/IAWTIC, 2006)

A Modeling Framework for Generic Agent Interaction Protocols. - José Ghislain Quenum; Samir Aknine; Jean-Pierre Briot; Shinichi Honiden (DALT, 2006)

Environmental Support for Tag Interactions. - Eric Platon; Nicolas Sabouret; Shinichi Honiden (E4MAS, 2006)

A Definition of Exceptions in Agent-Oriented Computing. - Eric Platon; Nicolas Sabouret; Shinichi Honiden (ESAW, 2006)

Enforcer - Efficient Failure Injection. - Cyrille Artho; Armin Biere; Shinichi Honiden (FM, 2006)

Exhaustive Testing of Exception Handlers with Enforcer. - Cyrille Artho; Armin Biere; Shinichi Honiden (FMCO, 2006)

Dynamic Protocol Selection in Open and Heterogeneous Systems. - José Ghislain Quenum; Samir Aknine; Onn Shehory; Shinichi Honiden (IAT, 2006)

Analysis of multi-agent systems based on KAOS modeling. - Hiroyuki Nakagawa; Takuya Karube; Shinichi Honiden (ICSE, 2006)

PID-filtered Negotiation for Decision Making in Dynamic Coverage Problem. - Satoshi Kataoka; Fuyuki Ishikawa; Shinichi Honiden (ICTAI, 2006)

An Algorithm to Reduce the Communication Traffic for Multi-Word Searches in a Distributed Hash Table. - Yuichi Sei; Kazutaka Matsuzaki; Shinichi Honiden (IFIP TCS, 2006)

Web Page Recommender System based on Folksonomy Mining for ITNG '06 Submissions. - Satoshi Niwa; Takuo Doi; Shinichi Honiden (ITNG, 2006)

Adaptive Geographically Bound Mobile Agents. - Kenji Tei; Christian Sommer 001; Yoshiaki Fukazawa; Shinichi Honiden; Pierre-Loïc Garoche (MSN, 2006)

Challenges in exception handling in multi-agent systems. - Eric Platon; Shinichi Honiden; Nicolas Sabouret (SELMAS, 2006)

Formal model of mobile BPEL4WS process. - Fuyuki Ishikawa; Yasuyuki Tahara; Nobukazu Yoshioka; Shinichi Honiden (Int. J. Bus. Process. Integr. Manag., 2006)

Agent-Based Participatory Simulations: Merging Multi-Agent Systems and Role-Playing Games. - Paul Guyot; Shinichi Honiden (J. Artif. Soc. Soc. Simul., 2006)

Flexible Bloom Filters for Searching Textual Objects. - Yuichi Sei; Kazutaka Matsuzaki; Shinichi Honiden (AP2PC, 2007)

Developing Consistent Contractual Policies in Service Composition. - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (APSCC, 2007)

Building coalitions involving agents and humans: reports from agent-based participatory simulations. - Paul Guyot; Shinichi Honiden (AAMAS, 2007)

AOP-based automated unit test classification of large benchmarks. - Cyrille Artho; Zhongwei Chen; Shinichi Honiden (COMPSAC (2), 2007)

Visualization of Concurrent Program Executions. - Cyrille Artho; Klaus Havelund; Shinichi Honiden (COMPSAC (2), 2007)

Context in Use for Analyzing Conversation Structures on the Web Tied to the Notion of Situatedness. - Nik Nailah Binti Abdullah; Shinichi Honiden (CONTEXT, 2007)

Efficient Model Checking of Applications with Input/Output. - Cyrille Artho; Boris Zweimüller; Armin Biere; Etsuya Shibayama; Shinichi Honiden (EUROCAST, 2007)

Detecting Intrusions in Agent System by Means of Exception Handling. - Eric Platon; Martin Rehák; Nicolas Sabouret; Michal Pechoucek; Shinichi Honiden (HoloMAS, 2007)

Ringed Filters for Peer-to-Peer Keyword Searching. - Yuichi Sei; Shinichi Honiden (ICCCN, 2007)

Applying Design Patterns to Wireless Sensor Network Programming. - Kenji Tei; Yoshiaki Fukazawa; Shinichi Honiden (ICCCN, 2007)

Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan. - Shinichi Honiden; Yasuyuki Tahara; Nobukazu Yoshioka; Kenji Taguchi 001; Hironori Washizaki (ICSE, 2007)

Policy-based Runtime Partner Management in ProcessBased Services. - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (ICWS, 2007)

Protocol Selection alongside Service Selection and Composition. - José Ghislain Quenum; Fuyuki Ishikawa; Shinichi Honiden (ICWS, 2007)

Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. - Hiroyuki Nakagawa; Kenji Taguchi 001; Shinichi Honiden (ASE, 2007)

Managing Difference-Based Objects with Sub-networks in Peer-to-Peer Environments. - Daisuke Fukuchi; Yuichi Sei; Shinichi Honiden (OTM Workshops (2), 2007)

Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation. - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (OTM Conferences (1), 2007)

Resilient Security for False Event Detection Without Loss of Legitimate Events in Wireless Sensor Networks. - Yuichi Sei; Shinichi Honiden (OTM Conferences (1), 2007)

Increasing the Ease of Deployment in Ubiquitous Environments. - Kazutaka Matsuzaki; Shinichi Honiden (PerCom Workshops, 2007)

Model Checking Networked Programs in the Presence of Transmission Failures. - Cyrille Artho; Christian Sommer 001; Shinichi Honiden (TASE, 2007)

Mechanisms for environments in multi-agent systems: Survey and opportunities. - Eric Platon; Marco Mamei; Nicolas Sabouret; Shinichi Honiden; H. Van Dyke Parunak (Auton. Agents Multi Agent Syst., 2007)

Improving Accuracy of Recommender System by Item Clustering. - KhanhQuan Truong; Fuyuki Ishikawa; Shinichi Honiden (IEICE Trans. Inf. Syst., 2007)

IOM/T: interaction-oriented model by textual notation. - Takuo Doi; Shinichi Honiden (Int. J. Agent Oriented Softw. Eng., 2007)

A hierarchical mobile agent framework and its application to multimedia contents. - Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (Syst. Comput. Jpn., 2007)

Model Checking Process with Goal Oriented Requirements Analysis. - Hideto Ogawa; Fumihiro Kumeno; Shinichi Honiden (APSEC, 2008)

Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems. - Ryuichi Takahashi; Kenji Tei; Fuyuki Ishikawa; Shinichi Honiden; Yoshiaki Fukazawa (EDOC, 2008)

Name-based location service for mobile agents in wireless sensor networks. - Shunichiro Suenaga; Shinichi Honiden (MOBILWARE, 2008)

A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems. - Ryuichi Takahashi; Kenji Tei; Fuyuki Ishikawa; Yoshiaki Fukazawa; Shinichi Honiden (PerCom, 2008)

Constructing Self-Adaptive Systems Using a KAOS Model. - Hiroyuki Nakagawa; Akihiko Ohsuga; Shinichi Honiden (SASO Workshops, 2008)

Region-Based Sensor Selection for Wireless Sensor Networks. - Yoshiyuki Nakamura; Kenji Tei; Yoshiaki Fukazawa; Shinichi Honiden (SUTC, 2008)

Energy-efficient event detection in 3D wireless sensor networks. - Susumu Toriumi; Yuichi Sei; Shinichi Honiden (Wireless Days, 2008)

Distributed detection of node replication attacks resilient to many compromised nodes in wireless sensor networks. - Yuichi Sei; Shinichi Honiden (WICON, 2008)

An efficient node selection metric for in-network process deployment. - Kenji Tei; Yoshiaki Fukazawa; Shinichi Honiden (WICON, 2008)

An architecture for exception management in multiagent systems. - Eric Platon; Nicolas Sabouret; Shinichi Honiden (Int. J. Agent Oriented Softw. Eng., 2008)

Plug&manage heterogeneous sensing devices. - Levent Gürgen; Johan Nyström-Persson; Amin Cherbal; Cyril Labbé; Claudia Roncancio; Shinichi Honiden (DMSN, 2009)

Physical interaction in pervasive computing: formal modeling, analysis and verification. - Fuyuki Ishikawa; Basem Suleiman; Kayoko Yamamoto; Shinichi Honiden (ICPS, 2009)

Reporter node determination of replicated node detection in wireless sensor networks. - Yuichi Sei; Shinichi Honiden (ICUIMC, 2009)

Distributed Arrays: A P2P Data Structure for Efficient Logical Arrays. - Daisuke Fukuchi; Christian Sommer 001; Yuichi Sei; Shinichi Honiden (INFOCOM, 2009)

Balancing Graph Voronoi Diagrams. - Shinichi Honiden; Michael E. Houle; Christian Sommer 001 (ISVD, 2009)

Approximate Shortest Path Queries in Graphs Using Voronoi Duals. - Shinichi Honiden; Michael E. Houle; Christian Sommer 001; Martin Wolff (ISVD, 2009)

Management of Networked Sensing Devices. - Levent Gürgen; Shinichi Honiden (Mobile Data Management, 2009)

Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering. - Fuyuki Ishikawa; Rihoko Inoue; Shinichi Honiden (RELAW, 2009)

Geographical data collection in sensor networks with self-organizing transaction cluster-heads. - Neeraj Rajgure; Eric Platon; Cristian Borcea; Shinichi Honiden (SAC, 2009)

Specifying and Checking Refinement Relationships in VDM++. - Yojiro Kawamata; Christian Sommer 001; Fuyuki Ishikawa; Shinichi Honiden (SEFM, 2009)

What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project. - Fuyuki Ishikawa; Kenji Taguchi 001; Nobukazu Yoshioka; Shinichi Honiden (TFM, 2009)

Opérations d'administration pour SStreaMWare. - Levent Gürgen; Cyril Labbé; Shinichi Honiden (UbiMob, 2009)

On Applicability of Formal Methods and Tools to Dependable Services. - Fuyuki Ishikawa; Shinichi Honiden (IEICE Trans. Commun., 2009)

Evolution of a course on model checking for practical applications. - Yasuyuki Tahara; Nobukazu Yoshioka; Kenji Taguchi 001; Toshiaki Aoki; Shinichi Honiden (ACM SIGCSE Bull., 2009)

Suppressing Redundancy in Wireless Sensor Network Traffic. - Rey Abe; Shinichi Honiden (DCOSS, 2010)

Extraction of Places Related to Flickr Tags. - Yukino Baba; Fuyuki Ishikawa; Shinichi Honiden (ECAI, 2010)

A Method of Analysis to Uncover Artefact-Communication Relationships. - Nik Nailah Binti Abdullah; Helen C. Sharp; Shinichi Honiden (FLAIRS, 2010)

Sustaining behavioral diversity in NEAT. - Hirotaka Moriguchi; Shinichi Honiden (GECCO, 2010)

Thinking Autonomic for Sensing Devices. - Rémi Sharrock; Amin Cherbal; Levent Gürgen; Thierry Monteil 001; Shinichi Honiden (ICAS, 2010)

Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy. - Adrian Klein; Fuyuki Ishikawa; Shinichi Honiden (ICSOC, 2010)

Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes. - Benjamin Klöpper; Fuyuki Ishikawa; Shinichi Honiden (ICSOC, 2010)

Adaptive geographic routing in wireless sensor networks. - Rey Abe; Shinichi Honiden (MSWiM, 2010)

Cooperative Behaviors Description for Self-* Systems Implementation. - Hiroyuki Nakagawa; Akihiko Ohsuga; Shinichi Honiden (PAAMS, 2010)

A Framework for Validating Task Assignment in Multiagent Systems Using Requirements Importance. - Hiroyuki Nakagawa; Nobukazu Yoshioka; Akihiko Ohsuga; Shinichi Honiden (PRIMA, 2010)

Planning with Utility and State Trajectory Constraints in Self-Healing Automotive Systems. - Benjamin Klöpper; Shinichi Honiden; Jan Meyer; Matthias Tichy (SASO, 2010)

Business Semantics Centric Reliability Testing for Web Services in BPEL. - Yongbo Wang; Fuyuki Ishikawa; Shinichi Honiden (SERVICES, 2010)

Communication in Context: A Stimulus-Response Account of Agile Team Interactions. - Nik Nailah Binti Abdullah; Helen Sharp; Shinichi Honiden (XP, 2010)

Approximate Shortest Path Queries Using Voronoi Duals. - Shinichi Honiden; Michael E. Houle; Christian Sommer 001; Martin Wolff (Trans. Comput. Sci., 2010)

Data Management Solutions in Networked Sensing Systems. - Levent Gürgen; Claudia Roncancio; Cyril Labbé; Shinichi Honiden (Wireless Sensor Network Technologies for the Information Explosion Era, 2010)

Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures. - Fuyuki Ishikawa; Satoshi Katafuchi; Florian Wagner 001; Yoshiaki Fukazawa; Shinichi Honiden (IEEE SCC, 2011)

A method for data-flow analysis of business components. - Taku Inoue; Shinichi Honiden (CBSE, 2011)

Divide & conquer in planning for self-optimizing mechatronic systems - A first application example. - Benjamin Klöpper; Shinichi Honiden; Wilhelm Dangelmaier (CICA, 2011)

Decision making in adaptive manufacturing systems: Multi-objective scheduling and user interface. - Benjamin Klöpper; Shinichi Honiden; Jan Patrick Pater; Wilhelm Dangelmaier (CICA, 2011)

Assignment of Sensors for Multiple Tasks Using Path Information. - Susumu Toriumi; Shinichi Honiden (EUC, 2011)

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 (FLAIRS, 2011)

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 (FLAIRS, 2011)

Utility-Based Self-Adaption with Environment Specific Quality Models. - Camilo Fitzgerald; Benjamin Klöpper; Shinichi Honiden (ICAIS, 2011)

gocc: a configuration compiler for self-adaptive systems using goal-oriented requirements description. - Hiroyuki Nakagawa; Akihiko Ohsuga; Shinichi Honiden (SEAMS, 2011)

Model driven development for rapid prototyping and optimization of wireless sensor network applications. - Ryo Shimizu; Kenji Tei; Yoshiaki Fukazawa; Shinichi Honiden (SESENA@ICSE, 2011)

Applying QoS-Aware Service Selection on Functionally Diverse Services. - Florian Wagner 001; Fuyuki Ishikawa; Shinichi Honiden (ICSOC Workshops, 2011)

Service Selection with Combinational Use of Functionally-Equivalent Services. - Nobuaki Hiratsuka; Fuyuki Ishikawa; Shinichi Honiden (ICWS, 2011)

Efficient Heuristic Approach with Improved Time Complexity for Qos-Aware Service Composition. - Adrian Klein; Fuyuki Ishikawa; Shinichi Honiden (ICWS, 2011)

QoS-Aware Automatic Service Composition by Applying Functional Clustering. - Florian Wagner 001; Fuyuki Ishikawa; Shinichi Honiden (ICWS, 2011)

IMPULSE: a design framework for multi-agent systems based on model transformation. - Hiroyuki Nakagawa; Nobukazu Yoshioka; Akihiko Ohsuga; Shinichi Honiden (SAC, 2011)

Autonomic Role and Mission Allocation Framework for Wireless Sensor Networks. - Themistoklis Bourdenas; Kenji Tei; Shinichi Honiden; Morris Sloman (SASO, 2011)

Group Migration by Mobile Agents in Wireless Sensor Networks. - Shunichiro Suenaga; Nobukazu Yoshioka; Shinichi Honiden (Comput. J., 2011)

Poplar: A Java Extension for Evolvable Component Integration - Johan Nyström-Persson; Shinichi Honiden (CoRR, 2011)

MiyakoDori: A Memory Reusing Mechanism for Dynamic VM Consolidation. - Soramichi Akiyama; Takahiro Hirofuchi; Ryousei Takano; Shinichi Honiden (IEEE CLOUD, 2012)

Component Trust for Web Service Compositions. - Mohammad-Reza Motallebi; Fuyuki Ishikawa; Shinichi Honiden (AAAI Spring Symposium: Intelligent Web Services Meet Social Computing, 2012)

Extracting Interaction-Based Stateful Behavior in Rich Internet Applications. - Yuta Maezawa; Hironori Washizaki; Shinichi Honiden (CSMR, 2012)

CMA-TWEANN: efficient optimization of neural networks via self-adaptation and seamless augmentation. - Hirotaka Moriguchi; Shinichi Honiden (GECCO, 2012)

Supporting View Transition Design of Smartphone Applications Using Web Templates. - Kazuki Nishiura; Yuta Maezawa; Fuyuki Ishikawa; Shinichi Honiden (ICWE, 2012)

A Probabilistic Approach for Long-Term B2B Service Compositions. - Adrian Klein; Florian Wagner 001; Fuyuki Ishikawa; Shinichi Honiden (ICWS, 2012)

Trust Computation in Web Service Compositions Using Bayesian Networks. - Mohammad-Reza Motallebi; Fuyuki Ishikawa; Shinichi Honiden (ICWS, 2012)

Multi-objective Service Composition with Time- and Input-Dependent QoS. - Florian Wagner 001; Adrian Klein; Benjamin Klöpper; Fuyuki Ishikawa; Shinichi Honiden (ICWS, 2012)

Web Service Selection Algorithm Using Vickrey Auction. - Atsushi Watanabe; Fuyuki Ishikawa; Yoshiaki Fukazawa; Shinichi Honiden (ICWS, 2012)

Towards Dynamic Evolution of Self-Adaptive Systems Based on Dynamic Updating of Control Loops. - Hiroyuki Nakagawa; Akihiko Ohsuga; Shinichi Honiden (SASO, 2012)

Efficient Neuroevolution for a Quadruped Robot. - Shengbo Xu; Hirotaka Moriguchi; Shinichi Honiden (SEAL, 2012)

Case studies on the development of wireless sensor network applications using multiple abstraction levels. - Ryo Shimizu; Kenji Tei; Yoshiaki Fukazawa; Shinichi Honiden (SESENA, 2012)

Towards network-aware service composition in the cloud. - Adrian Klein; Fuyuki Ishikawa; Shinichi Honiden (WWW, 2012)

Towards robust service compositions in the context of functionally diverse services. - Florian Wagner 001; Benjamin Klöpper; Fuyuki Ishikawa; Shinichi Honiden (WWW, 2012)

Towards Refinement Strategy Planning for Event-B - Tsutomu Kobayashi; Shinichi Honiden (CoRR, 2012)

A multi-objective evolutionary approach to scheduling for evolving manufacturing systems. - Benjamin Klöpper; Jan Patrick Pater; Shinichi Honiden; Wilhelm Dangelmaier (Evol. Syst., 2012)

S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study. - 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 (ANT/MobiWIS, 2012)

Engineering Autonomic Systems (EASy) (NII Shonan Meeting 2012-3). - Arosha K. Bandara; Shinichi Honiden; Yijun Yu (NII Shonan Meet. Rep., 2012)

Fast Wide Area Live Migration with a Low Overhead through Page Cache Teleportation. - Soramichi Akiyama; Takahiro Hirofuchi; Ryousei Takano; Shinichi Honiden (CCGRID, 2013)

Sample efficiency analysis of Neuroevolution algorithms on a quadruped robot. - Shengbo Xu; Hirotaka Moriguchi; Shinichi Honiden (IEEE Congress on Evolutionary Computation, 2013)

Goal Model Elaboration for Software Evolution. - Shinichi Honiden (ICECCS, 2013)

Automatic image description by using word-level features. - Shingo Horiuchi; Hirotaka Moriguchi; Shinichi Honiden; Shengbo Xu (ICIMCS, 2013)

Fault classification and model learning from sensory Readings - Framework for fault tolerance in wireless sensor networks. - Valentina Baljak; Kenji Tei; Shinichi Honiden (ISSNIP, 2013)

Automated verification of pattern-based interaction invariants in Ajax applications. - Yuta Maezawa; Hironori Washizaki; Yoshinori Tanabe; Shinichi Honiden (ASE, 2013)

A goal model elaboration for localizing changes in software evolution. - Hiroyuki Nakagawa; Akihiko Ohsuga; Shinichi Honiden (RE, 2013)

Mutation Analysis for JavaScriptWeb Application Testing. - Kazuki Nishiura; Yuta Maezawa; Hironori Washizaki; Shinichi Honiden (SEKE, 2013)

A Scalable Distributed Architecture for Network- and QoS-aware Service Composition - Adrian Klein; Fuyuki Ishikawa; Shinichi Honiden (CoRR, 2013)

Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7). - Shinichi Honiden; Zhenjiang Hu; Hausi A. Müller; John Mylopoulos; Yijun Yu (NII Shonan Meet. Rep., 2013)

Fast Live Migration with Small IO Performance Penalty by Exploiting SAN in Parallel. - Soramichi Akiyama; Takahiro Hirofuchi; Ryousei Takano; Shinichi Honiden (IEEE CLOUD, 2014)

Understanding and Planning Event-B Refinement through Primitive Rationales. - Tsutomu Kobayashi; Fuyuki Ishikawa; Shinichi Honiden (ABZ, 2014)

Sample efficiency improvement on neuroevolution via estimation-based elimination strategy. - Shengbo Xu; Yuki Inoue; Tetsunari Inamura; Hirotaka Moriguchi; Shinichi Honiden (AAMAS, 2014)

Evaluating Impact of Live Migration on Data Center Energy Saving. - Soramichi Akiyama; Takahiro Hirofuchi; Shinichi Honiden (CloudCom, 2014)

ArbitCheck: A Highly Automated Property-Based Testing Tool for Java. - Kohsuke Yatoh; Kazunori Sakamoto; Fuyuki Ishikawa; Shinichi Honiden (ICST Workshops, 2014)

An approach for evaluating and suggesting method names using n-gram models. - Takayuki Suzuki; Kazunori Sakamoto; Fuyuki Ishikawa; Shinichi Honiden (ICPC, 2014)

Validating ajax applications using a delay-based mutation technique. - Yuta Maezawa; Kazuki Nishiura; Hironori Washizaki; Shinichi Honiden (ASE, 2014)

Application of requirements prioritization decision rules in software product line evolution. - Mari Inoki; Takayuki Kitagawa; Shinichi Honiden (RePriCo, 2014)

Toward a portability framework with multi-level models for wireless sensor network software. - Ryo Shimizu; Kenji Tei; Yoshiaki Fukazawa; Shinichi Honiden (SMARTCOMP, 2014)

SanGA: A Self-Adaptive Network-Aware Approach to Service Composition. - Adrian Klein; Fuyuki Ishikawa; Shinichi Honiden (IEEE Trans. Serv. Comput., 2014)

Abstract rewriting Approach to solve Datalog programs. - Fernando Tarin Morales; Fuyuki Ishikawa; Shinichi Honiden (DBPL, 2015)

An Application Conflict Detection and Resolution System for Smart Homes. - Miki Yagita; Fuyuki Ishikawa; Shinichi Honiden (SEsCPS@ICSE, 2015)

Feedback-controlled random test generation. - Kohsuke Yatoh; Kazunori Sakamoto; Fuyuki Ishikawa; Shinichi Honiden (ISSTA, 2015)

Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering. - Soo Ling Lim; Peter J. Bentley; Natalie Kanakam; Fuyuki Ishikawa; Shinichi Honiden (IEEE Trans. Software Eng., 2015)

Model-Driven-Development-Based Stepwise Software Development Process for Wireless Sensor Networks. - Kenji Tei; Ryo Shimizu; Yoshiaki Fukazawa; Shinichi Honiden (IEEE Trans. Syst. Man Cybern. Syst., 2015)

Stepwise Refinement of Software Development Problem Analysis. - Tsutomu Kobayashi; Fuyuki Ishikawa; Shinichi Honiden (ER, 2016)

Refactoring Refinement Structure of Event-B Machines. - Tsutomu Kobayashi; Fuyuki Ishikawa; Shinichi Honiden (FM, 2016)

Automatic Generation of Potentially Pathological Instances for Validating Alloy Models. - Takaya Saeki; Fuyuki Ishikawa; Shinichi Honiden (ICFEM, 2016)

Assured and correct dynamic update of controllers. - Leandro Nahabedian; Víctor A. Braberman; Nicolás D'Ippolito; Shinichi Honiden; Jeff Kramer; Kenji Tei; Sebastián Uchitel (SEAMS@ICSE, 2016)

MuVM: Higher Order Mutation Analysis Virtual Machine for C. - Susumu Tokumoto; Hiroaki Yoshida; Kazunori Sakamoto; Shinichi Honiden (ICST, 2016)

Fast Live Migration for IO-Intensive VMs with Parallel and Adaptive Transfer of Page Cache via SAN. - Soramichi Akiyama; Takahiro Hirofuchi; Ryousei Takano; Shinichi Honiden (IEICE Trans. Inf. Syst., 2016)

Robust Service Compositions with Functional and Location Diversity. - Florian Wagner 001; Fuyuki Ishikawa; Shinichi Honiden (IEEE Trans. Serv. Comput., 2016)

Extracting Traceability between Predicates in Event-B Refinement. - Shinnosuke Saruwatari; Fuyuki Ishikawa; Tsutomu Kobayashi; Shinichi Honiden (APSEC, 2017)

Bash on Ubuntu on macOS. - Takaya Saeki; Yuichi Nishiwaki; Takahiro Shinagawa; Shinichi Honiden (APSys, 2017)

Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects. - Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden (SEAMS@ICSE, 2017)

Learning environment model at runtime for self-adaptive systems. - Moeka Tanabe; Kenji Tei; Yoshiaki Fukazawa; Shinichi Honiden (SAC, 2017)

Construction of Abstract State Graphs for Understanding Event-B Models. - Daichi Morita; Fuyuki Ishikawa; Shinichi Honiden (SETTA, 2017)

Test Suite Reduction in Idempotence Testing of Infrastructure as Code. - Katsuhiko Ikeshita; Fuyuki Ishikawa; Shinichi Honiden (TAP@STAF, 2017)

Falsification of Cyber-Physical Systems with Reinforcement Learning. - Koki Kato; Fuyuki Ishikawa; Shinichi Honiden (MT@CPSWeek, 2018)

Identifying safety properties guaranteed in changed environment at runtime. - Kazuya Aizawa; Kenji Tei; Shinichi Honiden (ICA, 2018)

AutoPUT: an automated technique for retrofitting closed unit tests into parameterized unit tests. - Keita Tsukamoto; Yuta Maezawa; Shinichi Honiden (SAC, 2018)

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; et al. (SEAMS@ICSE, 2019)

Analysis Space Reduction with State Merging for Ensuring Safety Properties of Self-Adaptive Systems. - Kazuya Aizawa; Kenji Tei; Shinichi Honiden (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2019)

Consistency-preserving refactoring of refinement structures in Event-B models. - Tsutomu Kobayashi; Fuyuki Ishikawa; Shinichi Honiden (Formal Aspects Comput., 2019)

Change Impact Analysis for Refinement-Based Formal Specification. - Shinnosuke Saruwatari; Fuyuki Ishikawa; Tsutomu Kobayashi; Shinichi Honiden (IEICE Trans. Inf. Syst., 2019)

Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis. - Kengo Kuwana; Kenji Tei; Yoshiaki Fukazawa; Shinichi Honiden (AIKE, 2020)

Method for Low-Cost Environment Partitioning Modeling in Dynamic Update. - Takuto Yamauchi; Kenji Tei; Shinichi Honiden (AIKE, 2020)

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 (COMPSAC, 2020)

Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault. - Jialong Li 001; Kazuya Aizawa; Kenji Tei; Shinichi Honiden (EUC, 2020)

Identifying Achievable Goals for Adaptive Replanning Against Runtime Environment Change. - Jialong Li 001; Kenji Tei; Shinichi Honiden (ISDA, 2020)

A robust and flexible operating system compatibility architecture. - Takaya Saeki; Yuichi Nishiwaki; Takahiro Shinagawa; Shinichi Honiden (VEE, 2020)

Dynamic Update of Discrete Event Controllers. - Leandro Nahabedian; Víctor A. Braberman; Nicolás D'Ippolito; Shinichi Honiden; Jeff Kramer; Kenji Tei; Sebastián Uchitel (IEEE Trans. Software Eng., 2020)

A Meta Reinforcement Learning-based Approach for Self-Adaptive System. - Mingyue Zhang 002; Jialong Li 001; Haiyan Zhao 001; Kenji Tei; Shinichi Honiden; Zhi Jin (ACSOS, 2021)

Blockchain-Based Cooperative Incentive System for Emergency Road Right Transferring. - Yichen Ding; Jialong Li 001; Kenji Tei; Shinichi Honiden (GCCE, 2021)

Transfer Learning Method in Reinforcement Learning-based Traffic Signal Control. - Zhenyu Mao; Jialong Li 001; Nianzhao Zheng; Kenji Tei; Shinichi Honiden (GCCE, 2021)

Towards Personalized Autonomous Driving: An Emotion Preference Style Adaptation Framework. - Jiali Ling; Jialong Li 001; Kenji Tei; Shinichi Honiden (ICA, 2021)

Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence. - Jialong Li 001; Zhenyu Mao; Zhen Cao; Kenji Tei; Shinichi Honiden (LifeTech, 2021)

Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation. - Jialong Li 001; Mingyue Zhang 002; Zhenyu Mao; Haiyan Zhao 001; Zhi Jin; Shinichi Honiden; Kenji Tei (APSEC, 2022)

Enhancing ICS Security Diagnostics with Pseudo-Greybox Fuzzing During Maintenance Testing. - Kazutaka Matsuzaki; Shinichi Honiden (ICSOFT, 2023)

MAPE-K Loop-Based Goal Model Generation Using Generative AI. - Hiroyuki Nakagawa; Shinichi Honiden (REW, 2023)

Remote Security Assessment for Cyber-Physical Systems: Adapting Design Patterns for Enhanced Diagnosis. - Kazutaka Matsuzaki; Kenji Sawada; Shinichi Honiden (SECRYPT, 2023)