Concepedia

Timo Latvala

TL

7

Publications

387

Citations

7

H-Index

2000

Active since

Affiliations

Newcastle University(Current)

Åbo Akademi University

Space Systems Finland (Finland)

University of Illinois Urbana-Champaign

Timo Latvala is an author at Newcastle University specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringVerificationFormal MethodsAutomated ReasoningFormal VerificationComputer EngineeringSoftware DesignSystem Software

Publications per year

2000–2012

7

Publications

7

Linear Encodings of Bounded LTL Model Checking

Armin Biere, Keijo Heljanko, Tommi Junttila et al. · Logical Methods in Computer Science · 2006 · 223 citations · Full text

Engineering, Verification, Computer-aided Verification +17

Model Checking Dynamic and Hierarchical UML State Machines

Toni Jussila, Jori Dubrovin, Tommi Junttila et al. · 2006 · 48 citations

Engineering, Verification, Software Engineering +21

Coping With Strong Fairness

Timo Latvala, Keijo Heljanko · Fundamenta Informaticae · 2000 · 31 citations

Petri Net, Engineering, Discrimination +20

Augmenting Event-B modelling with real-time verification

Alexei Iliasov, Alexander Romanovsky, Linas Laibinis et al. · 2012 · 30 citations

Engineering, Verification, Embedded Systems +25

Developing mode-rich satellite software by refinement in Event-B

Alexei Iliasov, Elena Troubitsynå, Linas Laibinis et al. · Science of Computer Programming · 2012 · 26 citations

Small Satellite, Engineering, Satellite Signal Processing +7

Rows per page

1–5 of 7