Follow
Jussi Lahtinen
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
932012
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
442013
Comparison between IEC 60880 and IEC 61508 for certification purposes in the nuclear domain
J Lahtinen, M Johansson, J Ranta, H Harju, R Nevalainen
Computer Safety, Reliability, and Security: 29th International Conference …, 2010
242010
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
182009
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
152014
Model checking timed safety instrumented systems
J Lahtinen
Helsinki University of Technology, 2008
152008
Hardware failure modelling methodology for model checking
J Lahtinen
VTT Technical Research Centre of Finland, 2014
132014
Developing and implementing artificial intelligence-based classifier for requirements engineering
S Myllynen, I Suominen, T Raunio, R Karell, J Lahtinen
Journal of Nuclear Engineering and Radiation Science 7 (4), 041201, 2021
102021
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
92010
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
82010
Application of the perspective-based reading technique in the nuclear I&C context
J Lahtinen, VTT Technical Research Centre of Finland
VTT Technical Research Centre of Finland (Ed.), CORSICA Work Report, 2011
72011
Verifying large modular systems using iterative abstraction refinement
J Lahtinen, T Kuismin, K Heljanko
Reliability Engineering & System Safety 139, 120-130, 2015
62015
Verification of fault-tolerant system architectures using model checking
J Lahtinen
Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS …, 2014
62014
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
62010
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
52016
Model checking large nuclear power plant safety system designs
J Lahtinen
Aalto University, 2016
42016
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
42012
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
32015
CORSICA 2013 work report: Test set generation, FPGA model checking, and fault injection
J Lahtinen, J Ranta, L Lötjönen
VTT Technical Research Centre of Finland, Espoo, Finland, Research report VTT, 2014
32014
Model checking methodology for large systems, faults and asynchronous behaviour. SARANA 2011 work report
J Lahtinen, T Launiainen, K Heljanko, J Ropponen
VTT Technical Research Centre of Finland, 2012
32012
The system can't perform the operation now. Try again later.
Articles 1–20