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 2017

  • 118 Citations
  • 6 h-Index
  • 16 Conference contribution
  • 10 Article
  • 2 Chapter

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
4 Citations (Scopus)

Running model and hopping robot using pelvic movement and leg elasticity

Otani, T., Yahara, M., Uryu, K., Iizuka, A., Hashimoto, K., Kishi, T., Endo, N., Sakaguchi, M., Kawakami, Y., Hyon, S. H., Lim, H. O. & Takanishi, A., 2014 Sep 22, Proceedings - IEEE International Conference on Robotics and Automation. Institute of Electrical and Electronics Engineers Inc., p. 2313-2318 6 p. 6907179

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

Elasticity
Robots
Pendulums
Landing
Velocity control

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