IoTEF: A Federated Edge-Cloud Architecture for Fault-Tolerant IoT Applications
Javed, Asad, Robert, Jérémy, Heljanko, Keijo, Främling, Kary
Published in Journal of grid computing (01.03.2020)
Published in Journal of grid computing (01.03.2020)
Get full text
Journal Article
Distributed hybrid-indexing of compressed pan-genomes for scalable and fast sequence alignment
Maarala, Altti Ilari, Arasalo, Ossi, Valenzuela, Daniel, Mäkinen, Veli, Heljanko, Keijo
Published in PloS one (03.08.2021)
Published in PloS one (03.08.2021)
Get full text
Journal Article
Linear Encodings of Bounded LTL Model Checking
Biere, Armin, Heljanko, Keijo, Junttila, Tommi, Latvala, Timo, Schuppan, Viktor
Published in Logical methods in computer science (15.11.2006)
Published in Logical methods in computer science (15.11.2006)
Get full text
Journal Article
Tarmo: A Framework for Parallelized Bounded Model Checking
Wieringa, Siert, Niemenmaa, Matti, Heljanko, Keijo
Published in Electronic proceedings in theoretical computer science (15.12.2009)
Published in Electronic proceedings in theoretical computer science (15.12.2009)
Get full text
Journal Article
Reinforcement learning of adaptive online rescheduling timing and computing time allocation
Ikonen, Teemu J., Heljanko, Keijo, Harjunkoski, Iiro
Published in Computers & chemical engineering (04.10.2020)
Published in Computers & chemical engineering (04.10.2020)
Get full text
Journal Article
Bounded model checking for weak alternating büchi automata
HELJANKO, Keijo, JUNTTILA, Tommi, KEINÄNEN, Misa, LANGE, Martin, LATVALA, Timo
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Conference Proceeding
Hadoop-BAM: directly manipulating next generation sequencing data in the cloud
NIEMENMAA, Matti, KALLIO, Aleksi, SCHUMACHER, Andre, KLEMELÄ, Petri, KORPELAINEN, Eija, HELJANKO, Keijo
Published in Bioinformatics (Oxford, England) (15.03.2012)
Published in Bioinformatics (Oxford, England) (15.03.2012)
Get full text
Journal Article
SeqPig: simple and scalable scripting for large sequencing data sets in Hadoop
Schumacher, André, Pireddu, Luca, Niemenmaa, Matti, Kallio, Aleksi, Korpelainen, Eija, Zanetti, Gianluigi, Heljanko, Keijo
Published in Bioinformatics (01.01.2014)
Published in Bioinformatics (01.01.2014)
Get full text
Journal Article
Dynamic Process Intensification via Data-Driven Dynamic Optimization: Concept and Application to Ternary Distillation
Yan, Lingqing, Deneke, Tewodros L., Heljanko, Keijo, Harjunkoski, Iiro, Edgar, Thomas F., Baldea, Michael
Published in Industrial & engineering chemistry research (06.07.2021)
Get full text
Published in Industrial & engineering chemistry research (06.07.2021)
Journal Article
Dynamic Process Intensification via Data-Driven Dynamic Optimization: Concept and Application to Ternary Distillation
Yan, Lingqing, Deneke, Tewodros L, Heljanko, Keijo, Harjunkoski, Iiro, Edgar, Thomas F, Baldea, Michael
Published in Industrial & engineering chemistry research (21.07.2021)
Published in Industrial & engineering chemistry research (21.07.2021)
Get full text
Journal Article
Verifying large modular systems using iterative abstraction refinement
Lahtinen, Jussi, Kuismin, Tuomas, Heljanko, Keijo
Published in Reliability engineering & system safety (01.07.2015)
Published in Reliability engineering & system safety (01.07.2015)
Get full text
Journal Article
A symbolic model checking approach to verifying satellite onboard software
Gan, Xiang, Dubrovin, Jori, Heljanko, Keijo
Published in Science of computer programming (01.03.2014)
Published in Science of computer programming (01.03.2014)
Get full text
Journal Article
LCTD: Test-guided proofs for C programs on LLVM
Saarikivi, Olli, Heljanko, Keijo
Published in Journal of logical and algebraic methods in programming (01.10.2016)
Published in Journal of logical and algebraic methods in programming (01.10.2016)
Get full text
Journal Article