Keijo Heljanko

Professori (Associate Professor)

Tutkimustuotokset

  1. 2019
  2. Julkaistu

    Access Time Improvement Framework for Standardized IoT Gateways

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  3. Julkaistu

    BMC with Memory Models as Modules

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  4. Julkaistu

    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 tammikuuta 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (toim.). Springer Verlag, s. 355-365 11 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 11561 LNCS).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  5. Julkaistu

    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. (toim.). Springer Verlag, s. 313-324 12 Sivumäärä (Lecture Notes in Business Information Processing; painos 342).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  6. 2018
  7. Julkaistu

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

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  8. Julkaistu

    Dynamic cut-off algorithm for parameterised refinement checking

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  9. Julkaistu

    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, s. 20-35 16 Sivumäärä (Lecture Notes in Business Information Processing; painos 308).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  10. Julkaistu

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

    Maarala, A., Bzhalava, Z., Dillner, J., Heljanko, K. & Bzhalava, D., 2018, julkaisussa : Bioinformatics. 34, 6, s. 928-935 8 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  11. 2017
  12. Julkaistu

    Testing Programs with Contextual Unfoldings

    Kähkönen, K. & Heljanko, K., 1 marraskuuta 2017, julkaisussa : ACM Transactions on Embedded Computing Systems. 17, 1, s. 1-25 23.

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  13. Julkaistu

    Hardware Model Checking Competition 2017

    Biere, A., van Dijk, T. & Heljanko, K., 2 lokakuuta 2017, Proceedings of 2017 Formal Methods in Computer Aided Design, FMCAD 2017. Stewart, D. & Weissenbacher, G. (toim.). IEEE, s. 9 1 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa

  14. Julkaistu

    The FMCAD 2017 graduate student forum

    Heljanko, K., 2 lokakuuta 2017, Proceedings of the 2017 Formal Methods in Computer Aided Design, FMCAD 2017. Stewart, D. & Weissenbacher, G. (toim.). IEEE, s. 10 1 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa

  15. Julkaistu

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

    Ponce-de-León, H., Furbach, F., Heljanko, K. & Meyer, R., 28 huhtikuuta 2017. 38 Sivumäärä.

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaKonferenssiesitys

  16. Julkaistu

    Minimizing test suites with unfoldings of multithreaded programs

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  17. Julkaistu

    When do we not need complex assume-guarantee rules?

    Siirtola, A., Tripakis, S. & Heljanko, K., 1 tammikuuta 2017, julkaisussa : ACM Transactions on Embedded Computing Systems. 16, 2, s. 1-25 48.

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  18. Julkaistu

    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, s. 299-320 22 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 10422 LNCS).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  19. 2016
  20. Julkaistu

    LCTD: Test-guided proofs for C programs on LLVM

    Saarikivi, O. & Heljanko, K., 1 lokakuuta 2016, julkaisussa : Journal of Logical and Algebraic Methods in Programming. 85, 6, s. 1292-1317 26 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  21. Julkaistu

    Assessing Big Data SQL Frameworks for Analyzing Event Logs

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  22. Julkaistu

    Synchronous counting and computational algorithm design

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  23. Julkaistu

    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 tammikuuta 2016, julkaisussa : Journal of Satisfiability, Boolean Modeling and Computation. 9, s. 135-172

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  24. Julkaistu

    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. (toim.). Springer-Verlag, Vuosikerta 9636. s. 927-929 3 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 9636).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  25. 2015
  26. Julkaistu

    Parametrised modal interface automata

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  27. Julkaistu

    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, s. 450-456

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  28. Julkaistu

    Unfolding based automated testing of multithreaded programs

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  29. Julkaistu

    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. (toim.). Brussels: IEEE, s. 40-49

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  30. Julkaistu

    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. (toim.). s. 31-47

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  31. Julkaistu

    Verifying large modular systems using iterative abstraction refinement

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  32. Julkaistu

    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, s. 30-39

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  33. 2014
  34. Julkaistu

    A symbolic model checking approach to verifying satellite onboard software

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  35. Julkaistu

    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. (toim.). s. 187-203

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  36. Julkaistu

    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, julkaisussa : Bioinformatics. 30, 1, s. 119-120

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  37. Julkaistu

    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, s. 142-151 10 Sivumäärä (International Conference on Application of Concurrency to System Design. Proceedings).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  38. 2013
  39. Julkaistu

    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. s. 139-153

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  40. Julkaistu

    Concurrent Clause Strengthening

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  41. Julkaistu

    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. s. 32-43

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  42. Julkaistu

    LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  43. Julkaistu

    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. (toim.). s. 67-76

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  44. Julkaistu
  45. Julkaistu

    Scripting for large-scale sequencing based on Hadoop

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

    Tutkimustuotos: Lehtiartikkeli

  46. 2012
  47. Julkaistu

    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. s. 1-15

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  48. Julkaistu

    Exploiting step semantics for efficient bounded model checking of asynchronous systems

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  49. Julkaistu

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

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  50. Julkaistu

    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. s. 132-141

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  51. Julkaistu

    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; nro 12).

    Tutkimustuotos: Työpaperi

  52. Julkaistu

    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, julkaisussa : Reliability Engineering and System Safety. 105, s. 104-113

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  53. Julkaistu

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

    Brandt, J. & Heljanko, K., 2012, Hamburg, Germany: IEEE. 203 Sivumäärä

    Tutkimustuotos: Kirjavertaisarvioitu

  54. Julkaistu

    Solving Parity Games by a Reduction to SAT

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  55. Julkaistu

    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. s. 150-159

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  56. 2011
  57. Julkaistu

    Efficient Model Checking of PSL Safety Properties

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  58. Julkaistu

    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). s. 1

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  59. Julkaistu

    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, s. 75-80

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Edellinen 1 2 3 Seuraava

ID: 66590