Timo Latvala

Publication Activity (10 Years)

Years Active: 2000-2019
Publications (10 Years): 4

Top Venues

SAFECOMP

CS&P

Int. J. Crit. Comput. Based Syst.

SERENE

Helsinki University of Technology, Finland (PHD)

Education History

Helsinki University of Technology, Finland

PHD

Publications

Viorel Preoteasa, Timo Latvala, Kimmo Varpaaniemi
Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems. CS&P (2019)
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)
Victor Bos, Timo Vepsäläinen, Yuliya Prokhorova, Timo Latvala
Time and Space Partitioning Using On-Board Software Reference Architecture. ISSRE Workshops (2016)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. SAFECOMP (2015)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala
Formalisation of an Industrial Approach to Monitoring Critical Data. SAFECOMP (2013)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Developing mode-rich satellite software by refinement in Event-B. Sci. Comput. Program. 78 (7) (2013)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila
Formal Development and Assessment of a Reconfigurable On-board Satellite System. SAFECOMP (2012)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
Deriving a mode logic using failure modes and effects analysis. Int. J. Crit. Comput. Based Syst. 3 (4) (2012)
Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala
Augmenting Event-B modelling with real-time verification. FormSERA@ICSE (2012)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
Derivation and Formal Verification of a Mode Logic for Layered Control Systems. APSEC (2011)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Developing Mode-Rich Satellite Software by Refinement in Event B. FMICS (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala
Verifying Mode Consistency for On-Board Satellite Software. SAFECOMP (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Supporting Reuse in Event B Development: Modularisation Approach. ASM (2010)
Rajesh K. Karmani, Timo Latvala, Gul Agha
On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. SASO (2007)
Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala
Bounded Model Checking for Weak Alternating Büchi Automata. CAV (2006)
Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan
Linear Encodings of Bounded LTL Model Checking. Log. Methods Comput. Sci. 2 (5) (2006)
Yaniv Eytani, Timo Latvala
Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise. Haifa Verification Conference (2006)
Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan
Linear Encodings of Bounded LTL Model Checking CoRR (2006)
Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila
Simple Is Better: Efficient Bounded Model Checking for Past LTL. VMCAI (2005)
Keijo Heljanko, Tommi A. Junttila, Timo Latvala
Incremental and Complete Bounded Model Checking for Full PLTL. CAV (2005)
Timo Latvala, Heikki Tauriainen
Improved On-the-fly Verification with Testers. Nord. J. Comput. 11 (2) (2004)
Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila
Simple Bounded LTL Model Checking. FMCAD (2004)
Timo Latvala, Marko Mäkelä
LTL Model Checking for Modular Petri Nets. ICATPN (2004)
Timo Latvala
Efficient Model Checking of Safety Properties. SPIN (2003)
Timo Latvala
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints. ICATPN (2001)
Timo Latvala, Keijo Heljanko
Coping With Strong Fairness. Fundam. Informaticae 43 (1-4) (2000)

Timo Latvala.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Timo Latvala