| 2007 |
|---|
| 7 | EE | Masahiko Watanabe,
Akira Fukuda,
Michihiro Matsumoto,
Hirokazu Yatsu,
Ichiro Hosotani,
Shigeyuki Kido:
A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software.
QSIC 2007: 137-142 |
| 2004 |
|---|
| 6 | EE | Tsuneo Nakanishi,
Minoru Hatamoto,
Michihiro Matsumoto,
Susumu Yamazaki,
Teruaki Kitasuka,
Akira Fukuda:
Product Line Based Component Unification and Exploiting Unified Components in FORM.
APSEC 2004: 559-563 |
| 2000 |
|---|
| 5 | EE | Michihiro Matsumoto,
Kokichi Futatsugi:
The support tool for highly reliable component-based software development.
APSEC 2000: 172-179 |
| 4 | EE | Michihiro Matsumoto,
Kokichi Futatsugi:
Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification.
ICFEM 2000: 35-44 |
| 1999 |
|---|
| 3 | EE | Michihiro Matsumoto,
Kokichi Futatsugi:
Simply Observable Behavioral Specification.
APSEC 1999: 460-467 |
| 1998 |
|---|
| 2 | EE | Michihiro Matsumoto,
Kokichi Futatsugi:
Test set coinduction - Toward automated verification of behavioural properties.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
| 1995 |
|---|
| 1 | EE | Akira Motohara,
Sadami Takeoka,
Toshinori Hosokawa,
Mitsuyasu Ohta,
Yuji Takai,
Michihiro Matsumoto,
Michiaki Muraoka:
Design for testability using register-transfer level partial scan selection.
ASP-DAC 1995 |
