Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Model checking Engineering & Materials Science
Surface mount technology Engineering & Materials Science
Specifications Engineering & Materials Science
Theorem proving Engineering & Materials Science
Transition Matrix Mathematics
State Transition Mathematics
Fault tree analysis Engineering & Materials Science
Semantics Engineering & Materials Science

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

Research Output 2003 2017

ZipPath: A simple-but-useful path finder for HSTM designs in ZIPC

Kong, W., Hou, G., Hu, X., Arimoto, Y., Watanabe, M., Ando, T., Kenji, H. & Fukuda, A., Jan 10 2017, Proceedings - 2016 International Conference on Agents, ICA 2016. Institute of Electrical and Electronics Engineers Inc., p. 154-157 4 p. 7812997

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

Transition Matrix
State Transition
Path
Software design
Software Design
3 Citations

Towards sustainable information infrastructure platform for smart mobility - Project overview

Fukuda, A., Kenji, H., Ishida, S., Mine, T., Nakanishi, T., Furusho, H., Tagashira, S., Arakawa, Y., Kaneko, K. & Kong, W., Aug 31 2016, Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016. Hiramatsu, A., Matsuo, T., Kanzaki, A. & Komoda, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 211-214 4 p. 7557604

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

Life cycle
Uncertainty
8 Citations

Software for wearable devices: Challenges and opportunities

Jiang, H., Chen, X., Zhang, S., Zhang, X., Kong, W. & Zhang, T., Sep 21 2015, Proceedings - 2015 IEEE 39th Annual Computer Software and Applications Conference Workshops, COMPSACW 2015. Ahamed, S. I., Chang, C. K., Crnkovic, I., Hsiung, P-A., Yang, J., Huang, G. & Chu, W. (eds.). IEEE Computer Society, Vol. 3. p. 592-597 6 p. 7273430

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

Computer science
Computer systems