Keijo Heljanko

According to our database, Keijo Heljanko authored at least 82 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Towards Compositional Hardware Model Checking Certification.

Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Stratified Certification for k-Induction.

Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Progress in Certifying Hardware Model Checking Results.

Emily Yu, Armin Biere, Keijo Heljanko

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

An optimal cut-off algorithm for parameterised refinement checking.

Antti Siirtola, Keijo Heljanko

Sci. Comput. Program., 2020

IoTEF: A Federated Edge-Cloud Architecture for Fault-Tolerant IoT Applications.

Asad Javed, Jérémy Robert, Keijo Heljanko, Kary Främling

J. Grid Comput., 2020

Reinforcement learning of adaptive online rescheduling timing and computing time allocation.

Teemu J. Ikonen, Keijo Heljanko, Iiro Harjunkoski

Comput. Chem. Eng., 2020

Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution).

Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Scalable Reference Genome Assembly from Compressed Pan-Genome Index with Spark.

Altti Ilari Maarala, Ossi Arasalo, Daniel Valenzuela, Keijo Heljanko, Veli Mäkinen

Proceedings of the Big Data - BigData 2020, 2020

2019

Exploiting Event Log Data-Attributes in RNN Based Prediction.

Markku Hinkka, Teemu Lehto, Keijo Heljanko

CoRR, 2019

Exploiting Event Log Event Attributes in RNN Based Prediction.

Markku Hinkka, Teemu Lehto, Keijo Heljanko

Proceedings of the Data-Driven Process Discovery and Analysis, 2019

Access Time Improvement Framework for Standardized IoT Gateways.

Asad Javed, Narges Yousefnezhad, Jérémy Robert, Keijo Heljanko, Kary Främling

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019

Certifying Hardware Model Checking Results.

Zhengqi Yu, Armin Biere, Keijo Heljanko

Proceedings of the Formal Methods and Software Engineering, 2019

BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings.

Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Testing Programs with Contextual Unfoldings.

Kari Kähkönen, Keijo Heljanko

ACM Trans. Embed. Comput. Syst., 2018

ViraPipe: scalable parallel pipeline for viral metagenome analysis from next generation sequencing reads.

Altti Ilari Maarala, Zurab Bzhalava, Joakim Dillner, Keijo Heljanko, Davit Bzhalava

Bioinform., 2018

CEFIoT: A fault-tolerant IoT architecture for edge and cloud.

Asad Javed, Keijo Heljanko, Andrea Buda, Kary Främling

Proceedings of the 4th IEEE World Forum on Internet of Things, 2018

BMC with Memory Models as Modules.

Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Dynamic Cut-Off Algorithm for Parameterised Refinement Checking.

Antti Siirtola, Keijo Heljanko

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Classifying Process Instances Using Recurrent Neural Networks.

Markku Hinkka, Teemu Lehto, Keijo Heljanko, Alexander Jung

Proceedings of the Business Process Management Workshops, 2018

2017

When Do We Not Need Complex Assume-Guarantee Rules?

Antti Siirtola, Stavros Tripakis, Keijo Heljanko

ACM Trans. Embed. Comput. Syst., 2017

Minimizing Test Suites with Unfoldings of Multithreaded Programs.

Olli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko, Javier Esparza

ACM Trans. Embed. Comput. Syst., 2017

Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models.

Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer

CoRR, 2017

Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models.

Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer

Proceedings of the Static Analysis - 24th International Symposium, 2017

The FMCAD 2017 graduate student forum.

Keijo Heljanko

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Hardware model checking competition 2017.

Armin Biere, Tom van Dijk, Keijo Heljanko

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Structural Feature Selection for Event Logs.

Markku Hinkka, Teemu Lehto, Keijo Heljanko, Alexander Jung

Proceedings of the Business Process Management Workshops, 2017

2016

LCTD: Test-guided proofs for C programs on LLVM.

Olli Saarikivi, Keijo Heljanko

J. Log. Algebraic Methods Program., 2016

Synchronous counting and computational algorithm design.

Danny Dolev, Keijo Heljanko, Matti Järvisalo, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, Jukka Suomela, Siert Wieringa

J. Comput. Syst. Sci., 2016

LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution).

Olli Saarikivi, Keijo Heljanko

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Assessing Big Data SQL Frameworks for Analyzing Event Logs.

Markku Hinkka, Teemu Lehto, Keijo Heljanko

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

2015

Parametrised Modal Interface Automata.

Antti Siirtola, Keijo Heljanko

ACM Trans. Embed. Comput. Syst., 2015

Verifying large modular systems using iterative abstraction refinement.

Jussi Lahtinen, Tuomas Kuismin, Keijo Heljanko

Reliab. Eng. Syst. Saf., 2015

Unfolding based automated testing of multithreaded programs.

Kari Kähkönen, Olli Saarikivi, Keijo Heljanko

Autom. Softw. Eng., 2015

Reporting Races in Dynamic Partial Order Reduction.

Olli Saarikivi, Keijo Heljanko

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Unfolding-Based Process Discovery.

Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar

Proceedings of the Automated Technology for Verification and Analysis, 2015

Unfolding Based Minimal Test Suites for Testing Multithreaded Programs.

Hernán Ponce de León, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014

Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks.

Gianpiero Cabodi, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, Danilo Vendraminetto, Armin Biere, Keijo Heljanko

J. Satisf. Boolean Model. Comput., 2014

SeqPig: simple and scalable scripting for large sequencing data sets in Hadoop.

André Schumacher, Luca Pireddu, Matti Niemenmaa, Aleksi Kallio, Eija Korpelainen, Gianluigi Zanetti, Keijo Heljanko

