Michihiro Matsumoto

According to our database1, Michihiro Matsumoto authored at least 9 papers between 1995 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Verification Model Translation Method toward Behavior Model for CAST.
Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

2010
Model Checking of Software Design in State Transition Matrix.
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.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2004
Product Line Based Component Unification and Exploiting Unified Components in FORM.
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.
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

The support tool for highly reliable component-based software development.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999
Simply Observable Behavioral Specification.
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998
Test set coinduction - Toward automated verification of behavioural properties.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

1995
Design for testability using register-transfer level partial scan selection.
Proceedings of the 1995 Conference on Asia Pacific Design Automation, Makuhari, Massa, Chiba, Japan, August 29, 1995


  Loading...