Tuomas Launiainen
| Office: | Room B236, Computer Science Building |
| Postal Address: |
Aalto University School of Science Department of Information and Computer Science PO Box 15400, FI-00076 Aalto, Finland |
| Email: | Tuomas.Launiainen aalto.fi |
Software
PSL Observer — An observer implementation to NuSMV for model checking PSL safety properties.Publications
- 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
[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 28 June 2010.