default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShinichi Honiden
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c221]Kazutaka Matsuzaki, Shinichi Honiden:
Enhancing ICS Security Diagnostics with Pseudo-Greybox Fuzzing During Maintenance Testing. ICSOFT 2023: 660-667- [c220]Hiroyuki Nakagawa, Shinichi Honiden:
MAPE-K Loop-Based Goal Model Generation Using Generative AI. REW 2023: 247-251 - [c219]Kazutaka Matsuzaki, Kenji Sawada, Shinichi Honiden:
Remote Security Assessment for Cyber-Physical Systems: Adapting Design Patterns for Enhanced Diagnosis. SECRYPT 2023: 805-812 - 2022
- [c218]Jialong Li, Mingyue Zhang, Zhenyu Mao, Haiyan Zhao, Zhi Jin, Shinichi Honiden, Kenji Tei:
Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation. APSEC 2022: 189-198 - 2021
- [c217]Mingyue Zhang, Jialong Li, Haiyan Zhao, Kenji Tei, Shinichi Honiden, Zhi Jin:
A Meta Reinforcement Learning-based Approach for Self-Adaptive System. ACSOS 2021: 1-10 - [c216]Zhenyu Mao, Jialong Li, Nianzhao Zheng, Kenji Tei, Shinichi Honiden:
Transfer Learning Method in Reinforcement Learning-based Traffic Signal Control. GCCE 2021: 304-307 - [c215]Yichen Ding, Jialong Li, Kenji Tei, Shinichi Honiden:
Blockchain-Based Cooperative Incentive System for Emergency Road Right Transferring. GCCE 2021: 736-739 - [c214]Jiali Ling, Jialong Li, Kenji Tei, Shinichi Honiden:
Towards Personalized Autonomous Driving: An Emotion Preference Style Adaptation Framework. ICA 2021: 47-52 - [c213]Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden:
Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence. LifeTech 2021: 204-206 - [i6]Mingyue Zhang, Jialong Li, Haiyan Zhao, Kenji Tei, Shinichi Honiden, Zhi Jin:
A Meta Reinforcement Learning-based Approach for Self-Adaptive System. CoRR abs/2105.04986 (2021) - 2020
- [j41]Leandro Nahabedian
, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel:
Dynamic Update of Discrete Event Controllers. IEEE Trans. Software Eng. 46(11): 1220-1240 (2020) - [c212]Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden:
Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis. AIKE 2020: 168-173 - [c211]Takuto Yamauchi, Kenji Tei, Shinichi Honiden:
Method for Low-Cost Environment Partitioning Modeling in Dynamic Update. AIKE 2020: 183-187 - [c210]Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira:
Smart SE: Smart Systems and Services Innovative Professional Education Program. COMPSAC 2020: 1113-1114 - [c209]Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden:
Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault. EUC 2020: 33-40 - [c208]Jialong Li, Kenji Tei, Shinichi Honiden:
Identifying Achievable Goals for Adaptive Replanning Against Runtime Environment Change. ISDA 2020: 945-955 - [c207]Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden:
A robust and flexible operating system compatibility architecture. VEE 2020: 129-142 - [e2]Shinichi Honiden, Elisabetta Di Nitto, Radu Calinescu:
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. ACM 2020, ISBN 978-1-4503-7962-5 [contents]
2010 – 2019
- 2019
- [j40]Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden:
Consistency-preserving refactoring of refinement structures in Event-B models. Formal Aspects Comput. 31(3): 287-320 (2019) - [j39]Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden:
Change Impact Analysis for Refinement-Based Formal Specification. IEICE Trans. Inf. Syst. 102-D(8): 1462-1477 (2019) - [c206]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:
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 2019: 70-76 - [c205]Kazuya Aizawa, Kenji Tei, Shinichi Honiden:
Analysis Space Reduction with State Merging for Ensuring Safety Properties of Self-Adaptive Systems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019: 1363-1370 - [e1]Yijun Yu, Arosha K. Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi A. Müller, John Mylopoulos, Bashar Nuseibeh:
Engineering Adaptive Software Systems - Communications of NII Shonan Meetings. Springer 2019, ISBN 978-981-13-2184-9 [contents] - 2018
- [c204]Koki Kato, Fuyuki Ishikawa, Shinichi Honiden:
Falsification of Cyber-Physical Systems with Reinforcement Learning. MT@CPSWeek 2018: 5-6 - [c203]Kazuya Aizawa, Kenji Tei, Shinichi Honiden:
Identifying safety properties guaranteed in changed environment at runtime. ICA 2018: 75-80 - [c202]Keita Tsukamoto, Yuta Maezawa, Shinichi Honiden:
AutoPUT: an automated technique for retrofitting closed unit tests into parameterized unit tests. SAC 2018: 1944-1951 - 2017
- [c201]Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden:
Extracting Traceability between Predicates in Event-B Refinement. APSEC 2017: 61-70 - [c200]Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden:
Bash on Ubuntu on macOS. APSys 2017: 17:1-17:8 - [c199]Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden:
Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects. SEAMS@ICSE 2017: 152-162 - [c198]Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden:
Learning environment model at runtime for self-adaptive systems. SAC 2017: 1198-1204 - [c197]Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden:
Construction of Abstract State Graphs for Understanding Event-B Models. SETTA 2017: 250-265 - [c196]Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden:
Test Suite Reduction in Idempotence Testing of Infrastructure as Code. TAP@STAF 2017: 98-115 - 2016
- [j38]Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden:
Fast Live Migration for IO-Intensive VMs with Parallel and Adaptive Transfer of Page Cache via SAN. IEICE Trans. Inf. Syst. 99-D(12): 3024-3034 (2016) - [j37]Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden:
Robust Service Compositions with Functional and Location Diversity. IEEE Trans. Serv. Comput. 9(2): 277-290 (2016) - [c195]Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden:
Stepwise Refinement of Software Development Problem Analysis. ER 2016: 488-495 - [c194]Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden:
Refactoring Refinement Structure of Event-B Machines. FM 2016: 444-459 - [c193]Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden:
Automatic Generation of Potentially Pathological Instances for Validating Alloy Models. ICFEM 2016: 41-56 - [c192]Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel:
Assured and correct dynamic update of controllers. SEAMS@ICSE 2016: 96-107 - [c191]Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden:
MuVM: Higher Order Mutation Analysis Virtual Machine for C. ICST 2016: 320-329 - 2015
- [j36]Soo Ling Lim, Peter J. Bentley, Natalie Kanakam, Fuyuki Ishikawa, Shinichi Honiden:
Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering. IEEE Trans. Software Eng. 41(1): 40-64 (2015) - [j35]Kenji Tei, Ryo Shimizu, Yoshiaki Fukazawa, Shinichi Honiden:
Model-Driven-Development-Based Stepwise Software Development Process for Wireless Sensor Networks. IEEE Trans. Syst. Man Cybern. Syst. 45(4): 675-687 (2015) - [c190]Fernando Tarin Morales, Fuyuki Ishikawa, Shinichi Honiden:
Abstract rewriting Approach to solve Datalog programs. DBPL 2015: 29-36 - [c189]Miki Yagita, Fuyuki Ishikawa, Shinichi Honiden:
An Application Conflict Detection and Resolution System for Smart Homes. SEsCPS@ICSE 2015: 33-39 - [c188]Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden:
Feedback-controlled random test generation. ISSTA 2015: 316-326 - 2014
- [j34]Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden:
SanGA: A Self-Adaptive Network-Aware Approach to Service Composition. IEEE Trans. Serv. Comput. 7(3): 452-464 (2014) - [c187]Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden:
Fast Live Migration with Small IO Performance Penalty by Exploiting SAN in Parallel. IEEE CLOUD 2014: 40-47 - [c186]Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden:
Understanding and Planning Event-B Refinement through Primitive Rationales. ABZ 2014: 277-283 - [c185]Shengbo Xu, Yuki Inoue, Tetsunari Inamura, Hirotaka Moriguchi, Shinichi Honiden:
Sample efficiency improvement on neuroevolution via estimation-based elimination strategy. AAMAS 2014: 1537-1538 - [c184]Soramichi Akiyama, Takahiro Hirofuchi, Shinichi Honiden:
Evaluating Impact of Live Migration on Data Center Energy Saving. CloudCom 2014: 759-762 - [c183]Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden:
ArbitCheck: A Highly Automated Property-Based Testing Tool for Java. ICST Workshops 2014: 405-412 - [c182]Takayuki Suzuki, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden:
An approach for evaluating and suggesting method names using n-gram models. ICPC 2014: 271-274 - [c181]Yuta Maezawa, Kazuki Nishiura, Hironori Washizaki, Shinichi Honiden:
Validating ajax applications using a delay-based mutation technique. ASE 2014: 491-502 - [c180]Mari Inoki, Takayuki Kitagawa, Shinichi Honiden:
Application of requirements prioritization decision rules in software product line evolution. RePriCo 2014: 1-10 - [c179]Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden:
Toward a portability framework with multi-level models for wireless sensor network software. SMARTCOMP 2014: 253-260 - 2013
- [c178]Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden:
Fast Wide Area Live Migration with a Low Overhead through Page Cache Teleportation. CCGRID 2013: 78-82 - [c177]Shengbo Xu, Hirotaka Moriguchi, Shinichi Honiden:
Sample efficiency analysis of Neuroevolution algorithms on a quadruped robot. IEEE Congress on Evolutionary Computation 2013: 2170-2177 - [c176]Shinichi Honiden:
Goal Model Elaboration for Software Evolution. ICECCS 2013: 3 - [c175]Shingo Horiuchi, Hirotaka Moriguchi, Shinichi Honiden, Shengbo Xu:
Automatic image description by using word-level features. ICIMCS 2013: 309-314 - [c174]Valentina Baljak, Kenji Tei, Shinichi Honiden:
Fault classification and model learning from sensory Readings - Framework for fault tolerance in wireless sensor networks. ISSNIP 2013: 408-413 - [c173]Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe, Shinichi Honiden:
Automated verification of pattern-based interaction invariants in Ajax applications. ASE 2013: 158-168 - [c172]Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden:
A goal model elaboration for localizing changes in software evolution. RE 2013: 155-164 - [c171]Kazuki Nishiura, Yuta Maezawa, Hironori Washizaki, Shinichi Honiden:
Mutation Analysis for JavaScriptWeb Application Testing. SEKE 2013: 159-165 - [i5]Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden:
A Scalable Distributed Architecture for Network- and QoS-aware Service Composition. CoRR abs/1301.4839 (2013) - [i4]Shinichi Honiden, Zhenjiang Hu, Hausi A. Müller, John Mylopoulos, Yijun Yu:
Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7). NII Shonan Meet. Rep. 2013 (2013) - 2012
- [j33]Benjamin Klöpper, Jan Patrick Pater, Shinichi Honiden, Wilhelm Dangelmaier:
A multi-objective evolutionary approach to scheduling for evolving manufacturing systems. Evol. Syst. 3(1): 31-44 (2012) - [c170]Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden:
MiyakoDori: A Memory Reusing Mechanism for Dynamic VM Consolidation. IEEE CLOUD 2012: 606-613 - [c169]Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden:
Component Trust for Web Service Compositions. AAAI Spring Symposium: Intelligent Web Services Meet Social Computing 2012 - [c168]Yuta Maezawa, Hironori Washizaki, Shinichi Honiden:
Extracting Interaction-Based Stateful Behavior in Rich Internet Applications. CSMR 2012: 423-428 - [c167]Hirotaka Moriguchi, Shinichi Honiden:
CMA-TWEANN: efficient optimization of neural networks via self-adaptation and seamless augmentation. GECCO 2012: 903-910 - [c166]Kazuki Nishiura, Yuta Maezawa, Fuyuki Ishikawa, Shinichi Honiden:
Supporting View Transition Design of Smartphone Applications Using Web Templates. ICWE 2012: 323-331 - [c165]Florian Wagner, Adrian Klein, Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden:
Multi-objective Service Composition with Time- and Input-Dependent QoS. ICWS 2012: 234-241 - [c164]Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden:
A Probabilistic Approach for Long-Term B2B Service Compositions. ICWS 2012: 259-266 - [c163]Atsushi Watanabe, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden:
Web Service Selection Algorithm Using Vickrey Auction. ICWS 2012: 336-342 - [c162]Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden:
Trust Computation in Web Service Compositions Using Bayesian Networks. ICWS 2012: 623-625 - [c161]Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden:
Towards Dynamic Evolution of Self-Adaptive Systems Based on Dynamic Updating of Control Loops. SASO 2012: 59-68 - [c160]Shengbo Xu, Hirotaka Moriguchi, Shinichi Honiden:
Efficient Neuroevolution for a Quadruped Robot. SEAL 2012: 361-370 - [c159]Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden:
Case studies on the development of wireless sensor network applications using multiple abstraction levels. SESENA 2012: 22-28 - [c158]Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden:
Towards network-aware service composition in the cloud. WWW 2012: 959-968 - [c157]Florian Wagner, Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden:
Towards robust service compositions in the context of functionally diverse services. WWW 2012: 969-978 - [c156]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:
S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study. ANT/MobiWIS 2012: 30-37 - [i3]Tsutomu Kobayashi, Shinichi Honiden:
Towards Refinement Strategy Planning for Event-B. CoRR abs/1210.7036 (2012) - [i2]Arosha K. Bandara, Shinichi Honiden, Yijun Yu:
Engineering Autonomic Systems (EASy) (NII Shonan Meeting 2012-3). NII Shonan Meet. Rep. 2012 (2012) - 2011
- [j32]Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden:
Group Migration by Mobile Agents in Wireless Sensor Networks. Comput. J. 54(3): 345-355 (2011) - [c155]Fuyuki Ishikawa, Satoshi Katafuchi, Florian Wagner, Yoshiaki Fukazawa, Shinichi Honiden:
Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures. IEEE SCC 2011: 152-159 - [c154]Taku Inoue, Shinichi Honiden:
A method for data-flow analysis of business components. CBSE 2011: 51-60 - [c153]Benjamin Klöpper, Shinichi Honiden, Wilhelm Dangelmaier:
Divide & conquer in planning for self-optimizing mechatronic systems - A first application example. CICA 2011: 108-115 - [c152]Benjamin Klöpper, Shinichi Honiden, Jan Patrick Pater, Wilhelm Dangelmaier:
Decision making in adaptive manufacturing systems: Multi-objective scheduling and user interface. CICA 2011: 123-130 - [c151]Susumu Toriumi, Shinichi Honiden:
Assignment of Sensors for Multiple Tasks Using Path Information. EUC 2011: 120-127 - [c150]Nik Nailah Binti Abdullah, Samuel Mendes, Stefano A. Cerri, Shinichi Honiden:
Activity States Framework as an Experimental Approach to Studying, and Modeling Context in Web-Mediated Collaborative Dialogs. FLAIRS 2011 - [c149]Nik Nailah Binti Abdullah, Helen Sharp, Shinichi Honiden:
How Artefacts Influence the Construction of Communications and Contexts during Collaboration in an Agile Software Development Team. FLAIRS 2011 - [c148]Camilo Fitzgerald, Benjamin Klöpper, Shinichi Honiden:
Utility-Based Self-Adaption with Environment Specific Quality Models. ICAIS 2011: 107-118 - [c147]Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden:
Model driven development for rapid prototyping and optimization of wireless sensor network applications. SESENA@ICSE 2011: 31-36 - [c146]Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden:
gocc: a configuration compiler for self-adaptive systems using goal-oriented requirements description. SEAMS 2011: 40-49 - [c145]Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden:
Applying QoS-Aware Service Selection on Functionally Diverse Services. ICSOC Workshops 2011: 100-113 - [c144]Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden:
QoS-Aware Automatic Service Composition by Applying Functional Clustering. ICWS 2011: 89-96 - [c143]Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden:
Service Selection with Combinational Use of Functionally-Equivalent Services. ICWS 2011: 97-104 - [c142]Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden:
Efficient Heuristic Approach with Improved Time Complexity for Qos-Aware Service Composition. ICWS 2011: 436-443 - [c141]Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden:
IMPULSE: a design framework for multi-agent systems based on model transformation. SAC 2011: 1411-1418 - [c140]Themistoklis Bourdenas, Kenji Tei, Shinichi Honiden, Morris Sloman:
Autonomic Role and Mission Allocation Framework for Wireless Sensor Networks. SASO 2011: 61-70 - [i1]Johan Nyström-Persson, Shinichi Honiden:
Poplar: A Java Extension for Evolvable Component Integration. CoRR abs/1106.1531 (2011) - 2010
- [j31]Shinichi Honiden, Michael E. Houle, Christian Sommer, Martin Wolff:
Approximate Shortest Path Queries Using Voronoi Duals. Trans. Comput. Sci. 9: 28-53 (2010) - [c139]Rey Abe, Shinichi Honiden:
Suppressing Redundancy in Wireless Sensor Network Traffic. DCOSS 2010: 187-200 - [c138]Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden:
Extraction of Places Related to Flickr Tags. ECAI 2010: 523-528 - [c137]Nik Nailah Binti Abdullah, Helen C. Sharp, Shinichi Honiden:
A Method of Analysis to Uncover Artefact-Communication Relationships. FLAIRS 2010 - [c136]Hirotaka Moriguchi, Shinichi Honiden:
Sustaining behavioral diversity in NEAT. GECCO 2010: 611-618 - [c135]Rémi Sharrock, Amin Cherbal, Levent Gürgen, Thierry Monteil, Shinichi Honiden:
Thinking Autonomic for Sensing Devices. ICAS 2010: 20-23 - [c134]Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden:
Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy. ICSOC 2010: 182-196 - [c133]Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden:
Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes. ICSOC 2010: 635-640 - [c132]Rey Abe, Shinichi Honiden:
Adaptive geographic routing in wireless sensor networks. MSWiM 2010: 91-100 - [c131]Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden:
Cooperative Behaviors Description for Self-* Systems Implementation. PAAMS 2010: 69-74 - [c130]Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden:
A Framework for Validating Task Assignment in Multiagent Systems Using Requirements Importance. PRIMA 2010: 443-458 - [c129]Benjamin Klöpper, Shinichi Honiden, Jan Meyer, Matthias Tichy:
Planning with Utility and State Trajectory Constraints in Self-Healing Automotive Systems. SASO 2010: 74-83 - [c128]Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden:
Business Semantics Centric Reliability Testing for Web Services in BPEL. SERVICES 2010: 237-244 - [c127]Nik Nailah Binti Abdullah, Helen Sharp, Shinichi Honiden:
Communication in Context: A Stimulus-Response Account of Agile Team Interactions. XP 2010: 166-171 - [p1]Levent Gürgen, Claudia Roncancio, Cyril Labbé, Shinichi Honiden:
Data Management Solutions in Networked Sensing Systems. Wireless Sensor Network Technologies for the Information Explosion Era 2010: 111-137
2000 – 2009
- 2009
- [j30]Fuyuki Ishikawa, Shinichi Honiden:
On Applicability of Formal Methods and Tools to Dependable Services. IEICE Trans. Commun. 92-B(1): 9-16 (2009) - [j29]Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden:
Evolution of a course on model checking for practical applications. ACM SIGCSE Bull. 41(2): 38-44 (2009) - [c126]Levent Gürgen, Johan Nyström-Persson, Amin Cherbal, Cyril Labbé, Claudia Roncancio, Shinichi Honiden:
Plug&manage heterogeneous sensing devices. DMSN 2009 - [c125]Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden:
Physical interaction in pervasive computing: formal modeling, analysis and verification. ICPS 2009: 133-140 - [c124]Yuichi Sei, Shinichi Honiden:
Reporter node determination of replicated node detection in wireless sensor networks. ICUIMC 2009: 566-573 - [c123]Daisuke Fukuchi, Christian Sommer, Yuichi Sei, Shinichi Honiden:
Distributed Arrays: A P2P Data Structure for Efficient Logical Arrays. INFOCOM 2009: 1458-1466 - [c122]Shinichi Honiden, Michael E. Houle, Christian Sommer, Martin Wolff:
Approximate Shortest Path Queries in Graphs Using Voronoi Duals. ISVD 2009: 53-62 - [c121]Shinichi Honiden, Michael E. Houle, Christian Sommer:
Balancing Graph Voronoi Diagrams. ISVD 2009: 183-191 - [c120]Levent Gürgen, Shinichi Honiden:
Management of Networked Sensing Devices. Mobile Data Management 2009: 502-507 - [c119]Fuyuki Ishikawa, Rihoko Inoue, Shinichi Honiden:
Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering. RELAW 2009: 39-44 - [c118]Neeraj Rajgure, Eric Platon, Cristian Borcea, Shinichi Honiden:
Geographical data collection in sensor networks with self-organizing transaction cluster-heads. SAC 2009: 1214-1218 - [c117]Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden:
Specifying and Checking Refinement Relationships in VDM++. SEFM 2009: 220-227 - [c116]Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden:
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project. TFM 2009: 57-71 - [c115]Levent Gürgen, Cyril Labbé, Shinichi Honiden:
Opérations d'administration pour SStreaMWare. UbiMob 2009: 41-44 - 2008
- [j28]Eric Platon, Nicolas Sabouret, Shinichi Honiden:
An architecture for exception management in multiagent systems. Int. J. Agent Oriented Softw. Eng. 2(3): 267-289 (2008) - [c114]Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden:
Model Checking Process with Goal Oriented Requirements Analysis. APSEC 2008: 377-384 - [c113]Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Shinichi Honiden, Yoshiaki Fukazawa:
Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems. EDOC 2008: 372-378 - [c112]Shunichiro Suenaga, Shinichi Honiden:
Name-based location service for mobile agents in wireless sensor networks. MOBILWARE 2008: 3 - [c111]Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden:
A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems. PerCom 2008: 609-614 - [c110]Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden:
Constructing Self-Adaptive Systems Using a KAOS Model. SASO Workshops 2008: 132-137 - [c109]Yoshiyuki Nakamura, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden:
Region-Based Sensor Selection for Wireless Sensor Networks. SUTC 2008: 326-331 - [c108]Susumu Toriumi, Yuichi Sei, Shinichi Honiden:
Energy-efficient event detection in 3D wireless sensor networks. Wireless Days 2008: 1-5 - [c107]Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden:
An efficient node selection metric for in-network process deployment. WICON 2008: 4 - [c106]Yuichi Sei, Shinichi Honiden:
Distributed detection of node replication attacks resilient to many compromised nodes in wireless sensor networks. WICON 2008: 28 - 2007
- [j27]Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak:
Mechanisms for environments in multi-agent systems: Survey and opportunities. Auton. Agents Multi Agent Syst. 14(1): 31-47 (2007) - [j26]KhanhQuan Truong, Fuyuki Ishikawa, Shinichi Honiden:
Improving Accuracy of Recommender System by Item Clustering. IEICE Trans. Inf. Syst. 90-D(9): 1363-1373 (2007) - [j25]Takuo Doi, Shinichi Honiden:
IOM/T: interaction-oriented model by textual notation. Int. J. Agent Oriented Softw. Eng. 1(3/4): 266-294 (2007) - [j24]Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden:
A hierarchical mobile agent framework and its application to multimedia contents. Syst. Comput. Jpn. 38(1): 1-17 (2007) - [c105]Yuichi Sei, Kazutaka Matsuzaki, Shinichi Honiden:
Flexible Bloom Filters for Searching Textual Objects. AP2PC 2007: 110-121 - [c104]Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Developing Consistent Contractual Policies in Service Composition. APSCC 2007: 527-534 - [c103]Paul Guyot, Shinichi Honiden:
Building coalitions involving agents and humans: reports from agent-based participatory simulations. AAMAS 2007: 210 - [c102]Cyrille Artho, Zhongwei Chen, Shinichi Honiden:
AOP-based automated unit test classification of large benchmarks. COMPSAC (2) 2007: 17-22 - [c101]Cyrille Artho, Klaus Havelund, Shinichi Honiden:
Visualization of Concurrent Program Executions. COMPSAC (2) 2007: 541-546 - [c100]Nik Nailah Binti Abdullah, Shinichi Honiden:
Context in Use for Analyzing Conversation Structures on the Web Tied to the Notion of Situatedness. CONTEXT 2007: 94-107 - [c99]Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden:
Efficient Model Checking of Applications with Input/Output. EUROCAST 2007: 515-522 - [c98]Eric Platon, Martin Rehák, Nicolas Sabouret, Michal Pechoucek, Shinichi Honiden:
Detecting Intrusions in Agent System by Means of Exception Handling. HoloMAS 2007: 161-172 - [c97]Yuichi Sei, Shinichi Honiden:
Ringed Filters for Peer-to-Peer Keyword Searching. ICCCN 2007: 772-779 - [c96]Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden:
Applying Design Patterns to Wireless Sensor Network Programming. ICCCN 2007: 1099-1104 - [c95]Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Hironori Washizaki:
Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan. ICSE 2007: 708-718 - [c94]José Ghislain Quenum, Fuyuki Ishikawa, Shinichi Honiden:
Protocol Selection alongside Service Selection and Composition. ICWS 2007: 719-726 - [c93]Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Policy-based Runtime Partner Management in ProcessBased Services. ICWS 2007: 1191-1194 - [c92]Hiroyuki Nakagawa, Kenji Taguchi, Shinichi Honiden:
Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. ASE 2007: 531-532 - [c91]Yuichi Sei, Shinichi Honiden:
Resilient Security for False Event Detection Without Loss of Legitimate Events in Wireless Sensor Networks. OTM Conferences (1) 2007: 454-470 - [c90]Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation. OTM Conferences (1) 2007: 683-700 - [c89]Daisuke Fukuchi, Yuichi Sei, Shinichi Honiden:
Managing Difference-Based Objects with Sub-networks in Peer-to-Peer Environments. OTM Workshops (2) 2007: 1001-1010 - [c88]Kazutaka Matsuzaki, Shinichi Honiden:
Increasing the Ease of Deployment in Ubiquitous Environments. PerCom Workshops 2007: 581-584 - [c87]Cyrille Artho, Christian Sommer, Shinichi Honiden:
Model Checking Networked Programs in the Presence of Transmission Failures. TASE 2007: 219-228 - 2006
- [j23]Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden:
Formal model of mobile BPEL4WS process. Int. J. Bus. Process. Integr. Manag. 1(3): 192-209 (2006) - [j22]Paul Guyot, Shinichi Honiden:
Agent-Based Participatory Simulations: Merging Multi-Agent Systems and Role-Playing Games. J. Artif. Soc. Soc. Simul. 9(4) (2006) - [c86]Paul Guyot, Alexis Drogoul, Shinichi Honiden:
Power and negotiation: lessons from agent-based participatory simulations. AAMAS 2006: 27-33 - [c85]Yasushi Ando, Yoshiaki Fukazawa, Osamu Masutani, Hirotoshi Iwasaki, Shinichi Honiden:
Performance of pheromone model for predicting traffic congestion. AAMAS 2006: 73-80 - [c84]Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Service-oriented and autonomous distribution and provision of multimedia contents. AAMAS 2006: 949-951 - [c83]Yuichi Sei, Kazutaka Matsuzaki, Shinichi Honiden:
Reduction of the Communication Traffic for Multi-word Searches in DHTs. CIMCA/IAWTIC 2006: 14 - [c82]Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Smartive: Agreement-based Mobile Composite Agents for Multimedia Services. CIMCA/IAWTIC 2006: 19 - [c81]Truong Khanh Quan, Fuyuki Ishikawa, Shinichi Honiden:
Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity. CIMCA/IAWTIC 2006: 61 - [c80]Satoshi Kataoka, Shinichi Honiden:
Multi-Robot Positioning Model: Multi-Agent Approach. CIMCA/IAWTIC 2006: 112 - [c79]Makoto Ishiguro, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden:
A Sensor Middleware for Lightweight Relocatable Sensing Programs. CIMCA/IAWTIC 2006: 195 - [c78]Kenji Tei, Hiromi Muto, Yoshiaki Fukazawa, Shinichi Honiden:
Introducing Auction Scheme to Route Allocation to Prolong the Lifetime of Ad-Hoc Networks. CIMCA/IAWTIC 2006: 201 - [c77]José Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, Shinichi Honiden:
A Modeling Framework for Generic Agent Interaction Protocols. DALT 2006: 207-224 - [c76]Eric Platon, Nicolas Sabouret, Shinichi Honiden:
Environmental Support for Tag Interactions. E4MAS 2006: 106-123 - [c75]Eric Platon, Nicolas Sabouret, Shinichi Honiden:
A Definition of Exceptions in Agent-Oriented Computing. ESAW 2006: 161-174 - [c74]Cyrille Artho, Armin Biere, Shinichi Honiden:
Enforcer - Efficient Failure Injection. FM 2006: 412-427 - [c73]Cyrille Artho, Armin Biere, Shinichi Honiden:
Exhaustive Testing of Exception Handlers with Enforcer. FMCO 2006: 26-46 - [c72]José Ghislain Quenum, Samir Aknine, Onn Shehory, Shinichi Honiden:
Dynamic Protocol Selection in Open and Heterogeneous Systems. IAT 2006: 333-341 - [c71]Hiroyuki Nakagawa, Takuya Karube, Shinichi Honiden:
Analysis of multi-agent systems based on KAOS modeling. ICSE 2006: 926-929 - [c70]Satoshi Kataoka, Fuyuki Ishikawa, Shinichi Honiden:
PID-filtered Negotiation for Decision Making in Dynamic Coverage Problem. ICTAI 2006: 481-488 - [c69]Yuichi Sei, Kazutaka Matsuzaki, Shinichi Honiden:
An Algorithm to Reduce the Communication Traffic for Multi-Word Searches in a Distributed Hash Table. IFIP TCS 2006: 115-129 - [c68]Satoshi Niwa, Takuo Doi, Shinichi Honiden:
Web Page Recommender System based on Folksonomy Mining for ITNG '06 Submissions. ITNG 2006: 388-393 - [c67]Kenji Tei, Christian Sommer, Yoshiaki Fukazawa, Shinichi Honiden, Pierre-Loïc Garoche:
Adaptive Geographically Bound Mobile Agents. MSN 2006: 353-364 - [c66]Eric Platon, Nicolas Sabouret, Shinichi Honiden:
Challenges for Exception Handling in Multi-Agent Systems. SELMAS (LNCS) 2006: 41-56 - [c65]Eric Platon, Shinichi Honiden, Nicolas Sabouret:
Challenges in exception handling in multi-agent systems. SELMAS 2006: 45-50 - 2005
- [j21]Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden:
A framework for synthesis of web services and mobile agents. Int. J. Pervasive Comput. Commun. 1(3): 227-245 (2005) - [j20]Kenta Cho, Yutaka Irie, Akihiko Ohsuga, Katsuhiko Sekiguchi, Shinichi Honiden:
Application of the ?Plangent intelligent mobile agent architecture for embedded systems to the inspection of power systems. Syst. Comput. Jpn. 36(4): 60-70 (2005) - [j19]Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Mobile agent system for Web service integration in pervasive network. Syst. Comput. Jpn. 36(11): 34-48 (2005) - [c64]Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden:
Mobile and Cooperative Compounds of Multimedia Services. IEEE SCC 2005: 129-138 - [c63]Eric Platon, Shinichi Honiden, Nicolas Sabouret:
Modelling interactions in assistant teams. AMT 2005: 383-388 - [c62]Yasushi Ando, Osamu Masutani, Hiroshi Sasaki, Hirotoshi Iwasaki, Yoshiaki Fukazawa, Shinichi Honiden:
Pheromone Model: Application to Traffic Congestion Prediction. Engineering Self-Organising Systems 2005: 182-196 - [c61]Takuo Doi, Yasuyuki Tahara, Shinichi Honiden:
IOM/T: an interaction description language for multi-agent systems. AAMAS 2005: 778-785 - [c60]Osamu Masutani, Hiroshi Sasaki, Hirotoshi Iwasaki, Yasushi Ando, Yoshiaki Fukazawa, Shinichi Honiden:
Pheromone model: application to traffic congestion prediction. AAMAS 2005: 1171-1172 - [c59]Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden:
Agent synthesis: partnership and agreement in cooperative mobile agents. AAMAS 2005: 1267-1268 - [c58]Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Incorporating Agreements on Service Options into BPEL-based Services. CIMCA/IAWTIC 2005: 796-803 - [c57]Eric Platon, Nicolas Sabouret, Shinichi Honiden:
Overhearing and Direct Interactions: Point of View of an Active Environment. E4MAS 2005: 121-138 - [c56]Eric Platon, Nicolas Sabouret, Shinichi Honiden:
Tag Interactions in MultiAgent Systems: Environment Support. EUMAS 2005: 270-281 - [c55]Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden:
Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound. ICEIS (4) 2005: 275-282 - [c54]Hironobu Kuruma, Shinichi Honiden:
A Model for Policy Based Service Community. ICEIS (3) 2005: 360-366 - [c53]Kenji Tei, Nobukazu Yoshioka, Yoshiaki Fukazawa, Shinichi Honiden:
Using Mobile Agent for Location-Specific Data Retrieval in Manet. INTELLCOMM 2005: 157-168 - [c52]Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden, Nobukazu Yoshioka:
Geographically Bound Mobile Agent in MANET. MobiQuitous 2005: 516-518 - [c51]Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden:
Flexible and Maintainable Contents Activities in Ubiquitous Environment. OTM Workshops 2005: 14-15 - 2004
- [j18]Masanori Hattori, Kenta Cho, Akihiko Ohsuga, Masao Isshiki, Shinichi Honiden:
Context-aware agent platform in ubiquitous environments and its verification tests. Syst. Comput. Jpn. 35(7): 13-23 (2004) - [c50]Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden:
Mobeet: A Multi-agent Framework for Ubiquitous Information Systems. AOIS 2004: 19-35 - [c49]Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden:
Pigeon: A Specification Language for Mobile Agent Applications. AAMAS 2004: 1356-1357 - [c48]Kazunori Matsumoto, Shinichi Honiden:
Software Design Method for Agent Systems from Scenarios. CATA 2004: 136-141 - [c47]Nobukazu Yoshioka, Shinichi Honiden, Anthony Finkelstein:
Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems. EDOC 2004: 84-97 - [c46]Eric Platon, Nicolas Sabouret, Shinichi Honiden:
T-Compound Interaction and Overhearing Agents. ESAW 2004: 90-105 - [c45]Shinichi Nagano, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden:
Dynamic Invocation Model of Web Services Using Subsumption Relations. ICWS 2004: 150- - [c44]Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden:
Behavior Descriptions of Mobile Agents for Web Services Integration. ICWS 2004: 342-349 - [c43]Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden:
Mobile Agent System for Web Services Integration in Pervasive Networks. IWUC 2004: 38-47 - [c42]Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden:
Ubiquitous Application Development using a Mobile Agent-based System. IWUC 2004: 204-212 - [c41]Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden:
Development Methodology for Location-Aware Mobile Agent. MATA 2004: 13-26 - [c40]Nobukazu Yoshioka, Shinichi Honiden:
A Pattern Oriented Mobile Agent Framework for Mobile Computing. MATA 2004: 369-380 - [c39]Kenta Cho, Hisashi Hayashi, Masanori Hattori, Akihiko Ohsuga, Shinichi Honiden:
picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing. PRIMA 2004: 43-56 - [c38]Eric Platon, Shinichi Honiden:
Introducing Participative Personal Assistant Teams in Negotiation Support Systems. PRIMA 2004: 178-192 - [c37]Takou Doi, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden:
Bridging the Gap Between AUML and Implementation Using IOM/T. PROMAS 2004: 147-162 - 2003
- [j17]Kazuki Yoshida, Shinichi Honiden:
Formal specification of components in a component-based framework development method. Syst. Comput. Jpn. 34(8): 62-76 (2003) - [c36]Tetsuo Hasegawa, Kenta Cho, Fumihiro Kumeno, Shin Nakajima, Akihiko Ohsuga, Shinichi Honiden:
Interoperability for mobile agents by incarnation agents. AAMAS 2003: 1006-1007 - [c35]Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden:
Integrating Multiple Internet Directories by Instance-based Learning. IJCAI 2003: 22-30 - [c34]Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden:
A Formal Model of Active Contents Based on the Ambient Calculus. MATA 2003: 132-141 - [c33]Masanori Hattori, Akihiko Ohsuga, Shinichi Honiden:
Planning Mobile Agent Architecture for Realizing Mobile Intelligence. PDPTA 2003: 1026-1032 - [c32]Heisuke Kaneko, Yoshiaki Fukazawa, Fumihiro Kumeno, Nobukazu Yoshioka, Shinichi Honiden:
Mobile Agent Based Evacuation System When The Battery Runs Out: EASTER. PerCom 2003: 460- - [c31]Masanori Hattori, Kenta Cho, Akihiko Ohsuga, Masao Isshiki, Shinichi Honiden:
Context-Aware Agent Platform in Ubiquitous Environments and Its Verification Tests. PerCom 2003: 547-552 - 2002
- [j16]Nobukazu Yoshioka, Takahiro Kawamura, Akihiko Ohsuga, Shinichi Honiden:
Evaluation of a Multi Agent Framework for Open Distributed Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 85-A(11): 2396-2406 (2002) - [j15]Masanori Hattori, Akihiko Ohsuga, Shinichi Honiden:
Planning mobile agent architecture for open network environment. Syst. Comput. Jpn. 33(12): 58-66 (2002) - 2001
- [c30]Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden:
Mobile agent security with the IPEditor development tool and the mobile UNITY language. Agents 2001: 656-662 - [c29]Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden:
Rule Induction for Concept Hierarchy Alignment. Workshop on Ontology Learning 2001 - [c28]Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden:
Behavior Patterns for Mobile Agent Systems from the Development Process Viewpoint. ISADS 2001: 239-242 - [c27]Yasuyuki Tahara, Nobukazu Toshiba, Akihiko Ohsuga, Shinichi Honiden:
Secure and efficient mobile agent application reuse using patterns. SSR 2001: 78-85 - [c26]Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden:
Automated Alignment of Multiple Internet Directories. WWW Posters 2001 - 2000
- [j14]Takahiro Kawamura, Yasuyuki Tahara, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden:
Bee-gent: bonding and encapsulation enhancement agent framework for development of distributed systems. Syst. Comput. Jpn. 31(13): 42-56 (2000) - [c25]Nobukazu Yoshioka, Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden:
Security for Mobile Agents. AOSE 2000: 223-234 - [c24]Takahiro Kawamura, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden:
Rental Application to Rental Service Development of Advanced ASP Framework. EDOC 2000: 58- - [c23]Takahiro Kawamura, Sam Joseph, Akihiko Ohsuga, Shinichi Honiden:
Quantitative Evaluation of Pairwise Interactions between Agents. ASA/MA 2000: 192-205
1990 – 1999
- 1999
- [j13]Masanori Hattori, Naoki Kase, Akihiko Ohsuga, Shinichi Honiden:
Agent-Based Drivers' Information Assistance System. New Gener. Comput. 17(4): 359-367 (1999) - [c22]Takahiro Kawamura, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden:
Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems. APSEC 1999: 260-267 - [c21]Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden:
Agent System Development Method Based on Agent Patterns. ICSE 1999: 356-367 - [c20]Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden:
Agent System Development Method based on Agent Patterns. ISADS 1999: 261-263 - 1997
- [j12]Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki:
Hypersequential programming: a new way to develop concurrent programs. IEEE Concurrency 5(3): 44-54 (1997) - [j11]Akihiko Ohsuga, Yasuo Nagai, Yutaka Irie, Masanori Hattori, Shinichi Honiden:
PLANGENT: An Approach to Making Mobile Agents Intelligent. IEEE Internet Comput. 1(4): 50-57 (1997) - [j10]Saeko Matsuura, Hironobu Kuruma, Shinichi Honiden:
EVA: A Flexible Programming Method for Evolving Systems. IEEE Trans. Software Eng. 23(5): 296-313 (1997) - 1996
- [j9]Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira:
MENDELS ZONE: A parallel program development system based on formal specifications. Inf. Softw. Technol. 38(3): 181-189 (1996) - [j8]Naoshi Uchihira, Shinichi Honiden:
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. J. Syst. Softw. 33(3): 207-221 (1996) - [c19]Mari Natori, Akira Kagaya, Shinichi Honiden:
Reuse of design processes based on domain analysis. ICSR 1996: 31-40 - [c18]Yasuyuki Tahara, Fumihiro Kumeno, Akihiko Ohsuga, Shinichi Honiden:
An Algebraic Semantics of Reflective Objects. ISOTAS 1996: 173-189 - [c17]Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki:
Hypersequential programming - a novel paradigm for concurrent programming. Software Engineering for Parallel and Distributed Systems 1996: 62-73 - 1995
- [j7]Junichi Yamamoto, Akihiko Ohsuga, Shinichi Honiden:
Cooad: a Case Tool for Object-Oriented Analysis and Design. Int. J. Softw. Eng. Knowl. Eng. 5(3): 367-389 (1995) - [j6]William W. Everett, Shinichi Honiden:
Guest Editors' Introduction: Reliability and Safety of Real-Time Systems. IEEE Softw. 12(3): 13-16 (1995) - [j5]Yoshinori Kishimoto, Nobuto Kotaka, Shinichi Honiden:
Adapting Object-Communication Methods Dynamically. IEEE Softw. 12(3): 65-74 (1995) - [c16]Fumihiro Kumeno, Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden:
Evolutional Agents: Field Oriented Programming Language, Flage. APSEC 1995: 189-198 - [c15]Saeko Matsuura, Shinichi Honiden:
Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse. APSEC 1995: 364-373 - [c14]Naoshi Uchihira, Shinichi Honiden:
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. HICSS (2) 1995: 359-368 - [c13]Yasuyuki Tahara, Fumihiro Kumeno, Akihiko Ohsuga, Shinichi Honiden:
Formal Semantics of Agent Evolution in Language Flage. OBPDC 1995: 329-348 - 1994
- [j4]Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh:
An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems. IEEE Trans. Software Eng. 20(11): 849-867 (1994) - [c12]Junichi Yamamoto, Akihiko Ohsuga, Shinichi Honiden:
Object-oriented analysis and design support system using algebraic specification techniques. APSEC 1994: 388-397 - [c11]Fumihiro Kumeno, Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden:
Flage: field-oriented language for agents model. ICSR 1994: 198-199 - 1993
- [j3]Shinichi Honiden, Nobuto Kotaka, Yoshinori Kishimoto:
Formalizing Specification Modeling in OOA. IEEE Softw. 10(1): 54-66 (1993) - [c10]Seiichi Komiya, Motoshi Saeki, Shinichi Honiden, Junzou Kato, Akira Ohmori, Hisayuki Horai, Shigeru Ohtsuki, Kazuhito Ohmaki:
An Experimental Analysis for Classifying Specification Processes. SEKE 1993: 231-234 - 1992
- [j2]Kiyoshi Itoh, Yasuhisa Tamura, Shinichi Honiden:
Transobj: Software Prototyping Environment for Real-Time Transaction-Based Software System Applications. Int. J. Softw. Eng. Knowl. Eng. 2(1): 5-29 (1992) - [c9]Nobuto Kotaka, Yoshinori Kishimoto, Shinichi Honiden:
Specification Process Modelling in Object-Oriented Analysis. TOOLS (6) 1992: 67-81 - 1991
- [c8]Kiyoshi Itoh, Shinichi Honiden, Keisuke Shida, Takaaki Konno:
Qualitative reasoning-based parameter tuning on bottleneck of synchronized queueing network. COMPSAC 1991: 307-314 - [c7]Shinichi Honiden, Naoshi Uchihira, Kiyoshi Itoh:
An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems. ESEC 1991: 189-209 - [c6]Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira:
An integration environment to put formal specifications into practical use in real-time systems. IWSSD 1991: 102-109 - 1990
- [c5]Yasushi Fujiwara, Shinichi Honiden:
On Logical Foundations of the ATMS. Truth Maintenance Systems (ECAI Workshop) 1990: 125-135
1980 – 1989
- 1989
- [j1]Shinichi Honiden, Naoshi Uchihira, Kazunori Matsumoto, Kazuo Matsumura, Masahiko Arai:
An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design. Real Time Syst. 1(4): 313-331 (1989) - [c4]Yasushi Fujiwara, Shinichi Honiden:
Relating the TMS to Autoepistemic Logic. IJCAI 1989: 1199-1205 - 1987
- [c3]Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura:
MENDELS: Concurrent Program Synthesis System Using Temporal Logic. LP 1987: 50-68 - 1986
- [c2]Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya:
MENDEL: Prolog Based Concurrent Object Oriented Language. COMPCON 1986: 230-234 - 1985
- [c1]Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya:
Software Prototyping with MENDEL. LP 1985: 108-116
Coauthor Index
[j40] [j39] [c206] [c204] [c201] [c197] [c196] [j37] [c195] [c194] [c193] [j36] [c190] [c189] [c188] [j34] [c186] [c183] [c182] [i5] [c169] [c166] [c165] [c164] [c163] [c162] [c158] [c157] [c155] [c145] [c144] [c143] [c142] [c138] [c134] [c133] [c128] [j30] [c125] [c119] [c117] [c116] [c113] [c111] [j26] [j24] [c104] [c94] [c93] [c90] [j23] [c84] [c82] [c81] [c70] [j21] [j19] [c64] [c59] [c58] [c55] [c44] [c43]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-05 21:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
