Timo Latvala

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