2010 |
|
6 | Janne Valkonen, Kim Björkman, Juho Frits, and Ilkka Niemelä. Model checking methodology for verification of safety logics. In Proceedings of the 6th International Conference on Safety of Industrial Automated Systems, SIAS 2010, Tampere, Finland, June 2010. |
|
|
5 | Juho Frits. Model checking embedded control software. Technical Report TKK-ICS-R28, Aalto University School of Science and Technology, Department of Information and Computer Science, Espoo, Finland, March 2010. |
|
|
4 | Jussi Lahtinen, Kim Björkman, Janne Valkonen, Juho Frits, and Ilkka Niemelä. Analysis of an emergency diesel generator control system by compositional model checking. VTT Working Papers 156, VTT Technical Research Centre of Finland, Espoo, 2010. |
|
|
3 | Jussi Lahtinen, Janne Valkonen, Kim Björkman, Juho Frits, and Ilkka Niemelä. Model checking methodology for supporting safety critical software development and verification. In Ben J.M. Ale, Ioannis A. Papazoglou, and Enrico Zio, editors, Reliability, Risk and Safety—Back to the Future, pages 2056–2063, Rhodes, Greece, 2010. CRC Press. |
|
2009 |
|
2 | Kim Björkman, Juho Frits, Janne Valkonen, , Keijo Heljanko, Ilkka Niemelä, and Jari J. Hämäläinen. Verification of safety logic designs by model checking. In Proceedings of the Sixth American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC&HMIT 2009, Knoxville, Tennessee, April 2009. |
|
|
1 | Kim Björkman, Juho Frits, Janne Valkonen, Keijo Heljanko, and Ilkka Niemelä. Model-based analysis of a stepwise shutdown logic. VTT Working Papers 115, VTT Technical Research Centre of Finland, Espoo, 2009. |
|
