Tuomas Kuismin (né Launiainen)

Office:	Room B117, Computer Science Building
Postal Address:	Aalto University School of Science Department of Computer Science and Engineering PO Box 15400, FI-00076 Aalto, Finland
Email:	Tuomas.Kuisminaalto.fi

Software

PSL Observer — An observer implementation to NuSMV for model checking PSL safety properties.

live2safe — software for the paper “Increasing Confidence in Liveness Model Checking Results with Proofs”.

Publications

My publications in the DBLP database

• Kuismin, T. and Heljanko, K.: Increasing Confidence in Liveness Model Checking Results with Proofs. In Proceedings of the 9th Haifa Verification Conference (HVC 2013), pages 32–43, Lecture Notes in Computer Science 8244, 2013, Haifa, Israel, 5-7 November 2013. (doi: http://dx.doi.org/10.1007/978-3-319-03077-7_3).
• Launiainen, T., Heljanko, K., and Junttila, T.: Efficient Model Checking of PSL Safety Properties. IET Computers & Digital Techniques 5(6):479–492, 2011. (doi: 10.1049/iet-cdt.2010.0154).
• Kähkönen, K., Launiainen, T., Saarikivi, O., Kauttio, J., Heljanko, K., and Niemelä, I.: 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, Saarbrucken, Germany, Mar 2011.
• Launiainen, T., Heljanko, K., Junttila, T.: Efficient Model Checking of PSL Safety Properties, In Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010).
• My Master's thesis: Model checking PSL safety properties

Technical Reports and Other Non-Refereed Scientific Publications

• Lahtinen, J., Launiainen, T., Heljanko, K., and Ropponen, J.: 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.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]

Latest update: 12 May 2014.