According to our database1, Michihiro Matsumoto authored at least 9 papers between 1995 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018
Model Checking of Software Design in State Transition Matrix.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010
A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004
Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification.
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
Proceedings of the 1995 Conference on Asia Pacific Design Automation, Makuhari, Massa, Chiba, Japan, August 29, 1995