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

    Exploiting Event Log Event Attributes in RNN Based Prediction

    Hinkka, M., Lehto, T. & Heljanko, K., 1 tammikuuta 2019, New Trends in Databases and Information Systems - ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium 2019, Proceedings. Welzer, T., Podgorelec, V., Kamišalic Latific, A., Eder, J., Wrembel, R., Morzy, M., Ivanovic, M., Gamper, J., Tzouramanis, T. & Darmont, J. (toim.). Springer Verlag, s. 405-416 12 Sivumäärä (Communications in Computer and Information Science; painos 1064).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  6. 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

  7. 2018
  8. 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

  9. 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

  10. 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

  11. 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

  12. 2017
  13. 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

  14. 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

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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 2016
  21. 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

  22. 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

  23. 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

  24. 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

  25. 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

  26. 2015
  27. 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

  28. 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

  29. 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

  30. 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

  31. 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

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

  33. 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

  34. 2014
  35. 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

  36. 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

  37. 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

  38. 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

  39. 2013
  40. 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

  41. Julkaistu

    Concurrent Clause Strengthening

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  42. 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

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

  44. 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

  45. Julkaistu
  46. 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

  47. 2012
  48. 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

  49. 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

  50. 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

  51. 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

  52. 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

  53. 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

  54. 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

  55. 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

  56. 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

  57. 2011
  58. 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

  59. 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

Edellinen 1 2 3 Seuraava

ID: 66590