Shinichi Honiden

272 papers A* 14A 33B 26C 23Misc 12Journal 47Unranked 114

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	LLM-based Adaptive Requirements Elicitation for Innovative Systems (S). SEKE Hiroyuki Nakagawa, Shinichi Honiden
2023	C	`conf`	Enhancing ICS Security Diagnostics with Pseudo-Greybox Fuzzing During Maintenance Testing. ICSOFT Kazutaka Matsuzaki, Shinichi Honiden
2023	—	`conf`	MAPE-K Loop-Based Goal Model Generation Using Generative AI. REW Hiroyuki Nakagawa, Shinichi Honiden
2023	C	`conf`	Remote Security Assessment for Cyber-Physical Systems: Adapting Design Patterns for Enhanced Diagnosis. SECRYPT Kazutaka Matsuzaki, Kenji Sawada, Shinichi Honiden
2022	C	`conf`	Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation. APSEC Jialong Li, Mingyue Zhang, Zhenyu Mao, Haiyan Zhao, Zhi Jin, Shinichi Honiden, Kenji Tei
2021	—	`conf`	A Meta Reinforcement Learning-based Approach for Self-Adaptive System. ACSOS Mingyue Zhang, Jialong Li, Haiyan Zhao, Kenji Tei, Shinichi Honiden, Zhi Jin
2021	J	`jnl`	A Meta Reinforcement Learning-based Approach for Self-Adaptive System. CoRR Mingyue Zhang, Jialong Li, Haiyan Zhao, Kenji Tei, Shinichi Honiden, Zhi Jin
2021	—	`conf`	Blockchain-Based Cooperative Incentive System for Emergency Road Right Transferring. GCCE Yichen Ding, Jialong Li, Kenji Tei, Shinichi Honiden
2021	—	`conf`	Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence. LifeTech Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden
2021	—	`conf`	Towards Personalized Autonomous Driving: An Emotion Preference Style Adaptation Framework. ICA Jiali Ling, Jialong Li, Kenji Tei, Shinichi Honiden
2021	—	`conf`	Transfer Learning Method in Reinforcement Learning-based Traffic Signal Control. GCCE Zhenyu Mao, Jialong Li, Nianzhao Zheng, Kenji Tei, Shinichi Honiden
2020	B	`conf`	A robust and flexible operating system compatibility architecture. VEE Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden
2020	J	`jnl`	Dynamic Update of Discrete Event Controllers. IEEE Trans. Software Eng. Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
2020	C	`conf`	Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault. EUC Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
2020	C	`conf`	Identifying Achievable Goals for Adaptive Replanning Against Runtime Environment Change. ISDA Jialong Li, Kenji Tei, Shinichi Honiden
2020	—	`conf`	Method for Low-Cost Environment Partitioning Modeling in Dynamic Update. AIKE Takuto Yamauchi, Kenji Tei, Shinichi Honiden
2020	—	`conf`	Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis. AIKE Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2020	—	`ed.`	SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June - 3 July, 2020 SEAMS@ICSE Shinichi Honiden, Elisabetta Di Nitto, Radu Calinescu
2020	B	`conf`	Smart SE: Smart Systems and Services Innovative Professional Education Program. COMPSAC Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira
2019	—	`conf`	Analysis Space Reduction with State Merging for Ensuring Safety Properties of Self-Adaptive Systems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Kazuya Aizawa, Kenji Tei, Shinichi Honiden
2019	J	`jnl`	Change Impact Analysis for Refinement-Based Formal Specification. IEICE Trans. Inf. Syst. Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
2019	J	`jnl`	Consistency-preserving refactoring of refinement structures in Event-B models. Formal Aspects Comput. Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
2019	—	`book`	Engineering Adaptive Software Systems - Communications of NII Shonan Meetings Engineering Adaptive Software Systems Yijun Yu, Arosha K. Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi A. Müller, John Mylopoulos, Bashar Nuseibeh
2019	—	`conf`	Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 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
2018	Misc	`conf`	AutoPUT: an automated technique for retrofitting closed unit tests into parameterized unit tests. SAC Keita Tsukamoto, Yuta Maezawa, Shinichi Honiden
2018	—	`conf`	Falsification of Cyber-Physical Systems with Reinforcement Learning. MT@CPSWeek Koki Kato, Fuyuki Ishikawa, Shinichi Honiden
2018	—	`conf`	Identifying safety properties guaranteed in changed environment at runtime. ICA Kazuya Aizawa, Kenji Tei, Shinichi Honiden
2017	—	`conf`	Bash on Ubuntu on macOS. APSys Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden
2017	Misc	`conf`	Construction of Abstract State Graphs for Understanding Event-B Models. SETTA Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden
2017	C	`conf`	Extracting Traceability between Predicates in Event-B Refinement. APSEC Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
2017	—	`conf`	Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects. SEAMS@ICSE Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
2017	Misc	`conf`	Learning environment model at runtime for self-adaptive systems. SAC Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2017	—	`conf`	Test Suite Reduction in Idempotence Testing of Infrastructure as Code. TAP@STAF Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden
2016	—	`conf`	Assured and correct dynamic update of controllers. SEAMS@ICSE Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
2016	C	`conf`	Automatic Generation of Potentially Pathological Instances for Validating Alloy Models. ICFEM Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden
2016	J	`jnl`	Fast Live Migration for IO-Intensive VMs with Parallel and Adaptive Transfer of Page Cache via SAN. IEICE Trans. Inf. Syst. Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden
2016	A	`conf`	MuVM: Higher Order Mutation Analysis Virtual Machine for C. ICST Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden
2016	B	`conf`	Refactoring Refinement Structure of Event-B Machines. FM Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
2016	J	`jnl`	Robust Service Compositions with Functional and Location Diversity. IEEE Trans. Serv. Comput. Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
2016	A	`conf`	Stepwise Refinement of Software Development Problem Analysis. ER Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
2015	—	`conf`	Abstract rewriting Approach to solve Datalog programs. DBPL Fernando Tarin Morales, Fuyuki Ishikawa, Shinichi Honiden
2015	—	`conf`	An Application Conflict Detection and Resolution System for Smart Homes. SEsCPS@ICSE Miki Yagita, Fuyuki Ishikawa, Shinichi Honiden
2015	A	`conf`	Feedback-controlled random test generation. ISSTA Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
2015	J	`jnl`	Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering. IEEE Trans. Software Eng. Soo Ling Lim, Peter J. Bentley, Natalie Kanakam, Fuyuki Ishikawa, Shinichi Honiden
2015	J	`jnl`	Model-Driven-Development-Based Stepwise Software Development Process for Wireless Sensor Networks. IEEE Trans. Syst. Man Cybern. Syst. Kenji Tei, Ryo Shimizu, Yoshiaki Fukazawa, Shinichi Honiden
2014	A	`conf`	An approach for evaluating and suggesting method names using n-gram models. ICPC Takayuki Suzuki, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
2014	—	`conf`	Application of requirements prioritization decision rules in software product line evolution. RePriCo Mari Inoki, Takayuki Kitagawa, Shinichi Honiden
2014	—	`conf`	ArbitCheck: A Highly Automated Property-Based Testing Tool for Java. ICST Workshops Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
2014	C	`conf`	Evaluating Impact of Live Migration on Data Center Energy Saving. CloudCom Soramichi Akiyama, Takahiro Hirofuchi, Shinichi Honiden
2014	—	`conf`	Fast Live Migration with Small IO Performance Penalty by Exploiting SAN in Parallel. IEEE CLOUD Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden
2014	A	`conf`	Sample efficiency improvement on neuroevolution via estimation-based elimination strategy. AAMAS Shengbo Xu, Yuki Inoue, Tetsunari Inamura, Hirotaka Moriguchi, Shinichi Honiden
2014	J	`jnl`	SanGA: A Self-Adaptive Network-Aware Approach to Service Composition. IEEE Trans. Serv. Comput. Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
2014	B	`conf`	Toward a portability framework with multi-level models for wireless sensor network software. SMARTCOMP Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2014	C	`conf`	Understanding and Planning Event-B Refinement through Primitive Rationales. ABZ Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
2014	A*	`conf`	Validating ajax applications using a delay-based mutation technique. ASE Yuta Maezawa, Kazuki Nishiura, Hironori Washizaki, Shinichi Honiden
2013	J	`jnl`	A Scalable Distributed Architecture for Network- and QoS-aware Service Composition CoRR Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
2013	A	`conf`	A goal model elaboration for localizing changes in software evolution. RE Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
2013	A*	`conf`	Automated verification of pattern-based interaction invariants in Ajax applications. ASE Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe, Shinichi Honiden
2013	—	`conf`	Automatic image description by using word-level features. ICIMCS Shingo Horiuchi, Hirotaka Moriguchi, Shinichi Honiden, Shengbo Xu
2013	J	`jnl`	Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7). NII Shonan Meet. Rep. Shinichi Honiden, Zhenjiang Hu, Hausi A. Müller, John Mylopoulos, Yijun Yu
2013	B	`conf`	Fast Wide Area Live Migration with a Low Overhead through Page Cache Teleportation. CCGRID Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden
2013	—	`conf`	Fault classification and model learning from sensory Readings - Framework for fault tolerance in wireless sensor networks. ISSNIP Valentina Baljak, Kenji Tei, Shinichi Honiden
2013	B	`conf`	Goal Model Elaboration for Software Evolution. ICECCS Shinichi Honiden
2013	C	`conf`	Mutation Analysis for JavaScriptWeb Application Testing. SEKE Kazuki Nishiura, Yuta Maezawa, Hironori Washizaki, Shinichi Honiden
2013	B	`conf`	Sample efficiency analysis of Neuroevolution algorithms on a quadruped robot. IEEE Congress on Evolutionary Computation Shengbo Xu, Hirotaka Moriguchi, Shinichi Honiden
2012	A	`conf`	A Probabilistic Approach for Long-Term B2B Service Compositions. ICWS Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
2012	J	`jnl`	A multi-objective evolutionary approach to scheduling for evolving manufacturing systems. Evol. Syst. Benjamin Klöpper, Jan Patrick Pater, Shinichi Honiden, Wilhelm Dangelmaier
2012	A	`conf`	CMA-TWEANN: efficient optimization of neural networks via self-adaptation and seamless augmentation. GECCO Hirotaka Moriguchi, Shinichi Honiden
2012	—	`conf`	Case studies on the development of wireless sensor network applications using multiple abstraction levels. SESENA Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2012	—	`conf`	Component Trust for Web Service Compositions. AAAI Spring Symposium: Intelligent Web Services Meet Social Computing Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden
2012	—	`conf`	Efficient Neuroevolution for a Quadruped Robot. SEAL Shengbo Xu, Hirotaka Moriguchi, Shinichi Honiden
2012	J	`jnl`	Engineering Autonomic Systems (EASy) (NII Shonan Meeting 2012-3). NII Shonan Meet. Rep. Arosha K. Bandara, Shinichi Honiden, Yijun Yu
2012	—	`conf`	Extracting Interaction-Based Stateful Behavior in Rich Internet Applications. CSMR Yuta Maezawa, Hironori Washizaki, Shinichi Honiden
2012	—	`conf`	MiyakoDori: A Memory Reusing Mechanism for Dynamic VM Consolidation. IEEE CLOUD Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden
2012	A	`conf`	Multi-objective Service Composition with Time- and Input-Dependent QoS. ICWS Florian Wagner, Adrian Klein, Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden
2012	—	`conf`	S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study. ANT/MobiWIS 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
2012	B	`conf`	Supporting View Transition Design of Smartphone Applications Using Web Templates. ICWE Kazuki Nishiura, Yuta Maezawa, Fuyuki Ishikawa, Shinichi Honiden
2012	—	`conf`	Towards Dynamic Evolution of Self-Adaptive Systems Based on Dynamic Updating of Control Loops. SASO Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
2012	J	`jnl`	Towards Refinement Strategy Planning for Event-B CoRR Tsutomu Kobayashi, Shinichi Honiden
2012	A*	`conf`	Towards network-aware service composition in the cloud. WWW Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
2012	A*	`conf`	Towards robust service compositions in the context of functionally diverse services. WWW Florian Wagner, Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden
2012	A	`conf`	Trust Computation in Web Service Compositions Using Bayesian Networks. ICWS Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden
2012	A	`conf`	Web Service Selection Algorithm Using Vickrey Auction. ICWS Atsushi Watanabe, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden
2011	—	`conf`	A method for data-flow analysis of business components. CBSE Taku Inoue, Shinichi Honiden
2011	Misc	`conf`	Activity States Framework as an Experimental Approach to Studying, and Modeling Context in Web-Mediated Collaborative Dialogs. FLAIRS Nik Nailah Binti Abdullah, Samuel Mendes, Stefano A. Cerri, Shinichi Honiden
2011	—	`conf`	Applying QoS-Aware Service Selection on Functionally Diverse Services. ICSOC Workshops Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
2011	C	`conf`	Assignment of Sensors for Multiple Tasks Using Path Information. EUC Susumu Toriumi, Shinichi Honiden
2011	—	`conf`	Autonomic Role and Mission Allocation Framework for Wireless Sensor Networks. SASO Themistoklis Bourdenas, Kenji Tei, Shinichi Honiden, Morris Sloman
2011	—	`conf`	Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures. IEEE SCC Fuyuki Ishikawa, Satoshi Katafuchi, Florian Wagner, Yoshiaki Fukazawa, Shinichi Honiden
2011	—	`conf`	Decision making in adaptive manufacturing systems: Multi-objective scheduling and user interface. CICA Benjamin Klöpper, Shinichi Honiden, Jan Patrick Pater, Wilhelm Dangelmaier
2011	—	`conf`	Divide & conquer in planning for self-optimizing mechatronic systems - A first application example. CICA Benjamin Klöpper, Shinichi Honiden, Wilhelm Dangelmaier
2011	A	`conf`	Efficient Heuristic Approach with Improved Time Complexity for Qos-Aware Service Composition. ICWS Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
2011	J	`jnl`	Group Migration by Mobile Agents in Wireless Sensor Networks. Comput. J. Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden
2011	Misc	`conf`	How Artefacts Influence the Construction of Communications and Contexts during Collaboration in an Agile Software Development Team. FLAIRS Nik Nailah Binti Abdullah, Helen Sharp, Shinichi Honiden
2011	Misc	`conf`	IMPULSE: a design framework for multi-agent systems based on model transformation. SAC Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden
2011	—	`conf`	Model driven development for rapid prototyping and optimization of wireless sensor network applications. SESENA@ICSE Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2011	J	`jnl`	Poplar: A Java Extension for Evolvable Component Integration CoRR Johan Nyström-Persson, Shinichi Honiden
2011	A	`conf`	QoS-Aware Automatic Service Composition by Applying Functional Clustering. ICWS Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
2011	A	`conf`	Service Selection with Combinational Use of Functionally-Equivalent Services. ICWS Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden
2011	—	`conf`	Utility-Based Self-Adaption with Environment Specific Quality Models. ICAIS Camilo Fitzgerald, Benjamin Klöpper, Shinichi Honiden
2011	A	`conf`	gocc: a configuration compiler for self-adaptive systems using goal-oriented requirements description. SEAMS Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
2010	B	`conf`	A Framework for Validating Task Assignment in Multiagent Systems Using Requirements Importance. PRIMA Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden
2010	Misc	`conf`	A Method of Analysis to Uncover Artefact-Communication Relationships. FLAIRS Nik Nailah Binti Abdullah, Helen C. Sharp, Shinichi Honiden
2010	A	`conf`	Adaptive geographic routing in wireless sensor networks. MSWiM Rey Abe, Shinichi Honiden
2010	J	`jnl`	Approximate Shortest Path Queries Using Voronoi Duals. Trans. Comput. Sci. Shinichi Honiden, Michael E. Houle, Christian Sommer, Martin Wolff
2010	B	`conf`	Business Semantics Centric Reliability Testing for Web Services in BPEL. SERVICES Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden
2010	B	`conf`	Communication in Context: A Stimulus-Response Account of Agile Team Interactions. XP Nik Nailah Binti Abdullah, Helen Sharp, Shinichi Honiden
2010	Misc	`conf`	Cooperative Behaviors Description for Self-* Systems Implementation. PAAMS Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
2010	—	`ch.`	Data Management Solutions in Networked Sensing Systems. Wireless Sensor Network Technologies for the Information Explosion Era Levent Gürgen, Claudia Roncancio, Cyril Labbé, Shinichi Honiden
2010	A	`conf`	Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy. ICSOC Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
2010	A	`conf`	Extraction of Places Related to Flickr Tags. ECAI Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden
2010	—	`conf`	Planning with Utility and State Trajectory Constraints in Self-Healing Automotive Systems. SASO Benjamin Klöpper, Shinichi Honiden, Jan Meyer, Matthias Tichy
2010	A	`conf`	Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes. ICSOC Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden
2010	B	`conf`	Suppressing Redundancy in Wireless Sensor Network Traffic. DCOSS Rey Abe, Shinichi Honiden
2010	A	`conf`	Sustaining behavioral diversity in NEAT. GECCO Hirotaka Moriguchi, Shinichi Honiden
2010	—	`conf`	Thinking Autonomic for Sensing Devices. ICAS Rémi Sharrock, Amin Cherbal, Levent Gürgen, Thierry Monteil, Shinichi Honiden
2009	—	`conf`	Approximate Shortest Path Queries in Graphs Using Voronoi Duals. ISVD Shinichi Honiden, Michael E. Houle, Christian Sommer, Martin Wolff
2009	—	`conf`	Balancing Graph Voronoi Diagrams. ISVD Shinichi Honiden, Michael E. Houle, Christian Sommer
2009	A*	`conf`	Distributed Arrays: A P2P Data Structure for Efficient Logical Arrays. INFOCOM Daisuke Fukuchi, Christian Sommer, Yuichi Sei, Shinichi Honiden
2009	J	`jnl`	Evolution of a course on model checking for practical applications. ACM SIGCSE Bull. Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden
2009	Misc	`conf`	Geographical data collection in sensor networks with self-organizing transaction cluster-heads. SAC Neeraj Rajgure, Eric Platon, Cristian Borcea, Shinichi Honiden
2009	B	`conf`	Management of Networked Sensing Devices. Mobile Data Management Levent Gürgen, Shinichi Honiden
2009	—	`conf`	Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering. RELAW Fuyuki Ishikawa, Rihoko Inoue, Shinichi Honiden
2009	J	`jnl`	On Applicability of Formal Methods and Tools to Dependable Services. IEICE Trans. Commun. Fuyuki Ishikawa, Shinichi Honiden
2009	—	`conf`	Opérations d'administration pour SStreaMWare. UbiMob Levent Gürgen, Cyril Labbé, Shinichi Honiden
2009	—	`conf`	Physical interaction in pervasive computing: formal modeling, analysis and verification. ICPS Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden
2009	—	`conf`	Plug&manage heterogeneous sensing devices. DMSN Levent Gürgen, Johan Nyström-Persson, Amin Cherbal, Cyril Labbé, Claudia Roncancio, Shinichi Honiden
2009	—	`conf`	Reporter node determination of replicated node detection in wireless sensor networks. ICUIMC Yuichi Sei, Shinichi Honiden
2009	B	`conf`	Specifying and Checking Refinement Relationships in VDM++. SEFM Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden
2009	—	`conf`	What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project. TFM Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden
2008	A*	`conf`	A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems. PerCom Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden
2008	J	`jnl`	An architecture for exception management in multiagent systems. Int. J. Agent Oriented Softw. Eng. Eric Platon, Nicolas Sabouret, Shinichi Honiden
2008	—	`conf`	An efficient node selection metric for in-network process deployment. WICON Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2008	—	`conf`	Constructing Self-Adaptive Systems Using a KAOS Model. SASO Workshops Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
2008	B	`conf`	Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems. EDOC Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Shinichi Honiden, Yoshiaki Fukazawa
2008	—	`conf`	Distributed detection of node replication attacks resilient to many compromised nodes in wireless sensor networks. WICON Yuichi Sei, Shinichi Honiden
2008	—	`conf`	Energy-efficient event detection in 3D wireless sensor networks. Wireless Days Susumu Toriumi, Yuichi Sei, Shinichi Honiden
2008	C	`conf`	Model Checking Process with Goal Oriented Requirements Analysis. APSEC Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden
2008	—	`conf`	Name-based location service for mobile agents in wireless sensor networks. MOBILWARE Shunichiro Suenaga, Shinichi Honiden
2008	—	`conf`	Region-Based Sensor Selection for Wireless Sensor Networks. SUTC Yoshiyuki Nakamura, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2007	J	`jnl`	A hierarchical mobile agent framework and its application to multimedia contents. Syst. Comput. Jpn. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
2007	—	`conf`	AOP-based automated unit test classification of large benchmarks. COMPSAC (2) Cyrille Artho, Zhongwei Chen, Shinichi Honiden
2007	—	`conf`	Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation. OTM Conferences (1) Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
2007	B	`conf`	Applying Design Patterns to Wireless Sensor Network Programming. ICCCN Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2007	A	`conf`	Building coalitions involving agents and humans: reports from agent-based participatory simulations. AAMAS Paul Guyot, Shinichi Honiden
2007	—	`conf`	Context in Use for Analyzing Conversation Structures on the Web Tied to the Notion of Situatedness. CONTEXT Nik Nailah Binti Abdullah, Shinichi Honiden
2007	—	`conf`	Detecting Intrusions in Agent System by Means of Exception Handling. HoloMAS Eric Platon, Martin Rehák, Nicolas Sabouret, Michal Pechoucek, Shinichi Honiden
2007	C	`conf`	Developing Consistent Contractual Policies in Service Composition. APSCC Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
2007	—	`conf`	Efficient Model Checking of Applications with Input/Output. EUROCAST Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden
2007	—	`conf`	Flexible Bloom Filters for Searching Textual Objects. AP2PC Yuichi Sei, Kazutaka Matsuzaki, Shinichi Honiden
2007	A*	`conf`	Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. ASE Hiroyuki Nakagawa, Kenji Taguchi, Shinichi Honiden
2007	J	`jnl`	IOM/T: interaction-oriented model by textual notation. Int. J. Agent Oriented Softw. Eng. Takuo Doi, Shinichi Honiden
2007	J	`jnl`	Improving Accuracy of Recommender System by Item Clustering. IEICE Trans. Inf. Syst. KhanhQuan Truong, Fuyuki Ishikawa, Shinichi Honiden
2007	—	`conf`	Increasing the Ease of Deployment in Ubiquitous Environments. PerCom Workshops Kazutaka Matsuzaki, Shinichi Honiden
2007	—	`conf`	Managing Difference-Based Objects with Sub-networks in Peer-to-Peer Environments. OTM Workshops (2) Daisuke Fukuchi, Yuichi Sei, Shinichi Honiden
2007	J	`jnl`	Mechanisms for environments in multi-agent systems: Survey and opportunities. Auton. Agents Multi Agent Syst. Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
2007	Misc	`conf`	Model Checking Networked Programs in the Presence of Transmission Failures. TASE Cyrille Artho, Christian Sommer, Shinichi Honiden
2007	A	`conf`	Policy-based Runtime Partner Management in ProcessBased Services. ICWS Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
2007	A	`conf`	Protocol Selection alongside Service Selection and Composition. ICWS José Ghislain Quenum, Fuyuki Ishikawa, Shinichi Honiden
2007	—	`conf`	Resilient Security for False Event Detection Without Loss of Legitimate Events in Wireless Sensor Networks. OTM Conferences (1) Yuichi Sei, Shinichi Honiden
2007	B	`conf`	Ringed Filters for Peer-to-Peer Keyword Searching. ICCCN Yuichi Sei, Shinichi Honiden
2007	A*	`conf`	Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan. ICSE Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Hironori Washizaki
2007	—	`conf`	Visualization of Concurrent Program Executions. COMPSAC (2) Cyrille Artho, Klaus Havelund, Shinichi Honiden
2006	—	`conf`	A Definition of Exceptions in Agent-Oriented Computing. ESAW Eric Platon, Nicolas Sabouret, Shinichi Honiden
2006	—	`conf`	A Modeling Framework for Generic Agent Interaction Protocols. DALT José Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, Shinichi Honiden
2006	—	`conf`	A Sensor Middleware for Lightweight Relocatable Sensing Programs. CIMCA/IAWTIC Makoto Ishiguro, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2006	—	`conf`	Adaptive Geographically Bound Mobile Agents. MSN Kenji Tei, Christian Sommer, Yoshiaki Fukazawa, Shinichi Honiden, Pierre-Loïc Garoche
2006	J	`jnl`	Agent-Based Participatory Simulations: Merging Multi-Agent Systems and Role-Playing Games. J. Artif. Soc. Soc. Simul. Paul Guyot, Shinichi Honiden
2006	—	`conf`	An Algorithm to Reduce the Communication Traffic for Multi-Word Searches in a Distributed Hash Table. IFIP TCS Yuichi Sei, Kazutaka Matsuzaki, Shinichi Honiden
2006	A*	`conf`	Analysis of multi-agent systems based on KAOS modeling. ICSE Hiroyuki Nakagawa, Takuya Karube, Shinichi Honiden
2006	—	`conf`	Challenges for Exception Handling in Multi-Agent Systems. SELMAS (LNCS) Eric Platon, Nicolas Sabouret, Shinichi Honiden
2006	—	`conf`	Challenges in exception handling in multi-agent systems. SELMAS Eric Platon, Shinichi Honiden, Nicolas Sabouret
2006	—	`conf`	Dynamic Protocol Selection in Open and Heterogeneous Systems. IAT José Ghislain Quenum, Samir Aknine, Onn Shehory, Shinichi Honiden
2006	B	`conf`	Enforcer - Efficient Failure Injection. FM Cyrille Artho, Armin Biere, Shinichi Honiden
2006	—	`conf`	Environmental Support for Tag Interactions. E4MAS Eric Platon, Nicolas Sabouret, Shinichi Honiden
2006	—	`conf`	Exhaustive Testing of Exception Handlers with Enforcer. FMCO Cyrille Artho, Armin Biere, Shinichi Honiden
2006	J	`jnl`	Formal model of mobile BPEL4WS process. Int. J. Bus. Process. Integr. Manag. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
2006	—	`conf`	Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity. CIMCA/IAWTIC Truong Khanh Quan, Fuyuki Ishikawa, Shinichi Honiden
2006	—	`conf`	Introducing Auction Scheme to Route Allocation to Prolong the Lifetime of Ad-Hoc Networks. CIMCA/IAWTIC Kenji Tei, Hiromi Muto, Yoshiaki Fukazawa, Shinichi Honiden
2006	—	`conf`	Multi-Robot Positioning Model: Multi-Agent Approach. CIMCA/IAWTIC Satoshi Kataoka, Shinichi Honiden
2006	B	`conf`	PID-filtered Negotiation for Decision Making in Dynamic Coverage Problem. ICTAI Satoshi Kataoka, Fuyuki Ishikawa, Shinichi Honiden
2006	A	`conf`	Performance of pheromone model for predicting traffic congestion. AAMAS Yasushi Ando, Yoshiaki Fukazawa, Osamu Masutani, Hirotoshi Iwasaki, Shinichi Honiden
2006	A	`conf`	Power and negotiation: lessons from agent-based participatory simulations. AAMAS Paul Guyot, Alexis Drogoul, Shinichi Honiden
2006	—	`conf`	Reduction of the Communication Traffic for Multi-word Searches in DHTs. CIMCA/IAWTIC Yuichi Sei, Kazutaka Matsuzaki, Shinichi Honiden
2006	A	`conf`	Service-oriented and autonomous distribution and provision of multimedia contents. AAMAS Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
2006	—	`conf`	Smartive: Agreement-based Mobile Composite Agents for Multimedia Services. CIMCA/IAWTIC Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
2006	—	`conf`	Web Page Recommender System based on Folksonomy Mining for ITNG '06 Submissions. ITNG Satoshi Niwa, Takuo Doi, Shinichi Honiden
2005	—	`conf`	A Model for Policy Based Service Community. ICEIS (3) Hironobu Kuruma, Shinichi Honiden
2005	J	`jnl`	A framework for synthesis of web services and mobile agents. Int. J. Pervasive Comput. Commun. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
2005	A	`conf`	Agent synthesis: partnership and agreement in cooperative mobile agents. AAMAS Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
2005	J	`jnl`	Application of the ?Plangent intelligent mobile agent architecture for embedded systems to the inspection of power systems. Syst. Comput. Jpn. Kenta Cho, Yutaka Irie, Akihiko Ohsuga, Katsuhiko Sekiguchi, Shinichi Honiden
2005	—	`conf`	Flexible and Maintainable Contents Activities in Ubiquitous Environment. OTM Workshops Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden
2005	—	`conf`	Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound. ICEIS (4) Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
2005	C	`conf`	Geographically Bound Mobile Agent in MANET. MobiQuitous Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden, Nobukazu Yoshioka
2005	A	`conf`	IOM/T: an interaction description language for multi-agent systems. AAMAS Takuo Doi, Yasuyuki Tahara, Shinichi Honiden
2005	—	`conf`	Incorporating Agreements on Service Options into BPEL-based Services. CIMCA/IAWTIC Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
2005	J	`jnl`	Mobile agent system for Web service integration in pervasive network. Syst. Comput. Jpn. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
2005	—	`conf`	Mobile and Cooperative Compounds of Multimedia Services. IEEE SCC Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
2005	—	`conf`	Modelling interactions in assistant teams. AMT Eric Platon, Shinichi Honiden, Nicolas Sabouret
2005	—	`conf`	Overhearing and Direct Interactions: Point of View of an Active Environment. E4MAS Eric Platon, Nicolas Sabouret, Shinichi Honiden
2005	—	`conf`	Pheromone Model: Application to Traffic Congestion Prediction. Engineering Self-Organising Systems Yasushi Ando, Osamu Masutani, Hiroshi Sasaki, Hirotoshi Iwasaki, Yoshiaki Fukazawa, Shinichi Honiden
2005	A	`conf`	Pheromone model: application to traffic congestion prediction. AAMAS Osamu Masutani, Hiroshi Sasaki, Hirotoshi Iwasaki, Yasushi Ando, Yoshiaki Fukazawa, Shinichi Honiden
2005	C	`conf`	Tag Interactions in MultiAgent Systems: Environment Support. EUMAS Eric Platon, Nicolas Sabouret, Shinichi Honiden
2005	—	`conf`	Using Mobile Agent for Location-Specific Data Retrieval in Manet. INTELLCOMM Kenji Tei, Nobukazu Yoshioka, Yoshiaki Fukazawa, Shinichi Honiden
2004	—	`conf`	A Pattern Oriented Mobile Agent Framework for Mobile Computing. MATA Nobukazu Yoshioka, Shinichi Honiden
2004	A	`conf`	Behavior Descriptions of Mobile Agents for Web Services Integration. ICWS Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
2004	—	`conf`	Bridging the Gap Between AUML and Implementation Using IOM/T. PROMAS Takou Doi, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
2004	J	`jnl`	Context-aware agent platform in ubiquitous environments and its verification tests. Syst. Comput. Jpn. Masanori Hattori, Kenta Cho, Akihiko Ohsuga, Masao Isshiki, Shinichi Honiden
2004	—	`conf`	Development Methodology for Location-Aware Mobile Agent. MATA Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden
2004	A	`conf`	Dynamic Invocation Model of Web Services Using Subsumption Relations. ICWS Shinichi Nagano, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden
2004	B	`conf`	Introducing Participative Personal Assistant Teams in Negotiation Support Systems. PRIMA Eric Platon, Shinichi Honiden
2004	—	`conf`	Mobeet: A Multi-agent Framework for Ubiquitous Information Systems. AOIS Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden
2004	—	`conf`	Mobile Agent System for Web Services Integration in Pervasive Networks. IWUC Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
2004	A	`conf`	Pigeon: A Specification Language for Mobile Agent Applications. AAMAS Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
2004	B	`conf`	Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems. EDOC Nobukazu Yoshioka, Shinichi Honiden, Anthony Finkelstein
2004	Misc	`conf`	Software Design Method for Agent Systems from Scenarios. CATA Kazunori Matsumoto, Shinichi Honiden
2004	—	`conf`	T-Compound Interaction and Overhearing Agents. ESAW Eric Platon, Nicolas Sabouret, Shinichi Honiden
2004	—	`conf`	Ubiquitous Application Development using a Mobile Agent-based System. IWUC Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden
2004	B	`conf`	picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing. PRIMA Kenta Cho, Hisashi Hayashi, Masanori Hattori, Akihiko Ohsuga, Shinichi Honiden
2003	—	`conf`	A Formal Model of Active Contents Based on the Ambient Calculus. MATA Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
2003	A*	`conf`	Context-Aware Agent Platform in Ubiquitous Environments and Its Verification Tests. PerCom Masanori Hattori, Kenta Cho, Akihiko Ohsuga, Masao Isshiki, Shinichi Honiden
2003	J	`jnl`	Formal specification of components in a component-based framework development method. Syst. Comput. Jpn. Kazuki Yoshida, Shinichi Honiden
2003	A*	`conf`	Integrating Multiple Internet Directories by Instance-based Learning. IJCAI Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden
2003	A	`conf`	Interoperability for mobile agents by incarnation agents. AAMAS Tetsuo Hasegawa, Kenta Cho, Fumihiro Kumeno, Shin Nakajima, Akihiko Ohsuga, Shinichi Honiden
2003	A*	`conf`	Mobile Agent Based Evacuation System When The Battery Runs Out: EASTER. PerCom Heisuke Kaneko, Yoshiaki Fukazawa, Fumihiro Kumeno, Nobukazu Yoshioka, Shinichi Honiden
2003	Misc	`conf`	Planning Mobile Agent Architecture for Realizing Mobile Intelligence. PDPTA Masanori Hattori, Akihiko Ohsuga, Shinichi Honiden
2002	J	`jnl`	Evaluation of a Multi Agent Framework for Open Distributed Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Nobukazu Yoshioka, Takahiro Kawamura, Akihiko Ohsuga, Shinichi Honiden
2002	J	`jnl`	Planning mobile agent architecture for open network environment. Syst. Comput. Jpn. Masanori Hattori, Akihiko Ohsuga, Shinichi Honiden
2001	—	`conf`	Automated Alignment of Multiple Internet Directories. WWW Posters Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden
2001	C	`conf`	Behavior Patterns for Mobile Agent Systems from the Development Process Viewpoint. ISADS Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
2001	—	`conf`	Mobile agent security with the IPEditor development tool and the mobile UNITY language. Agents Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
2001	—	`conf`	Rule Induction for Concept Hierarchy Alignment. Workshop on Ontology Learning Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden
2001	—	`conf`	Secure and efficient mobile agent application reuse using patterns. SSR Yasuyuki Tahara, Nobukazu Toshiba, Akihiko Ohsuga, Shinichi Honiden
2000	J	`jnl`	Bee-gent: bonding and encapsulation enhancement agent framework for development of distributed systems. Syst. Comput. Jpn. Takahiro Kawamura, Yasuyuki Tahara, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden
2000	—	`conf`	Quantitative Evaluation of Pairwise Interactions between Agents. ASA/MA Takahiro Kawamura, Sam Joseph, Akihiko Ohsuga, Shinichi Honiden
2000	B	`conf`	Rental Application to Rental Service Development of Advanced ASP Framework. EDOC Takahiro Kawamura, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden
2000	—	`conf`	Security for Mobile Agents. AOSE Nobukazu Yoshioka, Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
1999	A*	`conf`	Agent System Development Method Based on Agent Patterns. ICSE Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
1999	C	`conf`	Agent System Development Method based on Agent Patterns. ISADS Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
1999	J	`jnl`	Agent-Based Drivers' Information Assistance System. New Gener. Comput. Masanori Hattori, Naoki Kase, Akihiko Ohsuga, Shinichi Honiden
1999	C	`conf`	Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems. APSEC Takahiro Kawamura, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden
1997	J	`jnl`	EVA: A Flexible Programming Method for Evolving Systems. IEEE Trans. Software Eng. Saeko Matsuura, Hironobu Kuruma, Shinichi Honiden
1997	J	`jnl`	Hypersequential programming: a new way to develop concurrent programs. IEEE Concurrency Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki
1997	J	`jnl`	PLANGENT: An Approach to Making Mobile Agents Intelligent. IEEE Internet Comput. Akihiko Ohsuga, Yasuo Nagai, Yutaka Irie, Masanori Hattori, Shinichi Honiden
1996	—	`conf`	An Algebraic Semantics of Reflective Objects. ISOTAS Yasuyuki Tahara, Fumihiro Kumeno, Akihiko Ohsuga, Shinichi Honiden
1996	J	`jnl`	Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. J. Syst. Softw. Naoshi Uchihira, Shinichi Honiden
1996	—	`conf`	Hypersequential programming - a novel paradigm for concurrent programming. Software Engineering for Parallel and Distributed Systems Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki
1996	J	`jnl`	MENDELS ZONE: A parallel program development system based on formal specifications. Inf. Softw. Technol. Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
1996	B	`conf`	Reuse of design processes based on domain analysis. ICSR Mari Natori, Akira Kagaya, Shinichi Honiden
1995	J	`jnl`	Adapting Object-Communication Methods Dynamically. IEEE Softw. Yoshinori Kishimoto, Nobuto Kotaka, Shinichi Honiden
1995	—	`conf`	Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. HICSS (2) Naoshi Uchihira, Shinichi Honiden
1995	J	`jnl`	Cooad: a Case Tool for Object-Oriented Analysis and Design. Int. J. Softw. Eng. Knowl. Eng. Junichi Yamamoto, Akihiko Ohsuga, Shinichi Honiden
1995	C	`conf`	Evolutional Agents: Field Oriented Programming Language, Flage. APSEC Fumihiro Kumeno, Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
1995	—	`conf`	Formal Semantics of Agent Evolution in Language Flage. OBPDC Yasuyuki Tahara, Fumihiro Kumeno, Akihiko Ohsuga, Shinichi Honiden
1995	J	`jnl`	Guest Editors' Introduction: Reliability and Safety of Real-Time Systems. IEEE Softw. William W. Everett, Shinichi Honiden
1995	C	`conf`	Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse. APSEC Saeko Matsuura, Shinichi Honiden
1994	J	`jnl`	An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems. IEEE Trans. Software Eng. Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh
1994	B	`conf`	Flage: field-oriented language for agents model. ICSR Fumihiro Kumeno, Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
1994	C	`conf`	Object-oriented analysis and design support system using algebraic specification techniques. APSEC Junichi Yamamoto, Akihiko Ohsuga, Shinichi Honiden
1993	C	`conf`	An Experimental Analysis for Classifying Specification Processes. SEKE Seiichi Komiya, Motoshi Saeki, Shinichi Honiden, Junzou Kato, Akira Ohmori, Hisayuki Horai, Shigeru Ohtsuki, Kazuhito Ohmaki
1993	J	`jnl`	Formalizing Specification Modeling in OOA. IEEE Softw. Shinichi Honiden, Nobuto Kotaka, Yoshinori Kishimoto
1992	—	`conf`	Specification Process Modelling in Object-Oriented Analysis. TOOLS (6) Nobuto Kotaka, Yoshinori Kishimoto, Shinichi Honiden
1992	J	`jnl`	Transobj: Software Prototyping Environment for Real-Time Transaction-Based Software System Applications. Int. J. Softw. Eng. Knowl. Eng. Kiyoshi Itoh, Yasuhisa Tamura, Shinichi Honiden
1991	—	`conf`	An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems. ESEC Shinichi Honiden, Naoshi Uchihira, Kiyoshi Itoh
1991	—	`conf`	An integration environment to put formal specifications into practical use in real-time systems. IWSSD Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
1991	B	`conf`	Qualitative reasoning-based parameter tuning on bottleneck of synchronized queueing network. COMPSAC Kiyoshi Itoh, Shinichi Honiden, Keisuke Shida, Takaaki Konno
1990	—	`conf`	On Logical Foundations of the ATMS. Truth Maintenance Systems (ECAI Workshop) Yasushi Fujiwara, Shinichi Honiden
1989	J	`jnl`	An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design. Real Time Syst. Shinichi Honiden, Naoshi Uchihira, Kazunori Matsumoto, Kazuo Matsumura, Masahiko Arai
1989	A*	`conf`	Relating the TMS to Autoepistemic Logic. IJCAI Yasushi Fujiwara, Shinichi Honiden
1987	—	`conf`	MENDELS: Concurrent Program Synthesis System Using Temporal Logic. LP Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura
1986	—	`conf`	MENDEL: Prolog Based Concurrent Object Oriented Language. COMPCON Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya
1985	—	`conf`	Software Prototyping with MENDEL. LP Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya