"Takahisa Mizuno,Shin-ya Nishizaki","Analyzing Systems Dependent on Execution Speed with Model Checker","International Conference on Advances Science and Contemporary Engineering 2012","Procedia Engineering","Elsevier","Volume 50",,"pp. 544-554",2012,Nov.
"Kensuke NARITA,Shin-ya NISHIZAKI,Takahisa MIZUNO","A Simple Abstract Machine for First-class Continuations","International Symposium on Communications and Information Technologies 2010","Proceedings of International Symposium on Communications and Information Technologies 2010","IEEE",,,"pp. 111-114",2010,Oct.
"Hiroki KUMAMOTO,Takahisa MIZUNO,Kensuke NARITA,Shin-ya NISHIZAKI","Destructive Testing of Software Systems by Model Checking","International Symposium on Communications and Information Technologies 2010","Proceedings of International Symposium on Communications and Information Technologies 2010","IEEE",,,"pp. 261-266",2010,Oct.