Michihiro Matsumoto

According to our database, Michihiro Matsumoto authored at least 10 papers between 1995 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Conversion Method of MATLAB/Simulink Model for a Functional Resonance Analysis Method-based Model.

Masamichi Kakeshita, Kenji Hisazumi, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2018

Verification Model Translation Method toward Behavior Model for CAST.

Takahiro Ando, Bo Wang, Kenji Hisazumi, Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto

Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

2010

Model Checking of Software Design in State Transition Matrix.

Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

2007

A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software.

Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2004

Product Line Based Component Unification and Exploiting Unified Components in FORM.

Tsuneo Nakanishi, Minoru Hatamoto, Michihiro Matsumoto, Susumu Yamazaki, Teruaki Kitasuka, Akira Fukuda

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2000

Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification.

Michihiro Matsumoto, Kokichi Futatsugi

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

The support tool for highly reliable component-based software development.

Michihiro Matsumoto, Kokichi Futatsugi

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999

Simply Observable Behavioral Specification.

Michihiro Matsumoto, Kokichi Futatsugi

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998

Test set coinduction - Toward automated verification of behavioural properties.

Michihiro Matsumoto, Kokichi Futatsugi

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

1995

Design for testability using register-transfer level partial scan selection.

Akira Motohara, Sadami Takeoka, Toshinori Hosokawa, Mitsuyasu Ohta, Yuji Takai, Michihiro Matsumoto, Michiaki Muraoka

Proceedings of the 1995 Conference on Asia Pacific Design Automation, Makuhari, Massa, Chiba, Japan, August 29, 1995