Shinichi Honiden

Last updated: May 13, 2016 at 08:08
 
Avatar
Name
Shinichi Honiden
E-mail
honidennii.ac.jp
Affiliation
National Institute of Informatics
Job title
Deputy Director General
Degree
Ph.D

Profile

Deputy Director General,
National Institute of Informatics (NII)

Professor,
Department of Computer Science,
Graduate School of Information Science and Technology,
University of Tokyo

Visiting Professor,
UCL (University College London) in the UK

Visiting Professor,
Waseda University

Research Areas

 
 

Academic & Professional Experience

 
2012
 - 
Today
Deputy Director General, National Institute of Informatics
 

Awards & Honors

 
Apr 2012
The Commendation for Science and Technology by the Minister of Education, Culture, Sports, Science and Technology, Ministry of Education, Culture, Sports, Science and Technology,
 

Published Papers

 
Assured and Correct Dynamic Update of Controllers
Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei and Sebastian Uchitel
11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2016)      May 2016   [Refereed]
Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering,
Soo Ling Lim, Peter Bentley, Natalie Kanakam, Fuyuki Ishikawa, Shinichi Honiden
IEEE Transactions on Software Engineering, Vol.41 No.1   40-64   Jan 2015   [Refereed]
Evaluating Impact of Live Migration on Data Center Energy Saving
Soramichi Akiyama, Takahiro Hirofuchi and Shinichi Honiden
6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2014)   759-762   Dec 2015   [Refereed]
Abstract rewriting Approach to solve Datalog programs
Shinichi HonidenFernando Tarin Morales, Fuyuki Ishikawa, Shinichi Honiden
DBPL 2015   29-36   2015   [Refereed]
Toward A Portability Framework with Multi-Level Models for Wireless Sensor Network Software
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
The 2014 International Conference on Smart Computing (SMARTCOMP 2014)   3-5   Nov 2014   [Refereed]
Supporting Model Transformation Developments with Multi-Level Models: A Wireless Sesnor Network Case
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
The 11th International Conference Applied Computing 2014 (AC 2014)   25-27   Oct 2014   [Refereed]
Validating Ajax Applications Using a Delay-Based Mutation Technique
Yuta Maezawa, Kazuki Nishiura, Hironori Washizaki, Shinichi Honiden
The 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)   491-502   Sep 2014   [Refereed]
Project Management Inspired Framework for Action Selection in Wireless Sensor Networks
Shunichiro Suenaga, Kenji Tei
Asia Pacific Conference on Wireless and Mobile 2014 (APWiMob2014)   54-59   Aug 2014   [Refereed]
Fast Live Migration with Small IO Performance Penalty by Exploiting SAN in Parallel
Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano and Shinichi Honiden
The 2014 IEEE 7th International Conference on Cloud Computing (IEEE CLOUD'14)   40-47   Jun 2014   [Refereed]
Understanding and Planning Event-B Refinement through Primitive Rationales
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
4th International ABZ Conference (ABZ 2014)   277-283   Jun 2014   [Refereed]
An Approach for Evaluating and Suggesting Method Names using N-gram Models
Takayuki Suzuki, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
22nd International Conference on Program Comprehension (ICPC 2014)   271-274   Jun 2014   [Refereed]
Sample Efficiency Improvement on Neuroevolution via Estimation-Based Elimination Strategy
Shengbo Xu, Yuki Inoue, Tetsunari Inamura, Hirotaka Moriguchi, Shinichi Honiden
The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014)   1537-1538   May 2014   [Refereed]
ArbitCheck: a highly automated property-based testing tool for Java
Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa and Shinichi Honiden
IEEE International Conference on Software Testing, Verification and Validation   405-412   Mar 2014   [Refereed]
Robust Service Compositions with Functional and Location Diversity
Florian Wagner, Fuyuki Ishikawa and Shinichi Honiden
IEEE Transactions on Services Computing   9(2) 277-290   2016   [Refereed]
Florian Wagner, Fuyuki Ishikawa and Shinichi Honiden
Shinichi Honiden
   Dec 2011   [Refereed]
