Research Output

Filter
Conference contribution
2012

Training of requirements analysis modeling with UML-based prototype generation tool

Ogata, S. & Matsuura, S., 2012 Mar 21, Asian Internet Engineeering Engineering Conference, AINTEC 2010. p. 105-108 4 p. (Proceedings of the 5th India Software Engineering Conference, ISEC'12).

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

1 Citation (Scopus)

Wearable dual band antenna made of fabric cloth for BAN use

Sugiyama, H., Goto, H. & Iwasaki, H., 2012 Dec 1, 2012 Asia-Pacific Microwave Conference, APMC 2012 - Proceedings. p. 1337-1339 3 p. 6421912. (Asia-Pacific Microwave Conference Proceedings, APMC).

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

4 Citations (Scopus)

Wearable finger dual band antenna for BAN

Watanabe, T. & Iwasaki, H., 2012 Nov 23, Proceedings of the 2012 IEEE-APS Topical Conference on Antennas and Propagation in Wireless Communications, APWC'12. p. 51-54 4 p. 6324898. (Proceedings of the 2012 IEEE-APS Topical Conference on Antennas and Propagation in Wireless Communications, APWC'12).

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

10 Citations (Scopus)

Wearable finger multiband antenna for BAN use

Watanabe, T. & Iwasaki, H., 2012 Jul 2, Proceedings of 6th European Conference on Antennas and Propagation, EuCAP 2012. p. 3106-3109 4 p. 6205860. (Proceedings of 6th European Conference on Antennas and Propagation, EuCAP 2012).

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

2013

Active RFID tag drive using thermoelectric conversion element

Saeki, R., Yoshino, J. & Inoue, M., 2013 Dec 1, 2013 IEEE 2nd Global Conference on Consumer Electronics, GCCE 2013. p. 269-270 2 p. 6664821. (2013 IEEE 2nd Global Conference on Consumer Electronics, GCCE 2013).

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

2 Citations (Scopus)

Advanced control for magnetostrictive actuated nano-stage

Chen, X., 2013 Nov 25, 2013 IEEE International Conference on Mechatronics and Automation, IEEE ICMA 2013. p. 749-754 6 p. 6618010. (2013 IEEE International Conference on Mechatronics and Automation, IEEE ICMA 2013).

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

1 Citation (Scopus)

A dynamic countermeasure method to android malware by user approval

Kato, M. & Matsuura, S., 2013 Jan 1, Proceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013. IEEE Computer Society, p. 730-731 2 p. 6649910. (Proceedings - International Computer Software and Applications Conference).

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

4 Citations (Scopus)

A hierarchical P2P traffic localization method with bandwidth limitation

Hoang-Van, H., Miyoshi, T. & Fourmaux, O., 2013 Dec 1, Proceedings - 2013 RIVF International Conference on Computing and Communication Technologies: Research, Innovation, and Vision for Future, RIVF 2013. p. 127-130 4 p. 6719880. (Proceedings - 2013 RIVF International Conference on Computing and Communication Technologies: Research, Innovation, and Vision for Future, RIVF 2013).

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

1 Citation (Scopus)

A study on digital filter banks for reconstruction of uniformly sampled signals from nonuniform samples

Itami, F. & Watanabe, E., 2013 Dec 1, 2013 IEEE International Conference of IEEE Region 10, IEEE TENCON 2013 - Conference Proceedings. 6719076. (IEEE Region 10 Annual International Conference, Proceedings/TENCON).

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

Comparison between monte carlo simulation codes for emulsion chambers

Yanagisawa, K., Yoshida, K., Komori, Y., Kobayashi, T. & Nishimura, J., 2013 Jan 1, Proceedings of the 33rd International Cosmic Rays Conference, ICRC 2013. Sociedade Brasileira de Fisica, Vol. 2013-October.

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

Composite imaging method for histological image analysis

Imai, M., Takei, A., Miyamoto, K., Takahashi, M. & Nakano, M., 2013 Oct 31, 2013 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2013. p. 3387-3390 4 p. 6610268. (Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS).

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

Consumers' confused behavior analysis in manufacturing and distribution shop

Usami, E. & Inoue, M., 2013 Sep 11, 2013 IEEE 17th International Symposium on Consumer Electronics, ISCE 2013. p. 163-164 2 p. 6570163. (Proceedings of the International Symposium on Consumer Electronics, ISCE).

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

Control for unknown linear systems preceded by hysteresis represented by preisach model

Chen, X., 2013 Jan 1, 2013 IEEE 52nd Annual Conference on Decision and Control, CDC 2013. Institute of Electrical and Electronics Engineers Inc., p. 6664-6669 6 p. 6760944. (Proceedings of the IEEE Conference on Decision and Control).

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

2 Citations (Scopus)

Control for unknown systems preceded by hysteresis and its application to nanopositioner

Chen, X., 2013 Jan 1, Proceedings of the 2013 International Conference on Advanced Mechatronic Systems, ICAMechS 2013. IEEE Computer Society, p. 40-45 6 p. 6681747. (International Conference on Advanced Mechatronic Systems, ICAMechS).

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

1 Citation (Scopus)

Dark matter search with CALET

Yoshida, K., 2013 Jan 1, Proceedings of the 33rd International Cosmic Rays Conference, ICRC 2013. Sociedade Brasileira de Fisica, Vol. 2013-October.

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

1 Citation (Scopus)

Early detection system considering types of dementia by behavior sensing

Abe, Y., Toya, M. & Inoue, M., 2013 Dec 1, 2013 IEEE 2nd Global Conference on Consumer Electronics, GCCE 2013. p. 348-349 2 p. 6664851. (2013 IEEE 2nd Global Conference on Consumer Electronics, GCCE 2013).

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

4 Citations (Scopus)

Early detection system of senile dementia by behavior sensing

Abe, Y., Toya, M. & Inoue, M., 2013 Sep 11, 2013 IEEE 17th International Symposium on Consumer Electronics, ISCE 2013. p. 67-68 2 p. 6570255. (Proceedings of the International Symposium on Consumer Electronics, ISCE).

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

4 Citations (Scopus)

Electric vehicle (EV) manufacturers' challenge: R&D strategy of battery safety units seen in WIPO data

Nakai, Y., 2013 Dec 16, Proceeding of the 2013 "Suzhou-Silicon Valley-Beijing" International Innovation Conference: Technology Innovation and Diasporas in a Global Era, SIIC 2013. p. 53-55 3 p. 6624165. (Proceeding of the 2013 "Suzhou-Silicon Valley-Beijing" International Innovation Conference: Technology Innovation and Diasporas in a Global Era, SIIC 2013).

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

1 Citation (Scopus)

High precision control for nano-stage driven by magnetostrictive actuator

Chen, X. & Su, C. Y., 2013 Oct 7, Intelligent Robotics and Applications - 6th International Conference, ICIRA 2013, Proceedings. PART 2 ed. p. 666-677 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8103 LNAI, no. PART 2).

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

Home information management system with automatic acquisition of consumer electronics information

Kanai, M. & Inoue, M., 2013 Sep 11, 2013 IEEE 17th International Symposium on Consumer Electronics, ISCE 2013. p. 261-262 2 p. 6570217. (Proceedings of the International Symposium on Consumer Electronics, ISCE).

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

Landau-pomeranchuk-migdal effect on high-energy electron measurements with emulsion chambers

Yoshida, K., Komori, Y., Yanagisawa, K., Kobayashi, T., Sato, Y. & Nishimura, J., 2013 Jan 1, Proceedings of the 33rd International Cosmic Rays Conference, ICRC 2013. Sociedade Brasileira de Fisica, Vol. 2013-October.

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

Lifestyle improvement support system considering context of a user

Suzuki, T. & Inoue, M., 2013 Apr 24, 2013 IEEE International Conference on Consumer Electronics, ICCE 2013. p. 454-455 2 p. 6486972. (Digest of Technical Papers - IEEE International Conference on Consumer Electronics).

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

Multimodal method for extracting nuclei in hepatic histological images

Miyamoto, K., Takahashi, M., Koichi, J., Kitani, T. & Nakano, M., 2013 Apr 16, World Congress on Medical Physics and Biomedical Engineering. p. 927-930 4 p. (IFMBE Proceedings; vol. 39 IFMBE).

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

