13. Scalable Cloud Computing Solutions for Next Generation Sequencing Data Matti Niemenmaa1, Aleksi Kallio 2, Andre Schumacher, Petri Klemela 2, Eija Korpelainen 2, and Keijo … M Niemenmaa MC Business Meeting and Scientific Meeting Brussels, 7-9 November 2011, 24, 0 | | |
3.3 Safety evaluation and reliability analysis of nuclear automation (SARANA) K Björkman, K Heljanko, TK Jan-Erik1Holmberg, J Lahtinen, ... The Finnish Research Programme on Nuclear Power Plant Safety 2011–2014, 60, 0 | | |
4. Model-based safety evaluation of automation systems (MODSAFE) JF Kim Björkman, K Heljanko, I Niemelä, J Valkonen The Finnish Research Programme on Nuclear Power Plant Safety 2007–2010 …, 0 | | |
4. Model-based Safety Evaluation of Automation Systems (MODSAFE) J Valkonen, K Björkman, J Lahtinen, J Ranta, J Frits, K Heljanko, ... SAFIR2010, The Finnish Research Programme on Nuclear Power Plant Safety 2007 …, 0 | | |
4th hardware model checking competition (HWCC 2011)(Affiliated with FMCAD 2011) A Biere, K Heljanko, S Wieringa, N Sörensson | 2 | |
A generalized disjunctive programming model for the static bike sharing rebalancing problem with demand intervals TJ Ikonen, K Heljanko, I Harjunkoski | | 2024 |
A New Unfolding Approach to LTL Model Checking J Esparza, K Heljanko International Colloquium on Automata, Languages and Programming (ICALP'2000 …, 2000 | 60 | 2000 |
A symbolic model checking approach to verifying satellite onboard software X Gan, J Dubrovin, K Heljanko Science of Computer Programming 82, 44-55, 2014 | 41 | 2014 |
Access time improvement framework for standardized IoT gateways A Javed, N Yousefnezhad, J Robert, K Heljanko, K Främling 2019 IEEE International Conference on Pervasive Computing and Communications …, 2019 | 9 | 2019 |
Advanced Model Checking Methods and Safety Critical Systems K Heljanko | | |
Advanced tutorial on bounded model checking K Heljanko, T Junttila ACSD/ICATPN, 2006 | 3 | 2006 |
AIGER 1.9 and beyond A Biere, K Heljanko, S Wieringa | 121* | 2011 |
An Advanced Tool for Efficient Reachability Analysis K Varpaaniemi, J Lilius, K Heljanko Demos at Concur 96, August 1996, Pisa, Italy, 18-19, 1996 | | 1996 |
An optimal cut-off algorithm for parameterised refinement checking A Siirtola, K Heljanko Science of Computer Programming 198, 102517, 2020 | | 2020 |
Analyzing context-free grammars using an incremental SAT solver R Axelsson, K Heljanko, M Lange International Colloquium on Automata, Languages, and Programming (ICALP'08 …, 2008 | 64 | 2008 |
Answer Set Programming and Bounded Model Checking. K Heljanko, I Niemelä Answer Set Programming, 2001 | 23 | 2001 |
Assessing big data SQL frameworks for analyzing event logs M Hinkka, T Lehto, K Heljanko 2016 24th Euromicro International Conference on Parallel, Distributed, and …, 2016 | 12 | 2016 |
Asynchronous multi-core incremental SAT solving S Wieringa, K Heljanko Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 10 | 2013 |
BMC for weak memory models: Relation analysis for compact SMT encodings N Gavrilenko, H Ponce-de-León, F Furbach, K Heljanko, R Meyer Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 55 | 2019 |
BMC via on-the-fly determinization T Jussila, K Heljanko, I Niemelä Electronic Notes in Theoretical Computer Science 89 (4), 561-577, 2003 | 16 | 2003 |