Verifying large modular systems using iterative abstraction refinement von Lahtinen, Jussi, Kuismin, Tuomas, Heljanko, Keijo

Volltext

Increasing Confidence in Liveness Model Checking Results with Proofs von Kuismin, Tuomas, Heljanko, Keijo

Volltext

Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook von Vistbakka, Inna, Troubitsyna, Elena, Kuismin, Tuomas, Latvala, Timo

Volltext

Towards Security-Explicit Formal Modelling of Safety-Critical Systems von Troubitsyna, Elena, Laibinis, Linas, Pereverzeva, Inna, Kuismin, Tuomas, Ilic, Dubravka, Latvala, Timo

Volltext

The impact of rare protein coding genetic variation on adult cognitive function von Chen, Chia-Yen, Tian, Ruoyu, Ge, Tian, Lam, Max, Sanchez-Andrade, Gabriela, Singh, Tarjinder, Urpa, Lea, Liu, Jimmy Z., Sanderson, Mark, Rowley, Christine, Ironfield, Holly, Fang, Terry, Daly, Mark, Palotie, Aarno, Tsai, Ellen A., Huang, Hailiang, Hurles, Matthew E., Gerety, Sebastian S., Lencz, Todd, Runz, Heiko

Volltext