Numerical modeling of reduction in surface-related lags and current slump in GaAs FETs

Hafiz, F., Kumeno, M., Tanaka, T. & Horio, K., 2013 Dec 1, 2013 IEEE International Conference of IEEE Region 10, IEEE TENCON 2013 - Conference Proceedings. 6718452. (IEEE Region 10 Annual International Conference, Proceedings/TENCON).

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

P2P traffic localization by forcing packet loss

Hoang-Van, H., Mizutani, K., Miyoshi, T. & Fourmaux, O., 2013 Oct 31, 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, ICIS 2013 - Proceedings. p. 323-328 6 p. 6607861. (2013 IEEE/ACIS 12th International Conference on Computer and Information Science, ICIS 2013 - Proceedings).

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

P2PTV traffic localization by deep packet inspection

Hoang-Van, H., Miyoshi, T. & Fourmaux, O., 2013 Oct 28, SNPD 2013 - 14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. p. 375-380 6 p. 6598491. (SNPD 2013 - 14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing).

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

Precise segmentation of nuclei in hepatic histological images

Fujii, T., Takahashi, M., Yamada, K. & Nakano, M., 2013 Apr 16, World Congress on Medical Physics and Biomedical Engineering. p. 880-883 4 p. (IFMBE Proceedings; vol. 39 IFMBE).

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

Safety route guidance system using participatory sensing

Kusano, S. & Inoue, M., 2013 Dec 1, 2013 IEEE 2nd Global Conference on Consumer Electronics, GCCE 2013. p. 363-364 2 p. 6664856. (2013 IEEE 2nd Global Conference on Consumer Electronics, GCCE 2013).

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

4 Citations (Scopus)

Similarities of lags, current collapse and breakdown characteristics between source and gate field-plate AlGaN/GaN HEMTs

Hanawa, H., Onodera, H., Nakajima, A. & Horio, K., 2013 Aug 7, 2013 IEEE International Reliability Physics Symposium, IRPS 2013. p. CD.1.1-CD.1.5 6532058. (IEEE International Reliability Physics Symposium Proceedings).

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

5 Citations (Scopus)

Simulation of back-electrode effects on lags and current collapse in field-plate AlGaN/GaN HEMTs

Horio, K., Onodera, H. & Fukai, T., 2013 Aug 9, Technical Proceedings of the 2013 NSTI Nanotechnology Conference and Expo, NSTI-Nanotech 2013. p. 497-500 4 p. (Technical Proceedings of the 2013 NSTI Nanotechnology Conference and Expo, NSTI-Nanotech 2013; vol. 2).

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

UML based security function policy verification method for requirements specification

Noro, A. & Matsuura, S., 2013 Jan 1, Proceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013. IEEE Computer Society, p. 832-833 2 p. 6649930. (Proceedings - International Computer Software and Applications Conference).

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

1 Citation (Scopus)

Wearable finger ring dual band antenna made of fabric cloth for BAN use

Sugiyama, H. & Iwasaki, H., 2013 Aug 14, 2013 7th European Conference on Antennas and Propagation, EuCAP 2013. p. 3556-3559 4 p. 6546972. (2013 7th European Conference on Antennas and Propagation, EuCAP 2013).

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

1 Citation (Scopus)
2014

Adaptive control for ionic polymer-metal composite actuator based on continuous-time approach

Chen, X., 2014, IFAC Proceedings Volumes (IFAC-PapersOnline). IFAC Secretariat, Vol. 19. p. 5073-5078 6 p.

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

1 Citation (Scopus)

Adaptive control for piezoelectric actuator using discrete-time Bouc-Wen model

Minh, T. V. & Chen, X., 2014 Apr 20, 2014 IEEE International Conference on Robotics and Biomimetics, IEEE ROBIO 2014. Institute of Electrical and Electronics Engineers Inc., p. 1554-1559 6 p. 7090555

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

2 Citations (Scopus)

A hierarchical P2P traffic localization method with bandwidth limitation

