If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Tomoji Kishi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 3 Similar Profiles
Embedded software Engineering & Materials Science
Software engineering Engineering & Materials Science
Software architecture Engineering & Materials Science
Software design Engineering & Materials Science
Model checking Engineering & Materials Science
Architectural design Engineering & Materials Science
Model Verification Mathematics
Embedded Software Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1999 2018

  • 111 Citations
  • 6 h-Index
  • 15 Conference contribution
  • 10 Article
  • 2 Chapter

An Ontology-Based IoT Communication Data Reduction Method

Xu, Y. & Kishi, T., 2018 Nov 1, 2018 9th IEEE Annual Ubiquitous Computing, Electronics and Mobile Communication Conference, UEMCON 2018. Chakrabarti, S. & Saha, H. N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 321-325 5 p. 8796782. (2018 9th IEEE Annual Ubiquitous Computing, Electronics and Mobile Communication Conference, UEMCON 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

data reduction
Ontology
Data reduction
communication
Data structures

Combined model checking and testing create confidence-a case on commercial automotive operating system

Aoki, T., Satoh, M., Tani, M., Yatake, K. & Kishi, T., 2017 May 10, Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings. Springer Singapore, p. 109-132 24 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Model checking
Formal methods
Testing
NASA
Railroad cars

System product line engineering for small appliances with driver derivation

Hosoai, S., Noda, N. & Kishi, T., 2017 Mar 30, Proceedings - 23rd Asia-Pacific Software Engineering Conference, APSEC 2016. IEEE Computer Society, p. 389-392 4 p. 7890619

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hardware
Electronic equipment
Actuators
Engineers
Controllers

Variability modeling methods for software product line development

Noda, N. & Kishi, T., 2014 Dec 14, In : Computer Software. 31, 4, p. 66-76 11 p.

Research output: Contribution to journalArticle

Guest editors' introduction: Special issue on software reuse and product lines

Schmid, K., De Almeida, E. S. & Kishi, T., 2013 Mar, In : Information and Software Technology. 55, 3, p. 489-490 2 p.

Research output: Contribution to journalArticle

Computer software reusability