2012
- AUTHORS:
- Lahtinen Jussi,
- Launiainen Tuomas,
- Heljanko Keijo,
- Ropponen Jonatan
![[URL]](http://research.ics.aalto.fi/publications/bibdb2012/url_icon.png){kind=icon}
![[PUBURL]](http://research.ics.aalto.fi/publications/bibdb2012/info_icon.png){kind=icon}
2011
- AUTHORS:
- Launiainen Tuomas,
- Heljanko Keijo,
- Junttila Tommi
- JOURNAL:
- IET Computers & Digital Techniques
- VOLUME:
- 5
- PAGES:
- 479--492
- AUTHORS:
- Kähkönen Kari,
- Launiainen Tuomas,
- Saarikivi Olli,
- Kauttio Janne,
- Heljanko Keijo,
- Niemelä Ilkka
- BOOKTITLE:
- Proceedings of the 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011)
- PAGES:
- 75-80
2010
- AUTHORS:
- Launiainen Tuomas,
- Heljanko Keijo,
- Junttila Tommi
- BOOKTITLE:
- Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD'2010)
- PAGES:
- 95--104
2009
- AUTHORS:
- Launiainen Tuomas