Publications by Olli Saarikivi

To appear

  • BOOKTITLE:
  • Proceedings of the 11th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2012)
  • [PUBURL]

2012

  • BOOKTITLE:
  • Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD 2012)
  • PAGES:
  • 132-141
  • [URL]
  • [PUBURL]
  • BOOKTITLE:
  • Proceedings of the 27th IEEE/ACM International Conference Automated Software Engineering 2012 (ASE 2012)
  • PAGES:
  • 150-159
  • [URL]
  • [PUBURL]

2011

  • BOOKTITLE:
  • Proceedings of the 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011)
  • PAGES:
  • 75-80
  • [PUBURL]