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