Jussi Lahtinen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2000–2014
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | QUATIC | Automatic Test Set Generation for Function Block Based Systems Using Model Checking. | Jussi Lahtinen |
| 2014 | SAFECOMP | Verification of Fault-Tolerant System Architectures Using Model Checking. | Jussi Lahtinen |
| 2013 | ETFA | A toolset for model checking of PLC software. | Antti Pakonen, Teemu Mtsniemi, Jussi Lahtinen, Tommi Karhela |
| 2010 | QUATIC | Software Safety Standards for the Basis of Certification in the Nuclear Domain. | Hannu Harju, Jussi Lahtinen, Jukka Ranta, Risto Nevalainen, Mika Johansson |
| 2010 | SAFECOMP | Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain. | Jussi Lahtinen, Mika Johansson, Jukka Ranta, Hannu Harju, Risto Nevalainen |
| 2000 | KDD | Unsupervised Bayesian visualization of high-dimensional data. | Petri Kontkanen, Jussi Lahtinen, Petri Myllymki, Henry Tirri |