Keijo Heljanko

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 38

Top Venues

CoRR

FMCAD

ACM Trans. Embed. Comput. Syst.

ACSD

Aalto University, Helsinki, Finland (PHD)

Education History

Aalto University, Helsinki, Finland

PHD

Publications

Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko
Certifying Phase Abstraction. CoRR (2024)
Dewi Yokelson, Oskar Lappi, Srinivasan Ramesh, Miikka S. Väisälä, Kevin A. Huck, Touko Puro, Boyana Norris, Maarit J. Korpi-Lagg, Keijo Heljanko, Allen D. Malony
SOMA: Observability, monitoring, and in situ analytics for exascale applications. Concurr. Comput. Pract. Exp. 36 (19) (2024)
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko
Certifying Phase Abstraction. IJCAR (1) (2024)
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
Towards Compositional Hardware Model Checking Certification. FMCAD (2023)
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
Stratified Certification for k-Induction. FMCAD (2022)
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
Stratified Certification for k-Induction. CoRR (2022)
Emily Yu, Armin Biere, Keijo Heljanko
Progress in Certifying Hardware Model Checking Results. CAV (2) (2021)
Asad Javed, Jérémy Robert, Keijo Heljanko, Kary Främling
IoTEF: A Federated Edge-Cloud Architecture for Fault-Tolerant IoT Applications. J. Grid Comput. 18 (1) (2020)
Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution). TACAS (2) (2020)
Antti Siirtola, Keijo Heljanko
An optimal cut-off algorithm for parameterised refinement checking. Sci. Comput. Program. 198 (2020)
Altti Ilari Maarala, Ossi Arasalo, Daniel Valenzuela, Keijo Heljanko, Veli Mäkinen
Scalable Reference Genome Assembly from Compressed Pan-Genome Index with Spark. BigData Congress (2020)
Asad Javed, Keijo Heljanko, Andrea Buda, Kary Främling
CEFIoT: A Fault-Tolerant IoT Architecture for Edge and Cloud. CoRR (2020)
Teemu J. Ikonen, Keijo Heljanko, Iiro Harjunkoski
Reinforcement learning of adaptive online rescheduling timing and computing time allocation. Comput. Chem. Eng. 141 (2020)
Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings. CAV (1) (2019)
Markku Hinkka, Teemu Lehto, Keijo Heljanko
Exploiting Event Log Data-Attributes in RNN Based Prediction. CoRR (2019)
Zhengqi Yu, Armin Biere, Keijo Heljanko
Certifying Hardware Model Checking Results. ICFEM (2019)
Markku Hinkka, Teemu Lehto, Keijo Heljanko
Exploiting Event Log Event Attributes in RNN Based Prediction. ADBIS (Short Papers and Workshops) (2019)
Markku Hinkka, Teemu Lehto, Keijo Heljanko
Exploiting Event Log Event Attributes in RNN Based Prediction. SIMPDA (2019)
Asad Javed, Narges Yousefnezhad, Jérémy Robert, Keijo Heljanko, Kary Främling
Access Time Improvement Framework for Standardized IoT Gateways. PerCom Workshops (2019)
Asad Javed, Keijo Heljanko, Andrea Buda, Kary Främling
CEFIoT: A fault-tolerant IoT architecture for edge and cloud. WF-IoT (2018)
Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
BMC with Memory Models as Modules. FMCAD (2018)
Markku Hinkka, Teemu Lehto, Keijo Heljanko, Alexander Jung
Classifying Process Instances Using Recurrent Neural Networks. CoRR (2018)
Markku Hinkka, Teemu Lehto, Keijo Heljanko, Alexander Jung
Classifying Process Instances Using Recurrent Neural Networks. Business Process Management Workshops (2018)
Altti Ilari Maarala, Zurab Bzhalava, Joakim Dillner, Keijo Heljanko, Davit Bzhalava
ViraPipe: scalable parallel pipeline for viral metagenome analysis from next generation sequencing reads. Bioinform. 34 (6) (2018)
Kari Kähkönen, Keijo Heljanko
Testing Programs with Contextual Unfoldings. ACM Trans. Embed. Comput. Syst. 17 (1) (2018)
Antti Siirtola, Keijo Heljanko
Dynamic Cut-Off Algorithm for Parameterised Refinement Checking. FACS (2018)
Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models. SAS (2017)
Keijo Heljanko
The FMCAD 2017 graduate student forum. FMCAD (2017)
Markku Hinkka, Teemu Lehto, Keijo Heljanko, Alexander Jung
Structural Feature Selection for Event Logs. CoRR (2017)
Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models. CoRR (2017)
Antti Siirtola, Stavros Tripakis, Keijo Heljanko
When Do We Not Need Complex Assume-Guarantee Rules? ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Markku Hinkka, Teemu Lehto, Keijo Heljanko, Alexander Jung
Structural Feature Selection for Event Logs. Business Process Management Workshops (2017)
Olli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko, Javier Esparza
Minimizing Test Suites with Unfoldings of Multithreaded Programs. ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Armin Biere, Tom van Dijk, Keijo Heljanko
Hardware model checking competition 2017. FMCAD (2017)
Olli Saarikivi, Keijo Heljanko
LCTD: Test-guided proofs for C programs on LLVM. J. Log. Algebraic Methods Program. 85 (6) (2016)
Danny Dolev, Keijo Heljanko, Matti Järvisalo, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, Jukka Suomela, Siert Wieringa
Synchronous counting and computational algorithm design. J. Comput. Syst. Sci. 82 (2) (2016)
Markku Hinkka, Teemu Lehto, Keijo Heljanko
Assessing Big Data SQL Frameworks for Analyzing Event Logs. PDP (2016)
Olli Saarikivi, Keijo Heljanko
LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution). TACAS (2016)
Hernán Ponce de León, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza
Unfolding Based Minimal Test Suites for Testing Multithreaded Programs. ACSD (2015)
Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
Unfolding-Based Process Discovery. CoRR (2015)
Olli Saarikivi, Keijo Heljanko
Reporting Races in Dynamic Partial Order Reduction. NFM (2015)
Antti Siirtola, Keijo Heljanko
Parametrised Modal Interface Automata. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Jussi Lahtinen, Tuomas Kuismin, Keijo Heljanko
Verifying large modular systems using iterative abstraction refinement. Reliab. Eng. Syst. Saf. 139 (2015)
Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
Unfolding-Based Process Discovery. ATVA (2015)
Antti Siirtola, Stavros Tripakis, Keijo Heljanko
When Do We (Not) Need Complex Assume-Guarantee Rules? ACSD (2015)
Kari Kähkönen, Olli Saarikivi, Keijo Heljanko
Unfolding based automated testing of multithreaded programs. Autom. Softw. Eng. 22 (4) (2015)
André Schumacher, Luca Pireddu, Matti Niemenmaa, Aleksi Kallio, Eija Korpelainen, Gianluigi Zanetti, Keijo Heljanko
SeqPig: simple and scalable scripting for large sequencing data sets in Hadoop. Bioinform. 30 (1) (2014)
Xiang Gan, Jori Dubrovin, Keijo Heljanko
A symbolic model checking approach to verifying satellite onboard software. Sci. Comput. Program. 82 (2014)
Kari Kähkönen, Keijo Heljanko
Lightweight State Capturing for Automated Testing of Multithreaded Programs. TAP@STAF (2014)
Kari Kähkönen, Keijo Heljanko
Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution. ACSD (2014)
Gianpiero Cabodi, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, Danilo Vendraminetto, Armin Biere, Keijo Heljanko
Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
Siert Wieringa, Keijo Heljanko
Asynchronous Multi-core Incremental SAT Solving. TACAS (2013)
Tuomas Kuismin, Keijo Heljanko
Increasing Confidence in Liveness Model Checking Results with Proofs. Haifa Verification Conference (2013)
Siert Wieringa, Keijo Heljanko
Concurrent Clause Strengthening. SAT (2013)
Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas
Preface. Electron. Notes Theor. Comput. Sci. 296 (2013)
Antti Siirtola, Keijo Heljanko
Parametrised Compositional Verification with Multiple Process and Data Types. ACSD (2013)
Matti Niemenmaa, Aleksi Kallio, André Schumacher, Petri Klemelä, Eija Korpelainen, Keijo Heljanko
Hadoop-BAM: directly manipulating next generation sequencing data in the cloud. Bioinform. 28 (6) (2012)
Keijo Heljanko, Misa Keinänen, Martin Lange, Ilkka Niemelä
Solving parity games by a reduction to SAT. J. Comput. Syst. Sci. 78 (2) (2012)
Jussi Lahtinen, J. Valkonen, Kim Björkman, J. Frits, Ilkka Niemelä, Keijo Heljanko
Model checking of safety-critical software in the nuclear engineering domain. Reliab. Eng. Syst. Saf. 105 (2012)
Kari Kähkönen, Olli Saarikivi, Keijo Heljanko
Using unfoldings in automated testing of multithreaded programs. ASE (2012)
Olli Saarikivi, Kari Kähkönen, Keijo Heljanko
Improving Dynamic Partial Order Reductions for Concolic Testing. ACSD (2012)
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
Exploiting step semantics for efficient bounded model checking of asynchronous systems. Sci. Comput. Program. 77 (10-11) (2012)
Xiang Gan, Jori Dubrovin, Keijo Heljanko
A Symbolic Model Checking Approach to Verifying Satellite Onboard Software. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila
Efficient model checking of PSL safety properties. IET Comput. Digit. Tech. 5 (6) (2011)
Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila
Efficient Model Checking of PSL Safety Properties. ACSD (2010)
Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä
Experimental Comparison of Concolic and Random Testing for Java Card Applets. SPIN (2010)
Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä
The LIME Interface Specification Language and Runtime Monitoring Tool. RV (2009)
Siert Wieringa, Matti Niemenmaa, Keijo Heljanko
Tarmo: A Framework for Parallelized Bounded Model Checking PDMC (2009)
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
Symbolic Step Encodings for Object Based Communicating State Machines. FMOODS (2008)
Roland Axelsson, Keijo Heljanko, Martin Lange
Analyzing Context-Free Grammars Using an Incremental SAT Solver. ICALP (2) (2008)
Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala
Bounded Model Checking for Weak Alternating Büchi Automata. CAV (2006)
Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä
Planning as satisfiability: parallel plans and algorithms for plan search. Artif. Intell. 170 (12-13) (2006)
Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan
Linear Encodings of Bounded LTL Model Checking. Log. Methods Comput. Sci. 2 (5) (2006)
Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan
Linear Encodings of Bounded LTL Model Checking CoRR (2006)
Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila
Simple Is Better: Efficient Bounded Model Checking for Past LTL. VMCAI (2005)
Toni Jussila, Keijo Heljanko, Ilkka Niemelä
BMC via on-the-fly determinization. Int. J. Softw. Tools Technol. Transf. 7 (2) (2005)
Keijo Heljanko, Tommi A. Junttila, Timo Latvala
Incremental and Complete Bounded Model Checking for Full PLTL. CAV (2005)
Keijo Heljanko, Alin Stefanescu
Complexity Results for Checking Distributed Implementability. ACSD (2005)
Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila
Simple Bounded LTL Model Checking. FMCAD (2004)
Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä
Parallel Encodings of Classical Planning as Satisfiability. JELIA (2004)
Keijo Heljanko, Ilkka Niemelä
Bounded LTL model checking with stable models. Theory Pract. Log. Program. 3 (4-5) (2003)
Keijo Heljanko, Ilkka Niemelä
Bounded LTL Model Checking with Stable Models CoRR (2003)
Toni Jussila, Keijo Heljanko, Ilkka Niemelä
BMC via on-the-fly determinization. Electron. Notes Theor. Comput. Sci. 89 (4) (2003)
Tuomo Pyhälä, Keijo Heljanko
Specification Coverage Aided Test Selection. ACSD (2003)
Heikki Tauriainen, Keijo Heljanko
Testing LTL formula translation into Büchi automata. Int. J. Softw. Tools Technol. Transf. 4 (1) (2002)
Keijo Heljanko, Victor Khomenko, Maciej Koutny
Parallelisation of the Petri Net Unfolding Algorithm. TACAS (2002)
Keijo Heljanko
Bounded Reachability Checking with Process Semantics. CONCUR (2001)
Keijo Heljanko, Ilkka Niemelä
Bounded LTL Model Checking with Stable Models. LPNMR (2001)
Javier Esparza, Keijo Heljanko
Implementing LTL Model Checking with Net Unfoldings. SPIN (2001)
Keijo Heljanko, Ilkka Niemelä
Answer Set Programming and Bounded Model Checking. Answer Set Programming (2001)
Keijo Heljanko
Model Checking with Finite Complete Prefixes Is PSPACE-Complete. CONCUR (2000)
Timo Latvala, Keijo Heljanko
Coping With Strong Fairness. Fundam. Informaticae 43 (1-4) (2000)
Heikki Tauriainen, Keijo Heljanko
Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input. SPIN (2000)
Javier Esparza, Keijo Heljanko
A New Unfolding Approach to LTL Model Checking. ICALP (2000)
Keijo Heljanko
Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets. TACAS (1999)
Keijo Heljanko
Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets. Fundam. Informaticae 37 (3) (1999)
Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius
prod 3.2: An Advanced Tool for Efficient Reachability Analysis. CAV (1997)

Keijo Heljanko.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Keijo Heljanko