Jussi Lahtinen

Publication Activity (10 Years)

Years Active: 2000-2015
Publications (10 Years): 1

Top Topics

Formal Specification

Reactive Systems

Temporal Properties

Top Venues

Reliab. Eng. Syst. Saf.

SAFECOMP Workshops

Publications

Jussi Lahtinen, Tuomas Kuismin, Keijo Heljanko
Verifying large modular systems using iterative abstraction refinement. Reliab. Eng. Syst. Saf. 139 (2015)
Jussi Lahtinen
Automatic Test Set Generation for Function Block Based Systems Using Model Checking. QUATIC (2014)
Jussi Lahtinen
Verification of Fault-Tolerant System Architectures Using Model Checking. SAFECOMP Workshops (2014)
Antti Pakonen, Teemu Mätäsniemi, Jussi Lahtinen, Tommi Karhela
A toolset for model checking of PLC software. ETFA (2013)
Jussi Lahtinen, J. Valkonen, Kim Björkman, J. Frits, Ilkka Niemelä, Keijo Heljanko
Model checking of safety-critical software in the nuclear engineering domain. Reliab. Eng. Syst. Saf. 105 (2012)
Hannu Harju, Jussi Lahtinen, Jukka Ranta, Risto Nevalainen, Mika Johansson
Software Safety Standards for the Basis of Certification in the Nuclear Domain. QUATIC (2010)
Jussi Lahtinen, Mika Johansson, Jukka Ranta, Hannu Harju, Risto Nevalainen
Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain. SAFECOMP (2010)
Hannes Wettig, Jussi Lahtinen, Tuomas Lepola, Petri Myllymäki, Henry Tirri
Bayesian Analysis of Online Newspaper Log Data. SAINT Workshops (2003)
Petri Kontkanen, Jussi Lahtinen, Petri Myllymäki, Henry Tirri
An Unsupervised Bayesian Distance Measure. EWCBR (2000)
Petri Kontkanen, Jussi Lahtinen, Petri Myllymäki, Tomi Silander, Henry Tirri
Supervised model-based visualization of high-dimensional data. Intell. Data Anal. 4 (3-4) (2000)
Petri Kontkanen, Jussi Lahtinen, Petri Myllymäki, Henry Tirri
Unsupervised Bayesian visualization of high-dimensional data. KDD (2000)