| 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 | 96 | 2012 |
| 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 | 45 | 2013 |
| 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 | 25 | 2010 |
| 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 | 18 | 2009 |
| 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 | 15 | 2014 |
| Model checking timed safety instrumented systems J Lahtinen Helsinki University of Technology, 2008 | 15 | 2008 |
| Hardware failure modelling methodology for model checking J Lahtinen VTT Technical Research Centre of Finland, 2014 | 14 | 2014 |
| 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 | 10 | 2021 |
| 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 | 9 | 2010 |
| 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 | 8 | 2010 |
| 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 | 7 | 2011 |
| 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 | 6 | 2016 |
| Verifying large modular systems using iterative abstraction refinement J Lahtinen, T Kuismin, K Heljanko Reliability Engineering & System Safety 139, 120-130, 2015 | 6 | 2015 |
| Verification of fault-tolerant system architectures using model checking J Lahtinen Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS …, 2014 | 6 | 2014 |
| 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 | 6 | 2010 |
| Model checking large nuclear power plant safety system designs J Lahtinen Aalto University, 2016 | 4 | 2016 |
| 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 | 4 | 2012 |
| 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 | 3 | 2015 |
| 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 | 3 | 2015 |
| 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 | 3 | 2014 |
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiDirección de correo verificada de helsinki.fi
