#### Filter Results:

- Full text PDF available (52)

#### Publication Year

1994

2018

- This year (3)
- Last 5 years (30)
- Last 10 years (51)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Javier Esparza, Keijo Heljanko
- Monographs in Theoretical Computer Science. Anâ€¦
- 2008

Give us 5 minutes and we will show you the best book to read today. This is it, the unfoldings a partial order approach to model checking that will be your best choice for better reading book. Yourâ€¦ (More)

- Jussi Rintanen, Keijo Heljanko, Ilkka NiemelÃ¤
- Artif. Intell.
- 2006

We address two aspects of constructing plans efficiently by means of satisfiability testing: efficient encoding of the problem of existence of plans of a given number t of time points in theâ€¦ (More)

- Keijo Heljanko, Ilkka NiemelÃ¤
- TPLP
- 2003

- Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan
- Logical Methods in Computer Science
- 2006

We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound. Furthermore, we show how theâ€¦ (More)

- Roland Axelsson, Keijo Heljanko, Martin Lange
- ICALP
- 2008

We consider bounded versions of undecidable problems about context-free languages which restrict the domain of words to some finite length: inclusion, intersection, universality, equivalence, andâ€¦ (More)

- Keijo Heljanko, Tommi A. Junttila, Timo Latvala
- CAV
- 2005

Boundedmodelcheckingis an efficient methodfor finding bugs in systemdesigns.Themajordrawbackof thebasicmethodis that it cannotprove properties,only disprove them.Recently,â€¦ (More)

- Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila
- FMCAD
- 2004

We present a new and very simple translation of the bounded model checking problem which is linear both in the size of the formula and the length of the bound. The resulting CNF-formula has a linearâ€¦ (More)

- AndrÃ© Schumacher, Luca Pireddu, +4 authors Keijo Heljanko
- Bioinformatics
- 2014

SUMMARY
Hadoop MapReduce-based approaches have become increasingly popular due to their scalability in processing large sequencing datasets. However, as these methods typically require in-depthâ€¦ (More)

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

prod is a reachability analyzer for Predicate/Transition Nets. The tool incorporates several advanced reduced reachability graph generation methods. The tool also includes a CTL model checker andâ€¦ (More)

- Matti Niemenmaa, Aleksi Kallio, AndrÃ© Schumacher, Petri KlemelÃ¤, Eija Korpelainen, Keijo Heljanko
- Bioinformatics
- 2012

Hadoop-BAM is a novel library for the scalable manipulation of aligned next-generation sequencing data in the Hadoop distributed computing framework. It acts as an integration layer between analysisâ€¦ (More)