Tuomas Kuismin

According to our database, Tuomas Kuismin authored at least 5 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook.

Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala

Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

2016

Towards Security-Explicit Formal Modelling of Safety-Critical Systems.

Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala

Proceedings of the Computer Safety, Reliability, and Security, 2016

2015

Verifying large modular systems using iterative abstraction refinement.

Jussi Lahtinen, Tuomas Kuismin, Keijo Heljanko

Reliab. Eng. Syst. Saf., 2015

2013

Increasing Confidence in Liveness Model Checking Results with Proofs.

Tuomas Kuismin, Keijo Heljanko

Proceedings of the Hardware and Software: Verification and Testing, 2013

2011

Efficient model checking of PSL safety properties.

Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila

IET Comput. Digit. Tech., 2011