Oliver Keszöcze

Prof. Dr. Oliver Keszöcze

Department Informatik (INF)
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

E-Mail: oliver.keszoecze@fau.de

Curriculum Vitæ

starting May 2024	Associate Professor at the Section for Embedded Systems Engineering of DTU Compute
2018 − 2024	Assistant Professor for Computer Science at the Department of Computer Science 12 (Hardware-Software-Co-Design), Friedrich-Alexander University Erlangen-Nuremberg,
2014 − 2018	Researcher at the German Research Center for Artificial Intelligence, Bremen
2012 − 2018	PhD student at the Group for Computer Architecture, University of Bremen
2011 − 2012	Software Engineer at an international retail company, Oldenburg
2006 − 2011	B.Sc. in Computer Science, University of Bremen, Germany
2005 − 2011	Diploma in Applied Mathematics, University of Bremen, Germany

Research Interests

Approximate Computing
Logic Synthesis
SAT/SMT/Formal methods
Reversible Computing
Digital Microfluidic Biochips

Teaching

WS 2023/202	Modern Hardware Description Languages Verifikation digitaler Systeme
SS 2023	Approximate Computing Verifikation digitaler Systeme

WS 2022/2023	Moderne Hardware-Beschreibungssprachen Verifikation digitaler Systeme Seminar: Ausgewählte Kapitel aus „The Art of Computer Porgramming“
SS 2022	Approximate Computing Verifikation digitaler Systeme
WS 2021/2022	Grundlagen der Technischen Informatik Verifikation digitaler Systeme Seminar: Ausgewählte Kapitel aus „The Art of Computer Programming“
SS 2020	Approximate Computing Verifikation digitaler Systeme Grundlagen der Technischen Informatik 2 (Lehrauftrag an der Carl von Ossietzky Universität Oldenburg)
WS 2020/2021	Verifikation digitaler Systeme Seminar: Ausgewählte Kapitel aus „The Art of Computer Programming“ Grundlagen der Technischen Informatik 1 (Lehrauftrag an der Carl von Ossietzky Universität Oldenburg)
SS 2020	Approximate Computing Verifikation digitaler Systeme
WS 2019/2020	Seminar: Ausgewählte Kapitel der Logiksynthese Verifikation digitaler Systeme
SS 2019	Seminar: Ausgewählte Kapitel aus „The Art of Computer Programming“ Verifikation digitaler Systeme
WS 2018/2019	Verifikation digitaler Systeme

Publications

You can find some of my publications on arXiv

Jungnitz N., Keszöcze O.:
SAS - A Framework for Symmetry-based Approximate Synthesis
Design Automation Conference (San Francisco, 23. Juni 2024 - 27. Juni 2024)
DOI: 10.1145/3649329.3658495
BibTeX: Download
Kergaßner M., Keszöcze O., Wanka R.:
Markov Chain-based Optimization Time Analysis of Bivalent Ant Colony Optimization for Sorting and LeadingOnes
Genetic and Evolutionary Computation Conference (GECCO) (Melbourne, 14. Juli 2024 - 18. Juli 2024)
DOI: 10.1145/3638529.3654022
BibTeX: Download
Plagwitz P., Hannig F., Teich J., Keszöcze O.:
Compiler-based Processor Network Generation for Neural Networks on FPGAs
27th Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV) (Kaiserslautern, 14. Februar 2024 - 15. Februar 2024)
In: Proceedings of the 27th Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV) 2024
BibTeX: Download
Plagwitz P., Hannig F., Teich J., Keszöcze O.:
SNN vs. CNN Implementations on FPGAs: An Empirical Evaluation
20th International Symposium on Applied Reconfigurable Computing. Architectures, Tools, and Applications (ARC) (Aveiro, 20. März 2024 - 22. März 2024)
In: Proceedings of the 20th International Symposium on Applied Reconfigurable Computing. Architectures, Tools, and Applications (ARC) 2024
DOI: 10.1007/978-3-031-55673-9_1
BibTeX: Download

Bartunik M., Kirchner J., Keszöcze O.:
Artificial Intelligence for Molecular Communication
In: it - Information Technology (2023)
ISSN: 1611-2776
DOI: 10.1515/itit-2023-0029
BibTeX: Download
Heil A., Keszöcze O.:
Fast Approximate AIG-Based Synthesis
In: Rolf Drechsler, Sebastian Huhn (Hrsg.): Advanced Boolean Techniques, Springer, 2023, S. 17 -- 32
ISBN: 978-3-031-28915-6
DOI: 10.1007/978-3-031-28916-3
BibTeX: Download
Plagwitz P., Hannig F., Teich J., Keszöcze O.:
To Spike or Not to Spike? A Quantitative Comparison of SNN and CNN FPGA Implementations
(2023)
Open Access: https://arxiv.org/abs/2306.12742
URL: https://arxiv.org/abs/2306.12742
BibTeX: Download
(online publication)

Bartunik M., Keszöcze O., Schiller B., Kirchner J.:
Deep Learning to Demodulate Transmissions in Molecular Communication
6th Workshop on Molecular Communications (Warwick, 13. Juli 2022 - 15. Juli 2022)
In: Proceedings of the 6th Workshop on Molecular Communications 2022
DOI: 10.1109/ismict56646.2022.9828263
URL: https://molecularcommunications.org/wp-content/uploads/2022/07/Deep-Learning-to-Demodulate-Transmission-in-Molecular-Communication.pdf
BibTeX: Download
Bartunik M., Keszöcze O., Schiller B., Kirchner J.:
Using Deep Learning to Demodulate Transmissions in Molecular Communication
2022 IEEE 16th International Symposium on Medical Information and Communication Technology (ISMICT) (Online, 2. Mai 2022 - 4. Mai 2022)
DOI: 10.1109/ISMICT56646.2022.9828263
URL: https://ieeexplore.ieee.org/document/9828263
BibTeX: Download
Echavarria Gutiérrez JA., Keszöcze O., Teich J.:
Probability-based DSE of Approximated LUT-based FPGA Designs
15th IEEE Dallas Circuits and Systems Conference (Dallas, 17. Juni 2022 - 19. Juni 2022)
DOI: 10.1109/dcas53974.2022.9845591
BibTeX: Download
Echavarria Gutiérrez JA., Wildermann S., Keszöcze O., Khosravi F., Becher A., Teich J.:
Design and Error Analysis of Accuracy-configurable Sequential Multipliers via Segmented Carry Chains
In: it - Information Technology (2022)
ISSN: 1611-2776
DOI: 10.1515/itit-2021-0040
BibTeX: Download
Friedemann A., Keszöcze O.:
Towards Clause Learning a la Carte through VarMonads
International Symposium on Logic-based Program Synthesis and Transformation (Tbilisi, 21. September 2022 - 23. September 2022)
BibTeX: Download
Heil A., Keszöcze O.:
Fast Approximate AIG-Based Synthesis
International Workshop on Boolean Problems (Bremen, 22. September 2022 - 23. September 2022)
BibTeX: Download
Keszöcze O.:
Approximate Computing
In: it - Information Technology (2022)
ISSN: 1611-2776
DOI: 10.1515/itit-2022-0027
BibTeX: Download
Keszöcze O.:
BDD-based Error Metric Analysis, Computation and Optimization
In: IEEE Access 10 (2022), S. 14013 - 14028
ISSN: 2169-3536
DOI: 10.1109/ACCESS.2022.3140557
URL: https://ieeexplore.ieee.org/abstract/document/9669272
BibTeX: Download
Keszöcze O.:
Precision- and Accuracy-Reconfigurable Processor Architectures—An Overview
In: IEEE Transactions on Circuits and Systems II: Express Briefs 69 (2022), S. 2661 - 2666
ISSN: 1057-7130
DOI: 10.1109/TCSII.2022.3173753
BibTeX: Download
Sommer J., Özkan MA., Keszöcze O., Teich J.:
DSP-Packing: Squeezing Low-precision Arithmetic into FPGA DSP Blocks
International Conference on Field Programmable Logic and Applications (FPL) (Belfast, United Kingdom, 29. August 2022 - 2. September 2022)
In: IEEE Proceedings of the 32nd International Conference on Field Programmable Logic and Applications 2022
DOI: 10.1109/FPL57034.2022.00035
BibTeX: Download
Sommer J., Özkan MA., Keszöcze O., Teich J.:
Efficient Hardware Acceleration of Sparsely Active Convolutional Spiking Neural Networks
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41 (2022), S. 3767 - 3778
ISSN: 0278-0070
DOI: 10.1109/TCAD.2022.3197512
BibTeX: Download
Sommer J., Özkan MA., Keszöcze O., Teich J.:
Efficient Hardware Acceleration of Sparsely Active Convolutional Spiking Neural Networks
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) (Shanghai, 7. Oktober 2022 - 14. Oktober 2022)
DOI: 10.1109/tcad.2022.3197512
BibTeX: Download

Echavarria Gutiérrez JA., Wildermann S., Keszöcze O., Khosravi F., Becher A., Teich J.:
On the Approximation of Accuracy-configurable Sequential Multipliers via Segmented Carry Chains
(2021)
URL: http://arxiv.org/abs/2105.05588
BibTeX: Download
(online publication)
Guillouët Y., Keszöcze O., Sill Torres F.:
Extensive resilience analysis of function models of complex systems
Resilience Week (Washington, DC, 18. Oktober 2021 - 21. Oktober 2021)
DOI: 10.1109/rws52686.2021.9611802
BibTeX: Download
Keszöcze O., Brand M., Witterauf M., Heidorn C., Teich J.:
Aarith: An Arbitrary Precision Number Library
ACM/SIGAPP Symposium On Applied Computing (virtual conference, 22. März 2021 - 26. März 2021)
DOI: 10.1145/3412841.3442085
BibTeX: Download
Keszöcze O., Kießling M.:
Approximate Computing Extensions for the Clash HDL Compiler
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (virtuelle Konferenz, 18. März 2021 - 19. März 2021)
BibTeX: Download
Keszöcze O., Mohammadzadeh N., Wille R.:
Exact Physical Design of Quantum Circuits for Ion-Trap-based Quantum Architectures
Design, Automation and Test in Europe (virtual conference, 1. Februar 2021 - 5. November 2020)
DOI: 10.23919/date51398.2021.9474188
URL: https://www.date-conference.com/
BibTeX: Download
Mohammadzadeh N., Wille R., Keszöcze O.:
Efficient One-Pass Synthesis for Digital Microfluidic Biochips
In: ACM Transactions on Design Automation of Electronic Systems (2021)
ISSN: 1084-4309
DOI: 10.1145/3446880
BibTeX: Download
Schuster A., Heidorn C., Brand M., Keszöcze O., Teich J.:
Design Space Exploration of Time, Energy, and Error Rate Trade-oﬀs for CNNs using Accuracy-Programmable Instruction Set Processors
2nd International Workshop on IoT, Edge, and Mobile for Embedded Machine Learning (ITEM) (Virtual Event, 13. September 2021 - 17. September 2021)
In: Springer, Cham (Hrsg.): Joint European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD 2021), Switzerland: 2021
DOI: 10.1007/978-3-030-93736-2_29
BibTeX: Download

