Keijo Heljanko

	2012
38		Matti Niemenmaa, Aleksi Kallio, André Schumacher, Petri Klemelä, Eija Korpelainen, Keijo Heljanko: Hadoop-BAM: directly manipulating next generation sequencing data in the cloud. Bioinformatics 28(6): 876-877 (2012)
37		Keijo Heljanko, Misa Keinänen, Martin Lange, Ilkka Niemelä: Solving parity games by a reduction to SAT. J. Comput. Syst. Sci. 78(2): 430-440 (2012)
	2011
36		Jiri Barnat, Keijo Heljanko: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation PDMC 2011
35		Xiang Gan, Jori Dubrovin, Keijo Heljanko: A Symbolic Model Checking Approach to Verifying Satellite Onboard Software. ECEASST 46: (2011)
34		Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila: Efficient model checking of PSL safety properties. IET Computers & Digital Techniques 5(6): 479-492 (2011)
	2010
33		Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila: Efficient Model Checking of PSL Safety Properties. ACSD 2010: 95-104
32		Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä: Experimental Comparison of Concolic and Random Testing for Java Card Applets. SPIN 2010: 22-39
	2009
31		Siert Wieringa, Matti Niemenmaa, Keijo Heljanko: Tarmo: A Framework for Parallelized Bounded Model Checking PDMC 2009: 62-76
30		Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä: The LIME Interface Specification Language and Runtime Monitoring Tool. RV 2009: 93-100
	2008
29		Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko: Symbolic Step Encodings for Object Based Communicating State Machines. FMOODS 2008: 96-112
28		Roland Axelsson, Keijo Heljanko, Martin Lange: Analyzing Context-Free Grammars Using an Incremental SAT Solver. ICALP (2) 2008: 410-422
	2006
27		Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala: Bounded Model Checking for Weak Alternating Büchi Automata. CAV 2006: 95-108
26		Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä: Planning as satisfiability: parallel plans and algorithms for plan search. Artif. Intell. 170(12-13): 1031-1080 (2006)
25		Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan: Linear Encodings of Bounded LTL Model Checking CoRR abs/cs/0611029: (2006)
24		Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan: Linear Encodings of Bounded LTL Model Checking. Logical Methods in Computer Science 2(5): (2006)
	2005
23		Keijo Heljanko, Alin Stefanescu: Complexity Results for Checking Distributed Implementability. ACSD 2005: 78-87
22		Keijo Heljanko, Tommi A. Junttila, Timo Latvala: Incremental and Complete Bounded Model Checking for Full PLTL. CAV 2005: 98-111
21		Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila: Simple Is Better: Efficient Bounded Model Checking for Past LTL. VMCAI 2005: 380-395
20		Toni Jussila, Keijo Heljanko, Ilkka Niemelä: BMC via on-the-fly determinization. STTT 7(2): 89-101 (2005)
	2004
19		Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila: Simple Bounded LTL Model Checking. FMCAD 2004: 186-200
18		Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä: Parallel Encodings of Classical Planning as Satisfiability. JELIA 2004: 307-319
	2003
17		Tuomo Pyhälä, Keijo Heljanko: Specification Coverage Aided Test Selection. ACSD 2003: 187-195
16		Keijo Heljanko, Ilkka Niemelä: Bounded LTL Model Checking with Stable Models CoRR cs.LO/0305040: (2003)
15		Toni Jussila, Keijo Heljanko, Ilkka Niemelä: BMC via on-the-fly determinization. Electr. Notes Theor. Comput. Sci. 89(4): 561-577 (2003)
14		Keijo Heljanko, Ilkka Niemelä: Bounded LTL model checking with stable models. TPLP 3(4-5): 519-550 (2003)
	2002
13		Keijo Heljanko, Victor Khomenko, Maciej Koutny: Parallelisation of the Petri Net Unfolding Algorithm. TACAS 2002: 371-385
12		Heikki Tauriainen, Keijo Heljanko: Testing LTL formula translation into Büchi automata. STTT 4(1): 57-70 (2002)
	2001
11		Keijo Heljanko, Ilkka Niemelä: Answer Set Programming and Bounded Model Checking. Answer Set Programming 2001
10		Keijo Heljanko: Bounded Reachability Checking with Process Semantics. CONCUR 2001: 218-232
9		Keijo Heljanko, Ilkka Niemelä: Bounded LTL Model Checking with Stable Models. LPNMR 2001: 200-212
8		Javier Esparza, Keijo Heljanko: Implementing LTL Model Checking with Net Unfoldings. SPIN 2001: 37-56
	2000
7		Keijo Heljanko: Model Checking with Finite Complete Prefixes Is PSPACE-Complete. CONCUR 2000: 108-122
6		Javier Esparza, Keijo Heljanko: A New Unfolding Approach to LTL Model Checking. ICALP 2000: 475-486
5		Heikki Tauriainen, Keijo Heljanko: Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input. SPIN 2000: 54-72
4		Timo Latvala, Keijo Heljanko: Coping With Strong Fairness. Fundam. Inform. 43(1-4): 175-193 (2000)
	1999
3		Keijo Heljanko: Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets. TACAS 1999: 240-254
2		Keijo Heljanko: Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets. Fundam. Inform. 37(3): 247-268 (1999)
	1997
1		Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius: prod 3.2: An Advanced Tool for Efficient Reachability Analysis. CAV 1997: 472-475

Coauthor Index

1	Roland Axelsson	[28]
2	Jiri Barnat	[36]
3	Armin Biere	[19] [21] [24] [25]
4	Jori Dubrovin	[29] [35]
5	Javier Esparza	[6] [8]
6	Xiang Gan	[35]
7	Tommi A. Junttila	[19] [21] [22] [24] [25] [27] [29] [33] [34]
8	Toni Jussila	[15] [20]
9	Kari Kähkönen	[30] [32]
10	Aleksi Kallio	[38]
11	Misa Keinänen	[27] [37]
12	Victor Khomenko	[13]
13	Roland Kindermann	[32]
14	Petri Klemelä	[38]
15	Eija Korpelainen	[38]
16	Maciej Koutny	[13]
17	Jani Lampinen	[30]
18	Martin Lange	[27] [28] [37]
19	Timo Latvala	[4] [19] [21] [22] [24] [25] [27]
20	Tuomas Launiainen	[33] [34]
21	Johan Lilius	[1]
22	Ilkka Niemelä	[9] [11] [14] [15] [16] [18] [20] [26] [30] [32] [37]
23	Matti Niemenmaa	[31] [38]
24	Tuomo Pyhälä	[17]
25	Jussi Rintanen	[18] [26]
26	André Schumacher	[38]
27	Viktor Schuppan	[24] [25]
28	Alin Stefanescu	[23]
29	Heikki Tauriainen	[5] [12]
30	Kimmo Varpaaniemi	[1]
31	Siert Wieringa	[31]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page