Tomoji Kishi

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 10

Top Topics

Formal Verification

Epistemic Logic

Top Venues

Sci. Comput. Program.

Publications

Tomoji Kishi
Family-based Model Checking using Probabilistic Model Checker PRISM. APSEC (2023)
HanYu Zhang, Tomoji Kishi
Long Method Detection Using Graph Convolutional Networks. J. Inf. Process. 31 (2023)
Jaejoon Lee, Tomoji Kishi
International Systems and Software Product Line Conference (SPLC 2021). Sci. Comput. Program. 230 (2023)
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 (2023)
Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho
Toward an Encoding Approach to Interaction-based Test Suite Minimization. ICST Workshops (2020)
Hirofumi Akimoto, Yuto Isogami, Takashi Kitamura, Natsuko Noda, Tomoji Kishi
A Prioritization Method for SPL Pairwise Testing Based on User Profiles. APSEC (2019)
Natsuko Noda, Tomoji Kishi, Shin'ichi Fukuzumi
Hidden-use Case for Eliciting Quality in Use (short paper). IWESQ@APSEC (2019)
Yunkang Xu, Tomoji Kishi
An Ontology-Based IoT Communication Data Reduction Method. UEMCON (2018)
Naito Oshima, Tomoji Kishi
Model Checking Method for SPA Page Transition Based on Component-based Framework. SEKE (2018)
Shintaro Hosoai, Natsuko Noda, Tomoji Kishi
System Product Line Engineering for Small Appliances with Driver Derivation. APSEC (2016)
Klaus Schmid, Eduardo Santana de Almeida, Tomoji Kishi
Guest Editors' Introduction: Special Issue on Software Reuse and Product Lines. Inf. Softw. Technol. 55 (3) (2013)
Goetz Botterweck, Natsuko Noda, Deepak Dhungana, Rick Rabiser, Muhammad Ali Babar, Sholom Cohen, Kyo Chul Kang, Tomoji Kishi
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)
Takashi Maki, Tomoji Kishi
Problem Factor Portfolio Analysis for Product Line Architecture Refactoring. SPLC Workshops (2010)
Natsuko Noda, Tomoji Kishi
New Challenge of Scalable Modeling. SPLC Workshops (2010)
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)
Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi
Detecting and Analyzing State Inconsistencies in Multi-task Software. ISORC (2009)
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)
Tomoji Kishi, Kyo Chul Kang
Scalable Modeling Techniques for Software Product Lines (SCALE2009): bridging the gap between research and practice. SPLC (2009)
Tomoji Kishi
Model Driven Design and Organic Computing -- From the Viewpoint of Application Production. ISORC (2009)
Natsuko Noda, Tomoji Kishi
Aspect-Oriented Modeling for Variability Management. SPLC (2008)
Natsuko Noda, Tomoji Kishi
Design Verification Tool for Product Line Development. SPLC (2) (2007)
Natsuko Noda, Tomoji Kishi
Aspect-Oriented Modeling for Embedded Software Design. APSEC (2007)
Tomoji Kishi, Natsuko Noda
Formal verification and software product lines. Commun. ACM 49 (12) (2006)
Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani
Highly Reliable Embedded Software Development Using Advanced Software Technologies. IEICE Trans. Inf. Syst. (6) (2005)
Tomoji Kishi, Natsuko Noda, Takuya Katayama
Design Verification for Product Line Development. SPLC (2005)
Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama
Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS (2004)
Tomoji Kishi, Natsuko Noda, Takuya Katayama
A Method for Product Line Scoping Based on a Decision-Making Framework. SPLC (2002)
Tomoji Kishi, Natsuko Noda, Takuya Katayama
Architectural Design for Evolution by Analyzing Requirements on Quality Attributes. APSEC (2001)
Natsuko Noda, Tomoji Kishi
Design Pattern Concerns for Software Evolution. IWPSE (2001)
Tomoji Kishi, Natsuko Noda
Aspect-Oriented Analysis for Architectural Design. IWPSE (2001)
Tomoji Kishi, Natsuko Noda
Aspect-oriented analysis for product line architecture. SPLC (2000)
Natsuko Noda, Tomoji Kishi
On Aspect-Oriented Design: An Approach to Designing Quality Attributes. APSEC (1999)
Tomoji Kishi, Natsuko Noda
Analysing Hot / Frozen Spot from Performance Aspect. ECOOP Workshops (1999)