Keijo Heljanko

发表

Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation

Jivr'i Barnat, Keijo Heljanko, 2011 .

Parametrised Compositional Verification with Multiple Process and Data Types

Keijo Heljanko, Antti Siirtola, 2013, 2013 13th International Conference on Application of Concurrency to System Design.

Improving Dynamic Partial Order Reductions for Concolic Testing

Keijo Heljanko, Olli Saarikivi, Kari Kähkönen, 2012, 2012 12th International Conference on Application of Concurrency to System Design.

Efficient Model Checking of PSL Safety Properties

Keijo Heljanko, Tommi A. Junttila, Tuomas Kuismin, 2010, 2010 10th International Conference on Application of Concurrency to System Design.

Parametrised Modal Interface Automata

Keijo Heljanko, Antti Siirtola, Keijo Heljanko, 2015, ACM Trans. Embed. Comput. Syst..

The 35th International Colloquium on Automata, Languages, and Programming (ICALP'08), Part II

Martin Lange, Keijo Heljanko, Roland Axelsson, 2008 .

Bounded Model Checking for Weak Alternating Büchi Automata

Martin Lange, Timo Latvala, Keijo Heljanko, 2006, CAV.

Tarmo: A Framework for Parallelized Bounded Model Checking

Siert Wieringa, Keijo Heljanko, Matti Niemenmaa, 2009, PDMC.

Answer Set Programming and Bounded Model Checking

Ilkka Niemelä, Keijo Heljanko, Keijo Heljanko, 2001, Answer Set Programming.

Preface

Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas, 2013, Electron. Notes Theor. Comput. Sci..

Minimizing Test Suites with Unfoldings of Multithreaded Programs

Javier Esparza, Keijo Heljanko, Hernán Ponce de León, 2017, ACM Trans. Embed. Comput. Syst..

A Symbolic Model Checking Approach to Verifying Satellite Onboard Software

Keijo Heljanko, Jori Dubrovin, Xiang Gan, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Tests and Proofs (TAP), York, UK, July 24-25, 2014

Keijo Heljanko, Kari Kähkönen, 2014 .

Formal Verification of Safety I & C System Designs: Two Nuclear Power Plant Related Applications

Ilkka Niemelä, Jan-Erik Holmberg, Keijo Heljanko, 2008 .

LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

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

Model-Based Analysis of a Stepwise Shutdown Logic

Ilkka Niemelä, Keijo Heljanko, Kim Björkman, 2009 .

Verifying large modular systems using iterative abstraction refinement

Keijo Heljanko, Jussi Lahtinen, Tuomas Kuismin, 2015, Reliab. Eng. Syst. Saf..

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

Kary Främling, Keijo Heljanko, Andrea Buda, 2018, 2018 IEEE 4th World Forum on Internet of Things (WF-IoT).

Bounded LTL model checking with stable models

Ilkka Niemelä, Keijo Heljanko, Keijo Heljanko, 2001, Theory and Practice of Logic Programming.

Concurrent Clause Strengthening

Siert Wieringa, Keijo Heljanko, Keijo Heljanko, 2013, SAT.

Classifying Process Instances Using Recurrent Neural Networks pdf

Alexander Jung, Markku Hinkka, Keijo Heljanko, 2018, Business Process Management Workshops.

Unfolding based automated testing of multithreaded programs

Keijo Heljanko, Olli Saarikivi, Kari Kähkönen, 2014, Automated Software Engineering.

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

Ilkka Niemelä, Keijo Heljanko, Jussi Lahtinen, 2012, Reliab. Eng. Syst. Saf..

Using unfoldings in automated testing of multithreaded programs

Keijo Heljanko, Olli Saarikivi, Kari Kähkönen, 2012, 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.

Search Procedures for the Executability Problem

Javier Esparza, Keijo Heljanko, Keijo Heljanko, 2008 .

Coping With Strong Fairness

Timo Latvala, Keijo Heljanko, Keijo Heljanko, 2000, Fundam. Informaticae.

Formal Verification of Safety Automation Logic Designs

Ilkka Niemelä, Keijo Heljanko, Kim Björkman, 2009 .

Model Checking of PSL Safety Properties

Keijo Heljanko, Tommi Junttila, Tuomas Launiainen, 2009 .

Hadoop-BAM: A Library for Genomic Data Processing

Eija Korpelainen, Keijo Heljanko, Matti Niemenmaa, 2011 .

Electronic Communications of the EASST Volume 46 ( 2011 ) Proceedings of the 11 th International Workshop on Automated Verification of Critical Systems ( AVoCS 2011 ) A Symbolic Model Checking Approach to Verifying Satellite Onboard Software

Keijo Heljanko, Jori Dubrovin, Xiang Gan, 2011 .

Model Checking Methodology for Large Systems, Faults and Asynchronous Behaviour - {SARANA} 2011 Work Report

Keijo Heljanko, Jussi Lahtinen, Tuomas Launiainen, 2012 .

Efficient model checking of PSL safety properties

Keijo Heljanko, Tommi A. Junttila, Tuomas Kuismin, 2011, IET Comput. Digit. Tech..

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

Keijo Heljanko, Keijo Heljanko, 1999, Fundam. Informaticae.

Exploiting Event Log Data-Attributes in RNN Based Prediction

Markku Hinkka, Keijo Heljanko, Teemu Lehto, 2019, ADBIS.

Parallelisation of the Petri Net Unfolding Algorithm

Maciej Koutny, Victor Khomenko, Keijo Heljanko, 2002, TACAS.

Assessing Big Data SQL Frameworks for Analyzing Event Logs

Markku Hinkka, Keijo Heljanko, Teemu Lehto, 2016, 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP).

