Timo Latvala
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
8
Active years
2004–2016
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ISSRE | Time and Space Partitioning Using On-Board Software Reference Architecture. | Victor Bos, Timo Vepslinen, Yuliya Prokhorova, Timo Latvala |
| 2016 | SAFECOMP | Towards Security-Explicit Formal Modelling of Safety-Critical Systems. | Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala |
| 2015 | SAFECOMP | The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. | Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala |
| 2013 | SAFECOMP | Formalisation of an Industrial Approach to Monitoring Critical Data. | Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala |
| 2012 | ICSE | Augmenting Event-B modelling with real-time verification. | Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala |
| 2012 | SAFECOMP | Formal Development and Assessment of a Reconfigurable On-board Satellite System. | Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila |
| 2011 | APSEC | Derivation and Formal Verification of a Mode Logic for Layered Control Systems. | Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala |
| 2010 | FMICS | 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 |
| 2010 | SAFECOMP | Verifying Mode Consistency for On-Board Satellite Software. | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Visnen, Dubravka Ilic, Timo Latvala |
| 2006 | CAV | Bounded Model Checking for Weak Alternating Bchi Automata. | Keijo Heljanko, Tommi A. Junttila, Misa Keinnen, Martin Lange, Timo Latvala |
| 2005 | CAV | Incremental and Complete Bounded Model Checking for Full PLTL. | Keijo Heljanko, Tommi A. Junttila, Timo Latvala |
| 2005 | VMCAI | Simple Is Better: Efficient Bounded Model Checking for Past LTL. | Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila |
| 2004 | FMCAD | Simple Bounded LTL Model Checking. | Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila |