@article{CTT100632392,
  author = {Ritsuya Ikeda and Kensuke Narita and Shin-ya Nishizaki},
  title = {Cooperation of Model Checking and Network Simulation for Cost Analysis of Distributed Systems},
  journal = {International Journal of Computers and Applications},
  year = 2011,
}

@inproceedings{CTT100632391,
  author = {Kensuke Narita and Shin-ya Nishizaki},
  title = {A Parallel Abstract Machine for the RPC Calculus},
  booktitle = {Informatics Engineering and Information Science, Communications in Computer and Information Science},
  year = 2011,
}

@inproceedings{CTT100613671,
  author = {Kensuke NARITA and Shin-ya NISHIZAKI and Takahisa MIZUNO},
  title = {A Simple Abstract Machine for First-class Continuations},
  booktitle = {Proceedings of International Symposium on Communications and Information Technologies 2010},
  year = 2010,
}

@inproceedings{CTT100613673,
  author = {Hiroki KUMAMOTO and Takahisa MIZUNO and Kensuke NARITA and Shin-ya NISHIZAKI},
  title = {Destructive Testing of Software Systems by Model Checking},
  booktitle = {Proceedings of International Symposium on Communications and Information Technologies 2010},
  year = 2010,
}

@inproceedings{CTT100596927,
  author = {Ritsuya Ikeda and Kensuke Narita and Shin-ya Nishizaki},
  title = {Cooperative Approach to Quality and Quantitative Cost Analyses of Distributed Systems},
  booktitle = {Proceedings of the 13th IASTED International Conference on Software Engineering and Application – SEA 2009},
  year = 2009,
}