Jussi Lahtinen

According to our database, Jussi Lahtinen authored at least 11 papers between 2000 and 2015.

Collaborative distances:

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

2015

Verifying large modular systems using iterative abstraction refinement.

Jussi Lahtinen, Tuomas Kuismin, Keijo Heljanko

Reliab. Eng. Syst. Saf., 2015

2014

Verification of Fault-Tolerant System Architectures Using Model Checking.

Jussi Lahtinen

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

Automatic Test Set Generation for Function Block Based Systems Using Model Checking.

Jussi Lahtinen

Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

2013

A toolset for model checking of PLC software.

Antti Pakonen, Teemu Mätäsniemi, Jussi Lahtinen, Tommi Karhela

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012

Model checking of safety-critical software in the nuclear engineering domain.

Jussi Lahtinen, J. Valkonen, Kim Björkman, J. Frits, Ilkka Niemelä, Keijo Heljanko

Reliab. Eng. Syst. Saf., 2012

2010

Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain.

Jussi Lahtinen, Mika Johansson, Jukka Ranta, Hannu Harju, Risto Nevalainen

Proceedings of the Computer Safety, 2010

Software Safety Standards for the Basis of Certification in the Nuclear Domain.

Hannu Harju, Jussi Lahtinen, Jukka Ranta, Risto Nevalainen, Mika Johansson

Proceedings of the Quality of Information and Communications Technology, 2010

2003

Bayesian Analysis of Online Newspaper Log Data.

Hannes Wettig, Jussi Lahtinen, Tuomas Lepola, Petri Myllymäki, Henry Tirri

Proceedings of the 2003 Symposium on Applications and the Internet Workshops (SAINT 2003), 27-31 January 2003, 2003

2000

Supervised model-based visualization of high-dimensional data.

Petri Kontkanen, Jussi Lahtinen, Petri Myllymäki, Tomi Silander, Henry Tirri

Intell. Data Anal., 2000

Unsupervised Bayesian visualization of high-dimensional data.

Petri Kontkanen, Jussi Lahtinen, Petri Myllymäki, Henry Tirri

Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining, 2000

An Unsupervised Bayesian Distance Measure.

Petri Kontkanen, Jussi Lahtinen, Petri Myllymäki, Henry Tirri

Proceedings of the Advances in Case-Based Reasoning, 5th European Workshop, 2000