Hoang-Van, H., Miyoshi, T. & Fourmaux, O., 2014 Jan 1, 2014 IEEE International Conference on Communications, ICC 2014. IEEE Computer Society, p. 3136-3141 6 p. 6883803. (2014 IEEE International Conference on Communications, ICC 2014).

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

2 Citations (Scopus)

Analysis of breakdown characteristics in gate and source field-plate AlGaN/GaN HEMTs

Onodera, H., Hanawa, H. & Horio, K., 2014 Jan 1, Technical Proceedings of the 2014 NSTI Nanotechnology Conference and Expo, NSTI-Nanotech 2014. Nano Science and Technology Institute, p. 499-502 4 p. (Technical Proceedings of the 2014 NSTI Nanotechnology Conference and Expo, NSTI-Nanotech 2014; vol. 2).

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

A nonlinear exact disturbance observer inspired by sliding mode techniques

Chen, X., 2014 Sep 25, 2014 International Conference on Advanced Mechatronic Systems, ICAMechS. IEEE Computer Society, p. 181-185 5 p. 6911647. (International Conference on Advanced Mechatronic Systems, ICAMechS).

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

Autonomous retransmission control with neighbour terminals for ad hoc networks

Yamazaki, T., Yamamoto, R., Miyoshi, T. & Tanaka, Y., 2014 Dec 23, APNOMS 2014 - 16th Asia-Pacific Network Operations and Management Symposium. Institute of Electrical and Electronics Engineers Inc., 6996593

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

Control design for ionic polymer-metal composite based actuators

Chen, X. & Su, C. Y., 2014 Oct 21, 2014 IEEE International Conference on Information and Automation, ICIA 2014. Institute of Electrical and Electronics Engineers Inc., p. 806-811 6 p. 6932762. (2014 IEEE International Conference on Information and Automation, ICIA 2014).

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

1 Citation (Scopus)

Improve user's security literacy by experiencing behavior of pseudo android malware

Kato, M. & Matsuura, S., 2014 Sep 15, Proceedings - International Computer Software and Applications Conference. IEEE Computer Society, p. 602-603 2 p. 6899269

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

Performance analysis of fixed node assisted opportunistic routing for ad hoc networks

Shirai, T., Yamazaki, T., Yamamoto, R., Miyoshi, T. & Tanaka, Y., 2014, Proceedings - 2014 2nd International Symposium on Computing and Networking, CANDAR 2014. Institute of Electrical and Electronics Engineers Inc., p. 260-265 6 p. 7052192

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

Plaster type dual band antenna made of fabric cloth for BAN use

Mano, T. & Iwasaki, H., 2014 Jan 1, 2014 IEEE-APS Topical Conference on Antennas and Propagation in Wireless Communications, APWC 2014. Institute of Electrical and Electronics Engineers Inc., p. 113-116 4 p. 6905530. (2014 IEEE-APS Topical Conference on Antennas and Propagation in Wireless Communications, APWC 2014).

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

4 Citations (Scopus)

Practical behavioral inconsistency detection between source code and specification using model checking

Matsuura, S., Aoki, Y. & Ogata, S., 2014 Dec 12, Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014. Institute of Electrical and Electronics Engineers Inc., p. 124-125 2 p. 6983818. (Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014).

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

2 Citations (Scopus)

QoE-driven bandwidth allocation method based on user characteristics

Pham-Thi, H., Hoang-Van, H., Miyoshi, T. & Yamazaki, T., 2014 Dec 23, APNOMS 2014 - 16th Asia-Pacific Network Operations and Management Symposium. Institute of Electrical and Electronics Engineers Inc., 6996518

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

2 Citations (Scopus)

Quality of experience modeling with psychological effect for interactive web services

Yamazaki, T., Miyoshi, T., Eguchi, M. & Yamori, K., 2014 Jan 1, IEEE/IFIP NOMS 2014 - IEEE/IFIP Network Operations and Management Symposium: Management in a Software Defined World. IEEE Computer Society, 6838398. (IEEE/IFIP NOMS 2014 - IEEE/IFIP Network Operations and Management Symposium: Management in a Software Defined World).

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

4 Citations (Scopus)

Robust control for ionic polymer-metal composite actuators

Chen, X., 2014 Jan 1, 2014 IEEE International Conference on Mechatronics and Automation, IEEE ICMA 2014. IEEE Computer Society, p. 491-496 6 p. 6885747. (2014 IEEE International Conference on Mechatronics and Automation, IEEE ICMA 2014).

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

Status and performance of the CALorimetric Electron Telescope (CALET) on the international space station

Adriani, O., Akaike, Y., Asaoka, Y., Asano, K., Bagliesi, M. G., Bigongiari, G., Binns, W. R., Bongi, M., Buckley, J. H., Cassese, A., Castellini, G., Cherry, M. L., Collazuol, G., Ebisawa, K., di Felice, V., Fuke, H., Guzik, T. G., Hamsa, T., Hasebe, N., Hareyama, M. & 66 others, Hibino, K., Ichimura, M., Ioka, K., Israel, M. H., Javaid, A., Kamioka, E., Kasahara, K., Katayose, Y., Kataoka, J., Kataoka, R., Kawanaka, N., Kitamura, H., Kotani, T., Krawczynski, H. S., Krizmanic, J. F., Kubota, A., Kuramata, S., Lomtadze, T., Maestro, P., Marcelli, L., Marrocchesi, P. S., Mitchell, J. W., Miyake, S., Mizutani, K., Motz, H. M., Moiseev, A. A., Mori, K., Mori, M., Mori, N., Munakata, K., Murakami, H., Nakagawa, Y. E., Nakahira, S., Nishimura, J., Okuno, S., Ormes, J. F., Ozawa, S., Palma, F., Papini, P., Rauch, B. F., Ricciarini, S., Sakamoto, T., Sasaki, M., Shibata, M., Shimizu, Y., Shiomi, A., Sparvoli, R., Spillantini, P., Takahashi, I., Takayanagi, M., Takita, M., Tamura, T., Tateyama, N., Terasawa, T., Tomida, H., Torii, S., Tunesada, Y., Uchihori, Y., Ueno, S., Vannuccini, E., Wefel, J. P., Yamaoka, K., Yanagita, S., Yoshida, A., Yoshida, K. & Yuda, T., 2014 Dec 1, Nuclear Physics B - Proceedings Supplements. Elsevier, Vol. 256-257. p. 225-232 8 p.

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

8 Citations (Scopus)

Systems engineering design education based on multidisciplinary and global project based learning

Inoue, M., Hasegawa, H., Mano, K., Furukawa, Y., Yamazaki, A., Aank, K. & Tachibana, M., 2014, International Conference on Advanced Design Research and Education, ICADRE 2014. Research Publishing Services, p. 53-61 9 p.

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

3 Citations (Scopus)

The ASTRO-H X-ray astronomy satellite

