Shinichi Honiden

J-GLOBAL         Last updated: May 16, 2018 at 08:22
 
Avatar
Name
Shinichi Honiden
E-mail
honidennii.ac.jp
Affiliation
Waseda University
Section
Faculty of Science and Engineering
Job title
Professor
Degree
Ph.D

Profile

Professor,
Faculty of Science and Engineering,
Waseda University

Director,
Center for Global Research in Advanced Software Science and Engineering (GRACE Center)
National Institute of Informatics (NII)

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

Research Areas

 
 

Academic & Professional Experience

 
2012
 - 
2018
Deputy Director General, National Institute of Informatics
 

Awards & Honors

 
Jun 2016
SEAMS' 2016 Best Paper Award
Winner: L. Nahabedian, V. Braberman, N. D'Ippolito, S. Honiden, J. Kramer, K. Tei, S. Uchitel,
 
Aug 2012
Best Paper Award, SENSORCOMM 2012
Winner: Valentina Baljak, Kenji Tei, Shinichi Honiden
 
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,
 
Dec 2010
Best PhD Poster Award, ICSOC2010, Efficient, Failure-Resilient Semantic Web Service Planning
Winner: Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
 
Oct 2006
JAWS2006 優秀論文賞, 合同エージェントワークショップ&シンポジウム
Winner: 丹羽 智史,土肥 拓生,本位田 真一
 

Published Papers

 
Learning environment model at runtime for self-adaptive systems
Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
The 32nd ACM Symposium on Applied Computing      Apr 2017   [Refereed]
Refactoring Refinement Structures of Event-B Machines
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
The 21st International Symposium on Formal Methods (FM 2016)      Nov 2016   [Refereed]
Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden
International Conference on Formal Engineering Methods (ICFEM 2016)      Nov 2016   [Refereed]
Stepwise Refinement of Software Development Problem Analysis
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
The 35th International Conference on Conceptual Modeling (ER 2016)      Nov 2016   [Refereed]
Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden
IEICE Transactions on Information and Systems, Vol.Vol. E99-D      Jun 2016   [Refereed]
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]
Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden
IEEE International Conference on Software Testing, Verification and Validation (ICST 2016)      Apr 2016   [Refereed]
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]
Soramichi Akiyama, Takahiro Hirofuchi and Shinichi Honiden
6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2014)   759-762   Dec 2015   [Refereed]
Shinichi HonidenFernando Tarin Morales, Fuyuki Ishikawa, Shinichi Honiden
DBPL 2015   29-36   2015   [Refereed]
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]
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]
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]
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
4th International ABZ Conference (ABZ 2014)   277-283   Jun 2014   [Refereed]
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]
Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa and Shinichi Honiden
IEEE International Conference on Software Testing, Verification and Validation   405-412   Mar 2014   [Refereed]
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]
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]
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]
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]
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]
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]
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]
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]
Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
The 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)      Sep 2012   [Refereed]
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]
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]
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]
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]
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]
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]
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]
Florian Wagner, Benjamin Kloepper, Fuyuki Ishikawa and Shinichi Honiden
21st International World Wide Web Conference (WWW '12)   969-978   Apr 2012   [Refereed]
Adrian Klein, Fuyuki Ishikawa and Shinichi Honiden
21st International World Wide Web Conference (WWW '12)   959-968   Apr 2012   [Refereed]
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]
Benjamin Klöpper, Jan Patrick Pater, Shinichi Honiden and Wilhelm Dangelmaier
Evolving System   3(1) 31-44   Nov 2011   [Refereed]
Susumu Toriumi, Shinichi Honiden
Embedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference on   120-127   Oct 2011   [Refereed]
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]
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]
Fuyuki Ishikawa, Satoshi Katafuchi, Florian Wagner, Yoshiaki Fukazawa, Shinichi Honiden
The 8th International Conference on Services Computing (SCC 2011)   152-159   Jul 2011   [Refereed]
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
The 9th International Conference on Web Services (ICWS 2011) (Application and Experience Track)   436-443   Jul 2011   [Refereed]
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
The 9th International Conference on Web Services (ICWS 2011)   89-96   Jul 2011   [Refereed]
Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden
The 9th International Conference on Web Services (ICWS 2011)   97-104   Jul 2011   [Refereed]
Taku Inoue, Shinichi Honiden
The 14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2011)   51-60   Jun 2011   [Refereed]
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]
Nobukazu Yoshioka, Shigetoshi Yokoyama, Yoshionori Tanabe, Shinichi Honiden
International Workshop on Software Engineering for Cloud Computing (ICSE SECLOUD 2011)   73-73   May 2011   [Refereed]
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]
Benjamin Klöpper, Shinichi Honiden, Wilhelm Dangelmaier
2011 IEEE Symposium Series on Computational Intelligence (SSCI 2011)   108-115   Apr 2011   [Refereed]
Benjamin Klöpper, Shinichi Honiden, Jan Patrick Pater, Wilhelm Dangelmaier
2011 IEEE Symposium Series on Computational Intelligence (SSCI 2011)   123-130   Apr 2011   [Refereed]
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]
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]
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
In proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC 2010)   182-196   Dec 2010   [Refereed]
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]
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]
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]
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]
Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden
In proceeding of the 19th European Conference on Artificial Intelligence (ECAI 2010)   523-528   Aug 2010   [Refereed]
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]
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]
Hirotaka Moriguchi and Shinichi Honiden
Genetic and Evolutionary Computation Conference (GECCO 2010), Portland, OR,      Jul 2010
Nik Nailah Binti Abdullah, Helen Sharp, Shinichi Honiden
In Proceedings of XP 2010, 11th International Conference on Agile Software Development.   166-171   Jun 2010
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
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
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
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
Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden
The ACM International Conference on Pervasive Services (ICPS2009). Imperial College, London, UK.      Jul 2009
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
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
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
Daisuke Fukuchi, Christian Sommer, Yuichi Sei, Shinichi Honiden
The 28th Conference on Computer Communications, Rio de Janeiro, Brazil   1458-1466   Apr 2009
Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden
Sixth International Conference on Wireless On-demand Network Systems and Services      Feb 2009   [Refereed]
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

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   

Conference Activities & Talks

 
モバイルAR環境による日常技能練習のゲーミフィケーション
22nd Workshop on Interactive Systems and Software (WISS 2014)   Nov 2014   
フィードバック指向ランダムテストを用いたQuickCheckの改良
矢藤 康祐, 坂本 一憲, 石川 冬樹, 本位田 真一
第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) ポスターセッション   Mar 2014   
ページキャッシュの復元による遠隔地ライブマイグレーション高速化システムの実演
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
第24回コンピュータシステム・シンポジウム(ComSys 2012) ポスターセッション   Dec 2012   
ページキャッシュの復元による遠隔地ライブマイグレーションの高速化
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
第123回システムソフトウェアとオペレーティング・システム研究会   Dec 2012   
閾値ベースの確率的オンラインセンサ・タスク割当て手法
鳥海 晋,本位田 真一
マルチメディア、分散、協調とモバイル(DICOMO2012)シンポジウム   Jul 2012   
主双対法を用いたオンラインセンサ・タスク割当て
鳥海 晋,本位田 真一
マルチメディア、分散、協調とモバイル(DICOMO2012)シンポジウム   Jul 2012