Coping With Strong Fairness. - Timo Latvala; Keijo Heljanko (Fundam. Informaticae, 2000)

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints. - Timo Latvala (ICATPN, 2001)

Efficient Model Checking of Safety Properties. - Timo Latvala (SPIN, 2003)

LTL Model Checking for Modular Petri Nets. - Timo Latvala; Marko Mäkelä (ICATPN, 2004)

Simple Bounded LTL Model Checking. - Timo Latvala; Armin Biere; Keijo Heljanko; Tommi A. Junttila (FMCAD, 2004)

Improved On-the-fly Verification with Testers. - Timo Latvala; Heikki Tauriainen (Nord. J. Comput., 2004)

Incremental and Complete Bounded Model Checking for Full PLTL. - Keijo Heljanko; Tommi A. Junttila; Timo Latvala (CAV, 2005)

Simple Is Better: Efficient Bounded Model Checking for Past LTL. - Timo Latvala; Armin Biere; Keijo Heljanko; Tommi A. Junttila (VMCAI, 2005)

Automata-theoretic and bounded model checking for linear temporal logic. - Timo Latvala (2005)

Bounded Model Checking for Weak Alternating Büchi Automata. - Keijo Heljanko; Tommi A. Junttila; Misa Keinänen; Martin Lange; Timo Latvala (CAV, 2006)

Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise. - Yaniv Eytani; Timo Latvala (Haifa Verification Conference, 2006)

Linear Encodings of Bounded LTL Model Checking. - Armin Biere; Keijo Heljanko; Tommi A. Junttila; Timo Latvala; Viktor Schuppan (Log. Methods Comput. Sci., 2006)

On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. - Rajesh K. Karmani; Timo Latvala; Gul Agha (SASO, 2007)

Supporting Reuse in Event B Development: Modularisation Approach. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Dubravka Ilic; Timo Latvala (ASM, 2010)

Verifying Mode Consistency for On-Board Satellite Software. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Pauli Väisänen; Dubravka Ilic; Timo Latvala (SAFECOMP, 2010)

Derivation and Formal Verification of a Mode Logic for Layered Control Systems. - Yuliya Prokhorova; Linas Laibinis; Elena Troubitsyna; Kimmo Varpaaniemi; Timo Latvala (APSEC, 2011)

Augmenting Event-B modelling with real-time verification. - Alexei Iliasov; Alexander B. Romanovsky; Linas Laibinis; Elena Troubitsyna; Timo Latvala (FormSERA@ICSE, 2012)

Formal Development and Assessment of a Reconfigurable On-board Satellite System. - Anton Tarasyuk; Inna Pereverzeva; Elena Troubitsyna; Timo Latvala; Laura Nummila (SAFECOMP, 2012)

Deriving a mode logic using failure modes and effects analysis. - Yuliya Prokhorova; Linas Laibinis; Elena Troubitsyna; Kimmo Varpaaniemi; Timo Latvala (Int. J. Crit. Comput. Based Syst., 2012)

Deployment in the Space Sector. - Dubravka Ilic; Linas Laibinis; Timo Latvala; Elena Troubitsyna; Kimmo Varpaaniemi (Industrial Deployment of System Engineering Methods, 2013)

Formalisation of an Industrial Approach to Monitoring Critical Data. - Yuliya Prokhorova; Elena Troubitsyna; Linas Laibinis; Dubravka Ilic; Timo Latvala (SAFECOMP, 2013)

Developing mode-rich satellite software by refinement in Event-B. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Dubravka Ilic; Timo Latvala (Sci. Comput. Program., 2013)

The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. - Anton Tarasyuk; Inna Pereverzeva; Elena Troubitsyna; Timo Latvala (SAFECOMP, 2015)

Time and Space Partitioning Using On-Board Software Reference Architecture. - Victor Bos; Timo Vepsäläinen; Yuliya Prokhorova; Timo Latvala (ISSRE Workshops, 2016)

Towards Security-Explicit Formal Modelling of Safety-Critical Systems. - Elena Troubitsyna; Linas Laibinis; Inna Pereverzeva; Tuomas Kuismin; Dubravka Ilic; Timo Latvala (SAFECOMP, 2016)

Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. - Inna Vistbakka; Elena Troubitsyna; Tuomas Kuismin; Timo Latvala (SERENE, 2017)

Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems. - Viorel Preoteasa; Timo Latvala; Kimmo Varpaaniemi (CS&P, 2019)