Tuomas Kuismin

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 2

Top Topics

Linear Time Temporal Logic

Pspace Complete

Industrial Automation

Top Venues

Reliab. Eng. Syst. Saf.

Haifa Verification Conference

Publications

Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. SERENE (2017)
Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala
Towards Security-Explicit Formal Modelling of Safety-Critical Systems. SAFECOMP (2016)
Jussi Lahtinen, Tuomas Kuismin, Keijo Heljanko
Verifying large modular systems using iterative abstraction refinement. Reliab. Eng. Syst. Saf. 139 (2015)
Tuomas Kuismin, Keijo Heljanko
Increasing Confidence in Liveness Model Checking Results with Proofs. Haifa Verification Conference (2013)