2012 |
5 | Jussi Lahtinen, Tuomas Launiainen, Keijo Heljanko, and Jonatan Ropponen. Model checking methodology for large systems, faults and asynchronous behaviour - SARANA 2011 work report. VTT Technology 12, VTT Technical Research Centre of Finland, Espoo, 2012. |
|
2011 |
4 | Tuomas Launiainen, Keijo Heljanko, and Tommi Junttila. Efficient model checking of PSL safety properties. IET Computers & Digital Techniques, 5(6):479–492, November 2011. |
|
3 | Kari Kähkönen, Tuomas Launiainen, Olli Saarikivi, Janne Kauttio, Keijo Heljanko, and Ilkka Niemelä. LCT: An open source concolic testing tool for Java programs. In Proceedings of the 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011), pages 75–80, Saarbrücken, Germany, Mar 2011. |
|
2010 |
2 | Tuomas Launiainen, Keijo Heljanko, and Tommi Junttila. Efficient model checking of PSL safety properties. In Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD'2010), pages 95–104, Braga, Portugal, June 2010. |
|
2009 |
1 | Tuomas Launiainen. Model checking PSL safety properties. Technical Report TKK-ICS-R17, Helsinki University of Technology, Department of Information and Computer Science, Espoo, Finland, August 2009. |
|