The FMCAD 2017 graduate student forum

Keijo Heljanko, 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).

Specification coverage aided test selection

Keijo Heljanko, Tuomo Pyhälä, Keijo Heljanko, 2003, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..

Advanced Model Checking Methods and Safety Critical Systems

Keijo Heljanko, 2014 .

boundsmodels 0.9: a bounded LTL model checker

Patrik Simons, Keijo Heljanko, 2001 .

Complexity results for checking distributed implementability

Keijo Heljanko, Alin Stefanescu, 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).

Reporting Races in Dynamic Partial Order Reduction

Keijo Heljanko, Olli Saarikivi, 2015, NFM.

The LIME Interface Specification Language and Runtime Monitoring Tool

Ilkka Niemelä, Keijo Heljanko, Kari Kähkönen, 2009, RV.

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

Keijo Heljanko, 1999, Fundam. Informaticae.

Testing Programs with Contextual Unfoldings

Keijo Heljanko, Kari Kähkönen, 2018, ACM Trans. Embed. Comput. Syst..

Verification of Safety Logic Designs by Model Checking

Ilkka Niemelä, Keijo Heljanko, Kim Björkman, 2009 .

Interface specification methods for software components

Keijo Heljanko, Kari Kähkönen, Jani Lampinen, 2009 .

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

Keijo Heljanko, Olli Saarikivi, 2016, TACAS.

Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PD

Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas, 2013 .

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

Armin Biere, Gianpiero Cabodi, Stefano Quer, 2014, J. Satisf. Boolean Model. Comput..

unfsmodels 0.9: an LTL model checker using net unfoldings

Patrik Simons, Keijo Heljanko, 2001 .

prod 3.2: An Advanced Tool for Efficient Reachability Analysis

Johan Lilius, Keijo Heljanko, Kimmo Varpaaniemi, 1997, CAV.

Lightweight State Capturing for Automated Testing of Multithreaded Programs

Keijo Heljanko, Kari Kähkönen, 2014, TAP@STAF.

Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD 2012)

Jens Brandt, Keijo Heljanko, Keijo Heljanko, 2012 .

Simple Is Better: Efficient Bounded Model Checking for Past LTL

