default search action
Tomoji Kishi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j6]Hanyu Zhang, Tomoji Kishi:
Large Class Detection Using GNNs: A Graph Based Deep Learning Approach Utilizing Three Typical GNN Model Architectures. IEICE Trans. Inf. Syst. 107(9): 1140-1150 (2024) - 2023
- [j5]HanYu Zhang, Tomoji Kishi:
Long Method Detection Using Graph Convolutional Networks. J. Inf. Process. 31: 469-477 (2023) - [j4]Jaejoon Lee, Tomoji Kishi:
Preface for the special issue on tool papers of the 25th International Systems and Software Product Line Conference (SPLC 2021). Sci. Comput. Program. 230: 102988 (2023) - [c27]Tomoji Kishi:
Family-based Model Checking using Probabilistic Model Checker PRISM. APSEC 2023: 376-385 - [i1]Toshiaki Aoki, Aritoshi Hata, Kazusato Kanamori, Satoshi Tanaka, Yuta Kawamoto, Yasuhiro Tanase, Masumi Imai, Fumiya Shigemitsu, Masaki Gondo, Tomoji Kishi:
Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems. CoRR abs/2310.00973 (2023) - 2020
- [c26]Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho:
Toward an Encoding Approach to Interaction-based Test Suite Minimization. ICST Workshops 2020: 211-212
2010 – 2019
- 2019
- [c25]Natsuko Noda, Tomoji Kishi, Shin'ichi Fukuzumi:
Hidden-use Case for Eliciting Quality in Use (short paper). IWESQ@APSEC 2019: 25-27 - [c24]Hirofumi Akimoto, Yuto Isogami, Takashi Kitamura
, Natsuko Noda, Tomoji Kishi:
A Prioritization Method for SPL Pairwise Testing Based on User Profiles. APSEC 2019: 118-125 - 2018
- [c23]Naito Oshima, Tomoji Kishi:
Model Checking Method for SPA Page Transition Based on Component-based Framework. SEKE 2018: 675-674 - [c22]Yunkang Xu, Tomoji Kishi:
An Ontology-Based IoT Communication Data Reduction Method. UEMCON 2018: 321-325 - 2016
- [c21]Shintaro Hosoai, Natsuko Noda, Tomoji Kishi:
System Product Line Engineering for Small Appliances with Driver Derivation. APSEC 2016: 389-392 - 2013
- [j3]Klaus Schmid
Guest Editors' Introduction: Special Issue on Software Reuse and Product Lines. Inf. Softw. Technol. 55(3): 489-490 (2013) - [e3]Tomoji Kishi, Stan Jarzabek, Stefania Gnesi:
17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013. ACM 2013, ISBN 978-1-4503-1968-3 [contents] - 2011
- [c20]Goetz Botterweck
Joint Workshop of the Third International Workshop on Model-Driven Approaches in Software Product Line Engineering and the Third Workshop on Scalable Modeling Techniques for Software Product Lines (MAPLE/SCALE 2011). SPLC 2011: 340 - [e2]Eduardo Santana de Almeida, Tomoji Kishi, Christa Schwanninger, Isabel John, Klaus Schmid:
Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. IEEE Computer Society 2011, ISBN 978-1-4577-1029-2 [contents] - 2010
- [c19]Natsuko Noda, Tomoji Kishi:
New Challenge of Scalable Modeling. SPLC Workshops 2010: 191-192 - [c18]Takashi Maki, Tomoji Kishi:
Problem Factor Portfolio Analysis for Product Line Architecture Refactoring. SPLC Workshops 2010: 205-210 - [c17]Muhammad Ali Babar, Sholom Cohen, Kyo Chul Kang, Tomoji Kishi, Frank van der Linden, Natsuko Noda, Klaus Pohl:
2nd Workshop on Scalable Modeling Techniques for Software Product Lines (SCALE 2010). SPLC 2010: 529 - [e1]Goetz Botterweck, Stan Jarzabek, Tomoji Kishi, Jaejoon Lee, Steve Livengood:
Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools). Lancaster University 2010, ISBN 978-1-86220-274-0 [contents]
2000 – 2009
- 2009
- [c16]Tomoji Kishi:
Model Driven Design and Organic Computing -- From the Viewpoint of Application Production. ISORC 2009: 97-98 - [c15]Takuya Katayama, Tomoji Kishi, Shintaro Hosoai, Tatsuo Nakajima, Taiichi Yuasa, Midori Sugaya, Tomoharu Ugawa:
Project Report: Toward the Realization of Highly Reliable Embedded Systems. ISORC 2009: 105-111 - [c14]Toshiaki Aoki
Detecting and Analyzing State Inconsistencies in Multi-task Software. ISORC 2009: 326-330 - [c13]Tomoji Kishi, Kyo Chul Kang:
Scalable Modeling Techniques for Software Product Lines (SCALE2009): bridging the gap between research and practice. SPLC 2009: 299 - 2008
- [c12]Natsuko Noda, Tomoji Kishi:
Aspect-Oriented Modeling for Variability Management. SPLC 2008: 213-222 - 2007
- [c11]Natsuko Noda, Tomoji Kishi:
Aspect-Oriented Modeling for Embedded Software Design. APSEC 2007: 342-349 - [c10]Natsuko Noda, Tomoji Kishi:
Design Verification Tool for Product Line Development. SPLC (2) 2007: 147-148 - 2006
- [j2]Tomoji Kishi, Natsuko Noda:
Formal verification and software product lines. Commun. ACM 49(12): 73-77 (2006) - 2005
- [j1]Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki
Highly Reliable Embedded Software Development Using Advanced Software Technologies. IEICE Trans. Inf. Syst. 88-D(6): 1105-1116 (2005) - [c9]Tomoji Kishi, Natsuko Noda, Takuya Katayama:
Design Verification for Product Line Development. SPLC 2005: 150-161 - 2004
- [c8]Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama:
Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS 2004: 144-148 - 2002
- [c7]Tomoji Kishi, Natsuko Noda, Takuya Katayama:
A Method for Product Line Scoping Based on a Decision-Making Framework. SPLC 2002: 348-365 - 2001
- [c6]Tomoji Kishi, Natsuko Noda, Takuya Katayama:
Architectural Design for Evolution by Analyzing Requirements on Quality Attributes. APSEC 2001: 111-118 - [c5]Tomoji Kishi, Natsuko Noda:
Aspect-Oriented Analysis for Architectural Design. IWPSE 2001: 126-129 - [c4]Natsuko Noda, Tomoji Kishi:
Design Pattern Concerns for Software Evolution. IWPSE 2001: 158-161 - 2000
- [c3]Tomoji Kishi, Natsuko Noda:
Aspect-oriented analysis for product line architecture. SPLC 2000: 135-146
1990 – 1999
- 1999
- [c2]Natsuko Noda, Tomoji Kishi:
On Aspect-Oriented Design: An Approach to Designing Quality Attributes. APSEC 1999: 230-237 - [c1]Tomoji Kishi, Natsuko Noda:
Analysing Hot / Frozen Spot from Performance Aspect. ECOOP Workshops 1999: 200-201
Coauthor Index
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-09-07 02:05 CEST 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: