Prof. Dr. Oliver Keszöcze

Juniorprofessur für Informatik

Error Analysis for Loop Programs using Anytime Instructions in Approximate Computing (2020) Keszöcze O, König M, Brand M, Teich J Conference contribution, Original article A fast BDD Minimization Framework for Approximate Computing (2020) Wendler A, Keszöcze O Conference contribution, Original article Probabilistic Error Propagation through Approximated Boolean Networks (2020) Echavarria Gutiérrez JA, Wildermann S, Keszöcze O, Teich J Conference contribution, Original article Run-Time Enforcement of Non-Functional Application Requirements in Heterogeneous Many-Core Systems (2020) Teich J, Pourmohseni B, Keszöcze O, Spieck J, Wildermann S Conference contribution, Original article Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning (2020) Keszöcze O, Schmitz K, Schloeter J, Drechsler R Book chapter / Article in edited volumes Chatbot-Based Assertion Generation from Natural Language Specifications (2019) Keszöcze O, Harris IG Conference contribution Execution Environment for Dynamic Software Runtime Examination (2018) Schmitz K, Keszocze O, Stoppe J, Drechsler R Conference contribution, Conference Contribution Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning (2018) Keszocze O, Schmitz K, Schloeter J, Drechsler R Conference contribution, Conference Contribution ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling (2018) Schmitz K, Keszocze O, Tietjen J, Drechsler R Conference contribution, Conference Contribution Exakter Entwurf digitaler mikrofluidischer Biochips (2018) Keszocze O Book chapter / Article in edited volumes