Michihiro Matsumoto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1995–2022
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | MODELSWARD | Conversion Method of MATLAB/Simulink Model for a Functional Resonance Analysis Method-based Model. | Masamichi Kakeshita, Kenji Hisazumi, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto |
| 2004 | APSEC | Product Line Based Component Unification and Exploiting Unified Components in FORM. | Tsuneo Nakanishi, Minoru Hatamoto, Michihiro Matsumoto, Susumu Yamazaki, Teruaki Kitasuka, Akira Fukuda |
| 2000 | APSEC | The support tool for highly reliable component-based software development. | Michihiro Matsumoto, Kokichi Futatsugi |
| 2000 | ICFEM | Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification. | Michihiro Matsumoto, Kokichi Futatsugi |
| 1999 | APSEC | Simply Observable Behavioral Specification. | Michihiro Matsumoto, Kokichi Futatsugi |
| 1995 | ASPDAC | Design for testability using register-transfer level partial scan selection. | Akira Motohara, Sadami Takeoka, Toshinori Hosokawa, Mitsuyasu Ohta, Yuji Takai, Michihiro Matsumoto, Michiaki Muraoka |