Echavarria Gutiérrez JA., Wildermann S., Keszöcze O., Teich J.:
Probabilistic Error Propagation through Approximated Boolean Networks
57th Annual Design Automation Conference (DAC) (San Francisco, CA, 19. Juli 2020 - 23. Juli 2020)
In: Proceedings of the 57th Annual Design Automation Conference 2020
DOI: 10.1109/dac18072.2020.9218536
BibTeX: Download
Keszöcze O., Keiner B., Richter M., Antpöhler G., Wille R.:
(Semi)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications
In: Mathias Soeken, Rolf Drechsler (Hrsg.): Natural Language Processing for Electronic Design Automation, Springer, 2020
ISBN: 978-3-030-52271-1
DOI: 10.1007/978-3-030-52273-5
BibTeX: Download
Keszöcze O., König M., Brand M., Teich J.:
Error Analysis for Loop Programs using Anytime Instructions in Approximate Computing
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Stuttgart, 19. März 2020 - 20. März 2020)
BibTeX: Download
Keszöcze O., Schmitz K., Schloeter J., Drechsler R.:
Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning
In: Rolf Drechsler, Mathias Soeken (Hrsg.): Advanced Boolean Techniques - Selected Papers from the 13th International Workshop on Boolean Problems, Springer International Publishing, 2020
ISBN: 978-3-030-20322-1
DOI: 10.1007/978-3-030-20323-8
URL: https://www.springerprofessional.de/advanced-boolean-techniques/16907760
BibTeX: Download
Keszöcze O., Wille R., Drechsler R.:
One-pass Synthesis for Digital Microfluidic Biochips: A Survey
International Symposium on Devices, Circuits and Systems (Indian Institute of Engineering Science and Technology, Shibpur, Kolkata, 4. März 2020 - 6. März 2020)
DOI: 10.1109/ISDCS49393.2020.9263007
BibTeX: Download
Lukac M., Nursultan S., Krylov G., Keszöcze O.:
Geometric Refactoring of Quantum and Reversible Circuits: Quantum Layout
Euromicro Conference on Digital System Design
DOI: 10.1109/dsd51259.2020.00074
BibTeX: Download
Lukac M., Nursultan S., Krylov G., Keszöcze O.:
Refactoring of Quantum and Reversible Circuits
International Workshop on Quantum Compilation (Cambridge, 23. September 2020 - 24. September 2020)
BibTeX: Download
Teich J., Pourmohseni B., Keszöcze O., Spieck J., Wildermann S.:
Run-Time Enforcement of Non-Functional Application Requirements in Heterogeneous Many-Core Systems
Asia and South Pacific Design Automation Conference (ASP-DAC) (China National Convention Center, Beijing, China, 13. Januar 2020 - 16. Januar 2020)
DOI: 10.1109/ASP-DAC47756.2020.9045536
BibTeX: Download
Wendler A., Keszöcze O.:
A fast BDD Minimization Framework for Approximate Computing
Design, Automation and Test in Europe (ALPEXPO, Grenoble, France, 9. März 2020 - 13. März 2020)
BibTeX: Download

Keszöcze O., Harris IG.:
Chatbot-Based Assertion Generation from Natural Language Specifications
Forum on Specification & Design Languages (FDL) (Southampton, 2. September 2019 - 4. September 2019)
DOI: 10.1109/FDL.2019.8876925
BibTeX: Download

Castryck W., Demeyer J., De Vos A., Keszocze O., Soeken M.:
Translating between the Roots of Identity in Quantum Circuits
48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018 (Linz)
DOI: 10.1109/ISMVL.2018.00051
BibTeX: Download
Keszocze O.:
Exakter Entwurf digitaler mikrofluidischer Biochips
In: Steffen Hölldobler (Hrsg.): Ausgezeichnete Informatikdissertationen 2017, 2018, S. 121-130 (Lecture Notes in Informatics, Bd.18)
ISBN: 978-3-88579-977-1
BibTeX: Download
Keszocze O., Ibrahim M., Wille R., Chakrabarty K., Drechsler R.:
Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips
31st International Conference on VLSI Design, VLSID 2018
DOI: 10.1109/VLSID.2018.48
BibTeX: Download
Keszocze O., Niemann P., Friedemann A., Drechsler R.:
On the Complexity of Design Tasks for Digital Microfluidic Biochips
In: Microelectronics Journal 78 (2018), S. 35-45
ISSN: 0026-2692
DOI: 10.1016/j.mejo.2018.05.013
BibTeX: Download
Keszocze O., Schmitz K., Schloeter J., Drechsler R.:
Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning
International Workshop on Boolean Problems (Bremen)
BibTeX: Download
Keszocze O., Soeken M., Drechsler R.:
The Complexity of Error Metrics
In: Information Processing Letters 139 (2018), S. 1-7
ISSN: 0020-0190
DOI: 10.1016/j.ipl.2018.06.010
BibTeX: Download
Keszöcze O., Soeken M., Drechsler R.:
Computational Complexity of Error Metrics in Approximate Computing
In: Bernd Steinbach (Hrsg.): Further Improvements in the Boolean Domain, 2018, S. Cambridge Scholars Publishing
ISBN: 978-1-5275-0371-7
BibTeX: Download
Keszöcze O., Wille R., Drechsler R.:
Exact Design of Digital Microfluidic Biochips
Springer, 2018
ISBN: 978-3-319-90936-3
URL: https://www.springer.com/us/book/9783319909356
BibTeX: Download
Schmitz K., Keszocze O., Schmidt J., Grosse D., Drechsler R.:
Towards Dynamic Execution Environment for System Security Protection against Hardware Flaws
17th IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2018
DOI: 10.1109/ISVLSI.2018.00107
BibTeX: Download
Schmitz K., Keszocze O., Stoppe J., Drechsler R.:
Execution Environment for Dynamic Software Runtime Examination
Workshop on Design Automation for Understanding Hardware Designs (Dresden)
BibTeX: Download
Schmitz K., Keszocze O., Tietjen J., Drechsler R.:
ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling
International Workshop on Boolean Problems (Bremen)
BibTeX: Download

Deb A., Wille R., Keszocze O., Shirinzadeh S., Drechsler R.:
Synthesis of Optical Circuits Using Binary Decision Diagrams
In: Integration-The Vlsi Journal 59 (2017), S. 42-51
ISSN: 0167-9260
DOI: 10.1016/j.vlsi.2017.05.001
BibTeX: Download
Deb A., Wille R., Keszoecze O., Shirinzadeh S., Drechsler R.:
Synthesis of optical circuits using binary decision diagrams
In: Integration-The Vlsi Journal 59 (2017), S. 42-51
ISSN: 0167-9260
DOI: 10.1016/j.vlsi.2017.05.001
BibTeX: Download
Keszocze O., Li Z., Grimmer A., Wille R., Chakrabarty K., Drechsler R.:
Exact Routing for Micro-Electrode-Dot-Array Digital Microfluidic Biochips
22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017
DOI: 10.1109/ASPDAC.2017.7858407
BibTeX: Download
Keszocze O., Pols A., Drechsler R.:
A Human-Centered Approach to Routing for Digital Microfluidic Biochips
Workshop on Design Automation for Understanding Hardware Designs (Lausanne)
BibTeX: Download
Schneider L., Keszocze O., Stoppe J., Drechsler R.:
Der Einfluss von Zellformen Auf Das Routing von Digital Microfluidic Biochips
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Bremen)
BibTeX: Download
Schneider L., Keszocze O., Stoppe J., Drechsler R.:
Effects of Cell Shapes on the Routability of Digital Microfluidic Biochips
20th Design, Automation and Test in Europe, DATE 2017 (Lausanne)
DOI: 10.23919/DATE.2017.7927252
BibTeX: Download
Stoppe J., Keszocze O., Luenert M., Wille R., Drechsler R.:
BioViz: An Interactive Visualization Engine for the Design of Digital Microfluidic Biochips
2017 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2017
DOI: 10.1109/ISVLSI.2017.38
BibTeX: Download
Wille R., Keszocze O., Othmer L., Thomsen MK., Drechsler R.:
An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
In: Journal of Low Power Electronics 13 (2017), S. 633-641
ISSN: 1546-1998
DOI: 10.1166/jolpe.2017.1515
BibTeX: Download
Wille R., Keszocze O., Othmer L., Thomsen MK., Drechsler R.:
Generating and Checking Control Logic in the HDL-Based Design of Reversible Circuits
6th International Symposium on Embedded Computing and System Design, ISED 2016 (Patna, Indien)
DOI: 10.1109/ISED.2016.7977045
BibTeX: Download

