Jussi Lahtinen
Jussi Lahtinen
Fortum Power and Heat Oyj
Verified email at fortum.com
Title
Cited by
Cited by
Year
Model checking of safety-critical software in the nuclear engineering domain
J Lahtinen, J Valkonen, K Björkman, J Frits, I Niemelä, K Heljanko
Reliability Engineering & System Safety 105, 104-113, 2012
762012
A toolset for model checking of PLC software
A Pakonen, T Mätäsniemi, J Lahtinen, T Karhela
2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013
342013
Comparison between IEC 60880 and IEC 61508 for certification purposes in the nuclear domain
J Lahtinen, M Johansson, J Ranta, H Harju, R Nevalainen
International Conference on Computer Safety, Reliability, and Security, 55-67, 2010
162010
Verification of safety logic designs by model checking
K Björkman, J Frits, J Valkonen, J Lahtinen, K Heljanko, I Niemelä, ...
Sixth American Nuclear Society International Topical Meeting on Nuclear …, 2009
162009
Model checking timed safety instrumented systems
J Lahtinen
Helsinki University of Technology, 2008
122008
Hardware failure modelling methodology for model checking
J Lahtinen
VTT Technical Research Centre of Finland, 2014
112014
Automatic test set generation for function block based systems using model checking
J Lahtinen
2014 9th International Conference on the Quality of Information and …, 2014
92014
Model checking methodology for supporting safety critical software development and verification
J Lahtinen, J Valkonen, K Björkman, J Frits, I Niemelä
ESREL 2010 Annual Conf, 2010
82010
Application of the perspective-based reading technique in the nuclear I&C context
J Lahtinen, VTT Technical Research Centre of Finland
CORSICA work report, 2011
62011
Analysis of an emergency diesel generator control system by compositional model checking
J Lahtinen, K Björkman, J Valkonen, J Frits, I Niemelä
VTTWorking Papers 156, 2010
52010
Analysis of an emergency diesel generator control system by compositional model checking
J Lahtinen, K Björkman, J Valkonen, J Frits, I Niemelä
VTTWorking Papers 156, 2010
52010
Integrating model checking and PRA: a novel safety assessment approach for digital I&C systems
J Lahtinen, K Björkman
26th European Safety and Reliability Conference, ESREL 2016, 383, 2016
42016
Model Checking Large Nuclear Power Plant Safety System Designs
J Lahtinen
Aalto University, 2016
42016
Verifying large modular systems using iterative abstraction refinement
J Lahtinen, T Kuismin, K Heljanko
Reliability Engineering & System Safety 139, 120-130, 2015
42015
Verification of fault-tolerant system architectures using model checking
J Lahtinen
International Conference on Computer Safety, Reliability, and Security, 195-206, 2014
42014
Software safety standards for the basis of certification in the nuclear domain
H Harju, J Lahtinen, J Ranta, R Nevalainen, M Johansson
2010 Seventh International Conference on the Quality of Information and …, 2010
42010
Emergency diesel generator control system verification by model checking and compositional minimization
J Lahtinen, K Björkman, J Valkonen, I Niemelä
8th Doctoral Workshop on Mathematical and Engineering Methods in Computer …, 2012
32012
Analysis of an emergency diesel generator control system by compositional model checking. MODSAFE 2010 work report
J Lahtinen, K Bjoerkman, J Valkonen, J Frits, I Niemelae
VTT Technical Research Centre of Finland, 2010
32010
Coupling model checking and PRA for safety analysis of digital I&C systems
K Björkman, J Lahtinen, T Tyrväinen, JE Holmberg
International Topical Meeting on Probabilistic Safety Assessment and …, 2015
22015
Feasibility study on the integration of PRA methods and model checking
J Lahtinen, K Björkman
Technical report, VTT Technical Research Centre of Finland Ltd. Research …, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20