Timo Latvala

According to our database, Timo Latvala authored at least 27 papers between 2000 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems.

Viorel Preoteasa, Timo Latvala, Kimmo Varpaaniemi

Proceedings of the 28th International Workshop on Concurrency, 2019

2017

Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook.

Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala

Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

2016

Towards Security-Explicit Formal Modelling of Safety-Critical Systems.

Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala

Proceedings of the Computer Safety, Reliability, and Security, 2016

Time and Space Partitioning Using On-Board Software Reference Architecture.

Victor Bos, Timo Vepsäläinen, Yuliya Prokhorova, Timo Latvala

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

2015

The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation.

Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala

Proceedings of the Computer Safety, Reliability, and Security, 2015

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

Formalisation of an Industrial Approach to Monitoring Critical Data.

Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala

Proceedings of the Computer Safety, Reliability, and Security, 2013

Deployment in the Space Sector.

Dubravka Ilic, Linas Laibinis, Timo Latvala, Elena Troubitsyna, Kimmo Varpaaniemi

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

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

Formal Development and Assessment of a Reconfigurable On-board Satellite System.

Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila

Proceedings of the Computer Safety, Reliability, and Security, 2012

Augmenting Event-B modelling with real-time verification.

Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

2011

Derivation and Formal Verification of a Mode Logic for Layered Control Systems.

Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

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

Proceedings of the Computer Safety, 2010

Supporting Reuse in Event B Development: Modularisation Approach.

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala

Proceedings of the Abstract State Machines, 2010

2007

On Scaling Multi-Agent Task Reallocation Using Market-Based Approach.

Rajesh K. Karmani, Timo Latvala, Gul Agha

Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

2006

Linear Encodings of Bounded LTL Model Checking.

Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan

Log. Methods Comput. Sci., 2006

Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise.

Yaniv Eytani, Timo Latvala

Proceedings of the Hardware and Software, 2006

Bounded Model Checking for Weak Alternating Büchi Automata.

Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Automata-theoretic and bounded model checking for linear temporal logic.

Timo Latvala

PhD thesis, 2005

Simple Is Better: Efficient Bounded Model Checking for Past LTL.

Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila

Proceedings of the Verification, 2005

Incremental and Complete Bounded Model Checking for Full PLTL.

Keijo Heljanko, Tommi A. Junttila, Timo Latvala

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Improved On-the-fly Verification with Testers.

Timo Latvala, Heikki Tauriainen

Nord. J. Comput., 2004

Simple Bounded LTL Model Checking.

Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

LTL Model Checking for Modular Petri Nets.

Timo Latvala, Marko Mäkelä

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

Efficient Model Checking of Safety Properties.

Timo Latvala

Proceedings of the Model Checking Software, 2003

2001

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints.

Timo Latvala

Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000

Coping With Strong Fairness.

Timo Latvala, Keijo Heljanko

Fundam. Informaticae, 2000