Takahashi, T., Mitsuda, K., Kelley, R., Aharonian, F., Akamatsu, H., Akimoto, F., Allen, S., Anabuki, N., Angelini, L., Arnaud, K., Asai, M., Audard, M., Awaki, H., Azzarello, P., Baluta, C., Bamba, A., Bando, N., Bautz, M., Bialas, T., Blandford, R. D. & 228 others, Boyce, K., Brenneman, L., Brown, G., Cackett, E., Canavan, E., Chernyakova, M., Chiao, M., Coppi, P., Costantini, E., De Plaa, J., Den Herder, J. W., Dipirro, M., Done, C., Dotani, T., Doty, J., Ebisawa, K., Enoto, T., Ezoe, Y., Fabian, A., Ferrigno, C., Foster, A., Fujimoto, R., Fukazawa, Y., Funk, S., Furuzawa, A., Galeazzi, M., Gallo, L., Gandhi, P., Gilmore, K., Guainazzi, M., Haas, D., Haba, Y., Hamaguchi, K., Harayama, A., Hatsukade, I., Hayashi, K., Hayashi, T., Hayashida, K., Hiraga, J., Hirose, K., Hornschemeier, A., Hoshino, A., Hughes, J., Hwang, U., Iizuka, R., Inoue, Y., Ishibashi, K., Ishida, M., Ishikawa, K., Ishimura, K., Ishisaki, Y., Itoh, M., Iwata, N., Iyomoto, N., Jewell, C., Kaastra, J., Kallman, T., Kamae, T., Kataoka, J., Katsuda, S., Katsuta, J., Kawaharada, M., Kawai, N., Kawano, T., Kawasaki, S., Khangaluyan, D., Kilbourne, C., Kimball, M., Kimura, M., Kitamoto, S., Kitayama, T., Kohmura, T., Kokubun, M., Konami, S., Kosaka, T., Koujelev, A., Koyama, K., Krimm, H., Kubota, A., Kunieda, H., Lamassa, S., Laurent, P., Lebrun, F., Leutenegger, M., Limousin, O., Loewenstein, M., Long, K., Lumb, D., Madejski, G., Maeda, Y., Makishima, K., Markevitch, M., Masters, C., Matsumoto, H., Matsushita, K., McCammon, D., McGuinness, D., McNamara, B., Miko, J., Miller, J., Miller, E., Mineshige, S., Minesugi, K., Mitsuishi, I., Miyazawa, T., Mizuno, T., Mori, K., Mori, H., Moroso, F., Muench, T., Mukai, K., Murakami, H., Murakami, T., Mushotzky, R., Nagano, H., Nagino, R., Nakagawa, T., Nakajima, H., Nakamori, T., Nakashima, S., Nakazawa, K., Namba, Y., Natsukari, C., Nishioka, Y., Nobukawa, M., Noda, H., Nomachi, M., O'Dell, S., Odaka, H., Ogawa, H., Ogawa, M., Ogi, K., Ohashi, T., Ohno, M., Ohta, M., Okajima, T., Okazaki, T., Ota, N., Ozaki, M., Paerels, F., Paltani, S., Parmar, A., Petre, R., Pinto, C., Pohl, M., Pontius, J., Porter, F. S., Pottschmidt, K., Ramsey, B., Reis, R., Reynolds, C., Ricci, C., Russell, H., Safi-Harb, S., Saito, S., Sakai, S. I., Sameshima, H., Sato, K., Sato, R., Sato, G., Sawada, M., Serlemitsos, P., Seta, H., Shibano, Y., Shida, M., Shimada, T., Shirron, P., Simionescu, A., Simmons, C., Smith, R., Sneiderman, G., Soong, Y., Stawarz, L., Sugawara, Y., Sugita, S., Szymkowiak, A., Tajima, H., Takahashi, H., Takahashi, H., Takeda, S. I., Takei, Y., Tamagawa, T., Tamura, K., Tamura, T., Tanaka, T., Tanaka, Y., Tanaka, Y., Tashiro, M., Tawara, Y., Terada, Y., Terashima, Y., Tombesi, F., Tomida, H., Tsuboi, Y., Tsujimoto, M., Tsunemi, H., Tsuru, T., Uchida, H., Uchiyama, H., Uchiyama, Y., Ueda, Y., Ueda, S., Ueno, S., Uno, S., Urry, M., Ursino, E., De Vries, C., Wada, A., Watanabe, S., Watanabe, T., Werner, N., White, N., Wilkins, D., Yamada, S., Yamada, T., Yamaguchi, H., Yamaoka, K., Yamasaki, N., Yamauchi, M., Yamauchi, S., Yaqoob, T., Yatsu, Y., Yonetoku, D., Yoshida, A., Yuasa, T., Zhuravleva, I., Zoghbi, A. & Zuhone, J., 2014 Jan 1, Space Telescopes and Instrumentation 2014: Ultraviolet to Gamma Ray. Takahashi, T., den Herder, J-W. A. & Bautz, M. (eds.). SPIE, 914425. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 9144).

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

64 Citations (Scopus)

Verifying security requirements using model checking technique for UML-based requirements specification

Aoki, Y. & Matsuura, S., 2014 Sep 23, 2014 IEEE 1st International Workshop on Requirements Engineering and Testing, RET 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 18-25 8 p. 6908674. (2014 IEEE 1st International Workshop on Requirements Engineering and Testing, RET 2014 - Proceedings).

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

6 Citations (Scopus)