Bioinform., 2014

Lightweight State Capturing for Automated Testing of Multithreaded Programs.

Kari Kähkönen, Keijo Heljanko

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution.

Kari Kähkönen, Keijo Heljanko

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Asynchronous Multi-core Incremental SAT Solving.

Siert Wieringa, Keijo Heljanko

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Concurrent Clause Strengthening.

Siert Wieringa, Keijo Heljanko

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Increasing Confidence in Liveness Model Checking Results with Proofs.

Tuomas Kuismin, Keijo Heljanko

Proceedings of the Hardware and Software: Verification and Testing, 2013

Parametrised Compositional Verification with Multiple Process and Data Types.

Antti Siirtola, Keijo Heljanko

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Exploiting step semantics for efficient bounded model checking of asynchronous systems.

Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko

Sci. Comput. Program., 2012

Model checking of safety-critical software in the nuclear engineering domain.

Jussi Lahtinen, J. Valkonen, Kim Björkman, J. Frits, Ilkka Niemelä, Keijo Heljanko

Reliab. Eng. Syst. Saf., 2012

Solving parity games by a reduction to SAT.

Keijo Heljanko, Misa Keinänen, Martin Lange, Ilkka Niemelä

J. Comput. Syst. Sci., 2012

Preface.

Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Hadoop-BAM: directly manipulating next generation sequencing data in the cloud.

Matti Niemenmaa, Aleksi Kallio, André Schumacher, Petri Klemelä, Eija Korpelainen, Keijo Heljanko

Bioinform., 2012

Using unfoldings in automated testing of multithreaded programs.

Kari Kähkönen, Olli Saarikivi, Keijo Heljanko

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Improving Dynamic Partial Order Reductions for Concolic Testing.

Olli Saarikivi, Kari Kähkönen, Keijo Heljanko

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

Efficient model checking of PSL safety properties.

Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila

IET Comput. Digit. Tech., 2011

A Symbolic Model Checking Approach to Verifying Satellite Onboard Software.

Xiang Gan, Jori Dubrovin, Keijo Heljanko

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010

Experimental Comparison of Concolic and Random Testing for Java Card Applets.

Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä

Proceedings of the Model Checking Software, 2010

2009

Tarmo: A Framework for Parallelized Bounded Model Checking

Siert Wieringa, Matti Niemenmaa, Keijo Heljanko

Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009

The LIME Interface Specification Language and Runtime Monitoring Tool.

Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä

Proceedings of the Runtime Verification, 9th International Workshop, 2009

2008

Unfoldings - A Partial-Order Approach to Model Checking

Javier Esparza, Keijo Heljanko

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-77426-6, 2008

Analyzing Context-Free Grammars Using an Incremental SAT Solver.

Roland Axelsson, Keijo Heljanko, Martin Lange

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Symbolic Step Encodings for Object Based Communicating State Machines.

Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

2006

Linear Encodings of Bounded LTL Model Checking.

Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan

Log. Methods Comput. Sci., 2006

Planning as satisfiability: parallel plans and algorithms for plan search.

Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä

Artif. Intell., 2006

Bounded Model Checking for Weak Alternating Büchi Automata.

Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Simple Is Better: Efficient Bounded Model Checking for Past LTL.

Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila

Proceedings of the Verification, 2005

Incremental and Complete Bounded Model Checking for Full PLTL.

Keijo Heljanko, Tommi A. Junttila, Timo Latvala

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Complexity Results for Checking Distributed Implementability.

Keijo Heljanko, Alin Stefanescu

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004

Parallel Encodings of Classical Planning as Satisfiability.

Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Simple Bounded LTL Model Checking.

Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Bounded LTL model checking with stable models.

Keijo Heljanko, Ilkka Niemelä

Theory Pract. Log. Program., 2003

BMC via on-the-fly determinization.

Toni Jussila, Keijo Heljanko, Ilkka Niemelä

Proceedings of the First International Workshop on Bounded Model Checking, 2003

Specification Coverage Aided Test Selection.

Tuomo Pyhälä, Keijo Heljanko

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Combining symbolic and partial order methods for model checking 1-safe Petri nets.

Keijo Heljanko

PhD thesis, 2002

Testing LTL formula translation into Büchi automata.

Heikki Tauriainen, Keijo Heljanko

Int. J. Softw. Tools Technol. Transf., 2002

Parallelisation of the Petri Net Unfolding Algorithm.

Keijo Heljanko, Victor Khomenko, Maciej Koutny

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2001

Implementing LTL Model Checking with Net Unfoldings.

Javier Esparza, Keijo Heljanko

Proceedings of the Model Checking Software, 2001

Bounded Reachability Checking with Process Semantics.

Keijo Heljanko

Proceedings of the CONCUR 2001, 2001

Answer Set Programming and Bounded Model Checking.

Keijo Heljanko, Ilkka Niemelä

Proceedings of the Answer Set Programming, 2001

2000

Coping With Strong Fairness.

Timo Latvala, Keijo Heljanko

Fundam. Informaticae, 2000

Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input.

Heikki Tauriainen, Keijo Heljanko

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

A New Unfolding Approach to LTL Model Checking.

Javier Esparza, Keijo Heljanko

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Model Checking with Finite Complete Prefixes Is PSPACE-Complete.

Keijo Heljanko

Proceedings of the CONCUR 2000, 2000

1999

Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets.

Keijo Heljanko

Fundam. Informaticae, 1999

1997

prod 3.2: An Advanced Tool for Efficient Reachability Analysis.

Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius

Proceedings of the Computer Aided Verification, 9th International Conference, 1997