Oliver Keszöcze

2021

• Echavarria Gutierrez J., 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)
• 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 (, 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)
  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
  BibTeX: Download

2020

• Echavarria Gutierrez J., 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
  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
  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

2019

• 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

2018

• 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

2017

• 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

2016

• 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

2015

• 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

2014

• 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

2013

• 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

2010

• 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

2009

• 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