HeljankoAalto-yliopisto

Keijo Heljanko

Professori, taso 1, Tietotekniikka, erityisesti ohjemistojärjestelmien ja ohjelmistotuotannon alue, Tietotekniikan laitos


Tämä henkilö ResearcherID.com sivustolla.

Yhteystiedot

Huonenumero
B118
Työsähköpostiosoite
keijo.heljanko at aalto.fi
Työmatkapuhelin
+358 50 3084 871
Skype
Soita | Lisää kontaktiksi My status
Web- sivu

Julkaisut

Vertaisarvioidut tieteelliset artikkelit

Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Synchronous counting and computational algorithm design

Dolev, Danny; Heljanko, Keijo; Järvisalo, Matti; Korhonen, Janne H.; Lenzen, Christoph; Rybicki, Joel; Suomela, Jukka; Wieringa, Siert 

2016 

Journal of Computer and System Sciences 

http://dx.doi.org/10.1016/j.jcss.2015.09.002 

ISSN: 0022-0000 

Verifying large modular systems using iterative abstraction refinement

Lahtinen, Jussi; Kuismin, Tuomas; Heljanko, Keijo 

2015 

Reliability engineering & system safety 

http://dx.doi.org/10.1016/j.ress.2015.03.012 

ISSN: 0951-8320 

Unfolding based automated testing of multithreaded programs

Kahkonen, Kari; Saarikivi, Olli; Heljanko, Keijo 

2015 

Automated software engineering 

http://dx.doi.org/10.1007/s10515-014-0150-6 

ISSN: 0928-8910 

Parametrised modal interface automata

Siirtola, Antti; Heljanko, Keijo 

2015 

ACM Transactions on Embedded Computing Systems 

http://dx.doi.org/10.1145/2776892 

ISSN: 1539-9087 

eISSN: 1558-3465 

A symbolic model checking approach to verifying satellite onboard software

Gan, Xiang; Dubrovin, Jori; Heljanko, Keijo 

2014 

Science of computer programming 

ISSN: 0167-6423 

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

Schumacher, Andre; Pireddu, Luca; Niemenmaa, Matti; Kallio, Aleksi; Korpelainen, Eija; Zanetti, Gianluigi; Heljanko, Keijo 

2014 

Bioinformatics 

http://dx.doi.org/10.1093/bioinformatics/btt601 

ISSN: 1367-4803 

Solving Parity Games by a Reduction to SAT

Heljanko, Keijo; Keinänen, Misa; Lange, Martin; Niemelä, Ilkka 

2012 

Journal of Computer and System Sciences 

http://users.ics.tkk.fi/kepa/publications/ 

ISSN: 0022-0000 

Exploiting step semantics for efficient bounded model checking of asynchronous systems

Dubrovin, Jori; Junttila, Tommi; Heljanko, Keijo 

2012 

Science of Computer Programming 

http://dx.doi.org/10.1016/j.scico.2011.07.005 

ISSN: 0167-6423 

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

Lahtinen, Jussi; Valkonen, Janne; Björkman, Kim; Frits, Juho; Niemelä, Ilkka; Heljanko, Keijo 

2012 

Reliability Engineering & System Safety RESS 

ISSN: 0951-8320 

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

Niemenmaa, Matti; Kallio, Aleksi; Schumacher, André; Klemelä, Petri; Korpelainen, Eija; Heljanko, Keijo 

2012 

Bioinformatics 

http://dx.doi.org/10.1093/bioinformatics/bts054 

ISSN: 1367-4803 

Efficient Model Checking of PSL Safety Properties

Launiainen, Tuomas; Heljanko, Keijo; Junttila, Tommi 

2011 

IET Computers & Digital Techniques 

http://dx.doi.org/10.1049/iet-cdt.2010.0154 

ISSN: 1751-8601 

eISSN: 1751-861X 

Planning as satisfiability: parallel plans and algorithms for plan search

Rintanen, Jussi; Heljanko, Keijo; Niemelä, Ilkka 

2006 

Artificial Intelligence 

http://dx.doi.org/10.1016/j.artint.2006.08.002 

ISSN: 0004-3702 

Linear Encodings of Bounded LTL Model Checking

Biere, Armin; Heljanko, Keijo; Junttila, Tommi; Latvala, Timo; Schuppan, Viktor 

2006 

Logical Methods in Computer Science 

http://dx.doi.org/10.2168/LMCS-2(5:5 

eISSN: 1860-5974 

BMC via on-the-fly Determinization

Jussila, Toni; Heljanko, Keijo; Niemelä, Ilkka 

2005 

Journal on Software Tools for Technology Transfer 

http://www.springerlink.com/app/home/journal.asp?wasp=1974ca2cb4ee4acc8e4ab955e7250371&referrer=parent&backto=linkingpublicationresults,1:101563,1 

ISSN: 1443-2779 

BMC via on-the-fly Determinization

Jussila, Toni; Heljanko, Keijo; Niemelä, Ilkka 

2003 

Electronic Notes in Theoretical Computer Science 

http://www.sciencedirect.com/science/journal/15710661 

Bounded LTL Model Checking with Stable Models

Heljanko, Keijo; Niemelä, Ilkka 

2003 

Theory and Practice of Logic Programming 

http://arXiv.org/abs/cs/0305040 

Testing LTL Formula Translation into Büchi Automata

Tauriainen, Heikki; Heljanko, Keijo 

2002 

International Journal on Software Tools for Technology Transfer (STTT) 

Coping with Strong Fairness

Latvala, T.; Heljanko, K. 

2000 

Fundamenta Informaticae 

Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-safe Petri Nets

Heljanko, K. 

1999 

Fundamenta Informaticae 

Artikkeli konferenssijulkaisussa

Unfolding-Based Process Discovery

Ponce de León, Hernán; Rodríguez, César; Carmona, Josep; Heljanko, Keijo; Haar, Stefan 

2015 

International Symposium on Automated Technology for Verification and Analysis (ATVA), Shanghai-China, October 12–15, 2015 

Springer 

http://dx.doi.org/10.1007/978-3-319-24953-7_4 

ISBN: 978-3-319-24952-0 

Reporting Races in Dynamic Partial Order Reduction

Saarikivi, Olli; Heljanko, Keijo 

2015 

7th International Symposium on NASA Formal Methods (NFM), Pasadena, CA, USA, April 27-29, 2015, 

Springer-verlag Berlin 

http://dx.doi.org/10.1007/978-3-319-17524-9_35 

ISSN: 0302-9743 

Unfolding based Minimal Test Suites for Testing Multithreaded Programs

Ponce-de-León, Hernán; Saarikivi, Olli; Kähkönen, Kari; Heljanko, Keijo; Esparza, Javier 

2015 

International Conference on Application of Concurrency to System Design, Brussels, June 24–26, 2015 

IEEE 

http://doi.ieeecomputersociety.org/10.1109/ACSD.2015.12 

Brussels 

ISSN: 1550-4808 

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

Siirtola, Antti Tapani; Tripakis, Stavros; Heljanko, Keijo 

2015 

15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015 

IEEE Computer Society 

http://doi.ieeecomputersociety.org/10.1109/ACSD.2015.19 

ISSN: 1550-4808 

Lightweight State Capturing for Automated Testing of Multithreaded Programs

Kähkönen, Kari; Heljanko, Keijo 

2014 

Tests and Proofs (TAP), York, UK, July 24-25, 2014 

http://dx.doi.org/10.1007/978-3-319-09099-3_15 

ISBN: 978-3-319-09098-6 

eISBN: 978-3-319-09099- 

Increasing Confidence in Liveness Model Checking Results with Proofs

Kuismin, Tuomas; Heljanko, Keijo 

2013 

The 9th International Haifa Verification Conference (HVC 2013), Haifa, Israel, November 5-7, 2013 

http://dx.doi.org/10.1007/978-3-319-03077-7_3 

ISBN: 978-3-319-03076-0 

LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

Kähkönen, Kari; Saarikivi, Olli; Heljanko, Keijo 

2013 

8th International Workshop on Parallel and Distributed Methods in Verification (PDMC 2012), London, 17 September 2012 

ISSN: 1571-0661 

Concurrent Clause Strengthening

Wieringa, Siert; Heljanko, Keijo 

2013 

SAT July 8-12, Helsinki, Finland 

ISBN: 978-3-642-39070-8 

Parametrised Compositional Verification with Multiple Process and Data Types

Siirtola, Antti; Heljanko, Keijo 

2013 

13th International Conference on Application of Concurrency to System Design, Barcelona, Spain, July 8-10, 2013 

IEEE 

ISBN: 978-0-7695-5035-0 

Asynchronous Multi-core Incremental SAT Solving

Wieringa, Siert; Heljanko, Keijo 

2013 

19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 16-24, Rome, Italy 

ISBN: 978-3-642-36741-0 

A Symbolic Model Checking Approach to Verifying Satellite Onboard Software

Gan, Xiang; Dubrovin, Jori; Heljanko, Keijo 

2012 

ESANN 20th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, Bruges, Belgium, April 25-27, 2012 

http://journal.ub.tu-berlin.de/eceasst/article/download/681/699 

ISSN: 1863-2122 

Using Unfoldings in Automated Testing of Multithreaded Programs

Kähkönen, Kari; Saarikivi, Olli; Heljanko, Keijo 

2012 

ASE 27th IEEE/ACM International Conference Automated Software Engineering 2012 (ASE 2012) ASE, Essen, Germany, September 3-7, 2012 

ACM / IEEE 

http://dx.doi.org/10.1145/2351676.2351698 

ISBN: 978-1-4503-1204-2 

Improving Dynamic Partial Order Reductions for Concolic Testing

Saarikivi, Olli; Kähkönen, Kari; Heljanko, Keijo 

2012 

12th International Conference on Application of Concurrency to System Design (ACSD 2012), June 27-29, Hamburg, Germany 

http://doi.ieeecomputersociety.org/10.1109/ACSD.2012.18 

ISBN: 978-0-7695-4709-1 

LCT: An Open Source Concolic Testing Tool for Java Programs

Kähkönen, Kari; Launiainen, Tuomas; Saarikivi, Olli; Kauttio, Janne; Heljanko, Keijo; Niemelä, Ilkka 

2011 

The 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011) 

http://users.ics.tkk.fi/ktkahkon/KahLauSaaKauHelNie-BYTECODE2011.pdf 

Saarbrücken 

Hadoop-BAM: A Library for Genomic Data Processing

Niemenmaa, Matti; Schumacher, André; Heljanko, Keijo; Kallio, Aleksi; Klemelä, Petri; Hupponen, Taavi; Korpelainen, Eija 

2011 

The 12th Annual Bioinformatics Open Source Conference (BOSC 2011) 

Efficient Model Checking of PSL Safety Properties

Launiainen, Tuomas; Heljanko, Keijo; Junttila, Tommi 

2010 

The 10th International Conference on Application of Concurrency to System Design (ACSD'2010) 

Braga 

Experimental Comparison of Concolic and Random Testing for Java Card Applets

Kähkönen, Kari; Kindermann, Roland; Heljanko, Keijo; Niemelä, Ilkka 

2010 

The 16th International SPIN Workshop on Model Checking of Software~SPIN 2010 

http://dx.doi.org/10.1007/978-3-642-16164-3_3 

Tarmo: A framework for Parallelized Bounded Model Checking

Wieringa, Siert; Niemenmaa, Matti; Heljanko, Keijo 

2009 

The 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'09) 

http://dx.doi.org/10.4204/EPTCS.14.5 

The LIME Interface Specification Language and Runtime Monitoring Tool

Kähkönen, Kari; Lampinen, Jani; Heljanko, Keijo; Niemelä, Ilkka 

2009 

RV 

Formal Verification of Safety Automation Logic Designs

Valkonen, Janne; Koskimies, Matti; Björkman, Kim; Heljanko, Keijo; Niemelä, Ilkka; Hämäläinen, Jari J. 

2009 

Automaatio XVIII 2009 Seminaari 

https://www.automaatioseura.fi/confprog/downloadfile_public.php?conference = 16&filename = 16-14013.pdf 

Verification of Safety Logic Designs by Model Checking

Björkman, Kim; Frits, Juho; Valkonen, Janne; Lahtinen, Jussi; Heljanko, Keijo; Niemelä, Ilkka; Hämäläinen, Jari J. 

2009 

The Sixth American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC&HMIT 2009 

Knoxville 

Analyzing Context-Free Grammars Using an Incremental SAT Solver

Axelsson, Roland; Heljanko, Keijo; Lange, Martin 

2008 

The 35th International Colloquium on Automata, Languages, and Programming (ICALP'08), Part II 

Springer 

Reykjavik 

Symbolic Step Encodings for Object Based Communicating State Machines

Dubrovin, Jori; Junttila, Tommi; Heljanko, Keijo 

2008 

Formal Methods for Open Object-based Distributed Systems (FMOODS'08) 

Springer 

http://dx.doi.org/10.1007/978-3-540-68863-1 

Oslo, Norway 

ISBN: 978-3-540-68862-4 

ISSN: 0302-9743 

eISSN: 1611-3349 

Bounded Model Checking for Weak Alternating Buchi Automata

Heljanko, Keijo; Junttila, Tommi; Keinänen, Misa; Lange, Martin; Latvala, Timo 

2006 

Computer Aided Verification 2006, Seattle, WA, USA, 17.-20.8.2006 

Springer 

http://dx.doi.org/10.1007/11817963 12 

ISBN: 3-540-37406-X 

ISSN: 0302-9743 

Complexity Results for Checking Distributed Implementability

Heljanko, Keijo; Stefanescu, Alin 

2005 

Application of Concurrency to System Design (ACSD'2005), St Malo, France, June 7-9, 2005 

IEEE Computer Society 

http://dx.doi.org/10.1109/ACSD.2005.7 

Los Alamos, Clifornia, USA 

ISBN: 0-7695-2363-3 

ISSN: 1550-4808 

Incremental and Complete Bounded Model Checking for Full PLTL

Heljanko, Keijo; Junttila, Tommi; Latvala, TImo 

2005 

Computer Aided Verification 2005, Edinburgh,UK, 6-10.7.2005 

Springer 

Simple is Better: Efficient Bounded Model Checking for Past LTL

Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi 

2005 

Verification, Model Checking, and Abstract Interpretation, Paris, France, 17-19 January 2005 

Springer 

http://springerlink.metapress.com/link.asp?id=p4e4t16wk8uyqjgk 

Berlin 

ISBN: 3-540-24297-X 

Simple Bounded LTL Model Checking

Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi 

2004 

Formal Methods in Computer-Aided Design 2004, Austin, Texas, USA, 15.-17.11.2004 

Springer 

Berliini, Saksa 

ISBN: 3-540-23738-0 

Parallel Encodings of Classical Planning as Satisfiability

Rintanen, Jussi; Heljanko, Keijo; Niemelä, Ilkka 

2004 

9th European Conference on Logics in Artificial Intelligence Lisbon, Portugal, 27.-30.9.2004 

Springer 

http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=3229&spage=307 

Berlin, Germany 

ISBN: 3-540-23242-7 

Specification Coverage Aided Test Selection

Pyhälä, Tuomo; Heljanko, Keijo 

2003 

3rd International Conference on Application of Concurrency to System Design (ACSD'2003), Guimaraes, Portugal, 18-20 June 2003 

IEEE Computer Society 

http://csdl.computer.org/comp/proceedingsåcsd/2003/1887/00/18870187abs.htm 

Guimaraes, Portugal 

ISBN: 0-7695-1887-7 

Bounded Reachability Checking with Process Semantics

Heljanko, Keijo 

2001 

12th International Conference on Concurrency Theory (Concur'2001), Aalborg, Denmark, August 21-24, 2001 

Springer 

http://link.springer.de/link/service/series/0558/bibs/2154/21540218.htm 

Berlin, Germany 

Bounded LTL Model Checking with Stable Models

Heljanko, Keijo; Niemelä, Ilkka 

2001 

6th International Conference on Logic Programming and Nonmonotonic Reasoning, Vienna, Austria, September 17-19, 2001 

Springer 

http://link.springer.de/link/service/series/0558/bibs/2173/21730200.htm 

Berlin 

Answer Set Programming and Bounded Model Checking

Heljanko, Keijo; Niemelä, Ilkka 

2001 

AAAI Spring 2001 Symposium on Answer Set Programming, Stanford CA, USA, 26.-28.3.2001 

AAAI Press 

http://www.tcs.hut.fi/%7eini/papers/HelNie-ASP2001.ps.gz 

Menlo Park CA, USA 

Implementing LTL Model Checking with Net Unfoldings

Esparza, Javier; Heljanko, Keijo 

2001 

8th International SPIN Workshop on Model Checking of Software, Toronto, Canada, May 19-20, 2001 

Springer 

http://link.springer.de/link/service/series/0558/bibs/2057/20570037.htm 

Berlin 

Model Checking with Finite Complete Prefixes is PSPACE-Complete

Heljanko, K. 

2000 

The 11th International Conference on Concurrency Theory, CONCUR 2000, University Park PA, USA, August 2000 

Springer 

http://link.springer.de/link/service/series/0558/bibs/1877/18770108.htm 

Berlin, Germany 

Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input

Tauriainen, H.; Heljanko, K. 

2000 

The 7th International SPIN Workshop on Model Checking of Software, SPIN'2000, Stanford CA, USA, August/September 2000 

Springer 

Berlin, Germany 

A New Unfolding Approach to LTL Model Checking

Esparza, J.; Heljanko, K. 

2000 

The 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, Geneva, Switzerland, July 2000 

Springer 

Berlin, Germany 

Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-safe Petri Nets

Heljanko, K. 

1999 

5th International Conference, Tools and Algorithms for the Construction and Analysis of Systems, TACAS'99, Amsterdam, Holland, 22.-28.3.1999 

Springer 

Berlin 

Minimizing Finite Complete Prefixes

Heljanko, K. 

1999 

Workshop Concurrency, Specification & Programming '99 (CS&P '99), Varsova, Puola, 28.-30.9.1999 

Warsaw University 

Varsova, Puola 

Coping with strong fairness - on-the-fly emptiness checking with Streett Automata

Latvala, T.; Heljanko, K. 

1999 

Concurrency, Specification & Programming'99 (CS&P'99), Varsova, Puola, 28.-30.9.1999 

Warsaw University 

Varsova 

Deadlock Checking for Complete Finite Prefixes Using Logic Programs with Stable Model Semantics

Heljanko, K. 

1998 

Workshop Concurrency, Specification & Programming 1998 

Humboldt-Universitat zu Berlin 

http://www.tcs.hut.fi/~kepa/publications/KH_csp98.ps.gz 

Berlin 

Vertaisarvioimattomat tieteelliset kirjoitukset

Kirjoitus tieteellisessä aikakauslehdessä

Scripting for large-scale sequencing based on Hadoop

Schumacher, André; Pireddu, Luca; Kallio, Aleksi; Niemenmaa, Matti; Korpelainen, Eija; Zanetti, Gianluigi; Heljanko, Keijo 

2013 

EMBnet.journal 

http://journal.embnet.org/index.php/embnetjournal/article/view/628 

ISSN: 2226-6089 

Tieteelliset kirjat (monografiat)

Kustannettu tieteellinen erillisteos

Unfoldings - A Partial Order Approach to Model Checking

Esparza, Javier; Heljanko, Keijo 

2008 

Springer 

http://www.springer.com/computer/foundations/book/978-3-540-77425-9 

Berlin 

ISBN: 978-3-540-77425-9 

Toimitettu kirja, kokoomateos, konferenssijulkaisu tai lehden erikoisnumero

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, Jeremy T.; Heljanko, Keijo; Knottenbelt, William J.; Thomas, Nigel (eds.) 

2013 

Elsevier 

Amsterdam 

ISBN: 0 

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

Brandt, Jens; Heljanko, Keijo 

2012 

IEEE 

http://dx.doi.org/10.1109/ACSD.2012.33 

Hamburg, Germany 

ISBN: 978-1-4673-1687-3 

Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation

Barnat, Jiri; Heljanko, Keijo 

2011 

Electronic Proceedings in Theoretical Computer Science 

http://dx.doi.org/10.4204/EPTCS.72 

Snowbird, Utah, USA 

Ammattiyhteisölle suunnatut julkaisut

Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

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

Lahtinen, Jussi; Launiainen, Tuomas; Heljanko, Keijo; Ropponen, Jonathan 

2012 

VTT Technology 

VTT Technical Research Centre of Finland 

Espoo, Finland 

ISSN: 2242-1211 

eISSN: 2242-122X 

Model-Based Analysis of a Stepwise Shutdown Logic

Björkman, Kim; Frits, Juho; Valkonen, Janne; Heljanko, Keijo; Niemelä, Ilkka 

2009 

VTT Technical Research Centre of Finland 

VTT Technical Research Centre of Finland 

http://www.vtt.fi/inf/pdf/workingpapers/2009/W115.pdf 

Espoo 

Interface Specification Methods for Software Components

Lampinen, Jani; Liedes, Sami; Kähkönen, Kari; Kauttio, Janne; Heljanko, Keijo 

2009 

TKK reports in information and computer science 

Teknillinen korkeakoulu 

http://lib.tkk.fi/Reports/2009/isbn9789522482792.pdf 

Espoo 

ISBN: 978-952-248-278-5 

ISSN: 1797-5034 

eISBN: 978-952-248-279- 

eISSN: 1797-5042 

Model-Based Analysis of an Arc Protection and an Emergency Cooling System - MODSAFE 2007 Working Report

Valkonen, Janne; Petterson, Ville; Björkman, Kim; Holmberg, Jan-Erik; Koskimies, Matti; Heljanko, Keijo; Niemelä, Ilkka 

2008 

VTT Working Papers 

VTT Technical Research Centre of Finland 

http://www.vtt.fi/inf/pdf/workingpapers/2008/W93.pdf 

Espoo 

Formal Verification of Safety I & C System Designs: Two Nuclear Power Plant Related Applications

Valkonen, Janne; Koskimies, Matti; Pettersson, Ville; Heljanko, Keijo; Holmberg, Jan-Erik; Niemelä, Ilkka 

2008 

Enlarged Halden Programme Group Meeting - Proceeding of the Man-Technology-Organisation Sessions 

Institutt for Energiteknikk, Halden, Norway 

Loen 

NPP Safety Automation Systems Analysis - State of the Art

Valkonen, Janne; Karanta, Ilkka; Koskimies, Matti; Heljanko, Keijo; Niemelä, Ilkka; Sheridan, Dan; Bloomfield, Robin E. 

2008 

VTT Working Papers 

VTT Technical Research Centre of Finland 

http://www.vtt.fi/inf/pdf/workingpapers/2008/W94.pdf 

Espoo 

Symbolic Step Encodings for Object Based Communicating State Machines

Dubrovin, Jori; Junttila, Tommi; Heljanko, Keijo 

2007 

Helsinki University of Technology Laboratory for Theoretical Computer Science Technical Reports 

Espoo 

Planning as Satisfiability: Parallel Plans and Algorithms for Plan Search

Rintanen, Jussi; Heljanko, Keijo; Niemelä, Ilkka 

2005 

Technical Reports of the Institute of Computer Science at Freiburg University 

http://www.informatik.uni-freiburg.de/tr/2005/Report216/ 

Freiburg, Saksa 

Complexity Results for Checking Distributed Implementability

Heljanko, Keijo; Stefanescu, Alin 

2004 

Technical Report 

Institute of Formal Methods in Computer Science, University of Stuttgart 

http://www.fmi.uni-stuttgart.de/szs/publications/stefanan/tr-05-2004.pdf 

Stuttgart, Saksa 

Parallel encodings of classical planning as satisfiability

Rintanen, Jussi; Heljanko, Keijo; Niemelä, Ilkka 

2004 

Technical Reports 

Institute of Computer Science at Freiburg University 

http://www.informatik.uni-freiburg.de/tr/2004/Report198/.index.html 

Freiburg, Saksa 

Simple bounded LTL model checking

Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi 

2004 

Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports 

Helsinki University of Technology, Laboratory for Theoretical Computer Science 

http://www.tcs.hut.fi/Publications/series-a.shtml 

Espoo 

ISBN: 951-22-7223-7 

Implementing LTL Model Checking with Net Unfoldings

Esparza, Javier; Heljanko, Keijo 

2001 

Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports 

Helsinki University of Technology, Laboratory for Theoretical Computer Science 

http://www.tcs.hut.fi/Publications/reports/A68abstract.html 

Espoo 

Parallelisation of the Petri Net Unfolding Algorithm

Heljanko, Keijo; Khomenko, Victor; Koutny, Maciej 

2001 

Department of Computing Science, University of Newcastle upon Tyne, Technical Reports 

Department of Computing Science, University of Newcastle upon Tyne 

http://www.cs.ncl.ac.uk/research/trs/papers/733.pdf 

Newcastle upon Tyne, UK 

A New Unfolding Approach to LTL Model Checking

Esparza, J.; Heljanko, K. 

2000 

Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports 

Helsinki University of Technology 

http://www.tcs.hut.fi/Publications/reports/A60abstract.html 

Espoo 

Deadlock and Reachability Checking with Finite Complete Prefixes

Heljanko, K. 

1999 

HUT Laboratory for Theoretical Computer Science Research Reports 

HUT/Laboratory for Theoretical Computer Science 

http://www.tcs.hut.fi/Publications/reports/A56abstract.html 

Espoo 

Model Checking the Branching Time Temporal Logic CTL

Heljanko, K. 

1997 

Series A: Research Reports 

Helsinki University of Technology, Digital Systems Laboratory 

http://saturn.hut.fi/pub/reports/A45abstract.html 

Espoo 

Muut julkaisut

Combining Symbolic and Partial Order Methods for Model Checking 1-Safe Petri Nets

Heljanko, Keijo 

2002 

Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports 

Helsinki University of Technology, Laboratory for Theoretical Computer Science 

http://lib.hut.fi/Diss/2002/isbn9512258935/ 

Espoo 

Alert