66. Opérations d'administration pour SStreaMWare
Levent Gürgen, Cyril Labbé, Shinichi Honiden
   Jul 2009   [Refereed]
A Formal Model of Active Contents Based on the Ambient Calculus
Y. Tahara, N. Yoshioka, and S. Honiden
5th International Workshop on Mobile Agents for Telecommunication Applications (MATA 03), Oct.8-10 2003, Marrakech, Morocco      Oct 2003   [Refereed]
A Security Architecture for Collaboration Among Many and Unspecified Agents
Y. Ohtsuka, H. Okutomi, N. Yoshioka, and S. Honiden
8th International Workshop on Mobile Multimedia Communications (MoMuC2003), Oct.6-8, 2003, Munich, Germany      Oct 2003   [Refereed]
Panning Mobile Agent Architecture for Realizing Mobile Intelligence
M. Hattori, A. Ohsuga and S. Honiden
The 2003 International Conference on Parallel and Distributed Processing Techniques Applications, June 24-27, 2002, Monte-Carlo Resort, Las Vegas, USA      Jun 2002   [Refereed]
Performance Evaluation by Qpit*i
7(4) 262-268   Feb 1985   [Refereed]
Automated Verification of Pattern-based Interaction Invariants in Ajax Applications
Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe and Shinichi Honiden
The 28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13)   158-168   Nov 2013   [Refereed]
Automatic Image Description by Using Word-level Features
Shingo Horiuchi, Hirotaka Moriguchi, Shengbo Xu, Shinichi Honiden
The 4th International Conference on Internet Multimedia Computing and Service (ICIMCS'12)   309-314   Aug 2013   [Refereed]
Sample Efficiency Analysis of Neuroevolution Algorithms on a Quadruped Robot
Shengbo Xu, Hirotaka Moriguchi and Shinichi Honiden
2013 IEEE Congress on Evolutionary Computation (CEC' 13)   2170-2177   Jun 2013   [Refereed]
Mutation Analysis for JavaScript Web Applications Testing
Kazuki Nishiura, Yuta Maezawa, Hironori Washizaki and Shinichi Honiden
The 25th International Conference on Software Engineering and Knowledge Engineering (SEKE'13)   159-165   Jun 2013   [Refereed]
Fast Wide Area Live Migration with a Low Overhead through Page Cache Teleportation
Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano and Shinichi Honiden
The 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid'13), Doctral Symposium   78-85   May 2013   [Refereed]
Fault Classification and Model Learning from Sensory Readings - Framework for Fault Tolerance in Wireless Sensor Networks
Valentina Baljak, Tei Kenji and Shinichi Honiden
IEEE 8th International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP'13)   408-413   Apr 2013   [Refereed]
Faults in Sensory Readings: Classification and Model Learning
Valentina Baljak, Tei Kenji, Shinichi Honiden
Sensors & Transducers   18 177-187   Jan 2013   [Refereed]
Efficient Neuroevolution for a Quadruped Robot
Xu Shengbo, Hirotaka Moriguchi,Shinichi Honiden
The Ninth International Conference on Simulated Evolution And Learning (SEAL 2012)   361-370   Dec 2012   [Refereed]
Towards Refinement Strategy Planning for Event-B
Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B'12) in conjunction with ICFEM      Nov 2012   [Refereed]
Modeling and Analyzing Legal Interpretations for/by Requirements Engineering Approaches
Fuyuki Ishikawa, Rihoko Kawai (Inoue), Shinichi Honiden
The 6th International Workshop on Juris-informatics (JURISIN 2012)   143-156   Nov 2012   [Refereed]
Towards Dynamic Evolution of Self-adaptive Systems Based on Dynamic Updating of Control Loops
Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
The 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)      Sep 2012   [Refereed]
S-CLAIM: An Agent-based Programming language for AmI, A Smart-Room Case Study
Valantina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cédric Herpson, Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, RyoShimizu, Kenji Tei and Susumu Toriumi
Procedia Computer Science   10 30-37   Aug 2012   [Refereed]
Classification of Faults in Sensor Readings with Statistical Pattern Recognition
Valentina Baljak, Kenji Tei, and Shinichi Honiden
The Sixth International Conference on Sensor Technologies and Applications (SENSORCOMM 2012)      Aug 2012   [Refereed]
Kazuki Nishiura, Yuta Maezawa, Fuyuki Ishikawa and Shinichi Honiden
12th International Conference on Web Engineering (ICWE'12)   7387 323-331   Jul 2012   [Refereed]
CMA-TWEANN: Efficient Neuroevolution via Synthetic Evolution
Hirotaka Moriguchi and Shinichi Honiden
Genetic and Evolutionary Computation Conference (GECCO2012)      Jul 2012   [Refereed]
MiyakoDori: A Memory Reusing Mechanism for Dynamic VM Consolidation
Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano and Shinichi Honiden
The 5th International Conference on Cloud Computing (IEEE CLOUD 2012) (Application & Experience Track)   606-613   Jun 2012   [Refereed]
Multi-objective Service Composition with Time- and Input-Dependent QoS
Florian Wagner, Adrian Klein, Benjamin Kloepper, Fuyuki Ishikawa, Shinichi Honiden
The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track)   234-241   Jun 2012   [Refereed]
A Probabilistic Approach for Long-Term B2B Service Compositions
Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track)   259-266   Jun 2012   [Refereed]
Web Service Selection Algorithm using Vickrey Auction
Atsushi Watanabe, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden
The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track)   336-342   Jun 2012   [Refereed]
Trust Computation in Web Service Compositions Using Bayesian Networks
Mohammad Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden
The 10th International Conference on Web Services (ICWS 2012) (Work-in-Progress Track)   623-625   Jun 2012   [Refereed]
Case Studies on the Development of Wireless Sensor Network Applications using Multiple Abstraction Levels
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
3rd International Workshop on Software Engineering for Sensor Network Applications (SESENA '12)   22-28   Jun 2012   [Refereed]
Towards Robust Service Compositions in the Context of Functionally Diverse Services
Florian Wagner, Benjamin Kloepper, Fuyuki Ishikawa and Shinichi Honiden
21st International World Wide Web Conference (WWW '12)   969-978   Apr 2012   [Refereed]
Towards Network-aware Service Composition in the Cloud
Adrian Klein, Fuyuki Ishikawa and Shinichi Honiden
21st International World Wide Web Conference (WWW '12)   959-968   Apr 2012   [Refereed]
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, Thi Thuy Nga Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei, Susumu Toriumi
Procedia Computer Science   10 30-37   2012   [Refereed]
A multi-objective evolutionary approach to scheduling for evolving manufacturing systems
Benjamin Klöpper, Jan Patrick Pater, Shinichi Honiden and Wilhelm Dangelmaier
Evolving System   3(1) 31-44   Nov 2011   [Refereed]
Assignment of Sensors for Multiple Tasks Using Path Information
Susumu Toriumi, Shinichi Honiden
Embedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference on   120-127   Oct 2011   [Refereed]
Autonomic Role and Mission Allocation Framework for Wireless Sensor Networks
Themistoklis Bourdenas, Kenji Tei, Shinichi Honiden and Morris Sloman
Fifth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'11)   61-70   Oct 2011   [Refereed]
Utility‐based Self‐Adaption with Environment Specific Quality Models
Camilo Fitzgerald, Benjamin Klöpper, Shinichi Honiden
ICAIS'11 Proceedings of the Second international conference on Adaptive and intelligent systems   107-118   Sep 2011   [Refereed]
Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures
Fuyuki Ishikawa, Satoshi Katafuchi, Florian Wagner, Yoshiaki Fukazawa, Shinichi Honiden
The 8th International Conference on Services Computing (SCC 2011)   152-159   Jul 2011   [Refereed]
Efficient Heuristic Approach with Improved Time Complexity for QoS-aware Service Composition
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
The 9th International Conference on Web Services (ICWS 2011) (Application and Experience Track)   436-443   Jul 2011   [Refereed]
QoS-aware Automatic Service Composition by Applying Functional Clustering
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
The 9th International Conference on Web Services (ICWS 2011)   89-96   Jul 2011   [Refereed]
Service Selection with Combinational Use of Functionally-Equivalent Services
Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden
The 9th International Conference on Web Services (ICWS 2011)   97-104   Jul 2011   [Refereed]
A Method for Data-flow Analysis of Business Components
Taku Inoue, Shinichi Honiden
The 14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2011)   51-60   Jun 2011   [Refereed]
gocc: A Configuration Compiler for Self-adaptive Systems Using Goal-oriented Requirements Description
Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
The 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011)   40-49   May 2011   [Refereed]
edubase Cloud: An Open Source Cloud Platform for Cloud Engineers
Nobukazu Yoshioka, Shigetoshi Yokoyama, Yoshionori Tanabe, Shinichi Honiden
International Workshop on Software Engineering for Cloud Computing (ICSE SECLOUD 2011)   73-73   May 2011   [Refereed]
Model Driven Development for Rapid Prototyping and Optimization of Wireless Sensor Network Applications
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2nd International Workshop on Software Engineering for Sensor Network Applications (SESENA ’11)   31-36   May 2011   [Refereed]
Decision Divide & Conquer in Planning for Self-Optimizing Mechatronic Systems - A First Application Example
Benjamin Klöpper, Shinichi Honiden, Wilhelm Dangelmaier
2011 IEEE Symposium Series on Computational Intelligence (SSCI 2011)   108-115   Apr 2011   [Refereed]
Decision Making in Adaptive Manufacturing Systems: Multi-Objective Scheduling and User Interface
Benjamin Klöpper, Shinichi Honiden, Jan Patrick Pater, Wilhelm Dangelmaier
2011 IEEE Symposium Series on Computational Intelligence (SSCI 2011)   123-130   Apr 2011   [Refereed]
IMPULSE: a Design Framework for Multi-Agent Systems Based on Model Transformation
Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden
In Proceedings of the 26th Symposium On Applied Computing (SAC2011   1411-1418   Mar 2011   [Refereed]
Efficient, Failure-Resilient Semantic Web Service Planning
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
In proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC 2010)      Dec 2010   [Refereed]
"Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes
Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden
In proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC 2010)   635-640   Dec 2010   [Refereed]
Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
In proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC 2010)   182-196   Dec 2010   [Refereed]
A Framework for Validating Task Assignment in Multi-agent Systems using Requirements Importance
Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden
In Proceedings of the 13th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA2010)   443-458   Nov 2010   [Refereed]
Adaptive Geographic Routing in Wireless Sensor Networks
Rey Abe, Shinichi Honiden
In Proceedings of the 13th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2010)   91-100   Oct 2010   [Refereed]
Approximate Shortest Path Queries in Graphs Using Voronoi Duals
Shinichi Honiden, Michael E. Houle, Christian Sommer, Martin Wolff
Transactions on Computational Science, Volume IX, Special Issue on Voronoi Diagrams in Science and Engineering, LNCS 6290   (9) 28-53   Sep 2010   [Refereed]
Towards Effective Use of Requirements Description in Self-adaptive System Development
Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
In Proceedings of the International Workshop on Modern Science and Technology 2010 (IWMST2010)      Sep 2010   [Refereed]
Planning with Utilities and State Trajectory Constraints for Self-Healing in Automotive System
Benjamin Klöpper, Jan Meyer, Matthias Tichy, Shinichi Honiden
In Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems   74-83   Sep 2010   [Refereed]
Agile Software Development Process: A Case Of Collaborative Cognition In Flux
Nik Nailah Binti Abdullah, Shinichi Honiden, Robert GM Hausmann, Helen Sharp
In proceeding of the annual meeting of the Cognitive Science Society (CogSci 2010)      Aug 2010   [Refereed]
Extraction of Places Related to Flickr Tags
Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden
In proceeding of the 19th European Conference on Artificial Intelligence (ECAI 2010)   523-528   Aug 2010   [Refereed]
Business Semantics Centric Reliability Testing for Web Services in BPEL
Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden
In proceeding of the 2010 IEEE Fourth International Workshop on Web Services and Cloud Services Testing (WS-CS-Testing 2010)   237-244   Jul 2010   [Refereed]
Discovery of Configurations for Indoor Wireless Sensor Networks Through Use of Simulation in Virtual Worlds
Valentina Baljak, Shinichi Honiden
In proceedings of the Fourth International Conference on Sensor Technologies and Applications (SENSORCOMM 2010)      Jul 2010   [Refereed]
Service-oriented middleware for dynamic management of heterogeneous sensing devices
Levent Gürgen, Johan Nyström-Persson, Amin Cherbal, Cyril Labbé, Claudia Roncancio, Shinichi Honiden
In proceedings of the 7th ACM International Conference on Pervasive Services (ICPS 2010      Jul 2010   [Refereed]
Sustaining Behavioral Diversity in NEAT
Hirotaka Moriguchi and Shinichi Honiden
Genetic and Evolutionary Computation Conference (GECCO 2010), Portland, OR,      Jul 2010
Communication in context: a stimulus-response account of Agile team interactions
Nik Nailah Binti Abdullah, Helen Sharp, Shinichi Honiden
In Proceedings of XP 2010, 11th International Conference on Agile Software Development.   166-171   Jun 2010
Suppressing Redundancy in Wireless Sensor Network Traffic
Rey Abe, Shinichi Honiden
In Proceedings of DCOSS 2010, 6th IEEE International Conference on Distributed Computing in Sensor Systems   187-200   Jun 2010
A Method of Analysis to Uncover Physical Artefact-Communication Relationship
Nik Nailah Binti Abdullah, Helen Sharp, Shinichi Honiden
In Proceedings of the 23rd FLAIRS conference. Special track: Cognition and AI: Capturing Cognitive Plausibility and Informing Psychological Processes.      May 2010
N-ary Sensor Model for Target Tracking in Wireless Sensor Networks
Kenji Tei, Hikotoshi Nakazato, Yoshiaki Fukazawa, Shinichi Honiden
In Proceedings of the First International Workshop on Energy Aware Design and Analysis of Cyber Physical Systems (WEA-CPS’10), in conjunction with CPSWEEK in Stockholm, Sweden.      Apr 2010
Cooperative Behaviors Description for Self-* Systems Implementation
Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
The 8th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 10) . Salamanca, Spain   69-74   Apr 2010
Autonomic thinking for sensing devices
Rémi Sharrock, Amin Cherbal, Levent Gürgen, Thierry Monteil, Shinichi Honiden
The Sixth International Conference on Autonomic and Autonomous Systems (ICAS’10), Cancun, Mexico      Mar 2010
Group Migration by Mobile Agents in Wireless Sensor Networks
Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden
The Computer Journal, Oxford University Press      Dec 2009
How Top-Level Engineers Learn and Investigate VDM: Experiences in the Top SE Project
Fuyuki Ishikawa, Kenji Taguchi, Shinichi Honiden
The 7th VDM-Overture Workshop at FM 2009, Eindhoven, the Netherlands      Nov 2009
Top-Level Software Engineers Tackles after Learning Formal Methods - Experiences from the Top SE Project
Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden
The 2nd International FME Conference on Teaching Formal Methods (TFM2009), Eindhoven, the Netherlands,      Nov 2009
Specifying and Checking Refinement Relationships in VDM++
Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden
The 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM2009), Hanoi, Vietnam,   220-227   Nov 2009
Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering
Fuyuki Ishikawa, Rihoko Inoue, Shinichi Honiden
The 2nd International Workshop on Requirements Engineering and Law (RELAW 2009) at RE 2009, Atlanta, Georgia, USA,   39-44   Sep 2009
Plug&Manage Heterogeneous Sensing Devices
Levent Gürgen, Johan Nystrom-Persson, Amin Cherbal, Cyril Labb?, Claudia Roncancio, Shinichi Honiden
Demonstration) In Proceedings of the 6th International Workshop on Data Management for Sensor Networks (DMSN’09), in conjunction with VLDB’09. Lyon, France      Aug 2009
Op´erations d’administration pour SStreaMWare
Levent Gürgen, Cyril Labb?, Shinichi Honiden,
In Proceedings of the 5th French speaking conference on Ubiquity and Mobility (UBIMOB'09),      Jul 2009
Physical Interaction in Pervasive Computing: Formal Modeling, Analysis and Verification
Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden
The ACM International Conference on Pervasive Services (ICPS2009). Imperial College, London, UK.      Jul 2009
Approximate Shortest Path Queries in Graphs Using Voronoi Duals
Shinichi Honiden, Michael E. Houle, Christian Sommer, and Martin Wolff,
Sixth annual International Symposium on Voronoi Diagrams in science and engineering (ISVD 2009). Copenhagen, Denmark.   53-62   Jun 2009
Balancing Graph Voronoi Diagrams
Shinichi Honiden, Michael E. Houle, and Christian Sommer
Sixth annual International Symposium on Voronoi Diagrams in science and engineering (ISVD 2009). Copenhagen, Denmark.   183-191   Jun 2009
An integrated management middleware for networked sensing systems
Levent Gürgen, Shinichi Honiden
The Seventh International Conference on Pervasive Computing, Late Breaking Results      May 2009
Management of networked sensing devices
Levent Gürgen, Shinichi Honiden
The Second International Workshop on Sensor Network Technologies for Information Explosion Era (Sentie'09); in conjunction with International Conference on Mobile Data Management, MDM.   502-507   May 2009
Distributed Arrays: A P2P Data Structure for Efficient Logical Arrays
Daisuke Fukuchi, Christian Sommer, Yuichi Sei, Shinichi Honiden
The 28th Conference on Computer Communications, Rio de Janeiro, Brazil   1458-1466   Apr 2009
Generative Dynamic Deployment of Multiple Components in Wireless Sensor Networks
Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden
Sixth International Conference on Wireless On-demand Network Systems and Services      Feb 2009   [Refereed]
Reporter node determination of replicated node detection in wireless sensor networks
Yuichi Sei, Shinichi Honiden
3rd International Conference on Ubiquitous Information Management and Communication   566-573   Jan 2009   [Refereed]
Fuyuki Ishikawa, Shinichi Honiden
The Journal of The Institute of Electronics, Information and Communication Engineers   E92-B(1) 9-16   Jan 2009
Efficient & Flexible Routing in Wireless Sensor Networks with Self Organizing Transaction Cluster Heads
Neeraj Rajgure, Eric Platon, Cristian Borcea, Shinichi Honiden
In the Proceedings of the 2009 ACM symposium on Applied Computing   1214-1218   2009
Model Checking Process with Goal Oriented Requirements Analysis
Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden
15th Asia-Pacific Software Engineering Conference   377-384   Dec 2008   [Refereed]
Distributed Detection of Node Replication Attacks Resilient to Many Compromised Nodes in Wireless Sensor Networks
Yuichi Sei, Shinichi Honiden
Fourth International Wireless Internet Conference (WICON 2008)      Nov 2008   [Refereed]
Energy-Efficient Event Detection in 3D Wireless Sensor Networks
Susumu Toriumi, Yuichi Sei, Shinichi Honiden
1st. IFIP Wireless Days Conference 2008      Nov 2008   [Refereed]
An Efficient Node Selection Metric for In-network Process Deployment
Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
Fourth International Wireless Internet Conference (WICON 2008)      Nov 2008   [Refereed]

Books etc

 
協調プログラミング例題集
中島秀之,松原仁,本位田真一
bit 「別冊」   Apr 1996   
ソフトウェア工学の基礎 I
Shinichi Honiden
近代科学社 レクチャーノート/ソフトウェア学 14   Jan 1996   
オブジェクト指向技術 - 図解 コンピュータ百科事典
Shinichi Honiden (Part:Contributor)
1995   
オブジェクト指向、オブジェクト指向コンピューティング
Shinichi Honiden (Part:Contributor)
Nov 1993   
ペトリネットと時相論理、ペトリネットとその応用
内平直志、本位田真一 (Part:Contributor)
1992