Armin Biere, Timo Latvala, Keijo Heljanko, 2005, VMCAI.

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

Veli Mäkinen, Keijo Heljanko, Daniel Valenzuela, 2020, BigData.

Unfoldings - A Partial-Order Approach to Model Checking

Javier Esparza, Keijo Heljanko, Keijo Heljanko, 2008, Monographs in Theoretical Computer Science. An EATCS Series.

Message from the Programme Co-chairs

Jens Brandt, Keijo Heljanko, 2012, ACSD 2012.

Reinforcement learning of adaptive online rescheduling timing and computing time allocation

Iiro Harjunkoski, Keijo Heljanko, Teemu J. Ikonen, 2020, Comput. Chem. Eng..

PROD 3.3.08 -saavutettavuusanalyysiohjelmisto

Kimmo Valkealahti, Keijo Heljanko, Tomi Janhunen, 2000 .

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

Roland Meyer, Keijo Heljanko, Hernán Ponce de León, 2019, CAV.

NPP Safety Automation Systems Analysis

Ilkka Niemelä, Keijo Heljanko, Ilkka Karanta, 2008 .

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

Eija Korpelainen, Gianluigi Zanetti, Keijo Heljanko, 2013, Bioinform..

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

Keijo Heljanko, Keijo Heljanko, 2002 .

Parallel Encodings of Classical Planning as Satisfiability

Ilkka Niemelä, Jussi Rintanen, Keijo Heljanko, 2004, JELIA.

Bomotest - A formal conformance testing tool, Version 1.5

Keijo Heljanko, Tuomo Pyhälä, Keijo Heljanko, 2003 .

Implementing LTL model checking with net unfoldings

Javier Esparza, Keijo Heljanko, Keijo Heljanko, 2001, SPIN '01.

Model-Based Analysis of an Arc Protection and an Emergency Cooling System - MODSAFE 2007 Working Report

Ilkka Niemelä, Jan-Erik Holmberg, Keijo Heljanko, 2008 .

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

Keijo Heljanko, Joakim Dillner, Davit Bzhalava, 2017, Bioinform..

Unfolding Based Minimal Test Suites for Testing Multithreaded Programs

Javier Esparza, Keijo Heljanko, Hernán Ponce de León, 2015, 2015 15th International Conference on Application of Concurrency to System Design.

Symbolic Step Encodings for Object Based Communicating State Machines

Keijo Heljanko, Tommi A. Junttila, Jori Dubrovin, 2008, FMOODS.

Bounded Reachability Checking with Process Semantics

Keijo Heljanko, Keijo Heljanko, 2001, CONCUR.

Model Checking LTL

Javier Esparza, Keijo Heljanko, Keijo Heljanko, 2008 .

Model Checking with Finite Complete Prefixes Is PSPACE-Complete

Keijo Heljanko, Keijo Heljanko, 2000, CONCUR.

Access Time Improvement Framework for Standardized IoT Gateways

Jérémy Robert, Kary Främling, Keijo Heljanko, 2019, 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops).

Petri Net Analysis and Nonmonotonic Reasoning

Ilkka Niemelä, Keijo Heljanko, 2000 .

Testing LTL formula translation into Büchi automata

Keijo Heljanko, Heikki Tauriainen, Keijo Heljanko, 2002, International Journal on Software Tools for Technology Transfer.

A New Unfolding Approach to LTL Model Checking

Javier Esparza, Keijo Heljanko, Keijo Heljanko, 2000, ICALP.

Hardware model checking competition 2017

Armin Biere, Tom van Dijk, Keijo Heljanko, 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).

Linear Encodings of Bounded LTL Model Checking

Viktor Schuppan, Armin Biere, Timo Latvala, 2006, Log. Methods Comput. Sci..

Asynchronous Multi-core Incremental SAT Solving

Siert Wieringa, Keijo Heljanko, Keijo Heljanko, 2013, TACAS.