Keijo Heljanko

Available identifiers

zbMath Open heljanko.keijoDBLPh/KeijoHeljankoWikidataQ60651608 ScholiaQ60651608MaRDI QIDQ338628

List of research outcomes

Publication	Date of Publication	Type
Progress in certifying hardware model checking results	2022-03-25	Paper
LCTD: test-guided proofs for C programs on LLVM	2016-11-07	Paper
Unfolding-Based Process Discovery	2016-01-08	Paper
Synchronous counting and computational algorithm design	2015-12-11	Paper
BMC via on-the-fly determinization	2013-08-30	Paper
Concurrent Clause Strengthening	2013-08-05	Paper
Asynchronous Multi-core Incremental SAT Solving	2013-08-05	Paper
Exploiting step semantics for efficient bounded model checking of asynchronous systems	2012-07-20	Paper
Solving parity games by a reduction to SAT	2012-05-11	Paper
Analyzing Context-Free Grammars Using an Incremental SAT Solver	2008-08-19	Paper
Unfoldings: A partial-order approach to model checking.	2008-04-23	Paper
Planning as satisfiability: parallel plans and algorithms for plan search	2007-10-23	Paper
Linear Encodings of Bounded LTL Model Checking	2007-10-11	Paper
Bounded Model Checking for Weak Alternating Büchi Automata	2007-09-05	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Computer Aided Verification	2006-01-10	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
Bounded LTL model checking with stable models	2004-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4472254	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4798010	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4791837	2003-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4536597	2002-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4531752	2002-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q2754166	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2753752	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4507820	2000-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4264234	1999-09-16	Paper

Research outcomes over time

This page was built for person: Keijo Heljanko