Jussi Lahtinen

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