Keijo Heljanko

Professor (Associate Professor)

Research outputs

  1. 2019
  2. Published

    Access Time Improvement Framework for Standardized IoT Gateways

    Javed, A., Yousefnezhad, N., Robert, J., Heljanko, K. & Framling, K., 1 Mar 2019, 2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019. Institute of Electrical and Electronics Engineers, p. 220-226 7 p. 8730867

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. Published

    BMC with Memory Models as Modules

    Ponce-De-Leon, H., Furbach, F., Heljanko, K. & Meyer, R., 4 Jan 2019, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjorner, N. & Gurfinkel, A. (eds.). Institute of Electrical and Electronics Engineers, p. 22-30 9 p. 8603021

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  4. Published

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

    Gavrilenko, N., Ponce-de-León, H., Furbach, F., Heljanko, K. & Meyer, R., 1 Jan 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 355-365 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11561 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  5. Published

    Classifying Process Instances Using Recurrent Neural Networks

    Hinkka, M., Lehto, T., Heljanko, K. & Jung, A., 2019, Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers. Daniel, F., Sheng, Q. Z. & Motahari, H. (eds.). Springer Verlag, p. 313-324 12 p. (Lecture Notes in Business Information Processing; vol. 342).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  6. 2018
  7. Published

    CEFIoT: A Fault-Tolerant IoT Architecture for Edge and Cloud

    Javed, A., Heljanko, K., Buda, A. & Främling, K., 4 May 2018, IEEE World Forum on Internet of Things, WF-IoT 2018 - Proceedings. Singapore: IEEE, p. 813-818 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  8. Published

    Dynamic cut-off algorithm for parameterised refinement checking

    Siirtola, A. & Heljanko, K., 1 Jan 2018, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Springer Verlag, p. 256-276 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11222 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  9. Published

    Structural feature selection for event logs

    Hinkka, M., Lehto, T., Heljanko, K. & Jung, A., 2018, Business Process Management Workshops - BPM 2017 International Workshops, Revised Papers. Springer Verlag, p. 20-35 16 p. (Lecture Notes in Business Information Processing; vol. 308).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  10. Published

    ViraPipe: Scalable Parallel Pipeline for Viral Metagenome Analysis from Next Generation Sequencing Reads

    Maarala, A., Bzhalava, Z., Dillner, J., Heljanko, K. & Bzhalava, D., 2018, In : Bioinformatics. 34, 6, p. 928-935 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  11. 2017
  12. Published

    Testing Programs with Contextual Unfoldings

    Kähkönen, K. & Heljanko, K., 1 Nov 2017, In : ACM Transactions on Embedded Computing Systems. 17, 1, p. 1-25 23.

    Research output: Contribution to journalArticleScientificpeer-review

  13. Published

    Hardware Model Checking Competition 2017

    Biere, A., van Dijk, T. & Heljanko, K., 2 Oct 2017, Proceedings of 2017 Formal Methods in Computer Aided Design, FMCAD 2017. Stewart, D. & Weissenbacher, G. (eds.). IEEE, p. 9 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  14. Published

    The FMCAD 2017 graduate student forum

    Heljanko, K., 2 Oct 2017, Proceedings of the 2017 Formal Methods in Computer Aided Design, FMCAD 2017. Stewart, D. & Weissenbacher, G. (eds.). IEEE, p. 10 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  15. Published

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

    Ponce-de-León, H., Furbach, F., Heljanko, K. & Meyer, R., 28 Apr 2017. 38 p.

    Research output: Contribution to conferencePaperScientific

  16. Published

    Minimizing test suites with unfoldings of multithreaded programs

    Saarikivi, O., Ponce de Leon, H., Kähkönen, K., Heljanko, K. & Esparza, J., 1 Feb 2017, In : ACM Transactions on Embedded Computing Systems. 16, 2, p. 1-24 45.

    Research output: Contribution to journalArticleScientificpeer-review

  17. Published

    When do we not need complex assume-guarantee rules?

    Siirtola, A., Tripakis, S. & Heljanko, K., 1 Jan 2017, In : ACM Transactions on Embedded Computing Systems. 16, 2, p. 1-25 48.

    Research output: Contribution to journalArticleScientificpeer-review

  18. Published

    Portability analysis for weak memory models porthos: One tool for all models

    Ponce-de-León, H., Furbach, F., Heljanko, K. & Meyer, R., 2017, Static Analysis - 24th International Symposium, SAS 2017, Proceedings. Springer-Verlag, p. 299-320 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10422 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  19. 2016
  20. Published

    LCTD: Test-guided proofs for C programs on LLVM

    Saarikivi, O. & Heljanko, K., 1 Oct 2016, In : Journal of Logical and Algebraic Methods in Programming. 85, 6, p. 1292-1317 26 p.

    Research output: Contribution to journalArticleScientificpeer-review

  21. Published

    Assessing Big Data SQL Frameworks for Analyzing Event Logs

    Hinkka, M., Lehto, T. & Heljanko, K., 31 Mar 2016, Proceedings - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016. Institute of Electrical and Electronics Engineers, p. 101-108 8 p. 7445319

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  22. Published

    Synchronous counting and computational algorithm design

    Dolev, D., Heljanko, K., Järvisalo, M., Korhonen, J., Lenzen, C., Rybicki, J., Suomela, J. & Wieringa, S., 1 Mar 2016, In : JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 82, 2, p. 310-332 23 p.

    Research output: Contribution to journalArticleScientificpeer-review

  23. Published

    Hardware model checking competition 2014: An analysis and comparison of solvers and benchmarks

    Cabodi, G., Loiacono, C., Palena, M., Pasini, P., Patti, D., Quer, S., Vendraminetto, D., Biere, A. & Heljanko, K., 28 Jan 2016, In : Journal of Satisfiability, Boolean Modeling and Computation. 9, p. 135-172

    Research output: Contribution to journalArticleScientificpeer-review

  24. Published

    LCTD: Tests-Guided Proofs for C Programs on LLVM

    Saarikivi, O. & Heljanko, K., 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Chechik, M. & Raskin, J-F. (eds.). Springer-Verlag, Vol. 9636. p. 927-929 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9636).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  25. 2015
  26. Published

    Parametrised modal interface automata

    Siirtola, A. & Heljanko, K., 2015, In : ACM Transactions on Embedded Computing Systems. 14, 4, p. Article No. 65, pp. 1-15

    Research output: Contribution to journalArticleScientificpeer-review

  27. Published

    Reporting Races in Dynamic Partial Order Reduction

    Saarikivi, O. & Heljanko, K., 2015, 7th International Symposium on NASA Formal Methods (NFM), Pasadena, CA, USA, April 27-29, 2015,. Springer-verlag Berlin, p. 450-456

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  28. Published

    Unfolding based automated testing of multithreaded programs

    Kahkonen, K., Saarikivi, O. & Heljanko, K., 2015, In : AUTOMATED SOFTWARE ENGINEERING. 22, 4, p. 475-515

    Research output: Contribution to journalArticleScientificpeer-review

  29. Published

    Unfolding based Minimal Test Suites for Testing Multithreaded Programs

    Ponce-de-León, H., Saarikivi, O., Kähkönen, K., Heljanko, K. & Esparza, J., 2015, International Conference on Application of Concurrency to System Design, Brussels, June 2426, 2015. Stefan Haar, R. M. (ed.). Brussels: IEEE, p. 40-49

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  30. Published

    Unfolding-Based Process Discovery

    Ponce de León, H., Rodríguez, C., Carmona, J., Heljanko, K. & Haar, S., 2015, International Symposium on Automated Technology for Verification and Analysis (ATVA), Shanghai-China, October 1215, 2015. Bernd Finkbeiner, G. P. (ed.). p. 31-47

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  31. Published

    Verifying large modular systems using iterative abstraction refinement

    Lahtinen, J., Kuismin, T. & Heljanko, K., 2015, In : Reliability Engineering and System Safety. 139, p. 120-130

    Research output: Contribution to journalArticleScientificpeer-review

  32. Published

    When Do We (Not) Need Complex Assume-Guarantee Rules?

    Siirtola, A. T., Tripakis, S. & Heljanko, K., 2015, 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015. IEEE Computer Society, p. 30-39

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  33. 2014
  34. Published

    A symbolic model checking approach to verifying satellite onboard software

    Gan, X., Dubrovin, J. & Heljanko, K., 2014, In : Science of Computer Programming. 82, N/A, p. 44-55

    Research output: Contribution to journalArticleScientificpeer-review

  35. Published

    Lightweight State Capturing for Automated Testing of Multithreaded Programs

    Kähkönen, K. & Heljanko, K., 2014, Tests and Proofs (TAP), York, UK, July 24-25, 2014. Seidl, M. & Tillmann, N. (eds.). p. 187-203

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  36. Published

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

    Schumacher, A., Pireddu, L., Niemenmaa, M., Kallio, A., Korpelainen, E., Zanetti, G. & Heljanko, K., 2014, In : Bioinformatics. 30, 1, p. 119-120

    Research output: Contribution to journalArticleScientificpeer-review

  37. Published

    Testing multithreaded programs with contextual unfoldings and dynamic symbolic execution

    Kähkönen, K. & Heljanko, K., 2014, 2014 14th International Conference on Application of Concurrency to System Design (ACSD). IEEE, p. 142-151 10 p. (International Conference on Application of Concurrency to System Design. Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  38. 2013
  39. Published

    Asynchronous Multi-core Incremental SAT Solving

    Wieringa, S. & Heljanko, K., 2013, 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 16-24, Rome, Italy. p. 139-153

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  40. Published

    Concurrent Clause Strengthening

    Wieringa, S. & Heljanko, K., 2013, SAT July 8-12, Helsinki, Finland. p. 116-132

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  41. Published

    Increasing Confidence in Liveness Model Checking Results with Proofs

    Kuismin, T. & Heljanko, K., 2013, The 9th International Haifa Verification Conference (HVC 2013), Haifa, Israel, November 5-7, 2013. p. 32-43

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  42. Published

    LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

    Kähkönen, K., Saarikivi, O. & Heljanko, K., 2013, In : ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. 296, p. 253-259

    Research output: Contribution to journalArticleScientificpeer-review

  43. Published

    Parametrised Compositional Verification with Multiple Process and Data Types

    Siirtola, A. & Heljanko, K., 2013, 13th International Conference on Application of Concurrency to System Design, Barcelona, Spain, July 8-10, 2013. Carmona, J., Lazarescu, M. T. & Pietkiewicz-Koutny, M. (eds.). p. 67-76

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  44. Published

    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

    Bradley, J. T., Heljanko, K., Knottenbelt, W. J. & Thomas, N., 2013, Amsterdam: Elsevier.

    Research output: Book/ReportAnthologyScientificpeer-review

  45. Published

    Scripting for large-scale sequencing based on Hadoop

    Schumacher, A., Pireddu, L., Kallio, A., Niemenmaa, M., Korpelainen, E., Zanetti, G. & Heljanko, K., 2013, In : EMBnet.journal. 19, A, p. 84-85

    Research output: Contribution to journalArticleScientific

  46. 2012
  47. Published

    A Symbolic Model Checking Approach to Verifying Satellite Onboard Software

    Gan, X., Dubrovin, J. & Heljanko, K., 2012, ESANN 20th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, Bruges, Belgium, April 25-27, 2012. p. 1-15

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  48. Published

    Exploiting step semantics for efficient bounded model checking of asynchronous systems

    Dubrovin, J., Junttila, T. & Heljanko, K., 2012, In : Science of Computer Programming. 77, 10-11, p. 1095-1121

    Research output: Contribution to journalArticleScientificpeer-review

  49. Published

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

    Niemenmaa, M., Kallio, A., Schumacher, A., Klemelä, P., Korpelainen, E. & Heljanko, K., 2012, In : Bioinformatics. 28, 6, p. 876-877

    Research output: Contribution to journalArticleScientificpeer-review

  50. Published

    Improving Dynamic Partial Order Reductions for Concolic Testing

    Saarikivi, O., Kähkönen, K. & Heljanko, K., 2012, 12th International Conference on Application of Concurrency to System Design (ACSD 2012), June 27-29, Hamburg, Germany. p. 132-141

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  51. Published

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

    Lahtinen, J., Launiainen, T., Heljanko, K. & Ropponen, J., 2012, Espoo, Finland, (VTT Technology; no. 12).

    Research output: Working paperProfessional

  52. Published

    Model Checking of Safety-Critical Software in the Nuclear Engineering Domain

    Lahtinen, J., Valkonen, J., Björkman, K., Frits, J., Niemelä, I. & Heljanko, K., 2012, In : Reliability Engineering and System Safety. 105, p. 104-113

    Research output: Contribution to journalArticleScientificpeer-review

  53. Published

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

    Brandt, J. & Heljanko, K., 2012, Hamburg, Germany: IEEE. 203 p.

    Research output: Book/ReportAnthologyScientificpeer-review

  54. Published

    Solving Parity Games by a Reduction to SAT

    Heljanko, K., Keinänen, M., Lange, M. & Niemelä, I., 2012, In : JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 78, 2, p. 430-440

    Research output: Contribution to journalArticleScientificpeer-review

  55. Published

    Using Unfoldings in Automated Testing of Multithreaded Programs

    Kähkönen, K., Saarikivi, O. & Heljanko, K., 2012, ASE 27th IEEE/ACM International Conference Automated Software Engineering 2012 (ASE 2012) ASE, Essen, Germany, September 3-7, 2012. p. 150-159

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  56. 2011
  57. Published

    Efficient Model Checking of PSL Safety Properties

    Launiainen, T., Heljanko, K. & Junttila, T., 2011, In : IET COMPUTERS AND DIGITAL TECHNIQUES. 5, 6, p. 479-492

    Research output: Contribution to journalArticleScientificpeer-review

  58. Published

    Hadoop-BAM: A Library for Genomic Data Processing

    Niemenmaa, M., Schumacher, A., Heljanko, K., Kallio, A., Klemelä, P., Hupponen, T. & Korpelainen, E., 2011, The 12th Annual Bioinformatics Open Source Conference (BOSC 2011). p. 1

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  59. Published

    LCT: An Open Source Concolic Testing Tool for Java Programs

    Kähkönen, K., Launiainen, T., Saarikivi, O., Kauttio, J., Heljanko, K. & Niemelä, I., 2011, 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011). Saarbrücken, p. 75-80

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Previous 1 2 3 Next

ID: 66590