論文

• Ritsuya Ikeda, Kensuke Narita, Shin-ya Nishizaki. Cooperation of Model Checking and Network Simulation for Cost Analysis of Distributed Systems, International Journal of Computers and Applications, ACTA Press, Vol. 33, No. 4, pp. 323-329, Nov. 2011.

国際会議発表 (査読有り)

• Kensuke Narita, Shin-ya Nishizaki. A Parallel Abstract Machine for the RPC Calculus, The International Conference on Informatics Engineerings and Information Science (ICIEIS 2011), Informatics Engineering and Information Science, Communications in Computer and Information Science, Springer-Verlag Berlin Heidelberg, Vol. 253, pp. 320-332, Nov. 2011.
• 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, Oct. 2010.
• 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, Oct. 2010.
• Ritsuya Ikeda, Kensuke Narita, Shin-ya Nishizaki. Cooperative Approach to Quality and Quantitative Cost Analyses of Distributed Systems, the 13th IASTED International Conference on Software Engineering and Application – SEA 2009, Proceedings of the 13th IASTED International Conference on Software Engineering and Application – SEA 2009, ACTA Press, pp. 126-132, Nov. 2009.  公式リンク  
  

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]