Deb A., Wille R., Keszocze O., Hillmich S., Drechsler R.:
Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits
In: ACM Journal on Emerging Technologies in Computing Systems 13 (2016), Art.Nr.: 11
ISSN: 1550-4832
DOI: 10.1145/2904445
BibTeX: Download
Deb A., Wille R., Keszocze O., Hilmich S., Drechsler R.:
Synthesis of Optical Circuits with Contradictory Optimization Objectives
International Workshop on Optical/Photonic Interconnects for Computing Systems (Dresden)
BibTeX: Download
Keszocze O., Stoppe J., Wille R., Drechsler R.:
Visualizing Microfluidic Biochips Interactively
Workshop on Design Automation for Understanding Hardware Designs (Dresden, Deutschland)
BibTeX: Download
Keszocze O., Wille R., Chakrabarty K., Drechsler R.:
A General and Exact Routing Methodology for Digital Microfluidic Biochips
34th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015
DOI: 10.1109/ICCAD.2015.7372663
BibTeX: Download
Keszöcze O., Wille R.:
Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision
In: Frank Oppenheimer, Julio Luis Medina Pasaje (Hrsg.): Languages, Design Methods, and Tools for Electronic System Design, 2016, S. 101 - 112 (Lecture Notes in Electrical Enginieering)
ISBN: 978-3-319-24457-0
URL: https://www.springer.com/de/book/9783319244556
BibTeX: Download
Wille R., Keszocze O., Hillmich S., Walter M., Garcia-Ortiz A.:
Synthesis of Approximate Coders for On-Chip Interconnects Using Reversible Logic
19th Design, Automation and Test in Europe Conference and Exhibition, DATE 2016
URL: https://www.scopus.com/record/display.uri?eid=2-s2.0-84973635861∨igin=inward
BibTeX: Download
Wille R., Keszocze O., Othmer L., Thomsen MK., Drechsler R.:
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs
8th International Conference on Reversible Computation, RC 2016 (Bologna)
DOI: 10.1007/978-3-319-40578-0_11
BibTeX: Download
Wille R., Keszocze O., Walter M., Rohrs P., Chattopadhyay A., Drechsler R.:
Look-Ahead Schemes for Nearest Neighbor Optimization of 1D and 2D Quantum Circuits
21st Asia and South Pacific Design Automation Conference, ASP-DAC 2016
DOI: 10.1109/ASPDAC.2016.7428026
BibTeX: Download

Keszocze O., Wille R., Drechsler R.:
Exact Routing for Digital Microfluidic Biochips with Temporary Blockages
2014 33rd IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014
DOI: 10.1109/ICCAD.2014.7001383
BibTeX: Download
Wille R., Keszocze O., Drechsler R. (Hrsg.):
Synthese- und Optimierungsverfahren für zukünftige Computerparadigmen
2015
(Technische Informatik)
ISBN: 978-3-8440-3467-7
URL: http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8440-3467-7
BibTeX: Download
Wille R., Keszocze O., Drechsler R., Boehnisch T., Kroker A.:
Scalable One-Pass Synthesis for Digital Microfluidic Biochips
In: IEEE Design & Test 32 (2015), S. 41-50
ISSN: 2168-2356
DOI: 10.1109/MDAT.2015.2455344
BibTeX: Download
Wille R., Keszocze O., Hopfmuller C., Drechsler R.:
Reverse BDD-Based Synthesis for Splitter-Free Optical Circuits
2015 20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015
DOI: 10.1109/ASPDAC.2015.7059000
BibTeX: Download

Keszocze O., Keiner B., Richter M., Antpöhler G., Wille R.:
(Semi-)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications
Forum on Specification & Design Languages (München)
BibTeX: Download
Keszocze O., Wille R., Ho TY., Drechsler R.:
Exact One-Pass Synthesis of Digital Microfluidic Biochips
51st Annual Design Automation Conference, DAC 2014 (San Francisco, CA)
DOI: 10.1145/2593069.2593135
BibTeX: Download
Riener H., Keszocze O., Drechsler R., Fey G.:
A Logic for Cardinality Constraints
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Böblingen, 10. März 2014 - 12. März 2014)
BibTeX: Download

Binkley D., Lawrie D., Hill E., Burge J., Harris I., Hebig R., Keszocze O., Reed K., Slankas J.:
Task-Driven Software Summarization
29th IEEE International Conference on Software Maintenance, ICSM 2013 (Eindhoven)
DOI: 10.1109/ICSM.2013.65
BibTeX: Download
Keszocze O., Soeken M., Kuksa E., Drechsler R.:
Lips: An IDE for Model Driven Engineering Based on Natural LanguagePprocessing
2013 1st International Workshop on Natural Language Analysis in Software Engineering, NaturaLiSE 2013 (San Francisco, CA)
DOI: 10.1109/NAturaLiSE.2013.6611718
BibTeX: Download

Alexandrov T., Steinhorst K., Keszocze O., Schiffler S.:
Peak Detection in Mass Spectrometry Data Using Sparse Coding
nternational Conference on Computational Statistics (Paris)
BibTeX: Download

Alexandrov T., Keszocze O., Lorenz D., Schiffler S., Steinhorst K.:
An active set approach to the elastic-net and its applications in mass spectrometry
Signal Processing with Adaptive Sparse Structured Representations (Saint Malo)
BibTeX: Download

[/collapsibles]

Awards

Date PhD Forum Best Poster Award
Berninghausen Award in the category „extraordinary and innovative teaching“ (Berninghausenpreis in der Kategorie „Hervorragende, innovative Lehrveranstaltung“)

Professional Scientific Activities

Organization

2022

Special Session on „Future Trends in Emerging Technologies“ at the Euromicro Conference on Digital System Design

2021

Special Issue of the IT Journal: Approximate Computing
Special Session on „Future Trends in Emerging Technologies“ at the Euromicro Conference on Digital System Design

2020

Special Session on „Future Trends in Emerging Technologies“ at the Euromicro Conference on Digital System Design

2019

DUHDe’19 – 6th Workshop on Design Automation for Understanding Hardware Designs
Special Session on „Future Trends in Emerging Technologies“ at the Euromicro Conference on Digital System Design

2018

Special Session on „Future Trends in Emerging Technologies“ at the Euromicro Conference on Digital System Design

Committee Memberships (selected)

2024

2023

2022

2021

2020

2019

2018

DUHDe’18 − 5th Workshop on Design Automation for Understanding Hardware Designs
MicDAT’18 − International Conference on Microelectronic Devices and Technologies

Reviewing − Journals

ACM JETC − ACM Journal on Emerging Technologies in Computing
Integration − Integration, the VLSI Journal (Elsevier)
IEEE Access – The Multidisciplinary Open Access Journal
IEEE TCAD − IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
MEJ − Microelectronics Journal (Elsevier)
IEEE TMSCS − IEEE Transactions on Multi-Scale Computing Systems
IEEE TC − IEEE Transactions on Computers

Reviewing − Conferences, Symposia, Workshops, etc. (selection, in addition to TPC memberships)

DAC, ICCAD, ASP-DAC, GLSVLSI, DSD, ISVLSI

Oliver Keszöcze

Prof. Dr. Oliver Keszöcze

Curriculum Vitæ

Research Interests

Teaching

Pre SS 2023

Publications

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2010

2009

Awards

Professional Scientific Activities

Organization

2022

2021

Pre 2021

2020

2019

2018

Committee Memberships (selected)

2024

2023

Pre 2023

2022

2021

2020

2019

2018

Reviewing − Journals

Reviewing − Conferences, Symposia, Workshops, etc. (selection, in addition to TPC memberships)