Find Research outputs

2010

FRM Model: An asset representation for software product lines

Hattori, Y., Hirakawa, G., Ashihara, S., Nakanishi, T., Hisazumi, K. & Fukuda, A., 2010 Mar, In: Research Reports on Information Science and Electrical Engineering of Kyushu University. 15, 1, p. 37-42 6 p.

Research output: Contribution to journal › Article › peer-review

2023

Study of Methods for Improving Strength and Durability of Low-Quality Recycled Aggregate Concrete

Yuya, R., Matsuda, N., Kojima, M. & Iyoda, T., 2023, Proceedings of The 17th East Asian-Pacific Conference on Structural Engineering and Construction, 2022 - EASEC-17. Geng, G., Qian, X., Poh, L. H. & Pang, S. D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-15 13 p. (Lecture Notes in Civil Engineering; vol. 302 LNCE).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2018

A Process of Uncertainty Handling Method to Smart Mobility Application Development

Inoki, H., Hisazumi, K., Ando, T., Fukuda, A. & Nakanishi, T., 2018 Jul 2, Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018. Institute of Electrical and Electronics Engineers Inc., p. 98-103 6 p. 8693343. (Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

2023

Editor’s Message to Special Issue of Embedded Systems Engineering

Hisazumi, K., 2023, In: Journal of information processing. 31, p. 66 1 p.

Research output: Contribution to journal › Editorial › peer-review

Open Access

2014

Translation rules of SysML state machine diagrams into CSP# toward formal model checking

Ando, T., Yatsu, H., Kong, W., Hisazumi, K. & Fukuda, A., 2014 Jun 1, In: International Journal of Web Information Systems. 10, 2, p. 151-169 19 p.

Research output: Contribution to journal › Article › peer-review

9 Citations (Scopus)

2019

Feature Extraction from Japanese Natural Language Requirements Documents for Software Product Line Engineering

Hisazumi, K., Xiao, Y. & Fukuda, A., 2019 Jul, Proceedings - Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security, QRS-C 2019. Institute of Electrical and Electronics Engineers Inc., p. 322-329 8 p. 8859423. (Proceedings - Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security, QRS-C 2019).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2022

STUDY FOR RE-ASR BEHAVIOUR OF RECYCLED CONCRETE USING ASR GENERATED CONCRETE AND CONSIDERING COUNTERMEASURE TECHNOLOGY

Iyoda, T. & Matsud, N., 2022 Mar 3, fib International Conference on Concrete Sustainability 2021. Sojkova, K., Hajek, P. & Fiala, C. (eds.). Czech Technical University in Prague, p. 271-276 6 p. (Acta Polytechnica CTU Proceedings; vol. 33).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

2010

EFFECT OF CURING CONDITIONS AND EXPOSURE CONDITIONS ON DRYING SHRINKAGE OF CONCRETE

Inokuchi, K. & Iyoda, T., 2010 Nov 29, In: The 4th ACF International conference 2010.

Research output: Contribution to journal › Article › peer-review

2013

Study on the chloride diffusion coefficient calculated from a simple accelerated chloride penetration test using electricity

Iyoda, T., Harasawa, Y. & Hosokawa, Y., 2013 Jan 1.

Research output: Contribution to conference › Paper › peer-review

1 Citation (Scopus)

2011

Formal verification of software designs in Hierarchical State Transition Matrix with SMT-based bounded model checking

Kong, W., Katahira, N., Watanabe, M., Katayama, T., Hisazumi, K. & Fukuda, A., 2011, Proceedings - 18th Asia-Pacific Software Engineering Conference, APSEC 2011. p. 81-88 8 p. 6130673. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

13 Citations (Scopus)

2010

Fundamental study on the state of chloride ion at different depth from the surface of concrete

Matsuzaki, S., Iyoda, T. & Uomoto, T., 2010 Nov 30, In: The 4th ACF International conference 2010.

Research output: Contribution to journal › Article › peer-review

2018

Object-oriented context description for movie based context-aware language learning

Hazriani, Nakanishi, T., Hisazumi, K. & Fukuda, A., 2018, In: International Journal of Advanced Computer Science and Applications. 9, 4, p. 350-357 8 p.

Research output: Contribution to journal › Article › peer-review

Open Access

2019

Affordable Rideshare Service for Female Urban Corporates in Developing Countries: A Case Study in Dhaka, Bangladesh

Abedin, N., Hisazumi, K. & Ahmed, A., 2019, HCI International 2019 – Late Breaking Posters - 21st HCI International Conference, HCII 2019, Proceedings. Stephanidis, C. & Antona, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 283-289 7 p. (Communications in Computer and Information Science; vol. 1088).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

2015

On the hydration process of the slag-anhydrite-lime system: A discussion on the stoichiometry of hydrates and the development of strength

Iyoda, T., Asaga, K. & Goto, S., 2015 Nov 1, In: Advances in Cement Research. 27, 10, p. 610-618 9 p.

Research output: Contribution to journal › Article › peer-review

2016

Smartphone usage analysis based on actual-use survey

Kamiyama, T., Hisazumi, K., Inamura, H., Konishi, T., Ohta, K. & Fukuda, A., 2016 Dec 1, MobiCASE 2016 - 8th EAI International Conference on Mobile Computing, Applications and Services. Kawsar, F., Musolesi, M. & Zhang, P. (eds.). Association for Computing Machinery, Inc, (MobiCASE 2016 - 8th EAI International Conference on Mobile Computing, Applications and Services).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

2019

Assessment Map for Multidisciplinary Abilities for IoT System Development Education based on a Robot Contest

Watanabe, H., Sato, M., Miwa, M., Imamura, M., Hosoai, S., Ogura, N., Nakamura, H. & Hisazumi, K., 2019 Jan 16, Proceedings of 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018. Lee, M. J. W., Nikolic, S., Wong, G. K. W., Shen, J., Ros, M., Lei, L. C. U. & Venkatarayalu, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 995-1000 6 p. 8615388. (Proceedings of 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

2003

A study of making a database for the deteriorated concrete bridges

IYODA, T., KATO, Y. & UOMOTO, T., 2003 Jan 1, In: Default journal.

Research output: Contribution to journal › Article › peer-review

2019

An Interdisciplinary and University PBL Curriculum Using Robot Challenge

Hisazumi, K., Hosoai, S., Watanabe, H., Miwa, M., Ogura, N. & Motoki, M., 2019 Jan 16, Proceedings of 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018. Lee, M. J. W., Nikolic, S., Wong, G. K. W., Shen, J., Ros, M., Lei, L. C. U. & Venkatarayalu, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 308-315 8 p. 8615301. (Proceedings of 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

2000

DEVELOPEMENT OF A SYSTEM FOR EVALUATING DETERIORATION OF EXISTING CONCRETE STRUCTURES

T.IYODA, T. IYODA., T.UOMOTO, T. UOMOTO. & Iyoda, T., 2000 Jan 1, In: Transactions of the Japan Concrete Institute.

Research output: Contribution to journal › Article › peer-review

2021

Influence of pore structure changed by carbonation using GGBFS cement on water permeability

Nakamura, J., Mizuno, H. & Iyoda, T., 2021, EASEC16 - Proceedings of the 16th East Asian-Pacific Conference on Structural Engineering and Construction, 2019. Wang, C. M., Kitipornchai, S. & Dao, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1955-1965 11 p. (Lecture Notes in Civil Engineering; vol. 101).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2016

Reference Model of specifications toward Independent Verification and Validation

Ando, T., Yatsu, H., Hisazumi, K., Fukuda, A., Matsumoto, M. & Michiura, Y., 2016 Jan 5, TENCON 2015 - 2015 IEEE Region 10 Conference. Institute of Electrical and Electronics Engineers Inc., 7372818. (IEEE Region 10 Annual International Conference, Proceedings/TENCON; vol. 2016-January).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2019

Evaluation of salt resistance of concrete combined with chloride-ion immobilizer and expansive additive

Ito, S., Hori, A. & Iyoda, T., 2019, In: Sustainable Construction Materials and Technologies. 1

Research output: Contribution to journal › Conference article › peer-review

DFEAM: Dynamic feature-oriented energy-aware adaptive modeling

Tanaka, F., Hisazumi, K. & Fukuda, A., 2019, MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (eds.). SciTePress, p. 292-299 8 p. (MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

2021

Layer modeling and its code generation based on context-oriented programming

Yamamoto, C., Tanigawa, I., Hisazumi, K., Sato, M., Ohkawa, T., Ogura, N. & Watanabe, H., 2021, MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F., Seidewitz, E. & Soley, R. (eds.). SciTePress, p. 330-336 7 p. (MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2011

Small inexpensive core asset construction for large gainful product line development: Developing a communication system firmware product line

Otsuka, J., Kawarabata, K., Iwasaki, T., Uchiba, M., Nakanishi, T. & Hisazumi, K., 2011, Proceedings of the 15th International Software Product Line Conference, SPLC'11. 2019159. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

7 Citations (Scopus)

EFFECT ON SLAG HYDRATION OF BLAST-FURNACE SLAG CEMENT IN DIFFERENT CURING CONDITIONS

IYODA, T., INOKUCHI, K. & UOMOTO, T., 2011 Jun 3, In: 13th International congress on the chemistry of cement.

Research output: Contribution to journal › Article › peer-review

2010

EFFECT OF CURING TEMPERATURE AND HUMIDITY ON HYDRATION OF BLAST FURNACE SLAG POWDER IN SLAG CEMENT

Murakami, H., Iyoda, T. & Fujima, Y., 2010 Nov 29, In: The 4th ACF International conference 2010.

Research output: Contribution to journal › Article › peer-review

2013

Domain analysis for mining software repositories: Towards feature-based DSL construction

Huang, C., Yamashita, K., Kamei, Y., Hisazumi, K. & Ubayashi, N., 2013, 2013 4th International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2013 - Proceedings. p. 41-44 4 p. 6608663. (2013 4th International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2013 - Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Citations (Scopus)

2017

Operation phase metrics for smart mobility platform

Hisazumi, K., Nakanishi, T., Ishibashr, S., Hirakawa, G., Mine, T., Ando, T., Furusw, H. & Fukuda, A., 2017 Jan 10, Proceedings - 2016 International Conference on Agents, ICA 2016. Institute of Electrical and Electronics Engineers Inc., p. 150-153 4 p. 7812996. (Proceedings - 2016 International Conference on Agents, ICA 2016).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

A software energy analysis method using ExecutableUML

Yoshimoto, R., Kadono, T., Hisazumi, K. & Fukuda, A., 2017 Feb 8, Proceedings of the 2016 IEEE Region 10 Conference, TENCON 2016. Institute of Electrical and Electronics Engineers Inc., p. 218-221 4 p. 7847993. (IEEE Region 10 Annual International Conference, Proceedings/TENCON).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

2012

Using the GPGPU for scaling up mining software repositories

Nagano, R., Nakamura, H., Kamei, Y., Adams, B., Hisazumi, K., Ubayashi, N. & Fukuda, A., 2012, Proceedings - 34th International Conference on Software Engineering, ICSE 2012. p. 1435-1436 2 p. 6227077. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

2018

Using fault injection for programming task generation

Habibi, B., Nakanishi, T., Hisazumi, K., Furusho, H. & Fukuda, A., 2018, Teaching and Learning in a Digital World - Proceedings of the 20th International Conference on Interactive Collaborative Learning. Auer, M. E., Simonics, I. & Guralnick, D. (eds.). Springer Verlag, p. 559-566 8 p. (Advances in Intelligent Systems and Computing; vol. 716).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2011

Applying domain specific modeling for environmental sensing using wireless sensor network

Fajar, M., Hisazumi, K., Nakanishi, T. & Fukuda, A., 2011, In: Asian Journal of Information Technology. 10, 7, p. 296-305 10 p.

Research output: Contribution to journal › Article › peer-review

Open Access

1 Citation (Scopus)

2015

Power Consumption Profiling Method Based on Android Application Usage

Furusho, H., Hisazumi, K., Kamiyama, T., Inamura, H., Nakanishi, T. & Fukuda, A., 2015, In: Lecture Notes in Electrical Engineering. 339, p. 891-898 8 p.

Research output: Contribution to journal › Article › peer-review

3 Citations (Scopus)

2019

Investigation of carbonation rate coefficient in mortars with blast furnace slag high content

Nakamura, J., Iyoda, T. & Goto, S., 2019 Jan 1, In: Sustainable Construction Materials and Technologies. 2

Research output: Contribution to journal › Conference article › peer-review

2011

A modeling method for performance evaluation of embedded software by eliminating execution traces

Ono, K., Kawahara, R., Nakamura, K., Nakada, T., Toyota, M., Ko, Y., Sakamoto, Y., Fukuoka, N. & Hisazumi, K., 2011, In: Computer Software. 28, 3, p. 97-113 17 p.

Research output: Contribution to journal › Review article › peer-review

2021

Carbonation progress mechanism of cement containing different amounts of powder admixtures

Iyoda, T., 2021, EASEC16 - Proceedings of the 16th East Asian-Pacific Conference on Structural Engineering and Construction, 2019. Wang, C. M., Kitipornchai, S. & Dao, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1933-1943 11 p. (Lecture Notes in Civil Engineering; vol. 101).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2013

Towards formal description of standards for automotive operating systems

Yatsu, H., Ando, T., Kong, W., Hisazumi, K., Fukuda, A., Aoki, T. & Futatsugi, K., 2013, p. 13-14. 2 p.

Research output: Contribution to conference › Paper › peer-review

3 Citations (Scopus)

2018

Model-based methodology establishing traceability between requirements, design and operation information in lifecycle-oriented architecture

Ishibashi, S., Hisazumi, K., Nakanishi, T. & Fukuda, A., 2018, Studies in Computational Intelligence. Springer Verlag, p. 47-63 17 p. (Studies in Computational Intelligence; vol. 742).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

2 Citations (Scopus)

2008

Connecting People with Technology-Issues in Professional Communication

Orr, T., Gupta, R., Yamazaki, A., Hayhoe, I., H., G., Gardy, G. & (eds), H. M., 2008 Oct 1, In: Default journal. p. 97-105

Research output: Contribution to journal › Article › peer-review

1997

A New Approach to Simulate Plankton Behaviors

Yamazaki, A. K., 1997 Jun 23, In: Default journal.

Research output: Contribution to journal › Article › peer-review

2011

A Naming Dictionary For Creators

yamazaki, C., 2011 Nov 1, In: Default journal.

Research output: Contribution to journal › Article › peer-review

1985

Data compression using nonuniform samples with control compression ratio

Yamazaki, A. K. & Lee, C. H., 1985 Nov 6, In: Default journal.

Research output: Contribution to journal › Article › peer-review

2007

The evaluation of an ESP e-learning course for engineering majors in terms of facilitating learner's anatomy and motivation

Yamazaki, A. K., Horton, E., Saito, S., Kobayashi, K., Tsuji, K., Ichikawa, Y. & Little, A., 2007 Sept 22, In: Proceedings of 23rd Annual Conference of Japan Society For Educational Technology, Waseda University, Sept. 2007. p. 977-978

Research output: Contribution to journal › Article › peer-review

2014

In-group favoritism due to friend selection strategies based on fixed tag and within-group reputation

Nakai, Y., 2014 Aug, In: Rationality and Society. 26, 3, p. 320-354 35 p.

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

2010

Chinese company's IPR strategy: How Huawei technologies succeeded in dominating overseas market by Sideward-Crawl Crab Strategy

Nakai, Y. & Tanaka, Y., 2010 Nov 25, PICMET '10 - Portland International Center for Management of Engineering and Technology, Proceedings - Technology Management for Global Economic Growth. p. 650-654 5 p. 5602172. (PICMET '10 - Portland International Center for Management of Engineering and Technology, Proceedings - Technology Management for Global Economic Growth).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

12 Citations (Scopus)

2009