Tomoji Kishi

According to our database, Tomoji Kishi authored at least 34 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Large Class Detection Using GNNs: A Graph Based Deep Learning Approach Utilizing Three Typical GNN Model Architectures.

Hanyu Zhang, Tomoji Kishi

IEICE Trans. Inf. Syst., 2024

2023

Preface for the special issue on tool papers of the 25^th International Systems and Software Product Line Conference (SPLC 2021).

Jaejoon Lee, Tomoji Kishi

Sci. Comput. Program., August, 2023

Long Method Detection Using Graph Convolutional Networks.

HanYu Zhang, Tomoji Kishi

J. Inf. Process., 2023

Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems.

Toshiaki Aoki, Aritoshi Hata, Kazusato Kanamori, Satoshi Tanaka, Yuta Kawamoto, Yasuhiro Tanase, Masumi Imai, Fumiya Shigemitsu, Masaki Gondo, Tomoji Kishi

CoRR, 2023

Family-based Model Checking using Probabilistic Model Checker PRISM.

Tomoji Kishi

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2020

Toward an Encoding Approach to Interaction-based Test Suite Minimization.

Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

Hidden-use Case for Eliciting Quality in Use (short paper).

Natsuko Noda, Tomoji Kishi, Shin'ichi Fukuzumi

Proceedings of the 1st International Workshop on Experience with SQuaRE Series and Its Future Direction co-located with 26th Asia-Pacific Software Engineering Conference, 2019

A Prioritization Method for SPL Pairwise Testing Based on User Profiles.

Hirofumi Akimoto, Yuto Isogami, Takashi Kitamura, Natsuko Noda, Tomoji Kishi

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

An Ontology-Based IoT Communication Data Reduction Method.

Yunkang Xu, Tomoji Kishi

Proceedings of the 9th IEEE Annual Ubiquitous Computing, 2018

Model Checking Method for SPA Page Transition Based on Component-based Framework.

Naito Oshima, Tomoji Kishi

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

2016

System Product Line Engineering for Small Appliances with Driver Derivation.

Shintaro Hosoai, Natsuko Noda, Tomoji Kishi

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2013

Guest Editors' Introduction: Special Issue on Software Reuse and Product Lines.

Klaus Schmid, Eduardo Santana de Almeida, Tomoji Kishi

Inf. Softw. Technol., 2013

2011

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).

Goetz Botterweck, Natsuko Noda, Deepak Dhungana, Rick Rabiser, Muhammad Ali Babar, Sholom Cohen, Kyo Chul Kang, Tomoji Kishi

Proceedings of the Software Product Lines - 15th International Conference, 2011

2010

New Challenge of Scalable Modeling.

Natsuko Noda, Tomoji Kishi

Proceedings of the Software Product Lines - 14th International Conference, 2010

Problem Factor Portfolio Analysis for Product Line Architecture Refactoring.

Takashi Maki, Tomoji Kishi

Proceedings of the Software Product Lines - 14th International Conference, 2010

2nd Workshop on Scalable Modeling Techniques for Software Product Lines (SCALE 2010).

Muhammad Ali Babar, Sholom Cohen, Kyo Chul Kang, Tomoji Kishi, Frank van der Linden, Natsuko Noda, Klaus Pohl

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

2009

Scalable Modeling Techniques for Software Product Lines (SCALE2009): bridging the gap between research and practice.

Tomoji Kishi, Kyo Chul Kang

Proceedings of the Software Product Lines, 13th International Conference, 2009

Model Driven Design and Organic Computing -- From the Viewpoint of Application Production.

Tomoji Kishi

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

Project Report: Toward the Realization of Highly Reliable Embedded Systems.

Takuya Katayama, Tomoji Kishi, Shintaro Hosoai, Tatsuo Nakajima, Taiichi Yuasa, Midori Sugaya, Tomoharu Ugawa

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

Detecting and Analyzing State Inconsistencies in Multi-task Software.

Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

2008

Aspect-Oriented Modeling for Variability Management.

Natsuko Noda, Tomoji Kishi

Proceedings of the Software Product Lines, 12th International Conference, 2008

2007

Design Verification Tool for Product Line Development.

Natsuko Noda, Tomoji Kishi

Proceedings of the Software Product Lines, 11th International Conference, 2007

Aspect-Oriented Modeling for Embedded Software Design.

Natsuko Noda, Tomoji Kishi

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Formal verification and software product lines.

Tomoji Kishi, Natsuko Noda

Commun. ACM, 2006

2005

Highly Reliable Embedded Software Development Using Advanced Software Technologies.

Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani

IEICE Trans. Inf. Syst., 2005

Design Verification for Product Line Development.

Tomoji Kishi, Natsuko Noda, Takuya Katayama

Proceedings of the Software Product Lines, 9th International Conference, 2005

2004

Project Report: High-Reliable Object-Oriented Embedded Software Design.

Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama

Proceedings of the 2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004

2002

A Method for Product Line Scoping Based on a Decision-Making Framework.

Tomoji Kishi, Natsuko Noda, Takuya Katayama

Proceedings of the Software Product Lines, Second International Conference, 2002

2001

Design Pattern Concerns for Software Evolution.

Natsuko Noda, Tomoji Kishi

Proceedings of the 4th International Workshop on Principles of Software Evolution, 2001

Aspect-Oriented Analysis for Architectural Design.

Tomoji Kishi, Natsuko Noda

Proceedings of the 4th International Workshop on Principles of Software Evolution, 2001

Architectural Design for Evolution by Analyzing Requirements on Quality Attributes.

Tomoji Kishi, Natsuko Noda, Takuya Katayama

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

Aspect-oriented analysis for product line architecture.

Tomoji Kishi, Natsuko Noda

Proceedings of the Software Product Lines; Experiences and Research Directions, 2000

1999

Analysing Hot / Frozen Spot from Performance Aspect.

Tomoji Kishi, Natsuko Noda

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

On Aspect-Oriented Design: An Approach to Designing Quality Attributes.

Natsuko Noda, Tomoji Kishi

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999