Keijo Heljanko

From MaRDI portal
Person:338628

Available identifiers

zbMath Open heljanko.keijoDBLPh/KeijoHeljankoWikidataQ60651608 ScholiaQ60651608MaRDI QIDQ338628

List of research outcomes





PublicationDate of PublicationType
Progress in certifying hardware model checking results2022-03-25Paper
LCTD: test-guided proofs for C programs on LLVM2016-11-07Paper
Unfolding-Based Process Discovery2016-01-08Paper
Synchronous counting and computational algorithm design2015-12-11Paper
BMC via on-the-fly determinization2013-08-30Paper
Concurrent Clause Strengthening2013-08-05Paper
Asynchronous Multi-core Incremental SAT Solving2013-08-05Paper
Exploiting step semantics for efficient bounded model checking of asynchronous systems2012-07-20Paper
Solving parity games by a reduction to SAT2012-05-11Paper
Analyzing Context-Free Grammars Using an Incremental SAT Solver2008-08-19Paper
Unfoldings: A partial-order approach to model checking.2008-04-23Paper
Planning as satisfiability: parallel plans and algorithms for plan search2007-10-23Paper
Linear Encodings of Bounded LTL Model Checking2007-10-11Paper
Bounded Model Checking for Weak Alternating Büchi Automata2007-09-05Paper
Logics in Artificial Intelligence2006-10-25Paper
Formal Methods in Computer-Aided Design2006-10-20Paper
Computer Aided Verification2006-01-10Paper
Verification, Model Checking, and Abstract Interpretation2005-12-06Paper
Bounded LTL model checking with stable models2004-08-19Paper
https://portal.mardi4nfdi.de/entity/Q44722542004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q47980102003-03-18Paper
https://portal.mardi4nfdi.de/entity/Q47918372003-02-03Paper
https://portal.mardi4nfdi.de/entity/Q45365972002-11-28Paper
https://portal.mardi4nfdi.de/entity/Q45317522002-05-23Paper
https://portal.mardi4nfdi.de/entity/Q27541662001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q27537522001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q45078202000-10-10Paper
https://portal.mardi4nfdi.de/entity/Q42642341999-09-16Paper

Research outcomes over time

This page was built for person: Keijo Heljanko