Tuomas Kuismin (né Launiainen)
Room B117, Computer Science Building |
Aalto University School of Science
Department of Computer Science and Engineering
PO Box 15400, FI-00076 Aalto, Finland
|
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.