Остановите войну!
for scientists:
default search action
Shinichi Honiden
- > Home > Persons > Shinichi Honiden
Publications
- 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 - 2018
- [c204]Koki Kato, Fuyuki Ishikawa, Shinichi Honiden:
Falsification of Cyber-Physical Systems with Reinforcement Learning. MT@CPSWeek 2018: 5-6 - 2017
- [c201]Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden:
Extracting Traceability between Predicates in Event-B Refinement. APSEC 2017: 61-70 - [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
- [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 - 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) - [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) - [c186]Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden:
Understanding and Planning Event-B Refinement through Primitive Rationales. ABZ 2014: 277-283 - [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 - 2013
- [i5]Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden:
A Scalable Distributed Architecture for Network- and QoS-aware Service Composition. CoRR abs/1301.4839 (2013) - 2012
- [c169]Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden:
Component Trust for Web Service Compositions. AAAI Spring Symposium: Intelligent Web Services Meet Social Computing 2012 - [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 - [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 - 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 - [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 - 2010
- [c138]Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden:
Extraction of Places Related to Flickr Tags. ECAI 2010: 523-528 - [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 - [c128]Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden:
Business Semantics Centric Reliability Testing for Web Services in BPEL. SERVICES 2010: 237-244 - 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) - [c125]Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden:
Physical interaction in pervasive computing: formal modeling, analysis and verification. ICPS 2009: 133-140 - [c119]Fuyuki Ishikawa, Rihoko Inoue, Shinichi Honiden:
Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering. RELAW 2009: 39-44 - [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 - 2008
- [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 - [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 - 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) - [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) - [c104]Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Developing Consistent Contractual Policies in Service Composition. APSCC 2007: 527-534 - [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 - [c90]Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation. OTM Conferences (1) 2007: 683-700 - 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) - [c84]Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Service-oriented and autonomous distribution and provision of multimedia contents. AAMAS 2006: 949-951 - [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 - [c70]Satoshi Kataoka, Fuyuki Ishikawa, Shinichi Honiden:
PID-filtered Negotiation for Decision Making in Dynamic Coverage Problem. ICTAI 2006: 481-488 - 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) - [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 - [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 - [c55]Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden:
Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound. ICEIS (4) 2005: 275-282 - 2004
- [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
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-04-21 18:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint