×

zbMATH — the first resource for mathematics

Heljanko, Keijo

Compute Distance To:
Author ID: heljanko.keijo Recent zbMATH articles by "Heljanko, Keijo"
Published as: Heljanko, Keijo
External Links: ORCID
Documents Indexed: 27 Publications since 1999, including 1 Book

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 161 times in 131 Documents Cited by Year
Unfoldings: A partial-order approach to model checking. Zbl 1153.68035
Esparza, Javier; Heljanko, Keijo
59
2008
Linear encodings of bounded LTL model checking. Zbl 1127.68057
Biere, Armin; Heljanko, Keijo; Junttila, Tommi; Latvala, Timo; Schuppan, Viktor
14
2006
Planning as satisfiability: parallel plans and algorithms for plan search. Zbl 1131.68099
Rintanen, Jussi; Heljanko, Keijo; Niemelä, Ilkka
11
2006
Bounded LTL model checking with stable models. Zbl 1079.68058
Heljanko, Keijo; Niemelä, Ilkka
10
2003
Incremental and complete bounded model checking for full PLTL. Zbl 1081.68621
Heljanko, Keijo; Junttila, Tommi; Latvala, Timo
9
2005
Using logic programs with stable model semantics to solve deadlock and reachability problems for 1-safe Petri nets. Zbl 0930.68096
Heljanko, Keijo
7
1999
Parallel encodings of classical planning as satisfiability. Zbl 1111.68660
Rintanen, Jussi; Heljanko, Keijo; Niemelä, Ilkka
6
2004
Implementing LTL model checking with net unfoldings. Zbl 0985.68520
Esparza, Javier; Heljanko, Keijo
5
2001
Bounded reachability checking with process semantics. Zbl 1006.68081
Heljanko, Keijo
4
2001
Simple bounded LTL model checking. Zbl 1117.68432
Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi
4
2004
Parallelisation of the Petri net unfolding algorithm. Zbl 1043.68593
Heljanko, Keijo; Khomenko, Victor; Koutny, Maciej
4
2002
Synchronous counting and computational algorithm design. Zbl 1346.68038
Dolev, Danny; Heljanko, Keijo; Järvisalo, Matti; Korhonen, Janne H.; Lenzen, Christoph; Rybicki, Joel; Suomela, Jukka; Wieringa, Siert
4
2016
Coping with strong fairness. Zbl 0965.68061
Latvala, Timo; Heljanko, Keijo
3
2000
Solving parity games by a reduction to SAT. Zbl 1279.68211
Heljanko, Keijo; Keinänen, Misa; Lange, Martin; Niemelä, Ilkka
3
2012
BMC via on-the-fly determinization. Zbl 1271.68138
Jussila, Toni; Heljanko, Keijo; Niemelä, Ilkka
3
2003
Concurrent clause strengthening. Zbl 1390.68586
Wieringa, Siert; Heljanko, Keijo
2
2013
Bounded ITL model checking with stable models. Zbl 1007.68515
Heljanko, Keijo; Niemelä, Ilkka
2
2001
Analyzing context-free grammars using an incremental SAT solver. Zbl 1155.68408
Axelsson, Roland; Heljanko, Keijo; Lange, Martin
2
2008
Bounded model checking for weak alternating Büchi automata. Zbl 1188.68189
Heljanko, Keijo; Junttila, Tommi; Keinänen, Misa; Lange, Martin; Latvala, Timo
2
2006
Exploiting step semantics for efficient bounded model checking of asynchronous systems. Zbl 1243.68213
Dubrovin, Jori; Junttila, Tommi; Heljanko, Keijo
2
2012
Simple is better: Efficient bounded model checking for past LTL. Zbl 1111.68510
Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi
1
2005
LCTD: test-guided proofs for C programs on LLVM. Zbl 1392.68149
Saarikivi, Olli; Heljanko, Keijo
1
2016
A new unfolding approach to LTL model checking. Zbl 0973.68140
Esparza, Javier; Heljanko, Keijo
1
2000
Model checking with finite complete prefixes is PSPACE-complete. Zbl 0999.68138
Heljanko, Keijo
1
2000
Unfolding-based process discovery. Zbl 06527540
Ponce-de-León, Hernán; Rodríguez, César; Carmona, Josep; Heljanko, Keijo; Haar, Stefan
1
2015
Synchronous counting and computational algorithm design. Zbl 1346.68038
Dolev, Danny; Heljanko, Keijo; Järvisalo, Matti; Korhonen, Janne H.; Lenzen, Christoph; Rybicki, Joel; Suomela, Jukka; Wieringa, Siert
4
2016
LCTD: test-guided proofs for C programs on LLVM. Zbl 1392.68149
Saarikivi, Olli; Heljanko, Keijo
1
2016
Unfolding-based process discovery. Zbl 06527540
Ponce-de-León, Hernán; Rodríguez, César; Carmona, Josep; Heljanko, Keijo; Haar, Stefan
1
2015
Concurrent clause strengthening. Zbl 1390.68586
Wieringa, Siert; Heljanko, Keijo
2
2013
Solving parity games by a reduction to SAT. Zbl 1279.68211
Heljanko, Keijo; Keinänen, Misa; Lange, Martin; Niemelä, Ilkka
3
2012
Exploiting step semantics for efficient bounded model checking of asynchronous systems. Zbl 1243.68213
Dubrovin, Jori; Junttila, Tommi; Heljanko, Keijo
2
2012
Unfoldings: A partial-order approach to model checking. Zbl 1153.68035
Esparza, Javier; Heljanko, Keijo
59
2008
Analyzing context-free grammars using an incremental SAT solver. Zbl 1155.68408
Axelsson, Roland; Heljanko, Keijo; Lange, Martin
2
2008
Linear encodings of bounded LTL model checking. Zbl 1127.68057
Biere, Armin; Heljanko, Keijo; Junttila, Tommi; Latvala, Timo; Schuppan, Viktor
14
2006
Planning as satisfiability: parallel plans and algorithms for plan search. Zbl 1131.68099
Rintanen, Jussi; Heljanko, Keijo; Niemelä, Ilkka
11
2006
Bounded model checking for weak alternating Büchi automata. Zbl 1188.68189
Heljanko, Keijo; Junttila, Tommi; Keinänen, Misa; Lange, Martin; Latvala, Timo
2
2006
Incremental and complete bounded model checking for full PLTL. Zbl 1081.68621
Heljanko, Keijo; Junttila, Tommi; Latvala, Timo
9
2005
Simple is better: Efficient bounded model checking for past LTL. Zbl 1111.68510
Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi
1
2005
Parallel encodings of classical planning as satisfiability. Zbl 1111.68660
Rintanen, Jussi; Heljanko, Keijo; Niemelä, Ilkka
6
2004
Simple bounded LTL model checking. Zbl 1117.68432
Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi
4
2004
Bounded LTL model checking with stable models. Zbl 1079.68058
Heljanko, Keijo; Niemelä, Ilkka
10
2003
BMC via on-the-fly determinization. Zbl 1271.68138
Jussila, Toni; Heljanko, Keijo; Niemelä, Ilkka
3
2003
Parallelisation of the Petri net unfolding algorithm. Zbl 1043.68593
Heljanko, Keijo; Khomenko, Victor; Koutny, Maciej
4
2002
Implementing LTL model checking with net unfoldings. Zbl 0985.68520
Esparza, Javier; Heljanko, Keijo
5
2001
Bounded reachability checking with process semantics. Zbl 1006.68081
Heljanko, Keijo
4
2001
Bounded ITL model checking with stable models. Zbl 1007.68515
Heljanko, Keijo; Niemelä, Ilkka
2
2001
Coping with strong fairness. Zbl 0965.68061
Latvala, Timo; Heljanko, Keijo
3
2000
A new unfolding approach to LTL model checking. Zbl 0973.68140
Esparza, Javier; Heljanko, Keijo
1
2000
Model checking with finite complete prefixes is PSPACE-complete. Zbl 0999.68138
Heljanko, Keijo
1
2000
Using logic programs with stable model semantics to solve deadlock and reachability problems for 1-safe Petri nets. Zbl 0930.68096
Heljanko, Keijo
7
1999
all top 5

Cited by 299 Authors

7 Baldan, Paolo
4 Heljanko, Keijo
4 Khomenko, Victor
4 Rodríguez, César
4 Schwoon, Stefan
3 Finkbeiner, Bernd
3 Lazar, Mircea
3 Maler, Oded
3 Niemelä, Ilkka N. F.
3 Olderog, Ernst-Rüdiger
3 Pontelli, Enrico
3 Sastry, S. Shankar
3 Son, Tran Cao
2 Bersani, Marcello Maria
2 Biere, Armin
2 Bonet, Blai
2 Cimatti, Alessandro
2 Clarke, Edmund Melson jun.
2 Gebser, Martin
2 Gieseking, Manuel
2 Giordano, Laura
2 Haslum, Patrik
2 Hecking-Harbusch, Jesko
2 Heemels, W. P. Maurice H.
2 Hoffmann, Jörg
2 Junttila, Tommi A.
2 Koutny, Maciej
2 Kröning, Daniel
2 Larsen, Kim Guldstrand
2 Legay, Axel
2 Lenzen, Christoph
2 Liu, Wanwei
2 Lygeros, John
2 Mao, Xiaoguang
2 Martelli, Alberto
2 Mokhov, Andrey
2 Rintanen, Jussi
2 Rossi, Matteo A. C.
2 Rybicki, Joel
2 Sankaranarayanan, Sriram
2 Schaub, Torsten H.
2 Schuppan, Viktor
2 Sousa, Marcelo S.
2 Theseider Dupré, Daniele
2 Thiagarajan, Pazhamaneri Subramaniam
2 Thiébaux, Sylvie
2 Tonetta, Stefano
2 Vardi, Moshe Y.
2 Vogler, Walter
2 Wang, Ji
2 Yang, Shaofa
2 Zhang, Wenhui
1 Al-Yahya, Tasniem Nasser
1 Ames, Aaron D.
1 Amin, Saurabh
1 Bajcsy, Ruzena
1 Bako, Laurent
1 Bao, Yunxia
1 Baral, Chitta R.
1 Baras, John S.
1 Basten, H. J. S.
1 Bauer, Kerstin
1 Bayen, Alexandre M.
1 Becker, Bernd
1 Beggiato, Alessandro
1 Behrens, Tristan M.
1 Bergenthum, Robin
1 Bestavros, Azer
1 Boczkowski, Lucas
1 Bogaerts, Bart
1 Bonakdarpour, Borzoo
1 Bouyer, Patricia
1 Bozga, Marius
1 Braberman, Víctor
1 Brafman, Ronen I.
1 Brim, Luboš
1 Bruni, Alessandro
1 Carraro, Alberto
1 Češka, Milan
1 Chatain, Thomas
1 Chatterjee, Debasish
1 Cocco, Nicoletta
1 Corradini, Andrea
1 Costantini, Stefania
1 Coti, Camille
1 Daafouz, Jamal
1 Dang, Thao
1 D’Antona, Ottavio M.
1 David, Alexandre
1 Dequen, Gilles
1 Desel, Jörg
1 Di Stasio, Antonio
1 Dimopoulos, Yannis
1 Dix, Jurgen
1 Dong, JinSong
1 Dong, Wei
1 Donkers, M. C. F.
1 Donzé, Alexandre
1 Drescher, Christian
1 D’silva, Vijay
...and 199 more Authors

Citations by Year