Contact

Technical University of Munich
School of Computation, Information and Technology
Chair for Design Automation
Prof. Dr. Robert Wille
Arcisstrasse 21
80333 Munich | Germany
robert.wille@tum.de
Tel: +49 89 289 23551

Google Maps Navigation



The Chair for Design Automation is supported by the Bavarian State Ministry for Science and Arts through the Distinguished Professorship Program.

Der Lehrstuhl für Design Automation wird durch das Bayerische Staatsministerium für Wissenschaft und Kunst im Rahmen des Spitzenprofessurenprogramms gefördert.

Bavarian Coat of Arms

Design Automation and Software Tools for Quantum Computing

Quantum computers have the potential to solve certain tasks that would take millennia to complete even with the fastest ( conventional) supercomputer. Numerous quantum computing applications with a near-term perspective (e.g., for finance, chemistry, machine learning, optimization) and with a long-term perspective (i.e., cryptography, database search) are currently investigated. However, while impressive accomplishments can be observed in the physical realization of quantum computers, the development of automated methods and software tools that provide assistance in the design and realization of applications for those devices is at risk of not being able to keep up with this development anymore. This may lead to a situation where we might have powerful quantum computers but hardly any proper means to actually use them.

Our Work

In our group, we conduct design automation for quantum computers and develop methods and software tools dedicated to the design and realization of quantum algorithms/circuits. We see ourselves as an “interface” between the stakeholders building corresponding quantum computers and the ones using them. Our research is mainly focused on (but not limited to) the following topics (clicking on the links provide more details):

  • Supporting End-Users in Realizing Applications: In order to realize a quantum computing application, various steps have to be conducted. End-users (usually domain experts in their fields) expect to use the respective platforms without having to understand the specific quantum computing underpinnings. In our work, we propose methods and envision a design flow which aims at shielding the end-user from the intricacies of quantum computing.
  • Simulation of quantum circuits: Efficient simulators are essential for the validation of future quantum computers. Furthermore, simulators are required for designing quantum algorithms even though real and sophisticated quantum computers are not available yet. Our advanced simulation technique is based on decision diagrams and significantly outperforms simulators of well-known companies like Microsoft or Intel by conducting simulations in minutes instead of weeks or month for many cases. For our work on this issue, we got awarded with a Google Faculty Award.
  • Noise-aware quantum circuit simulation: Quantum circuit simulators allow simulating the execution of quantum computers on classical hardware. In doing so, they help to validate real quantum computers and support researchers in developing new quantum algorithms. Yet, real quantum computers are often affected by noise effects, which cause errors during their computation. To faithfully simulate their execution those errors have to be considered. This, however, makes a hard problem even harder. In our work, we are researching efficient approaches for simulating with consideration to errors.
  • Synthesis of quantum (and reversible) circuits: Since quantum circuits are inherently reversible, their large Boolean components have to be modeled in reversible fashion - by reversible circuits. Since these circuits are completely different than classical circuits, dedicated design flows and methodologies are required. This includes tasks like making non-reversible functions reversible (i.e. embedding) as well as the actual synthesis. In fact, we have designed several approaches for synthesis of reversible circuits, several optimizations, and also recently developed a new design flow which combines embedding and synthesis ( called one-pass design of reversible circuits).
  • Mapping of quantum circuits to real architectures: After synthesizing a quantum circuit (i.e. a quantum algorithm), it has to be mapped to a physical quantum computer. This constitutes a non-trivial task since the real architectures require certain constraints to be satisfied. In particular, we have developed (among others) a mapping algorithm that maps quantum circuits to IBM’s QX architectures that is also integrated into IBM’s Python SDK Qiskit.
  • Verification of quantum circuits: It is of utmost importance that the originally intended functionality is indeed preserved throughout all levels of abstraction when compiling a quantum circuit for execution on an actual device. This motivated methods for equivalence checking of quantum circuits. We have developed an equivalence checking methodology that is capable of efficiently verifying the results of compilation flows within seconds, whereas state-of-the-art techniques frequently time-out or require substantially more runtime.
  • Quantum Error Correction: Quantum operations and qubits are fragile and prone to errors. In order to physically realize quantum computers that are capable of conducting reasonable computation, quantum error-correction and fault-tolerance are needed. We are working on several areas of error-correction and fault-tolerance with a focus on the interplay between theory and practice. In particular, we develop open-source software tools for quantum error-correction methods.
  • Efficient representation and core methods: In principle, quantum states and operations are represented on a classical computer with an exponential number of complex amplitudes. We aim for a more compact representation with a dedicated type of decision diagram that exploits certain redundancies in the quantum states to gain an efficient representation to be used as basis for many design task.

To make our research more accessible, we provide the open-source Munich Quantum Toolkit (MQT) and our installation-free web-tool MQT DDVis that visualizes how decision diagrams can be used for design tasks such as simulation, synthesis, and verification. Furthermore, software tools and methods for quantum computing such as those described above require practical and relevant benchmarks to empirically evaluate and compare them to the current state of the art. In order to aid researchers and developers in this task, we provide MQT Bench —a cross-level benchmark suite comprising more than 70,000 benchmark circuits ranging from 2 up to 130 qubits on four abstraction levels.

More Information


Mainstream article introducing our ERC Project "Design Automation for Quantum Computing"

Book (published by Springer) covering some of our methods

Web-based version of some of our tools (including visualization)

Overview and access to all of our tools in the Munich Quantum Toolkit

Publications (incomplete)

Books

  1. S. Hillmich and R. Wille. Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams. Springer, 2023. DOI.
  1. M. Walter, R. Wille, F. Sill Torres, and R. Drechsler. Design Automation for Field-coupled Nanotechnologies. Springer, 2022.
  1. A. Zulehner and R. Wille. Introducing Design Automation for Quantum Computing. Springer, 2020.
  1. A. Grimmer and R. Wille. Designing Droplet Microfluidic Networks: A Toolbox for Designers. Springer, 2020.
  1. O. Keszocze, R. Wille, and R. Drechsler. Exact Design of Digital Microfluidic Biochips. Springer, 2019.
  1. N. Przigoda, R. Wille, J. Przigoda, and R. Drechsler. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. Springer, 2018.
  1. P. Niemann and R. Wille. Compact Representations for the Design of Quantum Logic. Springer, 2017.
  1. J. Seiter, R. Wille, and R. Drechsler. Automatic Methods for the Refinement of System Models. Springer, 2017.
  1. R. Wille and R. Drechsler. Towards a Design Flow for Reversible Logic. Springer, 2010.

Book Chapters

  1. R. Wille, S. Hillmich, and L. Burgholzer. Decision Diagrams for Quantum Computing. In R. O. Topaloglu, editor, Design Automation of Quantum Computers. Springer, 2023. arXiv:2302.04687, DOI, PDF.
  1. R. Wille, P. Niemann, A. Zulehner, and R. Drechsler. Empowering the Design of Reversible and Quantum Logic with Decision Diagrams. In M. M. S. Aly and C. Anupam, editors, Emerging Computing: From Devices to Systems: Looking Beyond Moore and Von Neumann. Springer, 2023.
  1. R. Wille and L. Burgholzer. Verification of Quantum Circuits. In A. Chattopadhyay, editor, Handbook of Computer Architecture. Springer, 2022. DOI.
  1. O. Keszocze, B. Keiner, M. Richter, G. Antpöhler, and R. Wille. (Semi)automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications. In M. Soeken and R. Drechsler, editors, Natural Language Processing for Electronic Design Automation. Springer, 2020.
  1. A. Zulehner and R. Wille. Simulation and Design of Quantum Circuits. In I. Ulidowski, I. Lanese, U. P. Schultz, and C. Ferreira, editors, Reversible Computation: Extending Horizons of Computing. Springer, 2020.
  1. R. Wille, B. Li, R. Drechsler, and U. Schlichtmann. Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks. In T. Kazmierski, S. Steinhorst, and D. Große, editors, Languages, Design Methods, and Tools for Electronic System Design. Springer, 2020.
  1. A. Bhattacharjee, C. Bandyopadhyay, B. Mondal, R. Wille, R. Drechsler, and H. Rahaman. An Efficient Nearest Neighbor Design for 2D Quantum Circuits. In A. Singh, M. Fujita, and A. Mohan, editors, Design and Testing of Reversible Logic. Springer, 2020.
  1. S. Poddar, R. Wille, H. Rahaman, and B. B. Bhattacharya. Effect of Volumetric Split-Errors on Reactant-Concentration During Sample Preparation with Microfluidic Biochips. In R. Chaki, A. Cortesi, K. Saeed, and N. Chaki, editors, Advanced Computing and Systems for Security. Springer, 2020.
  1. R. Wille, K. Chakrabarty, R. Drechsler, and P. Kalla. Emerging Circuit Technologies: An Overview on the Next Generation of Circuits. In A. Reis and R. Drechsler, editors, Advanced Logic Synthesis, pages 43–67. Springer, 2018. DOI.
  1. O. Keszocze and R. Wille. Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision. In F. Oppenheimer and J. L. Medina Pasaje, editors, Languages, Design Methods, and Tools for Electronic System Design, pages 101–112. Springer, 2016. DOI.
  1. R. Wille. Basics, Applications, and Design of Reversible Circuits. In T. Wojcicki, editor, VLSI: Circuits for Emerging Applications, Devices, Circuits, and Systems, pages 261–273. CRC Press, 2014.
  1. R. Drechsler, M. Soeken, and R. Wille. Formal Specification Level. In J. Haase, editor, Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012, pages 37–52. Springer, 2014.
  1. R. Wille, S. Offermann, and R. Drechsler. SyReC: A Programming Language for Synthesis of Reversible Circuits. In T. J. Kazmierski and A. Morawiec, editors, System Specification and Design Languages: Selected Contributions from FDL 2010, pages 207–222. Springer, 2012.
  1. R. Wille, D. Große, F. Haedicke, and R. Drechsler. SMT-based Stimuli Generation in the SystemC Verification Library. In Dominique Borrione, editor, Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009, pages 227–244. Springer, 2010.
  1. R. Wille. Ein Entwurfsablauf für Reversible Schaltkreise. In S. Hölldobler et al., editor, Ausgezeichnete Informatikdissertationen 2009, pages 291–300. GI, 2010.
  1. R. Wille and R. Drechsler. Synthesis of Boolean Functions in Reversible Logic. In T. Sasao, J. T. Butler, and M. Thornton, editors, Progress in Applications of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems), pages 75–92. Morgan and Claypool Publishers, 2010.
  1. R. Wille, G. Fey, D. Große, S. Eggersglüß, and R. Drechsler. SWORD: A SAT like Prover Using Word Level Information. In R. Reis, V. Mooney, and P. Hasler, editors, VLSI-SoC: Advanced Topics on Systems on a Chip: A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip, pages 175–192. Springer, 2009.
  1. D. Große, R. Wille, R. Siegmund, and R. Drechsler. Debugging Contradictory Constraints in Constraint-based Random Simulation. In M. Radetzki, editor, Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08, pages 273–290. Springer, 2009.

Edited Publications

  1. F. Fummi and R. Wille, editors. Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016, Lecture Notes in Electrical Engineering, Springer, 2018.
  1. S. Yamashita, T.-Y. Ho, R. Wille, and K. Chakrabarty, editors. Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering (NII Shonan Meeting No. 2017-1), NII Shonan Meeting Report, 2017.
  1. R. Drechsler and R. Wille, editors. Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015, Lecture Notes in Electrical Engineering, Springer, 2016. DOI.
  1. V. C. Gaudet, J. T. Butler, R. Wille, and N. Homma. Special Issue on Emerging Topics in Multiple-Valued Logic and Its Applications. Journal of Emerging and Selected Topics in Circuits and Systems (JETCAS), 2016. DOI.
  1. R. Wille and R. Drechsler. Special Issue of the 44th IEEE International Symposium on Multiple-Valued Logic. Multiple-Valued Logic and Soft Computing (MVLSC), 2016.
  1. K. Chakrabarty, T.-Y. Ho, and R. Wille, editors. Design of Microfluidic Biochips (Dagstuhl Seminar 15352), Dagstuhl Reports, 2015.
  1. R. Wille, O. Keszocze, and R. Drechsler, editors. Synthese- und Optimierungsverfahren für zukünftige Computerparadigmen. Shaker, 2015.
  1. R. Wille, R. Drechsler, and M. B. Tahoori, editors. Special Issue on Reversible Computation, Journal on Emerging Technologies in Computing Systems (JETC), 2014.
  1. R. Drechsler, M. Soeken, and R. Wille, editors. Auf dem Weg zum Quantencomputer – Entwurf reversibler Logik. Shaker, 2012.
  1. K. Morita and R. Wille, editors. Design of Reversible and Quantum Circuits (Dagstuhl Seminar 11502), Dagstuhl Reports, 2012.
  1. A. DeVos and R. Wille, editors. Reversible Computation 2011, Lecture Notes in Computer Science, 2012.
  1. R. Drechsler, I. Ulidowski, and R. Wille, editors. Special Issue on Reversible Computation, Multiple-Valued Logic and Soft Computing (MVLSC), 2012.

Tutorials, Special Sessions, etc.

  1. R. Wille. Design Automation for Quantum Computing: Intermediate Stage Report of the ERC Consolidator Grant “DAQC”. In Design, Automation and Test in Europe (DATE). 2024. PDF.
  1. C. G. Almudever, R. Wille, F. Sebastiano, N. Haider, and E. Alarcon. From Designing Quantum Processors to Large-Scale Quantum Computing Systems. In Design, Automation and Test in Europe (DATE). 2024. PDF.
  1. R. Wille, L. Burgholzer, S. Hillmich, T. Grurl, A. Ploier, and T. Peham. The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus. In Design Automation Conference (DAC). 2022. PDF.
  1. R. Wille, L. Burgholzer, and M. Artner. Visualizing Decision Diagrams for Quantum Computing. In Design, Automation and Test in Europe (DATE). 2021. PDF.
  1. R. Wille, S. Hillmich, and L. Burgholzer. JKQ: JKU Tools for Quantum Computing. In International Conference on Computer Aided Design (ICCAD). 2020. PDF.
  1. C. G. Almudever, L. Lao, R. Wille, and G. G. Guerreschi. Realizing Quantum Algorithms on Real Quantum Computing Devices. In Design, Automation and Test in Europe (DATE). 2020. PDF.
  1. R. Wille, J. Madsen, U. Schlichtmann, and T.-M. Tseng. Design Tools for Microfluidic Devices. In Conference on Miniaturized Systems for Chemistry and Life Sciences (MicroTAS). 2019.
  1. S. Gosh, A. Chattopadhyay, M. Soeken, and R. Wille. QUEST: Quantum computing – EDA, Security and Test. In Design Automation Conference (DAC). 2019.
  1. W. Haselmayr, M. Hamidović, and R. Wille. Microfluidics Research at JKU. In Workshop on Molecular Communications. 2019.
  1. R. Wille, R. Van Meter, and Y. Naveh. IBM’s Qiskit Tool Chain: Working with and Developing for Real Quantum Computers. In Design, Automation and Test in Europe (DATE). 2019. PDF.
  1. R. Wille, A. Fowler, and Y. Naveh. Computer-Aided Design for Quantum Computation. In International Conference on Computer Aided Design (ICCAD). 2018. PDF.
  1. R. Wille, B. Li, R. Drechsler, and U. Schlichtmann. Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks. In Forum on Specification and Design Languages (FDL). 2018. PDF.
  1. W. Haselmayr, R. Wille, and A. Grimmer. Networked Labs-on-Chips (NLoCs): A Passive Droplet Routing Concept for Two-Phase Flow Microfluidics. In Conference on Miniaturized Systems for Chemistry and Life Sciences (MicroTAS). 2017.
  1. R. Wille and B. Li. Design Automation for Labs-on-Chip: A New Playground for SoC Designers. In International System-on-Chip Conference (SOCC). 2017.
  1. R. Wille, B. Li, U. Schlichtmann, and R. Drechsler. From Biochips to Quantum Circuits: Computer-Aided Design for Emerging Technologies. In International Conference on Computer Aided Design (ICCAD). 2016. PDF.
  1. R. Wille, K. Chakrabarty, P. Kalla, and R Drechsler. Emerging Technologies. In International Workshop on Logic Synthesis (IWLS). 2016.
  1. M. Alistar, K. Chakrabarty, J. Madsen, T.-Y. Ho, and R. Wille. When Embedded Systems meet Life Sciences: Microfluidic Biochips for Real-Time Healthcare. In Embedded Systems Week (ESWEEK). 2016.
  1. R. Wille. Reversible Circuits: Design Methods for an Emerging Technology. In IEEE International Symposium on Circuits and Systems (ISCAS). 2016.
  1. R. Wille and R. Drechsler. Formal Methods for Emerging Technologies. In International Conference on Computer Aided Design (ICCAD). 2015. PDF.
  1. U. Schlichtmann, P. Pop, R. Wille, and B. Li. Microfluidics Meets Electronic Design Automation. In Zuverlässigkeit und Entwurf (ZuE). 2015.
  1. R. Drechsler and R. Wille. Formal Methods for Emerging Technologies. In International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). 2015.
  1. R. Drechsler, M. Soeken, and R. Wille. Automated and Quality-driven Requirements Engineering. In International Conference on Computer Aided Design (ICCAD). 2014. PDF.
  1. K. Datta, R. Wille, I. Sengupta, and H. Rahaman. Reversible Circuits – Design Methods for an Emerging Technology. In International Symposium on VLSI Design and Test (VDAT). 2014.
  1. R. Drechsler, R. Findenig, and R. Wille. The Formal Specification Level: Bridging the Gap between the Spec and its Implementation. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2014.
  1. R. Drechsler, M. Soeken, and R. Wille. Text statt C++: Automatisierung des Systementwurfs mit Hilfe natürlicher Sprachverarbeitung. In INFORMATIK 2013 – 43. Jahrestagung der Gesellschaft für Informatik. 2013.
  1. R. Drechsler, R. Findenig, I. Harris, R. Wille, and W. Ecker. Design and Verification of Embedded Systems from Natural Language Descriptions. In Design, Automation and Test in Europe (DATE). 2013.
  1. R. Wille. Reversible Computation. In International Symposium on Electronic System Design (ISED). 2012.
  1. R. Drechsler, I. Harris, and R. Wille. Generating Formal System Models from Natural Language Descriptions. In International High Level Design Validation and Test Workshop (HLDVT). 2012.

Journals

  1. L. Schmid, D. Locher, M. Rispler, S. Blatt, J. Zeiher, M. Müller, and R. Wille. Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors - Connecting Tool Developers and Hardware Experts. Quantum Science and Technology (QST), 2024. PDF.
  1. S. S. H. Ng, J. Croshaw, M. Walter, R. Wille, R. Wolkow, and K. Walus. Simulating Charged Defects in Silicon Dangling Bond Logic Systems to Evaluate Logic Robustness. IEEE Transactions on Nanotechnology (TNANO), 2024. DOI, PDF.
  1. M. Takken and R. Wille. Accelerated Computational Fluid Dynamics Simulations of Microfluidic Devices by Exploiting Higher Levels of Abstraction. MDPI Micromachines, 2024. DOI.
  1. S. Hazra, A. Fusco, G. N. Kiprit, T. Stadelmayer, S. Habib, L. Servadei, R. Wille, R. Weigel, and A. Santra. Robust Radar-based Vital Sensing With Adaptive Sinc Filtering and Random Body Motion Rejections. IEEE Sensors Journal, 2023. DOI.
  1. S. Moradi, Clemens Spielvogel, Denis Krajnc, C. Brandner, Stefan Hillmich, Robert Wille, T. Traub-Weidinger, X. Li, M. Hacker, W. Drexler, and L. Papp. Error mitigation enables PET radiomic cancer characterization on quantum computers. European Journal of Nuclear Medicine and Molecular Imaging (EJNM), 2023. DOI.
  1. N. Quetschlich, L. Burgholzer, and R. Wille. MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. Quantum, 2023. arXiv:2204.13719, DOI, PDF.
  1. I.D. O’Connor, R. Wille, A.D. Pimentel, and V. Bertacco. Post-pandemic conferences: the DATE 2023 experience. IEEE Design & Test, 2023. DOI.
  1. A. Strikis and L. Berent. Quantum Low-Density Parity-Check Codes for Modular Architectures. Physical Review X Quantum, 2023. PDF.
  1. T. Peham, L. Burgholzer, and R. Wille. On Optimal Subarchitectures for Quantum Circuit Mapping. ACM Transactions on Quantum Computing, 2023. DOI, PDF.
  1. S. Adarsh, L. Burgholzer, T. Manjunath, and R. Wille. SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. Software Impacts, 2022. DOI.
  1. G. Fink, F. Costamoling, and R. Wille. MMFT Droplet Simulator: Efficient Simulation of Droplet-based Microfluidic Devices. Software Impacts, 2022. DOI.
  1. D. S. Lopera, L. Servadei, S. Prebeck, and W. Ecker. Early RTL delay prediction using neural networks. Microprocessors and Microsystems (MICPRO), 2022.
  1. T. Peham, L. Burgholzer, and R. Wille. Equivalence Checking of Quantum Circuits with the ZX-Calculus. Journal of Emerging and Selected Topics in Circuits and Systems (JETCAS), 2022. PDF.
  1. L. Burgholzer, A. Ploier, and R. Wille. Simulation Paths for Quantum Circuit Simulation with Decision Diagrams: What to Learn from Tensor Networks, and What Not. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022. PDF.
  1. M. Takken and R. Wille. Simulation of Pressure-Driven and Channel-Based Microfluidics on Different Abstract Levels: A Case Study. MDPI Sensors, 2022. DOI.
  1. M. D. Vieira, S. S. H. Ng, M. Walter, R. Wille, K. Walus, R. S. Ferreira, O. P. Vilela Neto, and J. A. M. Nacif. Three-Input NPN Class Gate Library for Atomic Silicon Quantum Dots. IEEE Design & Test, 2022. PDF.
  1. D. S. Lopera, L. Servadei, G. N. Kiprit, R. Wille, and W. Ecker. A Comprehensive Survey on Electronic Design Automation and Graph Neural Networks: Theory and Applications. Transactions on Design Automation of Electronic Systems (TODAES), 2022. DOI.
  1. P. Ebner, G. Fink, and R. Wille. Channel Routing for Microfluidic Devices: A Comprehensive and Accessible Design Tool. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022. PDF.
  1. T. Grurl, J. Fuß, and R. Wille. Noise-aware Quantum Circuit Simulation With Decision Diagrams. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022. PDF.
  1. S. Hillmich, A. Zulehner, R. Kueng, I. L. Markov, and R. Wille. Approximating Decision Diagrams for Quantum Circuit Simulation. ACM Transactions on Quantum Computing, 2022. DOI.
  1. X. Huang, Y. Pan, Z. Chen, W. Guo, L. Wang, Q. Li, R. Wille, T.-Y. Ho, and U. Schlichtmann. Design Automation for Continuous-Flow Lab-on-a-Chip Systems: A One-Pass Paradigm. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022. PDF.
  1. L. Burgholzer, R. Wille, and R. Kueng. Characteristics of Reversible Circuits for Error Detection. Array, 2022. PDF.
  1. A. Mashkoor, A. Egyed, and R. Wille. Model-Driven Engineering of Safety and Security Software Systems: A Systematic Mapping Study and Future Research Directions. Journal of Software: Evolution and Process, 2022. PDF.
  1. G. Fink, T. Mitteramskogler, M. A. Hintermüller, B. Jakoby, and R. Wille. Automatic Design of Microfluidic Gradient Generators. IEEE Access, 2022. PDF.
  1. S. Moradi, C. Brandner, C. Spielvogel, D. Krajnc, S. Hillmich, R. Wille, W. Drexler, and L. Papp. Clinical data classification with noisy intermediate scale quantum computers. Scientific Reports, 2022. PDF.
  1. L. Servadei, J. H. Lee, J. A. A. Medina, M. Werner, S. Hochreiter, W. Ecker, and R. Wille. Deep Reinforcement Learning for Optimization at Early Design Stages. IEEE Design & Test, 2022. PDF.
  1. S. A. Schober, Y. Bahri, C. Carbonelli, and R. Wille. Neural Network Robustness Analysis Using Sensor Simulations for a Graphene-Based Semiconductor Gas Sensor. Chemosensors, 2022. PDF.
  1. S. Poddar, G. Fink, W. Haselmayr, and R. Wille. A Generic Sample Preparation Approach for Different Microfluidic Labs-on-Chips. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022. PDF.
  1. R. Wille, S. Hillmich, and L. Burgholzer. Tools for Quantum Computing Based on Decision Diagrams. ACM Transactions on Quantum Computing, 2021. DOI.
  1. S. A. Schober, C. Carbonelli, A. Roth, A. Zoepfl, C. Travan, and R. Wille. Towards a Stochastic Drift Simulation Model for Graphene-Based Gas Sensors. In IEEE Sensors Journal. 2021.
  1. F. Gemeinhardt, R. Wille, and M. Wimmer. Quantum k-community detection: Algorithm proposals and cross-architectural evaluation. Quantum Information Processing, 2021. PDF.
  1. R. Elnaggar, L. Servadei, S. Mathur, R. Wille, W. Ecker, and K Chakrabarty. Accurate and Robust Malware Detection: Running XGBoost on Run-Time Data from Performance Counters. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2021.
  1. L. Burgholzer and R. Wille. QCEC: A JKQ Tool for Quantum Circuit Equivalence Checking. Software Impacts, 2021. DOI.
  1. N. Mohammadzadeh, R. Wille, and O. Keszocze. Efficient One-Pass Synthesis for Digital Microfluidic Biochips. Transactions on Design Automation of Electronic Systems (TODAES), 2021.
  1. L. Burgholzer and R. Wille. Advanced Equivalence Checking for Quantum Circuits. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2021. PDF.
  1. A. Deb, G. W. Dueck, and R. Wille. Exploring the Potential Benefits of Alternative Quantum Computing Architectures. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2021. PDF.
  1. P. Niemann, R. Wille, and R. Drechsler. Advanced Exact Synthesis of Clifford+T Circuits. Quantum Information Processing, 2020. PDF.
  1. S. Poddar, T. Banerjee, R. Wille, and B. B. Bhattacharya. Robust Multi-Target Sample Preparation on MEDA-Biochips Obviating Waste Production. Transactions on Design Automation of Electronic Systems (TODAES), 2020.
  1. G. Fink, M. Hamidović, W. Haselmayr, and R. Wille. Automatic Design of Droplet-Based Microfluidic Ring Networks. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2020. PDF.
  1. F. Sill Torres, P. A. Silva, G. Fontes, M. Walter, J. A. M. Nacif, R. S. Ferreira, O. P. V. Neto, J. F. Chaves, R. Wille, P. Niemann, D. Große, and R. Drechsler. On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata. Microprocessors and Microsystems (MICPRO), 2020. PDF.
  1. M. Shayan, S. Bhattacharjee, R. Wille, K. Chakrabarty, and R. Karri. How Secure are Checkpoint-based Defenses in Digital Microfluidic Biochips? IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2020. PDF.
  1. G. Fink, M. Hamidović, R. Wille, and W. Haselmayr. Passive Droplet Control in Two-Dimensional Microfluidic Networks. IEEE Transactions on Molecular, Biological, and Multi-Scale Communications (T-MBMC), 2020. PDF.
  1. G. Fink, M. Hamidović, A. Springer, R. Wille, and W. Haselmayr. Design and realization of flexible droplet-based lab-on-a-chip devices: From theory to practice. e & i Elektrotechnik und Informationstechnik, 2020. PDF.
  1. P. Niemann, A. Zulehner, R. Drechsler, and R. Wille. Overcoming the Trade-off Between Accuracy and Compactness in Decision Diagrams for Quantum Computation. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2020. PDF.
  1. M. Hamidović, U. Marta, H. Bridle, D. Hamidović, G. Fink, R. Wille, A. Springer, and W. Haselmayr. Off-chip Controlled Droplet-on-Demand Method for Precise Sample Handling. ACS Omega, 17(5):9684–9689, 2020. DOI.
  1. K. Verma, H. Cao, P. Mandapalli, and R. Wille. Modeling and Simulation of Electrophoretic Deposition Coatings. Journal of Computational Science, 41(3):, 2020. PDF.
  1. L. Servadei, E. Mosca, E. Zennaro, K. Devarajegowda, M. Werner, W. Ecker, and R. Wille. Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation. IEEE Transactions on Computers (TC), 69(6):856–867, 2020. PDF.
  1. K. Verma, C. McCabe, C. Peng, and R. Wille. A PCISPH implementation using distributed multi-GPU acceleration for simulating industrial engineering applications. International Journal of High Performance Computing Applications (IJHPCA), 34(4):450–464, 2020.
  1. G. Fink, A. Grimmer, M. Hamidović, W. Haselmayr, and R. Wille. Robustness Analysis for Droplet-Based Microfluidic Networks. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2020. PDF.
  1. A. Kole, S. Hillmich, K. Datta, R. Wille, and I. Sengupta. Improved Mapping of Quantum Circuits to IBM QX Architectures. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2020. PDF.
  1. P. L. Thangkhiew, A. Zulehner, R. Wille, K. Datta, and I. Sengupta. An Efficient Memristor Crossbar Architecture for Mapping Boolean Functions using Binary Decision Diagrams (BDD). INTEGRATION, the VLSI Journal, 2020.
  1. P. Roy, A. Banerjee, R. Wille, and B. B. Bhattacharya. Harnessing the Granularity of Micro-Electrode-Dot-Array Architectures for optimizing Droplet Routing in Biochips. Transactions on Design Automation of Electronic Systems (TODAES), 2019.
  1. F. Sill Torres, P. Niemann, R. Wille, and R. Drechsler. Near Zero-Energy Computation Using Quantum-dot Cellular Automata. Journal on Emerging Technologies in Computing Systems (JETC), 2019. PDF.
  1. Y. Zhu, X. Huang, B. Li, T.-Y. Ho, Q. Wang, H. Yao, R. Wille, and U. Schlichtmann. MultiControl: Advanced Control Logic Synthesis for Flow-Based Microfluidic Biochips. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2019. PDF.
  1. L. Servadei, E. Zennaro, T. Fritz, K. Devarajegowda, W. Ecker, and R. Wille. Using Machine Learning for Predicting Area and Firmware Metrics of Hardware Designs from Abstract Specifications. Microprocessors and Microsystems (MICPRO), 2019.
  1. S. Saeed, A. Zulehner, R. Wille, R. Drechsler, and R. Karri. Reversible Circuits: IC/IP Piracy Attacks and Countermeasures. IEEE Transactions on Very Large Scale Integration Systems (TVLSI), 2019. PDF.
  1. S. Bhattacharjee, R. Wille, J.-D. Huang, and B. B. Bhattacharya. Storage-Aware Algorithms for Dilution and Mixture Preparation with Flow-Based Lab-on-Chip. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2019. PDF.
  1. A. Grimmer, M. Hamidović, W. Haselmayr, and R. Wille. Advanced Simulation of Droplet Microfluidics. Journal on Emerging Technologies in Computing Systems (JETC), 2019. PDF.
  1. M. Walter, R. Wille, D. Große, F. Sill Torres, and R. Drechsler. Placement & Routing for Tile-based Field-coupled Nanocomputing Circuits is NP-complete. Journal on Emerging Technologies in Computing Systems (JETC), 2019. PDF.
  1. A. Paler, A. Fowler, and R. Wille. Faster manipulation of large quantum circuits using wire label reference diagrams. Microprocessors and Microsystems (MICPRO), 66():55–66, 2019.
  1. M. Hamidović, W. Haselmayr, A. Grimmer, R. Wille, and A. Springer. Passive droplet control in microfluidic networks: A survey and new perspectives on their practical realization. Nano Communication Networks, 19():33–46, 2019. PDF.
  1. A. Grimmer, W. Haselmayr, and R. Wille. Automatic Droplet Sequence Generation for Microfluidic Networks with Passive Droplet Routing. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2018. PDF.
  1. S. Huhn, S. Frehse, R. Wille, and R. Drechsler. Determining Application-specific Knowledge for Improving Robustness of Sequential Circuits. IEEE Transactions on Very Large Scale Integration Systems (TVLSI), 2018. PDF.
  1. A. Grimmer, P. Frank, P. Ebner, S. Häfner, A. Richter, and R. Wille. Meander Designer: Automatically Generating Meander Channel Designs. Micromachines, 2018. PDF.
  1. A. Grimmer, X. Chen, M. Hamidovic, W. Haselmayr, C. L. Ren, and R. Wille. Simulation before fabrication: a case study on the utilization of simulators for the design of droplet microfluidic networks. RSC Advances, 8(60):34733–34742, 2018. PDF.
  1. S. M. Saeed, N. Mahendran, A. Zulehner, R. Wille, and R. Karri. Identification of Synthesis Approaches for IP/IC Piracy of Reversible Circuits. Journal on Emerging Technologies in Computing Systems (JETC), 2018. PDF.
  1. S. Poddar, R. Wille, H. Rahaman, and B. B. Bhattacharya. Error-Oblivious Sample Preparation With Digital Microfluidic Lab-on-Chip. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2018. PDF.
  1. A. Zulehner, A. Paler, and R. Wille. An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2018. Received Best Paper Award. PDF.
  1. A. Zulehner and R. Wille. Advanced Simulation of Quantum Computations. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2018. PDF.
  1. A. Grimmer, W. Haselmayr, and R. Wille. Automated Dimensioning of Networked Labs-on-Chip. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2018. PDF.
  1. X. Cui, S. M. Saeed, A. Zulehner, R. Wille, K. Wu, R. Drechsler, and R. Karri. On the Difficulty of Inserting Trojans in Reversible Computing Architectures. IEEE Transactions on Emerging Topics in Computing (TETC), 2018. DOI.
  1. F. Sill Torres, R. Wille, P. Niemann, and R. Drechsler. An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2018. PDF.
  1. N. Przigoda, P. Niemann, J. G. Filho, R. Wille, and R. Drechsler. Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Complementary Approach Using modifies only Statements. Computer Languages, Systems & Structures (CLSS), 56():512–527, 2018.
  1. C. Bandyopadhyaya, R. Dasa, R. Wille, R. Drechsler, and H. Rahaman. Synthesis of Circuits based on All-Optical Mach-Zehnder Interferometers Using Binary Decision Diagrams. Microelectronics Journal, 2018. PDF.
  1. A. Grimmer, W. Haselmayr, A. Springer, and R. Wille. Design of Application-Specific Architectures for Networked Labs-on-Chips. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2017. PDF.
  1. A. Zulehner and R. Wille. One-pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2017. PDF.
  1. Q. Wang, H. Zou, H. Yao, T.-Y. Ho, R. Wille, and Y. Cai. Physical Co-Design of Flow and Control Layers for Flow-Based Microfluidic Biochips. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2017. PDF.
  1. A. Paler, A. G. Fowler, and R. Wille. Online scheduled execution of quantum circuits protected by surface codes. Quantum Information & Computation (QIC), 2017. arXiv:1711.01385.
  1. M. Haghparast, R.Wille, and A. T. Monfared. Towards quantum reversible ternary coded decimal adder. Quantum Information Processing, 2017.
  1. A. Paler, A. G. Fowler, and R. Wille. Synthesis of Arbitrary Quantum Circuits to Topological Assembly: Systematic, Online and Compact. Scientific Reports, 2017. arXiv:1711.01387.
  1. R. Wille, O. Keszocze, L. Othmer, M. K. Thomsen, and R. Drechsler. An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs. Journal of Low Power Electronics (JOLPE), 2017.
  1. A. Deb, R. Wille, O. Keszocze, S. Shirinzadeh, and R. Drechsler. Synthesis of Optical Circuits Using Binary Decision Diagrams. INTEGRATION, the VLSI Journal, 2017.
  1. A. Grimmer, J. Clemens, and R. Wille. Formal methods for reasoning and uncertainty reduction in evidential grid maps. International Journal of Approximate Reasoning (IJAR), 2017. PDF.
  1. P. Gonzalez-de-Aledo, N. Przigoda, R. Wille, R. Drechsler, and P. Sanchez. Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 36(3):475–488, 2017. DOI.
  1. N. Przigoda, M. Soeken, R. Wille, and R. Drechsler. Verifying the Structure and Behavior in UML/OCL Models Using Satisfiability Solvers. Cyber-Physical Systems: Theory & Applications, 1(1):49–59, 2016. DOI.
  1. A. Deb, R. Wille, O. Keszocze, S. Hillmich, and R. Drechsler. Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits. Journal on Emerging Technologies in Computing Systems (JETC), 13(1):, 2016. DOI.
  1. A. Paler, A. G. Fowler, and R. Wille. Reliable quantum circuits have defects. ACM Crossroads, 23(1):34–38, 2016. DOI.
  1. A. Paler, R. Wille, and S. J. Devitt. Wire recycling for quantum circuit optimization. Physical Review A, 2016.
  1. M. Soeken, R. Wille, O. Keszocze, D. M. Miller, and Rolf Drechsler. Embedding of Large Boolean Functions for Reversible Logic. Journal on Emerging Technologies in Computing Systems (JETC), 12(4):, 2016. DOI.
  1. A. Deb, D. K. Das, H. Rahaman, R. Wille, R. Drechsler, and B. B. Bhattacharya. Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability. Journal on Emerging Technologies in Computing Systems (JETC), 12(4):, 2016. DOI.
  1. N. Przigoda, R. Wille, and R. Drechsler. Analyzing Inconsistencies in UML/OCL Models. Journal of Circuits, Systems and Computers (JCSC), 25(3):, 2016. DOI.
  1. R. Wille, E. Schonborn, M. Soeken, and R. Drechsler. SyReC: A Hardware Description Language for the Specification and Synthesis of Reversible Circuits. INTEGRATION, the VLSI Journal, 53(3):39–53, 2016. DOI.
  1. P. Niemann, R. Wille, D. M. Miller, M. A. Thornton, and R. Drechsler. QMDDs: Efficient Quantum Function Representation and Manipulation. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 35(1):86–99, 2016. DOI.
  1. R. Wille, O. Keszocze, T. Boehnisch, A. Kroker, and R. Drechsler. Scalable One-Pass Synthesis for Digital Microfluidic Biochips. IEEE Design & Test, 32(6):41–50, 2015. DOI.
  1. R. Wille, A. Lye, and R. Drechsler. Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 33(12):1818–1831, 2014. DOI.
  1. R. Wille, M. Soeken, D. M. Miller, and R. Drechsler. Trading Off Circuit Lines and Gate Costs in the Synthesis of Reversible Logic. INTEGRATION, the VLSI Journal, 47(2):284–294, 2014. PDF.
  1. R. Wille, A. Lye, and R. Drechsler. Considering Nearest Neighbor Constraints of Quantum Circuits at the Reversible Circuit Level. Quantum Information Processing, 13(2):185–199, 2014. PDF.
  1. R. Wille, M. Soeken, N. Przigoda, and R. Drechsler. Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits. Multiple-Valued Logic and Soft Computing (MVLSC), 21(5–6):627–640, 2013.
  1. M. Soeken, S. Frehse, R. Wille, and R. Drechsler. RevKit: An Open Source Toolkit for the Design of Reversible Circuits. Reversible Computation 2011 (Series: Lecture Notes in Computer Science), 7165(1):64–76, 2012. PDF.
  1. M. Soeken, S. Frehse, R. Wille, and R. Drechsler. A Toolkit for Reversible Circuit Design. Multiple-Valued Logic and Soft Computing (MVLSC), 18(1):55–65, 2012.
  1. M. Saeedi, R. Wille, and R. Drechsler. Synthesis of Quantum Circuits for Linear Nearest Neighbor Architectures. Quantum Information Processing, 10(3):355–377, 2011. PDF.
  1. R. Wille, D. Große, S. Frehse, G. W. Dueck, and R. Drechsler. Debugging Reversible Circuits. INTEGRATION, the VLSI Journal, 44(1):51–61, 2011. DOI.
  1. R. Wille and R. Drechsler. BDD-Based Synthesis of Reversible Logic. International Journal of Applied Metaheuristic Computing (IJAMC), 1(4):25–41, 2010. Invited Paper.
  1. R. Wille and R. Drechsler. Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic. Electronic Notes in Theoretical Computer Science (ENTCS), 253(6):57–70, 2010. DOI.
  1. Robert Wille and Rolf Drechsler. Synthese reversibler logik. it – Information Technology, 52(1):30–38, 2010. PDF.
  1. D. Große, R. Wille, G.W. Dueck, and R. Drechsler. Exact Synthesis of Elementary Quantum Gate Circuits. Multiple-Valued Logic and Soft Computing (MVLSC), 15(4):283–300, 2009.
  1. D. Große, R. Wille, G.W. Dueck, and R. Drechsler. Exact Multiple Control Toffoli Network Synthesis with SAT Techniques. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 28(5):703–715, 2009. DOI.
  1. R. Wille, G. Fey, and R. Drechsler. Building Free Binary Decision Diagrams Using SAT Solvers. Facta Universitatis, Series: Electronics and Energetics, 20(3):381–394, 2007.

Conferences

  1. L. Schmid, S. Park, and R. Wille. Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers. In Design Automation Conference (DAC). 2024. Acceptance rate: 23%. arXiv:2311.14164.
  1. K. Mato, S. Hillmich, and R. Wille. Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams. In Design Automation Conference (DAC). 2024. Acceptance rate: 23%.
  1. J. Kunasaikaran, K. Mato, and R. Wille. A Framework for the Design and Realization of Alternative Superconducting Quantum Architectures. In International Symposium on Multiple-Valued Logic (ISMVL). 2024. arXiv:2305.07052.
  1. S. Hofmann, M. Walter, L. Servadei, and R. Wille. Thinking Outside the Clock: Physical Design for Field-coupled Nanocomputing with Deep Reinforcement Learning. In International Symposium on Quality Electronic Design (ISQED). 2024. PDF.
  1. M. Emmerich, P. Ebner, and R. Wille. Design Automation for Organs-on-Chip. In Design, Automation and Test in Europe (DATE). 2024. Acceptance rate: 32%. PDF.
  1. D. Schoenberger, S. Hillmich, M. Brandl, and R. Wille. Towards Cycle-based Shuttling for Trapped-Ion Quantum Computers. In Design, Automation and Test in Europe (DATE). 2024. Acceptance rate: 32%. PDF.
  1. M. Walter, J. Croshaw, S. S. H. Ng, K. Walus, R. Wolkow, and R. Wille. Towards Atomic Defect-Aware Physical Design of Silicon Dangling Bond Logic on the H-Si(100)-2x1 Surface. In Design, Automation and Test in Europe (DATE). 2024. Acceptance rate: 32%. PDF.
  1. S. Hofmann, M. Walter, and R. Wille. MNT Bench: Benchmarking Software and Layout Libraries for Field-coupled Nanocomputing. In Design, Automation and Test in Europe (DATE). 2024. PDF.
  1. S. Engels and R. Wille. Late Breaking Results: Iterative Design Automation for Train Control with Hybrid Train Detection. In Design, Automation and Test in Europe (DATE). 2024. PDF.
  1. D. Schoenberger, S. Hillmich, M. Brandl, and R. Wille. Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2024. Acceptance rate: 29%. PDF.
  1. J. Drewniok, M. Walter, and R. Wille. The Need for Speed: Efficient Exact Simulation of Silicon Dangling Bond Logic. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2024. Acceptance rate: 29%. PDF.
  1. S. Hofmann, M. Walter, and R. Wille. Post-Layout Optimization for Field-coupled Nanotechnologies. In International Symposium on Nanoscale Architectures (NANOARCH). 2023. PDF.
  1. M. Walter, J. Drewniok, S. S. H. Ng, K. Walus, and R. Wille. Reducing the Complexity of Operational Domain Computation in Silicon Dangling Bond Logic. In International Symposium on Nanoscale Architectures (NANOARCH). 2023. PDF.
  1. J. Drewniok, M. Walter, and R. Wille. Minimal Design of SiDB Gates: An Optimal Basis for Circuits Based on Silicon Dangling Bonds. In International Symposium on Nanoscale Architectures (NANOARCH). 2023. PDF.
  1. A. Fusco, M. Krueger, L. Servadei, and R. Wille. A Deep Learning Approach for Artifact Suppression in MEMS-based Airborne Ultrasonic Transceivers. In IEEE International Ultrasonics Symposium (IUS). 2023.
  1. A. Fusco, M. Krueger, C. Bretthauer, A. Froemel, L. Servadei, and R. Wille. Overcoming In-band Interference in Airborne Ultrasounds: A Robust System Design. In IEEE International Ultrasonics Symposium (IUS). 2023.
  1. A. Fusco, M. Akkus, N. Vysotskaya, S. Hazra, L. Servadei, A. Maier, and R. Wille. RadarSleepNet: Sleep Pose Classification via PointNet++ and 5D Radar Point Clouds. In IEEE Microwave, Antennas, and Propagation Conference (MAPCON). 2023.
  1. H. Sun, H. Feng, G. Stettinger, L. Servadei, and R. Wille. Multi-Task Cross-Modality Attention-Fusion for 2D Object Detection. In IEEE International Conference on Intelligent Transportation Systems (ITSC). 2023.
  1. S. Engels, T. Peham, and R. Wille. A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy. In Symposium on Algorithmic Approaches for Transportation Modeling, Optimization and Systems (ATMOS). 2023. DOI, PDF.
  1. T. Peham, N. Brandl, R. Kueng, R. Wille, and L. Burgholzer. Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2023. PDF.
  1. A. Sander, L. Burgholzer, and R. Wille. Towards Hamiltonian Simulation with Decision Diagrams. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2023. arXiv:2305.02337, PDF.
  1. K. Mato, S. Hillmich, and R. Wille. Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2023. PDF.
  1. N. Quetschlich, V.Koch, L. Burgholzer, and R. Wille. A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2023. arXiv:2308.00029, PDF.
  1. N. Quetschlich, L. Burgholzer, and R. Wille. Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2023. arXiv:2305.04941, PDF.
  1. M. Schulz, L. Schulz, M. Ruefenacht, and R. Wille. Towards the Munich Quantum Software Stack: Enabling Efficient Access and Tool Support for Quantum Computers. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2023. DOI.
  1. T. Mitteramskogler, A. Fuchsluger, R. Ecker, T. Wilfinger, B. Jakoby, and R. Wille. Contact Angle Measurement Through Liquid Flow in Curved Open Microchannels. In European Conference on Sensory and Consumer Research. 2023.
  1. T. Sukianto, S. A. Schober, and C. Carbonelli R. Wille. Neural Network Approaches for Distributional Shifts in Environmental Sensors. In European Conference on Sensory and Consumer Research. 2023.
  1. G. Fink, F. Costamoling, P. Ebner, and R. Wille. Efficient Simulation of Droplet Merging in Channel-based Microfluidic Devices. In Euromicro Conference on Digital System Design (DSD). 2023. PDF.
  1. P. Ebner and R. Wille. CFD for Microfluidics: A Workflow for Setting Up the Simulation of Microfluidic Devices. In Euromicro Conference on Digital System Design (DSD). 2023. PDF.
  1. S. Hofmann, M. Walter, L. Servadei, and R. Wille. Late Breaking Results From Hybrid Design Automation for Field-coupled Nanotechnologies. In Design Automation Conference (DAC). 2023. Acceptance rate: 23%. PDF.
  1. N. Quetschlich, L. Burgholzer, and R. Wille. Compiler Optimization for Quantum Computing Using Reinforcement Learning. In Design Automation Conference (DAC). 2023. Acceptance rate: 23%. arXiv:2212.04508, PDF.
  1. V. M. van Santen, M. Walter, F. Klemme, S. S. Parihar, G. Pahwa, Y. Chauhan, R. Wille, and H. Amrouch. Design Automation for Cryogenic CMOS Circuits. In Design Automation Conference (DAC). 2023. Acceptance rate: 23%. PDF.
  1. J. Drewniok, M. Walter, S. S. H. Ng, K. Walus, and R. Wille. QuickSim: Efficient and Accurate Physical Simulation of Silicon Dangling Bond Logic. In IEEE International Conference on Nanotechnology (IEEE Nano). 2023. PDF.
  1. J. Drewniok, M. Walter, and R. Wille. Temperature Behavior of Silicon Dangling Bond Logic. In IEEE International Conference on Nanotechnology (IEEE Nano). 2023. PDF.
  1. S. Hofmann, M. Walter, and R. Wille. Scalable Physical Design for Silicon Dangling Bond Logic: How a 45° Turn Prevents the Reinvention of the Wheel. In IEEE International Conference on Nanotechnology (IEEE Nano). 2023. PDF.
  1. K. Mato, S. Hillmich, and R. Wille. Compression of Qubit Circuits: Mapping to Mixed-Dimensional Quantum Systems. In IEEE International Conference on Quantum Software (QSW). 2023. PDF.
  1. N. Quetschlich, L. Burgholzer, and R. Wille. Predicting Good Quantum Circuit Compilation Options. In IEEE International Conference on Quantum Software (QSW). 2023. arXiv:2210.08027, PDF.
  1. B. Poggel, N. Quetschlich, L. Burgholzer, R. Wille, and J. Lorenz. Recommending Solution Paths for Solving Optimization Problems with Quantum Computing. In IEEE International Conference on Quantum Software (QSW). 2023. arXiv:2212.11127, PDF.
  1. M. Walter, B. Hien, and R. Wille. Versatile Signal Distribution Networks for Scalable Placement and Routing of Field-coupled Nanocomputing Technologies. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI). 2023. PDF.
  1. J. Ott, L. Servadei, J. Arjone-Medina, E. Rinaldi, G. Mauro, D. Sanchez Lopera, M. Stephan, T. Stadelmayer, A. Santra, and R. Wille. MEET: A Monte Carlo Exploration-Exploitation Trade-off for Buffer Sampling. In International Conference on Acoustics, Speech and Signal Processing (ICASSP). 2023.
  1. T. Grurl, J. Fuß, and R. Wille. Optimized Density Matrix Representations: Improving the Basis for Noise-Aware Quantum Circuit Design Tools. In International Symposium on Multiple-Valued Logic (ISMVL). 2023. PDF.
  1. N. Quetschlich, L. Burgholzer, and R. Wille. Towards an Automated Framework for Realizing Quantum Computing Solutions. In International Symposium on Multiple-Valued Logic (ISMVL). 2023. arXiv:2210.14928, PDF.
  1. S. Seifi, S. A. Schober, C. Carbonelli, L. Servadei, and R. Wille. Detection of Sensor-To-Sensor Variations using Explainable AI. In Smart Systems Integration Conference and Exhibition (SSICE). 2023. PDF.
  1. L. Vinkhuijzen, T. Grurl, S. Hillmich, S. Brand, R. Wille, and A. Laarman. Efficient Implementation of LIMDDs for Quantum Circuit Simulation. In International Symposium on Model Checking of Software (SPIN). 2023. PDF.
  1. M. Artner, G. Wallner, and R. Wille. Introducing QRogue: Teaching Quantum Computing Using a Rogue-like Game Concept. In Foundations of Digital Games (FDG). 2023. PDF.
  1. R. Wille and L. Burgholzer. MQT QMAP: Efficient Quantum Circuit Mapping. In International Symposium on Physical Design (ISPD). 2023. Invited Paper. PDF.
  1. T. Peham, L. Burgholzer, and R. Wille. Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2023. Acceptance rate: 31%. PDF.
  1. L. Berent, L. Burgholzer, and R. Wille. Software Tools for Decoding Quantum Low-Density Parity Check Codes. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2023. Acceptance rate: 31%. arXiv:2209.01180.
  1. L. Burgholzer and R. Wille. Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2023. Acceptance rate: 31%. PDF.
  1. S. Schneider, L. Burgholzer, and R. Wille. A SAT Encoding for Optimal Clifford Circuit Synthesis. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2023. Acceptance rate: 31%, Best Paper Award Candidate. PDF.
  1. K. Mato, M. Ringbauer, S. Hillmich, and R. Wille. Compilation of Entangling Gates for High-Dimensional Quantum Systems. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2023. Acceptance rate: 31%. PDF.
  1. T. Grurl, C. Pichler, J. Fuß, and R. Wille. Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for Quantum Error Correction. In International Conference on VLSI Design (VLSI Design). 2023. Received Best Student Paper Award. PDF.
  1. W. Lambooy, M. Walter, and R. Wille. Exploiting the Third Dimension: Stackable Quantum-dot Cellular Automata. In International Symposium on Nanoscale Architectures (NANOARCH). 2022. PDF.
  1. M. Walter and R. Wille. Efficient Multi-Path Signal Routing for Field-coupled Nanotechnologies. In International Symposium on Nanoscale Architectures (NANOARCH). 2022. PDF.
  1. J. Ott, L. Servadei, G. Mauro, T. Stadelmayer, A. Santra, and R. Wille. Uncertainty-based Meta-Reinforcement Learning for Robust Radar Tracking. In International Conference on Machine Learning and Applications (ICMLA). 2022. PDF.
  1. H. Sun, L. Servadei, H. Feng, M. Stephan, R. Wille, and A. Santra. Utilizing Explainable AI for improving the Performance of Neural Networks. In International Conference on Machine Learning and Applications (ICMLA). 2022. PDF.
  1. S. Goswami, C. Bretthauer, A. Bogner, A. Basavana, S. Anzinger, M. Haubold, G. Lorenz, J. Strasser, D. Weber, L. Servadei, and R. Wille. MEMS-based Vibration Sensor in Single-Backplate Technology. In IEEE SENSORS. 2022. PDF.
  1. M. Takken and R. Wille. Improved Performance of Two-phase Microfluidic Fuel Cells Using Nanostructures: A Numerical Study. In International Conference on Miniaturized Systems for Chemistry and Life Sciences (µTAS). 2022. PDF.
  1. K. Mato, M. Ringbauer, S. Hillmich, and R. Wille. Adaptive Compilation of Multi-Level Quantum Operations. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2022. arXiv:2206.03842, PDF.
  1. T. Mitteramskogler, R. Ecker, P. Ebner, T. Wilfinger, A. Tröls, B. Jakoby, and R. Wille. Automated Open Microfluidic Design for Contact Angle Measurement. In International Conference on Micro and Nano Engineering (MNE). 2022.
  1. L. Berent, L. Burgholzer, and R. Wille. Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond. In International Conference on Theory and Applications of Satisfiability Testing (SAT). 2022. PDF.
  1. S. Hillmich, L. Burgholzer, F. Stögmüller, and R. Wille. Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. In Conference on Reversible Computation (RC). 2022. PDF.
  1. A. Ghosh, D. Kundu, S. Poddar, S. Yamashita, R. Wille, and S. Roy. Microfluidic Dilution by Recycling Arbitrary Stock Solutions using Various Mixing Models. In International Symposium on Devices, Circuits and Systems (ISDCS). 2022.
  1. L. Burgholzer and R. Wille. Handling Non-Unitaries in Quantum Circuit Equivalence Checking. In Design Automation Conference (DAC). 2022. Acceptance rate: 23%. PDF.
  1. M. Walter, S. S. Hang Ng, K. Walus, and R. Wille. Hexagons are the Bestagons: Design Automation for Silicon Dangling Bond Logic. In Design Automation Conference (DAC). 2022. Acceptance rate: 23%. PDF.
  1. T. Peham, L. Burgholzer, and R. Wille. Equivalence checking paradigms in quantum circuit design: A case study. In Design Automation Conference (DAC). 2022. Acceptance rate: 23%. PDF.
  1. A. Biuki, N. Mohammadzadeh, R. Wille, and S. Sargaran. Exact Mapping of Quantum Circuit Partitions to Building Blocks of the SAQIP Architecture. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI). 2022. PDF.
  1. S. A. Schober, C. Carbonelli, and R. Wille. Gas Discrimination Analysis of Neural Network Algorithms for a Graphene-Based Electronic Nose. In International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications (CIVEMSA). 2022.
  1. G. Fink, M. Hamidovic, W. Haselmayr, and R. Wille. A Concept Towards Pressure-Controlled Microfluidic Networks. In International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). 2022. PDF.
  1. L. Servadei, H. Sun, J. Ott, M. Stephan, S. Hazra, T. Stadelmayer, D. S. Lopera, R. Wille, and A. Santra. Label-Aware Ranked Loss for Robust People Counting Using Automotive In-Cabin Radar. In International Conference on Acoustics, Speech and Signal Processing (ICASSP). 2022. PDF.
  1. T. Peham, J. Przigoda, N. Przigoda, and R. Wille. Optimal Railway Routing Using Virtual Subsections. In International Conference on Reliability, Safety and Security of Railway Systems (RSSRAIL). 2022. DOI, PDF.
  1. L. Burgholzer, A. Ploier, and R. Wille. Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams. In Design, Automation and Test in Europe (DATE). 2022. Acceptance rate: 34%. PDF.
  1. G. Fink, P. Ebner, and R. Wille. Comprehensive and Accessible Channel Routing for Microfluidic Devices. In Design, Automation and Test in Europe (DATE). 2022. Acceptance rate: 34%, Best Paper Award Candidate. PDF.
  1. L. Burgholzer, S. Schneider, and R. Wille. Limiting the Search Space in Optimal Quantum Circuit Mapping. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2022. Acceptance rate: 36%. PDF.
  1. G. Fink, P. Ebner, S. Poddar, and R. Wille. Improving the Robustness of Microfluidic Networks. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2022. Acceptance rate: 36%. PDF.
  1. X. Huang, Y. Pan, Z. Chen, W. Guo, R. Wille, T.-Y. Ho, and Ulf Schlichtmann. BigIntegr: One-Pass Architectural Synthesis for Continuous-Flow Microfluidic Lab-on-a-Chip Systems. In International Conference on Computer Aided Design (ICCAD). 2021. Acceptance rate: 24%.
  1. Y. Bahri, S. A. Schober, C. Carbonelli, and R. Wille. Temperature Stability Investigations of Neural Network Models for Graphene-Based Gas Sensor Devices. In International Electronic Conference on Sensors and Applications (ECSA). 2021.
  1. S. Hillmich, C. Hadfield, R. Raymond, A. Mezzacapo, and R. Wille. Decision Diagrams for Quantum Measurements with Shallow Circuits. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2021. PDF.
  1. L. Burgholzer, H. Bauer, and R. Wille. Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2021. PDF.
  1. T. Mitteramskogler, G. Fink, M. Hintermüller, B. Jakoby, and R. Wille. Design Automation for Microfluidic Concentration Gradient Generators. In International Conference on Micro and Nano Engineering (MNE). 2021.
  1. M. Hamidovic, G. Fink, R. Wille, A. Springer, and W. Haselmayr. Practical Assessment of Payload– Header Switching in Microfluidic Networks. In International Conference on Nanoscale Computing and Communication (NanoCom). 2021.
  1. L. Burgholzer, R. Raymond, I. Sengupta, and R. Wille. Efficient Construction of Functional Representations for Quantum Algorithms. In Conference on Reversible Computation (RC). 2021. PDF.
  1. S. A. Schober, C. Carbonelli, and R. Wille. Simulating Defects in Environmental Sensor Networks Using Stochastic Sensor Models. In International Symposium on Sensor Science (I3S). 2021.
  1. T. Grurl, J. Fuß, and R. Wille. Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams. In International Symposium on Multiple-Valued Logic (ISMVL). 2021. PDF.
  1. S. Pointner, S. Wenzek, and R. Wille. SMT-Based Placement for System-on-Chip Design. In IEEE International Symposium on Circuits and Systems (ISCAS). 2021. PDF.
  1. R. Wille, T. Peham, J. Przigoda, and N. Przigoda. Towards Automatic Design and Verification for Level 3 of the European Train Control System. In Design, Automation and Test in Europe (DATE). 2021. Acceptance rate: 24%. DOI, PDF.
  1. S. Hillmich, R. Kueng, I. L. Markov, and R. Wille. As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation. In Design, Automation and Test in Europe (DATE). 2021. Acceptance rate: 24%, Best Paper Award Candidate. PDF.
  1. T. Grurl, R. Kueng, J. Fuß, and R. Wille. Stochastic Quantum Circuit Simulation Using Decision Diagrams. In Design, Automation and Test in Europe (DATE). 2021. Acceptance rate: 24%. PDF.
  1. O. Keszocze, N. Mohammadzadeh, and R. Wille. Exact Physical Design of Quantum Circuits for Ion-Trap-based Quantum Architectures. In Design, Automation and Test in Europe (DATE). 2021. Acceptance rate: 24%. PDF.
  1. S. Poddar, G. Fink, W. Haselmayr, and R. Wille. Generic Sample Preparation for Different Microfluidic Platforms. In Design, Automation and Test in Europe (DATE). 2021. Acceptance rate: 36% (IP). PDF.
  1. F. Bornebusch, C. Lüth, R. Wille, and R. Drechsler. Performance Aspects of Correctness-oriented Synthesis Flows. In Int’l Conf. on Model-Driven Engineering and Software Development (MODELSWARD). 2021.
  1. L. Burgholzer, R. Kueng, and R. Wille. Random Stimuli Generation for the Verification of Quantum Circuits. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2021. Acceptance rate: 34%. PDF.
  1. G. Fink, P. Ebner, M. Hamidovic, W. Haselmayr, and R. Wille. Accurate and Efficient Simulation of Microfluidic Networks. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2021. Acceptance rate: 34%. PDF.
  1. M. Walter, W. Haaswijk, R. Wille, F. Sill Torres, and R. Drechsler. One-Pass Synthesis for Field-coupled Nanocomputing Technologies. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2021. Acceptance rate: 34%, Best Paper Award Candidate. PDF.
  1. S. Hillmich, A. Zulehner, and R. Wille. Exploiting Quantum Teleportation in Quantum Circuit Mapping. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2021. Acceptance rate: 34%. PDF.
  1. S. A. Schober, C. Carbonelli, A. Roth, A. Zoepfl, and R. Wille. Towards Drift Modeling of Graphene-Based Gas Sensors Using Stochastic Simulation Techniques. In IEEE SENSORS. 2020. PDF.
  1. T. Grurl, J. Fuß, and R. Wille. Considering Decoherence Errors in the Simulation of Quantum Circuits Using Decision Diagrams. In International Conference on Computer Aided Design (ICCAD). 2020. Acceptance rate: 24%. PDF.
  1. L. Burgholzer, R. Raymond, and R. Wille. Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2020. PDF.
  1. C. Bandyopadhyay, R. Wille, R. Drechsler, and H. Rahaman. Post Synthesis-Optimization of Reversible Circuits using Template Matching. In International Symposium on VLSI Design and Test (VDAT). 2020.
  1. U. Garlando, M. Walter, R. Wille, F. Riente, F. Sill Torres, and R. Drechsler. ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing. In Euromicro Conference on Digital System Design (DSD). 2020.
  1. L. Burgholzer and R. Wille. The Power of Simulation for Equivalence Checking in Quantum Computing. In Design Automation Conference (DAC). 2020. Acceptance rate: 23%. PDF.
  1. S. Hillmich, I. Markov, and R. Wille. Just Like the Real Thing: Fast Weak Simulation of Quantum Computation. In Design Automation Conference (DAC). 2020. Acceptance rate: 23%. PDF.
  1. M. Walter, R. Wille, F. Sill Torres, D. Große, and R. Drechsler. Verification for Field-coupled Nanocomputing Circuits. In Design Automation Conference (DAC). 2020. Acceptance rate: 23%. PDF.
  1. M. Walter and R. Drechsler. Design Automation for Field-coupled Nanotechnologies. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 176–181. 2020. Best Student Research Forum Award. PDF.
  1. M. Walter, R. Wille, F. Sill Torres, and R. Drechsler. Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI). 2020. Best Paper Award Candidate. PDF.
  1. L. Servadei, E. Mosca, K. Devarajegowda, M. Werner, W. Ecker, and R. Wille. Cost Estimation for Configurable Model-Driven SoC Designs Using Machine Learning. In Great Lakes Symposium on VLSI (GLVLSI). 2020. PDF.
  1. R. Wille, S. Hillmich, and L. Burgholzer. Efficient and Correct Compilation of Quantum Circuits. In IEEE International Symposium on Circuits and Systems (ISCAS). 2020. PDF.
  1. T. Grurl, J. Fuß, L. Burgholzer, S. Hillmich, and R. Wille. Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators. In International Symposium on Multiple-Valued Logic (ISMVL). 2020. PDF.
  1. A. Bhattacharjee, C. Bandypoadhyay, R. Wille, R. Drechsler, and H. Rahaman. Efficient Implementation of Nearest Neighbor Quantum Circuits Using Clustering with Genetic Algorithm. In International Symposium on Multiple-Valued Logic (ISMVL). 2020.
  1. A. Deb, G. W. Dueck, and R. Wille. Towards Exploring the Potential of Alternative Quantum Computing Architectures. In Design, Automation and Test in Europe (DATE). 2020. Acceptance rate: 37%. PDF.
  1. M. Ring, F. Bornebusch, C. Lüth, R. Wille, and R. Drechsler. Verification Runtime Analysis: Get the Most Out of Partial Verification. In Design, Automation and Test in Europe (DATE). 2020. Acceptance rate: 37%. PDF.
  1. F. Bornebusch, C. Lüth, R. Wille, and R. Drechsler. Integer Overflow Detection in Hardware Designs at the Specification Level. In Int’l Conf. on Model-Driven Engineering and Software Development (MODELSWARD). 2020. PDF.
  1. L. Burgholzer and R. Wille. Improved Equivalence Checking of Quantum Circuits. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2020. Acceptance rate: 34%. PDF.
  1. A. Zulehner, S. Hillmich, I. Markov, and R. Wille. Approximation of Quantum States Using Decision Diagrams. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2020. Acceptance rate: 34%. PDF.
  1. S. Hillmich, A. Zulehner, and R. Wille. Concurrency in DD-based Quantum Circuit Simulation. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2020. Acceptance rate: 34%. PDF.
  1. F. Bornebusch, C. Lüth, R. Wille, and R. Drechsler. Towards Automatic Hardware Synthesis from Formal Specification to Implementation. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2020. Acceptance rate: 34%. PDF.
  1. T. Banerjee, S. Poddar, R. Wille, and B. B. Bhattacharya. Flow-Based Passive Microfluidic Architecture for Homogeneous Mixing. In International Symposium on Electronic System Design (ISED). 2019.
  1. R. Wille, M. Haghparast, S. Adarsh, and T. M. Towards HDL-based Synthesis of Reversible Circuits with No Additional Lines. In International Conference on Computer Aided Design (ICCAD). 2019. Acceptance rate: 25%. PDF.
  1. A. Zulehner, S. Hillmich, and R. Wille. How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computation. In International Conference on Computer Aided Design (ICCAD). 2019. Acceptance rate: 25%, Best Paper Award Candidate. PDF.
  1. M. Hamidovic, U. Marta, H. Bridle, G. Fink, R. Wille, A. Springer, and W. Haselmayr1. Simple and Passive Merging-On-Demand Method for Reaction Engineering in Droplet Microfluidics. In International Conference on Miniaturized Systems for Chemistry and Life Sciences (µTAS). 2019. PDF.
  1. S. Saeed, R. Wille, and R. Karri. Locking the Design of Building Blocks for Quantum Circuits. In Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES). 2019.
  1. G. Fink, M. Hamidovic, W. Haselmayr, and R. Wille. Towards Design Automation for Microfluidic Devices. In Conference on Micro Fluidic Handling Systems (MFHS). 2019.
  1. M. Hamidovic, U. Marta, G. Fink, R. Wille, A. Springer, and W. Haselmayr. Information Encoding in Droplet-Based Microfluidic Systems: First Practical Study. In International Conference on Nanoscale Computing and Communication (NanoCom). 2019.
  1. S. Pointner and Robert Wille. Did we Test Enough? Functional Coverage for Post-Silicon Validation. In International Test Conference in Asia (ITC-Asia). 2019. PDF.
  1. S. Pointner, O. Frank, C. Hazott, and Robert Wille. Test Your Test Programs Pre-Silicon: A Virtual Test Methodology for Industrial Design Flows. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI). 2019. PDF.
  1. F. Serajeh-Hassani, M. Sadrosadati, S. Pointner, R. Wille, and H. Sarbazi-Azad. Focus on What is Needed: Area and Power Efficient FPGAs Using Turn-Restricted Switch Boxes. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI). 2019. PDF.
  1. R. Wille, M. Walter, F. Sill Torres, D. Große, and R. Drechsler. Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-coupled Nanotechnologies. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI). 2019. PDF.
  1. A. Zulehner, H. Bauer, and R. Wille. Evaluating the Flexibility of A* for Mapping Quantum Circuits. In Conference on Reversible Computation (RC). 2019. PDF.
  1. R. Wille, L. Burgholzer, and A. Zulehner. Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations. In Design Automation Conference (DAC). 2019. Acceptance rate: 25%. PDF.
  1. S. Pointner, A. Grimmer, and R. Wille. Exact Stimuli Minimization for Simulation-Based Verification. In IEEE International Symposium on Circuits and Systems (ISCAS). 2019. PDF.
  1. A. Zulehner, P. Niemann, R. Drechsler, and R. Wille. One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits. In International Symposium on Multiple-Valued Logic (ISMVL). 2019. PDF.
  1. N. Przigoda, J. Przigoda, and R. Wille. The Four-valued Logic in UML/OCL Models: A New “Playground” for the MVL Community. In International Symposium on Multiple-Valued Logic (ISMVL). 2019. PDF.
  1. S. Pointner, P. Gonzalez de Aledo, and R. Wille. Generic Error Localization for the Electronic System Level. In International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). 2019. PDF.
  1. A. Zulehner and R. Wille. Matrix-Vector vs. Matrix-Matrix Multiplication: Potential in DD-based Simulation of Quantum Computations. In Design, Automation and Test in Europe (DATE). 2019. Acceptance rate: 35%. PDF.
  1. M. Ring, F. Bornebusch, C. Lüth, R. Wille, and R. Drechsler. Better Late Than Never Verification of Embedded Systems After Deployment. In Design, Automation and Test in Europe (DATE). 2019. Acceptance rate: 35%, Best Paper Award Candidate. PDF.
  1. L. Servadei, E. Zennaro, K. Devarajegowda, M. Manzinger, W. Ecker, and R. Wille. Accurate Cost Estimation of Memory Systems Inspired by Machine Learning for Computer Vision. In Design, Automation and Test in Europe (DATE). 2019. Acceptance rate: 35%. PDF.
  1. A. Zulehner, P. Niemann, R. Drechsler, and R. Wille. Accuracy and Compactness in Decision Diagrams for Quantum Computation. In Design, Automation and Test in Europe (DATE). 2019. Acceptance rate: 35%. PDF.
  1. K. Verma, J. Oder, and R. Wille. Simulating Industrial Electrophoretic Deposition on Distributed Memory Architectures. In Euromicro Conference on Parallel, Distributed, and Network-Based Processing (PDP). 2019. PDF.
  1. A. Zulehner and R. Wille. Compiling SU(4) Quantum Circuits to IBM QX Architectures. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2019. Acceptance rate: 35%, Method won the IBM Developers Challenge 2018. PDF.
  1. A. Zulehner, M. Frank, and R. Wille. Design Automation for Adiabatic Circuits. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2019. Acceptance rate: 35%. PDF.
  1. A. Zulehner, K. Datta, I. Sengupta, and R. Wille. A Staircase Structure for Scalable and Efficient Synthesis of Memristor-Aided Logic. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2019. Acceptance rate: 35%, Best Paper Award Candidate. PDF.
  1. Z. Zhong, R. Wille, and K. Chakrabarty. Robust Sample Preparation on Low-Cost Digital Microfluidic Biochips. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2019. Acceptance rate: 35%. PDF.
  1. M. Walter, R. Wille, F. Sill Torres, D. Große, and R. Drechsler. Scalable Design for Field-coupled Nanocomputing Circuits. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2019. Acceptance rate: 35%. PDF.
  1. A. Bhattacharjee, C. Bandyopadhyay, R. Wille, R. Drechsler, and H. Rahaman. Improved Look-ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits. In International Conference on VLSI Design (VLSI Design). 2019. PDF.
  1. M. Hamidović, W. Haselmayr, A. Grimmer, and R. Wille. Droplet-on-Demand for Realizing Flexible and Programmable Lab-on-chip Devices. In International Conference on Miniaturized Systems for Chemistry and Life Sciences (µTAS), 2439–2440. 2018. PDF.
  1. Y. Zhu, B. Li, T.-Y. Ho, Q. Wang, H. Yao, R. Wille, and U. Schlichtmann. Multi-Channel and Fault-Tolerant Control Multiplexing for Flow-Based Microfluidic Biochips. In International Conference on Computer Aided Design (ICCAD). 2018. Acceptance rate: 25%. PDF.
  1. S. M. Saeed, X. Cui, A. Zulehner, R. Wille, R. Drechsler, K. Wu, and R. Karri. IC/IP Piracy Assessment of Reversible Logic. In International Conference on Computer Aided Design (ICCAD). 2018. Acceptance rate: 25%. PDF.
  1. K. Verma, C. Peng, K. Szewc, and R. Wille. A Multi-GPU PCISPH Implementation with Efficient Memory Transfers. In High Performance Extreme Computing Conference (HPEC). 2018. PDF.
  1. A. Zulehner and R. Wille. QMDD-based One-pass-design of Reversible Logic: Exploring the Available Degree of Freedom. In Conference on Reversible Computation (RC). 2018. PDF.
  1. M. Hamidovic, W. Haselmayr, A. Grimmer, R. Wille, and A. Springer. Comparison of Switching Principles in Microfluidic Bus Networks. In International Conference on Nanoscale Computing and Communication (NanoCom). 2018. PDF.
  1. F. Sill Torres, R. Wille, M. Walter, P. Niemann, D. Große, and R. Drechsler. Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata. In Euromicro Conference on Digital System Design (DSD). 2018. PDF.
  1. F. Sill Torres, M. Walter, R. Wille, D. Große, and R. Drechsler. Synchronization of Clocked Field-Coupled Circuits. In IEEE International Conference on Nanotechnology (IEEE Nano). 2018. PDF.
  1. K. Verma, L. Ayuso, and R. Wille. Parallel Simulation of Electrophoretic Deposition for Industrial Automotive Applications. In International Conference on High Performance Computing & Simulation (HPCS). 2018. PDF.
  1. A. Bhattacharjee, C. Bandyopadhyay, R. Wille, R. Drechsler, and H. Rahaman. A Novel Approach for Nearest Neighbor Realization of 2D Quantum Circuits. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI). 2018. PDF.
  1. Z. Al-Wardi, R. Wille, and R. Drechsler. Synthesis of Reversible Circuits Using Conventional Hardware Description Languages. In International Symposium on Multiple-Valued Logic (ISMVL). 2018. PDF.
  1. A. Zulehner, P. M. N. Rani, K. Datta, I. Sengupta, and R. Wille. Generalizing the Concept of Scalable Reversible Circuit Synthesis for Multiple-valued Logic. In International Symposium on Multiple-Valued Logic (ISMVL). 2018. PDF.
  1. R. Wille, P. Niemann, A. Zulehner, and R. Drechsler. Decision Diagrams for the Design of Reversible and Quantum Circuits. In International Symposium on Devices, Circuits and Systems (ISDCS). 2018. Invited Paper. PDF.
  1. M. Walter, R. Wille, D. Große, F. Sill Torres, and R. Drechsler. An Exact Method for Design Exploration of Quantum-dot Cellular Automata. In Design, Automation and Test in Europe (DATE). 2018. Acceptance rate: 35%. PDF.
  1. P. Niemann, R. Wille, and R. Drechsler. Improved Synthesis of Clifford+T Quantum Functionality. In Design, Automation and Test in Europe (DATE). 2018. Acceptance rate: 35%. PDF.
  1. A. Zulehner, A. Paler, and R. Wille. Efficient Mapping of Quantum Circuits to the IBM QX Architecture. In Design, Automation and Test in Europe (DATE). 2018. Acceptance rate: 35%. URL, arXiv:1712.04722, PDF.
  1. A. Zulehner and R. Wille. Pushing the Number of Qubits Below the “Minimum”: Realizing Compact Boolean Components for Quantum Logic. In Design, Automation and Test in Europe (DATE). 2018. Acceptance rate: 35%. PDF.
  1. S. Bhattacharjee, R. Wille, J.-D. Huang, and B. Bhattacharya. Storage-Aware Sample Preparation Using Flow-based Microfluidic Lab-on-Chip. In Design, Automation and Test in Europe (DATE). 2018. Acceptance rate: 35%. PDF.
  1. W. Haselmayr, M. Hamidovic, A. Grimmer, and R. Wille. Fast and Flexible Drug Screening Using a Pure Hydrodynamic Droplet Control. In European Conference on MicroFluidics. 2018. PDF.
  1. A. Grimmer, B. Klepic, T.-Y. Ho, and R. Wille. Sound Valve-Control for Programmable Microfluidic Devices. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2018. Acceptance rate: 32%. PDF.
  1. A. Zulehner and R. Wille. Exploiting Coding Techniques for Logic Synthesis of Reversible Circuits. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2018. Acceptance rate: 32%. PDF.
  1. P. Niemann, N. Przigoda, R. Wille, and R. Drechsler. Analyzing Frame Conditions in UML/OCL Models: Consistency, Equivalence, and Independence. In Int’l Conf. on Model-Driven Engineering and Software Development (MODELSWARD). 2018. PDF.
  1. O. Keszocze, M. Ibrahim, R. Wille, K. Chakrabarty, and R. Drechsler. Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochipse. In International Conference on VLSI Design (VLSI Design). 2018. PDF.
  1. F. Bornebusch, R. Wille, and R. Drechsler. Towards Lightweight Satisfiability Solvers for Self-Verification. In International Symposium on Electronic System Design (ISED). 2017. Invited Paper. PDF.
  1. S. M. Saeed, N. Mahendran, A. Zulehner, R. Wille, and R. Karri. Identifying Synthesis Approaches for IP Piracy of Reversible Circuits. In International Conference on Computer Design (ICCD). 2017. PDF.
  1. A. Kole, K. Datta, R. Wille, and I. Sengupta. A Nearest Neighbor Quantum Cost Metric for the Reversible Circuit Level. In IEEE Region Ten Conference (TENCON). 2017.
  1. A. Deb, R. Wille, and R. Drechsler. Dedicated Synthesis for MZI-based Optical Circuits based on AND-Inverter Graphs. In International Conference on Computer Aided Design (ICCAD). 2017. Acceptance rate: 24%. PDF.
  1. T. van Dijk, R. Wille, and R. Meolic. Tagged BDDs: Combining Reduction Rules from Different Decision Diagram Types. In International Conference on Formal Methods in CAD (FMCAD). 2017. PDF.
  1. N. Przigoda, P. Niemann, J. Peters, F. Hilken, R. Wille, and R. Drechsler. More than true or false: Native Support of Irregular Values in the Automatic Validation & Verification of UML/OCL Models. In International Conference on Formal Methods and Models for Codesign (MEMOCODE). 2017. PDF.
  1. K. Verma, K. Szewc, and R. Wille. Advanced Load Balancing for SPH Simulations on Multi-GPU Architectures. In High Performance Extreme Computing Conference (HPEC). 2017. Best Paper Finalist. PDF.
  1. M. Gogolla, F. Hilken, P. Niemann, and R. Wille. Formulating Model Verification Tasks Prover-Independently as UML Diagrams. In European Conference on Modelling Foundations and Applications (ECMFA). 2017. PDF.
  1. J. Stoppe, O. Keszocze, M. Luenert, R. Wille, and R. Drechsler. BioViz: An Interactive Visualization Engine for the Design Digital Microfluidic Biochips. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI). 2017. PDF.
  1. A. Zulehner and R. Wille. Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs. In Conference on Reversible Computation (RC). 2017. PDF.
  1. A. Zulehner, S. Gasser, and R. Wille. Exact Global Reordering for Nearest Neighbor Quantum Circuits Using A*. In Conference on Reversible Computation (RC). 2017. PDF.
  1. P. Niemann, A. Zulehner, R. Wille, and R. Drechsler. Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions. In Conference on Reversible Computation (RC). 2017. PDF.
  1. A. Kole, R. Wille, K. Datta, and I. Sengupta. Test Pattern Generation Effort Evaluation of Reversible Circuits. In Conference on Reversible Computation (RC). 2017. PDF.
  1. Z. Al-Wardi, R. Wille, and R. Drechsler. Towards VHDL-based Design of Reversible Circuits. In Conference on Reversible Computation (RC). 2017. PDF.
  1. A. Prakash Surhonne, A. Chattopadhyay, and R. Wille. Automatic Test Pattern Generation for Multiple Missing Gate Faults in Reversible Circuits. In Conference on Reversible Computation (RC). 2017. PDF.
  1. A. Rauchenecker, T. Ostermann, and R. Wille. Exploiting Reversible Logic Design for Implementing Adiabatic Circuits. In International Conference on Mixed Design of Integrated Circuits and Systems (MIXDES). 2017. PDF.
  1. A. Grimmer, W. Haselmayr, A. Springer, and R. Wille. A Discrete Model for Networked Labs-on-Chip: Linking the Physical World to Design Automation. In Design Automation Conference (DAC). 2017. Acceptance rate: 24%. PDF.
  1. W. Haselmayr, A. Biral, A. Grimmer, A. Zanella, A. Springer, and R. Wille. Addressing Multiple Nodes in Networked Lab-on-a-Chips without Payload Re-injection. In International Conference on Communications (ICC). 2017. Acceptance rate: 38%. PDF.
  1. A. Rauchenecker and R. Wille. An Efficient Physical Design of Fully-testable BDD-based Circuits. In International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). 2017. PDF.
  1. A. Zulehner and R. Wille. Skipping Embedding for Scalable Synthesis of Reversible Circuits. In International Symposium on Multiple-Valued Logic (ISMVL). 2017. PDF.
  1. A. Deb, R. Wille, and R. Drechsler. OR-Inverter Graphs for the Synthesis of Optical Circuits. In International Symposium on Multiple-Valued Logic (ISMVL). 2017. PDF.
  1. Z. Al-Wardi, R. Wille, and R. Drechsler. Extensions to the Reversible Hardware Description Language SyReC. In International Symposium on Multiple-Valued Logic (ISMVL). 2017. PDF.
  1. A. Grimmer, W. Haselmayr, A. Springer, and R. Wille. Verification of Networked Labs-on-Chip Architectures. In Design, Automation and Test in Europe (DATE). 2017. Acceptance rate: 24%. PDF.
  1. A. Zulehner and R. Wille. Taking One-to-one Mappings for Granted: Advanced Logic Design of Encoder Circuits. In Design, Automation and Test in Europe (DATE). 2017. Acceptance rate: 24%. PDF.
  1. A. Zulehner and R. Wille. Make It Reversible: Efficient Embedding of Non-reversible Functions. In Design, Automation and Test in Europe (DATE). 2017. Acceptance rate: 24%. PDF.
  1. W. Haselmayr, A. Grimmer, and R. Wille. Stochastic Computing Using Droplet-Based Microfluidics. In International Conference on Computer Aided Systems Theory (EUROCAST). 2017. PDF.
  1. A. Grimmer, Q. Wang, H. Yao, T.-Y. Ho, and R. Wille. Close-to-Optimal Placement and Routing for Continuous-Flow Microfluidic Biochips. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2017. Acceptance rate: 31%. PDF.
  1. O. Keszocze, Z. Li, A. Grimmer, R. Wille, K. Chakrabarty, and R. Drechsler. Exact Routing for Micro-Electrode-Dot-Array Digital Microfluidic Biochips. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2017. Acceptance rate: 31%. PDF.
  1. S. Huhn, S. Frehse, R. Wille, and R. Drechsler. Enhancing Robustness of Sequential Circuits Using Application-specific Knowledge and Formal Methods. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2017. Acceptance rate: 31%. PDF.
  1. R. Wille, O. Keszocze, L. Othmer, M. K. Thomsen, and R. Drechsler. Generating and Checking Control Logic in the HDL-based Design of Reversible Circuits. In International Symposium on Electronic System Design (ISED). 2016. PDF.
  1. S. Burman, K. Datta, R. Wille, I. Sengupta, and R. Drechsler. An Improved Gate Library for Logic Synthesis of Optical Circuits. In International Symposium on Electronic System Design (ISED). 2016. PDF.
  1. J. G. Filho, N. Przigoda, R. Wille, and R. Drechsler. Towards a Model-Based Verification Methodology for Complex Swarm Systems. In International Symposium on Electronic System Design (ISED). 2016. Invited Paper. PDF.
  1. J. Peters, N. Przigoda, R. Wille, and R. Drechsler. Clocks vs. Instants Relations: Verifying CCSL Time Constraints in UML/MARTE Models. In International Conference on Formal Methods and Models for Codesign (MEMOCODE). 2016. Acceptance rate: 26%. PDF.
  1. N. Przigoda, J. G. Filho, P. Niemann, R. Wille, and R. Drechsler. Frame Conditions in Symbolic Representations of UML/OCL Models. In International Conference on Formal Methods and Models for Codesign (MEMOCODE). 2016. Acceptance rate: 26%. PDF.
  1. N. Przigoda, R. Wille, and R. Drechsler. Ground Setting Properties for an Efficient Translation of OCL in SMT-based Model Finding. In International Conference on Model Driven Engineering Languages and Systems (MODELS). 2016. Acceptance rate: 24%. PDF.
  1. R. Wille, A. Chattopadhyay, and R. Drechsler. From Reversible Logic to Quantum Circuits: Logic Design for an Emerging Technology. In International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS). 2016. PDF.
  1. R. Wille, N. Quetschlich, Y. Inoue, N. Yasuda, and S. Minato. Using πDDs for Nearest Neighbor Optimization of Quantum Circuits. In Conference on Reversible Computation (RC). 2016. PDF.
  1. R. Wille, A. Lye, and P. Niemann. Checking Reversibility of Boolean Functions. In Conference on Reversible Computation (RC). 2016. PDF.
  1. R. Wille, Oliver Keszocze, Lars Othmer, Michael Kirkedal Thomsen, and Rolf Drechsler. Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs. In Conference on Reversible Computation (RC). 2016.
  1. J. Clemens, R. Wille, and K. Schill. Towards the exploitation of formal methods for information fusion. In Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications. 2016. PDF.
  1. F. Hilken, P. Niemann, M. Gogolla, and R. Wille. Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. In Modellierung. 2016. PDF.
  1. P. Niemann, R. Datta, and R. Wille. Logic Synthesis for Quantum State Generation. In International Symposium on Multiple-Valued Logic (ISMVL). 2016. PDF.
  1. Md. M. Rahman, G. W. Dueck, A. Chattopadhyay, and R. Wille. Integrated Synthesis of Linear Nearest Neighbor Ancilla-Free MCT Circuits. In International Symposium on Multiple-Valued Logic (ISMVL). 2016. PDF.
  1. L. Biswal, C. Bandyopadhyay, A. Chattopadhyay, R. Wille, R. Drechsler, and H. Rahaman. Nearest-Neighbor and Fault-Tolerant Quantum Circuit Implementation. In International Symposium on Multiple-Valued Logic (ISMVL). 2016. PDF.
  1. Z. Al-Wardi, R. Wille, and R. Drechsler. Re-writing HDL Descriptions for Line-aware Synthesis of Reversible Circuits. In International Symposium on Multiple-Valued Logic (ISMVL). 2016. PDF.
  1. N. Przigoda, G. W. Dueck, R. Wille, and R. Drechsler. Fault Detection in Parity Preserving Reversible Circuits. In International Symposium on Multiple-Valued Logic (ISMVL). 2016. PDF.
  1. L. Amaru, P.-E. Gaillardon, R. Wille, and G. De Micheli. Exploiting Inherent Characteristics of Reversible Circuits for Faster Combinational Equivalence Checking. In Design, Automation and Test in Europe (DATE). 2016. Acceptance rate: 34%. PDF.
  1. R. Wille, O. Keszocze, S. Hillmich, M. Walter, and A. Garcia-Ortiz. Synthesis of Approximate Coders for On-chip Interconnects Using Reversible Logic. In Design, Automation and Test in Europe (DATE). 2016. Acceptance rate: 34%. PDF.
  1. R. Wille, O. Keszocze, M. Walter, P. Rohrs, A. Chattopadhyay, and R. Drechsler. Look-ahead Schemes for Nearest Neighbor Optimization of 1D and 2D Quantum Circuits. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2016. Acceptance rate: 34%. PDF.
  1. L. Biswal, C. Bandyopadhyay, R. Wille, R. Drechsler, and H. Rahaman. Improving the Realization of Multiple-Control Toffoli Gates Using the NCVW Quantum Gate Library. In International Conference on VLSI Design (VLSI Design). 2016. Acceptance rate: 36%.
  1. R. Drechsler and R. Wille. Reversible Computation: An Alternative Computation Paradigm for Low Power Applications. In International Green and Sustainable Computing Conference (IGSC). 2015. Invited Paper. PDF.
  1. P. Niemann, F. Hilken, M. Gogolla, and R. Wille. Extracting Frame Conditions from Operation Contracts. In International Conference on Model Driven Engineering Languages and Systems (MODELS). 2015. Acceptance rate: 26%. PDF.
  1. N. Przigoda, C. Hilken, R. Wille, J. Peleska, and R. Drechsler. Checking Concurrent Behavior in UML/OCL Models. In International Conference on Model Driven Engineering Languages and Systems (MODELS). 2015. Acceptance rate: 26%. PDF.
  1. O. Keszocze, R. Wille, K. Chakrabarty, and R. Drechsler. A General and Exact Routing Methodology for Digital Microfluidic Biochips. In International Conference on Computer Aided Design (ICCAD). 2015. Acceptance rate: 26%. PDF.
  1. N. Przigoda, R. Wille, and R. Drechsler. Leveraging the Analysis for Invariant Independence in Formal System Models. In Euromicro Conference on Digital System Design (DSD). 2015. PDF.
  1. N. Przigoda, J. Stoppe, J. Seiter, R. Wille, and R. Drechsler. Verification-driven Design Across Abstraction Levels – A Case Study. In Euromicro Conference on Digital System Design (DSD). 2015. PDF.
  1. R. Drechsler, M. Fränzle, and R. Wille. Envisioning Self-Verification of Electronic Systems. In International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). 2015. PDF.
  1. P. Niemann, S. Basu, A. Chakrabarti, N. K. Jha, and R. Wille. Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions. In Conference on Reversible Computation (RC). 2015. PDF.
  1. Z. Al-Wardi, R. Wille, and R. Drechsler. Towards Line-aware Realizations of Expressions for HDL-based Synthesis of Reversible Circuits. In Conference on Reversible Computation (RC). 2015. PDF.
  1. A. Kole, K. Datta, I. Sengupta, and R. Wille. Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits. In Conference on Reversible Computation (RC). 2015. PDF.
  1. F. Hilken, P. Niemann, M. Gogolla, and R. Wille. From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. In International Conference on Model Transformation (ICMT). 2015. PDF.
  1. J. Peters, R. Wille, N. Przigoda, U. Kühne, and R. Drechsler. A Generic Representation of CCSL Time Constraints for UML/MARTE Models. In Design Automation Conference (DAC). 2015. Acceptance rate: 20%. PDF.
  1. N. Przigoda, R. Wille, and Rolf Drechsler. Contradiction Analysis for Inconsistent Formal Models. In International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). 2015. PDF.
  1. A. Deb, R. Wille, R. Drechsler, and D. Das. An Efficient Reduction of Common Control Lines for Reversible Circuit Optimization. In International Symposium on Multiple-Valued Logic (ISMVL). 2015. PDF.
  1. A. Allahyari-Abhari, R. Wille, and R. Drechsler. An Examination of the NCV-v1 Quantum Library Based on Minimal Circuits. In International Symposium on Multiple-Valued Logic (ISMVL). 2015. PDF.
  1. C. Hilken, J. Peleska, and R. Wille. A Unified Formulation of Behavioral Semantics for SysML Models. In Int’l Conf. on Model-Driven Engineering and Software Development (MODELSWARD). 2015. PDF.
  1. P. Niemann, F. Hilken, M. Gogolla, and R. Wille. Assisted Generation of Frame Conditions for Formal Models. In Design, Automation and Test in Europe (DATE), 309–312. 2015. Acceptance rate: 32%. PDF.
  1. J. Stoppe, R. Wille, and R. Drechsler. Automated Feature Localization for Dynamically Generated SystemC Designs. In Design, Automation and Test in Europe (DATE), 277–280. 2015. Acceptance rate: 32%. PDF.
  1. E. Schönborn, K. Datta, R. Wille, I. Sengupta, H. Rahaman, and R. Drechsler. BDD-based Synthesis for All-optical Mach-Zehnder Interferometer Circuits. In International Conference on VLSI Design (VLSI Design), 435–440. 2015.
  1. R. Wille, O. Keszocze, C. Hopfmuller, and R. Drechsler. Reverse BDD-based Synthesis for Splitter-free Optical Circuits. In Asia and South Pacific Design Automation Conference (ASP-DAC), 172–177. 2015. Acceptance rate: 34%. PDF.
  1. A. Lye, R. Wille, and R. Drechsler. Determining the Minimal Number of SWAP Gates for Multi-dimensional Nearest Neighbor Quantum Circuits. In Asia and South Pacific Design Automation Conference (ASP-DAC), 178–183. 2015. Acceptance rate: 34%. PDF.
  1. J. Seiter, R. Wille, U. Kühne, and R. Drechsler. Automatic Refinement Checking for Formal System Models. In Forum on Specification and Design Languages (FDL), 1–8. 2014. Best Paper Award Candidate. PDF.
  1. C. Hilken, J. Seiter, R. Wille, U. Kühne, and R. Drechsler. Verifying Consistency between Activity Diagrams and Their Corresponding OCL Contracts. In Forum on Specification and Design Languages (FDL), 1–7. 2014. PDF.
  1. O. Keszocze, B. Keiner, M. Richter, G. Antpöhler, and R. Wille. (Semi-)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications. In Special Session at the Forum on Specification and Design Languages (FDL). 2014. PDF.
  1. O. Keszöcze, R. Wille, and R. Drechsler. Exact Routing for Digital Microfluidic Biochips with Temporary Blockages. In International Conference on Computer Aided Design (ICCAD), 599–606. 2014. Acceptance rate: 25%. PDF.
  1. S. Yang, R. Wille, and R. Drechsler. Improving Coverage of Simulation-based Verification by Dedicated Stimuli Generation. In Euromicro Conference on Digital System Design (DSD), 599–606. 2014. PDF.
  1. S. Yang, R. Wille, and R. Drechsler. Determining Cases of Scenarios to Improve Coverage in Simulation-based Verification. In Symposium on Integrated Circuits and System Design (SBCCI). 2014. PDF.
  1. J. Stoppe, R. Wille, and R. Drechsler. Validating ESL Implementations Against Their Formal Specifications. In Symposium on Integrated Circuits and System Design (SBCCI). 2014. PDF.
  1. F. Hilken, P. Niemann, M. Gogolla, and R. Wille. Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. In International Conference on Tests & Proofs (TAP), 99–116. 2014. PDF.
  1. J. Peters, R. Wille, and R. Drechsler. Generating SystemC Implementations for Clock Constraints specified in UML/MARTE CCSL. In International Conference on Engineering of Complex Computer Systems (ICECCS), 116–125. 2014. Acceptance rate: 27%. PDF.
  1. P. Niemann, R. Wille, and R. Drechsler. Equivalence Checking in Multi-level Quantum Systems. In Conference on Reversible Computation (RC), 201–215. 2014. PDF.
  1. R. Wille, J. Stoppe, E. Schönborn, K. Datta, and R. Drechsler. RevVis: Visualization of Structures and Properties in Reversible Circuits. In Conference on Reversible Computation (RC), 111–124. 2014. PDF.
  1. E. Schönborn, K. Datta, R. Wille, I. Sengupta, H. Rahaman, and R. Drechsler. Optimizing DD-based Synthesis of Reversible Circuits using Negative Control Lines. In International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), 129–134. 2014. PDF.
  1. O. Keszöcze, R. Wille, T.-Y. Ho, and R. Drechsler. Exact One-pass Synthesis of Digital Microfluidic Biochips. In Design Automation Conference (DAC). 2014. Acceptance rate: 22%. PDF.
  1. R. Wille, A. Lye, and R. Drechsler. Optimal SWAP Gate Insertion for Nearest Neighbor Quantum Circuits. In Asia and South Pacific Design Automation Conference (ASP-DAC), 489–494. 2014. Acceptance rate: 31%. PDF.
  1. P. Niemann, R. Wille, and R. Drechsler. Efficient Synthesis of Quantum Circuits Implementing Clifford Group Operations. In Asia and South Pacific Design Automation Conference (ASP-DAC), 483–488. 2014. Acceptance rate: 31%, Best Paper Award Candidate. PDF.
  1. S. Eggersglüß, R. Wille, and Rolf Drechsler. Improved SAT-based ATPG: More Constraints, Better Compaction. In International Conference on Computer Aided Design (ICCAD), 85–90. 2013. Acceptance rate: 26%, Received Best Paper Award. PDF.
  1. R. Wille, N. Przigoda, and Rolf Drechsler. A Compact and Efficient SAT Encoding for Quantum Circuits. In IEEE AFRICON. 2013. PDF.
  1. R. Wille, S. Stelter, and R. Drechsler. Exploiting Reversibility in the Complete Simulation of Reversible Circuits. In IEEE AFRICON. 2013. PDF.
  1. J. Stoppe, R. Wille, and R. Drechsler. Cone of Influence Analysis at the Electronic System Level Using Machine Learning. In Euromicro Conference on Digital System Design (DSD), 582–587. 2013. PDF.
  1. S. Yang, R. Wille, D. Große, and R. Drechsler. Minimal Stimuli Generation in Simulation-based Verification. In Euromicro Conference on Digital System Design (DSD), 439–444. 2013. PDF.
  1. R. Wille and R. Drechsler. The SyReC Hardware Description Language: Enabling Scalable Synthesis of Reversible Circuits. In Midwest Symposium on Circuits and Systems. 2013.
  1. J. Stoppe, R. Wille, and R. Drechsler. Data Extraction from SystemC Designs using Debug Symbols and the SystemC API. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 26–31. 2013. PDF.
  1. P. Niemann, R. Wille, and R. Drechsler. On the “Q” in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-structure. In Conference on Reversible Computation (RC), 125–140. 2013. PDF.
  1. N. Abdessaied, R. Wille, M. Soeken, and R. Drechsler. Reducing the Depth of Quantum Circuits Using Additional Lines. In Conference on Reversible Computation (RC), 221–233. 2013. PDF.
  1. K. Datta, G. Rathi, R. Wille, I. Sengupta, H. Rahaman, and R. Drechsler. Exploiting Negative Control Lines in the Optimization of Reversible Circuits. In Conference on Reversible Computation (RC), 209–220. 2013. PDF.
  1. A. Deb, D. Kumar Das, H. Rahaman, B. B. Bhattacharya, R. Wille, and R. Drechsler. Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure. In Conference on Reversible Computation (RC), 182–195. 2013. PDF.
  1. R. Wille, H. Zhang, and R. Drechsler. Fault Ordering for Automatic Test Pattern Generation of Reversible Circuits. In International Symposium on Multiple-Valued Logic (ISMVL), 29–34. 2013. PDF.
  1. N. Abdessaied, M. Soeken, R. Wille, and R. Drechsler. Exact Template Matching Using Boolean Satisfiability. In International Symposium on Multiple-Valued Logic (ISMVL), 328–333. 2013. PDF.
  1. R. Wille, M. Gogolla, M. Soeken, M. Kuhlmann, and R. Drechsler. Towards a Generic Verification Methodology for System Models. In Design, Automation and Test in Europe (DATE), 1193–1196. 2013. Acceptance rate: 36%. PDF.
  1. J. Seiter, R. Wille, M. Soeken, and R. Drechsler. Determining Relevant Model Elements for the Verification of UML/OCL Specifications. In Design, Automation and Test in Europe (DATE), 1189–1192. 2013. Acceptance rate: 36%. PDF.
  1. R. Wille, M. Soeken, C. Otterstedt, and R. Drechsler. Improving the Mapping of Reversible Circuits to Quantum Circuits Using Multiple Target Lines. In Asia and South Pacific Design Automation Conference (ASP-DAC), 145–150. 2013. Acceptance rate: 31%. PDF.
  1. R. Drechsler, M. Soeken, and R. Wille. Towards Dialog Systems for Assisted Natural Language Processing in the Design of Embedded Systems. In International Design & Test Symposium (IDT). 2012. Invited Paper. PDF.
  1. R. Drechsler and R. Wille. Synthesis of Reversible Circuits Using Decision Diagrams. In International Symposium on Electronic System Design (ISED), 1–5. 2012. Invited Paper. PDF.
  1. R. Drechsler, M. Diepenbeck, D. Große, U. K"uhne, H. M. Le, J. Seiter, M. Soeken, and R. Wille. Completeness-Driven Development. In International Conference on Graph Transformations (ICGT), 38–50. 2012. Invited Paper. PDF.
  1. R. Drechsler, M. Soeken, and R. Wille. Formal Specification Level: Towards Verification-driven Design Based on Natural Language Processing. In Forum on Specification and Design Languages (FDL), 53–58. 2012. Invited Paper. PDF.
  1. R. Wille, M. Soeken, E. Schönborn, and R. Drechsler. Circuit Line Minimization in the HDL-based Synthesis of Reversible Logic. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 213–218. 2012. PDF.
  1. S. Yang, R. Wille, D. Große, and R. Drechsler. Coverage-driven Stimuli Generation. In Euromicro Conference on Digital System Design (DSD), 525–528. 2012. PDF.
  1. R. Drechsler and R. Wille. Reversible Circuits: Recent Accomplishments and Future Challenges for an Emerging Technology. In International Symposium on VLSI Design and Test (VDAT), 383–392. 2012. Invited Paper. PDF.
  1. M. Soeken, R. Wille, and R. Drechsler. Assisted Behavior Driven Development Using Natural Language Processing. In International Conference on Objects, Models, Components, Patterns (TOOLS), 269–287. 2012. Acceptance rate: 31%. PDF.
  1. Z. Sasanian, R. Wille, and D. M. Miller. Realizing Reversible Circuits Using a New Class of Quantum Gates. In Design Automation Conference (DAC), 36–41. 2012. Acceptance rate: 22%. PDF.
  1. M. Soeken, Z. Sasanian, R. Wille, D. M. Miller, and R. Drechsler. Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits. In International Symposium on Multiple-Valued Logic (ISMVL), 173–178. 2012. PDF.
  1. M. Soeken, R. Wille, C. Otterstedt, and R. Drechsler. A Synthesis Flow for Sequential Reversible Circuits. In International Symposium on Multiple-Valued Logic (ISMVL), 299–304. 2012. PDF.
  1. R. Wille, M. Soeken, N. Przigoda, and R. Drechsler. Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines. In International Symposium on Multiple-Valued Logic (ISMVL), 69–74. 2012. PDF.
  1. R. Wille, R. Drechsler, C. Oswald, and A. Garcia-Ortiz. Automatic Design of Low-Power Encoders Using Reversible Circuit Synthesis. In Design, Automation and Test in Europe (DATE), 1036–1041. 2012. Acceptance rate: 27%. PDF.
  1. R. Wille, M. Soeken, and R. Drechsler. Debugging of Inconsistent UML/OCL Models. In Design, Automation and Test in Europe (DATE), 1078–1083. 2012. Acceptance rate: 27%. PDF.
  1. M. Soeken, R. Wille, and R. Drechsler. Eliminating Invariants in UML/OCL Models. In Design, Automation and Test in Europe (DATE), 1142–1145. 2012. Acceptance rate: 27%. PDF.
  1. M. Soeken, R. Wille, C. Hilken, N. Przigoda, and R. Drechsler. Synthesis of Reversible Circuits with Minimal Lines for Large Functions. In Asia and South Pacific Design Automation Conference (ASP-DAC), 85–92. 2012. Acceptance rate: 34%. PDF.
  1. H. Zhang, R. Wille, and R. Drechsler. Improved Fault Diagnosis for Reversible Circuits. In Asian Test Symposium (ATS), 207–212. 2011. PDF.
  1. S. Offermann, R. Wille, and R. Drechsler. Efficient Realization of Control Logic in Reversible Circuits. In Forum on Specification and Design Languages (FDL), 1–7. 2011. PDF.
  1. H. Zhang, S. Frehse, R. Wille, and R. Drechsler. Determining Minimal Testsets for Reversible Circuits Using Boolean Satisfiability. In IEEE AFRICON, 1–6. 2011. PDF.
  1. R. Wille, A. Sülflow, and R. Drechsler. VisSAT: Visualization of SAT Solver Internals for Computer Aided Hardware Verification. In International Conference on Modeling, Simulation and Visualization Methods (MSV), 36–39. 2011. PDF.
  1. R. Wille, H. Zhang, and R. Drechsler. ATPG for Reversible Circuits Using Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 120–125. 2011. PDF.
  1. M. Soeken, R. Wille, and R. Drechsler. Encoding OCL Data Types for SAT-based Verification of UML/OCL Models. In International Conference on Tests & Proofs (TAP), 152–170. 2011. PDF.
  1. R. Wille, M. Soeken, D. Große, E. Schönborn, and R. Drechsler. Designing a RISC CPU in Reversible Logic. In International Symposium on Multiple-Valued Logic (ISMVL), 170–175. 2011. PDF.
  1. R. Drechsler and R. Wille. From Truth Tables to Programming Languages: Progress in the Design of Reversible Circuits. In International Symposium on Multiple-Valued Logic (ISMVL), 78–85. 2011. Invited Paper. PDF.
  1. D. M. Miller, R. Wille, and Z. Sasanian. Elementary Quantum Gate Realizations for Multiple-Control Toffolli Gates. In International Symposium on Multiple-Valued Logic (ISMVL), 288–293. 2011. PDF.
  1. R. Wille. An Introduction to Reversible Circuit Design. In Saudi International Electronics, Communications and Photonics Conference (SIECPC), 1–4. 2011. Invited Paper.
  1. M. Soeken, R. Wille, and R. Drechsler. Verifying Dynamic Aspects of UML Models. In Design, Automation and Test in Europe (DATE), 1077–1082. 2011. Acceptance rate: 34%. PDF.
  1. R. Wille, O. Keszöcze, and R. Drechsler. Determining the Minimal Number of Lines for Large Reversible Circuits. In Design, Automation and Test in Europe (DATE), 1204–1207. 2011. Acceptance rate: 34%. PDF.
  1. R. Wille, S. Offermann, and R. Drechsler. SyReC: A Programming Language for Synthesis of Reversible Circuits. In Forum on Specification and Design Languages (FDL), 184–189. 2010. Received Best Paper Award. PDF.
  1. H.-J. Kreowski, S. Kuske, and R. Wille. Graph Transformation Units Guided by a SAT Solver. In International Conference on Graph Transformations (ICGT), 27–42. 2010.
  1. R. Wille, M. Soeken, and R. Drechsler. Reducing the Number of Lines in Reversible Circuits. In Design Automation Conference (DAC), 647–652. 2010. Acceptance rate: 24%. PDF.
  1. S. Offermann, R. Wille, G. W. Dueck, and R. Drechsler. Synthesizing Multiplier in Reversible Logic. In International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), 335–340. 2010. PDF.
  1. M. Soeken, R. Wille, G. W. Dueck, and R. Drechsler. Window Optimization of Reversible and Quantum Circuits. In International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), 431–435. 2010. PDF.
  1. J. C. Jung, S. Frehse, R. Wille, and R. Drechsler. Enhancing Debugging of Multiple Missing Control Errors in Reversible Logic. In Great Lakes Symposium on VLSI (GLVLSI), 465–470. 2010. PDF.
  1. M. Soeken, R. Wille, M. Kuhlmann, M. Gogolla, and R. Drechsler. Verifying UML/OCL Models Using Boolean Satisfiability. In Design, Automation and Test in Europe (DATE), 1341–1344. 2010. Acceptance rate: 30%. PDF.
  1. S. Frehse, R. Wille, and R. Drechsler. Efficient Simulation-based Debugging of Reversible Logic. In International Symposium on Multiple-Valued Logic (ISMVL), 156–161. 2010. PDF.
  1. D. M. Miller, R. Wille, and R. Drechsler. Reducing Reversible Circuit Cost by Adding Lines. In International Symposium on Multiple-Valued Logic (ISMVL), 217–222. 2010. PDF.
  1. R. Wille, D. Große, F. Haedicke, and R. Drechsler. SMT-based Stimuli Generation in the SystemC Verification Library. In Forum on Specification and Design Languages (FDL), 1–6. 2009. PDF.
  1. D.M. Miller, R. Wille, and G.W. Dueck. Synthesizing Reversible Circuits for Irreversible Functions. In Euromicro Conference on Digital System Design (DSD), 749–756. 2009. PDF.
  1. R. Wille and R. Drechsler. BDD-based Synthesis of Reversible Logic for Large Functions. In Design Automation Conference (DAC), 270–275. 2009. Acceptance rate: 22%. PDF.
  1. D. Große, R. Wille, U. Kühne, and R. Drechsler. Contradictory Antecedent Debugging in Bounded Model Checking. In Great Lakes Symposium on VLSI (GLVLSI), 173–176. 2009. PDF.
  1. A. Sülflow, R. Wille, G. Fey, and R. Drechsler. Evaluation of Cardinality Constraints on SMT-based Debugging. In International Symposium on Multiple-Valued Logic (ISMVL), 298–303. 2009. PDF.
  1. R. Wille, D. Große, D.M. Miller, and R. Drechsler. Equivalence Checking of Reversible Circuits. In International Symposium on Multiple-Valued Logic (ISMVL), 324–330. 2009. PDF.
  1. R. Wille, D. Große, S. Frehse, G.W. Dueck, and R. Drechsler. Debugging of Toffoli Networks. In Design, Automation and Test in Europe (DATE), 1284–1289. 2009. Acceptance rate: 23%. PDF.
  1. R. Wille, D. Große, G.W. Dueck, and R. Drechsler. Reversible Logic Synthesis with Output Permutation. In International Conference on VLSI Design (VLSI Design), 189–194. 2009. Acceptance rate: 26%. PDF.
  1. R. Wille, G. Fey, M. Messing, G. Angst, L. Linhard, and R. Drechsler. Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking. In Euromicro Conference on Digital System Design (DSD), 411–416. 2008. PDF.
  1. D. Große, R. Wille, R. Siegmund, and R. Drechsler. Contradiction Analysis for Constraint-based Random Simulation. In Forum on Specification and Design Languages (FDL), 411–416. 2008. PDF.
  1. R. Wille, D. Große, M. Soeken, and R. Drechsler. Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 411–416. 2008. Acceptance rate: 28%. PDF.
  1. R. Wille, D. Große, L. Teuber, G.W. Dueck, and R. Drechsler. RevLib: An Online Resource for Reversible Functions and Reversible Circuits. In International Symposium on Multiple-Valued Logic (ISMVL), 220–225. 2008. RevLib is available at http://www.revlib.org. PDF.
  1. D. Große, R. Wille, G.W. Dueck, and R. Drechsler. Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don’t Cares. In International Symposium on Multiple-Valued Logic (ISMVL), 214–219. 2008. Received IEEE Young Researchers Award. PDF.
  1. R. Wille, H. M. Le, G.W. Dueck, and D. Große. Quantified Synthesis of Reversible Logic. In Design, Automation and Test in Europe (DATE), 1015–1020. 2008. Acceptance rate: 24%. PDF.
  1. R. Wille and D. Große. Fast Exact Toffoli Network Synthesis of Reversible Logic. In International Conference on Computer Aided Design (ICCAD), 60–64. 2007. Acceptance rate: 27%. PDF.
  1. R. Wille, G. Fey, D. Große, S. Eggersglüß, and R. Drechsler. SWORD: A SAT like Prover using Word Level Information. In IFIP International Conference on Very Large Scale Integration (IFIP VLSI-SOC), 88–93. 2007. PDF.

Peer Reviewed Workshops

  1. D. Marakkalage, M. Walter, S.-Y. Lee, R. Wille, and G. De Micheli. Technology Mapping for Beyond-CMOS Circuitry with Unconventional Cost Functions. In International Workshop on Logic Synthesis (IWLS). 2023. Best Paper Award Candidate.
  1. V. M. van Santen, M. Walter, F. Klemme, S. S. Parihar, G. Pahwa, Y. Chauhan, R. Wille, and H. Amrouch. Design Automation for Cryogenic CMOS Circuits. In International Workshop on Logic Synthesis (IWLS). 2023.
  1. S. Hofmann, M. Walter, L. Servadei, and R. Wille. Thinking Outside the Clock: Physical Design for Field-coupled Nanocomputing with Deep Reinforcement Learning. In International Workshop on Logic Synthesis (IWLS). 2023.
  1. Robert Wille, Stefan Hillmich, and Lukas Burgholzer. MQT: The Munich Quantum Toolkit. In Gesellschaft für Informatik Quantum Computing Workshop (GI QC). 2022.
  1. S. Hazra, H. Feng, G. Naz Kiprit, M. Stephan, L. Servadei, R. Wille, R. Weigel, and A. Santra. Cross-modal Learning of Graph Representations using Radar Point Cloud for Long-Range Gesture Recognition. In IEEE Sensor Array and Multichannel Signal Processing Workshop (SAM). 2022.
  1. D. S. Lopera, L. Servadei, G. N. Kiprit, S. Hazra, R. Wille, and W. Ecker. A Survey of Graph Neural Networks for Electronic Design Automation. In Workshop on Machine Learning for CAD (MLCAD). 2021. PDF.
  1. R. Wille, S. Hillmich, and L. Burgholzer. JKQ: JKU Tools for Quantum Computing. In International Workshop on Programming Languages for Quantum Computing (PLanQC). 2021. PDF.
  1. S. Pointner, M. Brunner, R. Findenig, and R. Wille. Efficient Post-Silicon Run-Time Error Detection for Systems-on-Chip. In Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). 2021.
  1. L. Servadei, J. Zheng, J. A. Arjona, M. Werner, V. Esen, S. Hochreiter, W. Ecker, and R. Wille. Cost Optimization at Early Stages of Design Using Deep Reinforcement Learning. In Workshop on Machine Learning for CAD (MLCAD). 2020. Best Paper Award Candidate.
  1. M. Werner, L. Servadei, R. Wille, and W. Ecker. Automatic compiler optimization on embedded software through k-means clustering. In Workshop on Machine Learning for CAD (MLCAD). 2020.
  1. L. Burgholzer and R. Wille. Verifying the Results of Quantum Circuit Compilation Flows. In International Workshop on Quantum Compilation (IWQC). 2020.
  1. S. Hillmich, A. Zulehner, and R. Wille. Exploiting Quantum Teleportation in Quantum Circuit Mapping. In International Workshop on Quantum Compilation (IWQC). 2020.
  1. S. Pointner, P. Gonzalez-de-Aledo, and R. Wille. YASSi: Yet Another Symbolic Simulator. In International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems (IWCFS). 2020.
  1. M. Walter, W. Haaswijk, R. Wille, F. Sill Torres, and R. Drechsler. SAT-based Exact Physical Design for Field-coupled Nanocomputing Technologies. In International Workshop on Logic Synthesis (IWLS). 2020.
  1. S. Hillmich, L. Burgholzer, and R. Wille. Efficient and Correct Compilation of Quantum Circuits. In International Workshop on Quantum Compilation (IWQC). 2019.
  1. L. Servadei, E. Mosca J.-H. Lee, J. Yang, V. Esen, R. Wille, and W. Ecker. Combining Evolutionary Algorithms and Deep Learning for Hardware/Software Interface Optimization. In Workshop on Machine Learning for CAD (MLCAD). 2019. PDF.
  1. L. Servadei, J. Yang, E. Zennaro, K. Devarajegowda, W. Ecker, and R. Wille. Methods of Statistical Analysis and Machine Learning for the Evaluation of Generated Hardware and Firmware Design. In International Workshop on Combinations of Intelligent Methods and Applications (CIMA). 2019.
  1. M. Walter, R. Wille, F. Sill Torres, D. Große, and R. Drechsler. fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits. In International Workshop on Logic Synthesis (IWLS). 2019.
  1. M. Hamidovic, U. Marta, A. Grimmer, G. Fink, R. Wille, H. Bridle, A. Springer, and W. Haselmayr. First Practical Realization of Switching in Microfluidic Networks. In Workshop on Molecular Communications (MolCom). 2018. PDF.
  1. L. Servadei, E. Zennaro, K. Devarajegowda, W. Ecker, and R. Wille. Quality Assessment of Generated Hardware Designs Using Statistical Analysis and Machine Learning. In International Workshop on Combinations of Intelligent Methods and Applications (CIMA). 2018. PDF.
  1. A. Zulehner and R. Wille. Compiling Quantum Circuits to the IBM QX Architectures. In International Workshop on Quantum Compilation (IWQC). 2018.
  1. P. Niemann, R. Wille, and R. Drechsler. Optimizing “Ts” in the Synthesis of Clifford+T Quantum Circuits. In International Workshop on Quantum Compilation (IWQC). 2018.
  1. M. Hamidovic, W. Haselmayr, A. Grimmer, and R. Wille. Towards Droplet on Demand for Microfluidic Networks. In Workshop on Molecular Communications (MolCom). 2018. PDF.
  1. A. Grimmer, W. Haselmayr, A. Springer, and R. Wille. Verifikation von Networked Labs-on-Chip Architekturen. In ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). 2017.
  1. N. Przigoda, F. Hilken, J. Peters, R. Wille, M. Gogolla, and R. Drechsler. Integrating an SMT-based Model Finder into USE. In Model-Driven Engineering, Verification, And Validation (MoDeVVa). 2016.
  1. R. Wille. Reversible Logic: What’s next? In International Workshop on Post-Binary ULSI Systems (ULSIWS). 2016. Invited Paper.
  1. Z. Alwardi, R. Wille, and R. Drechsler. Optimized Realizations of Expressions for HDL-based Synthesis of Reversible Logic Circuits. In International Workshop on Post-Binary ULSI Systems (ULSIWS). 2016.
  1. P. Niemann, F. Hilken, M. Gogolla, and R. Wille. Extraktion von Frame Conditions aus Operation Contracts. In Software Engineering (SE). 2016.
  1. J. Stoppe, O. Keszocze, R. Wille, and R. Drechsler. BioViz: An Interactive Visualization Engine for Microfluidic Biochips. In Workshop on Design Automation for Understanding Hardware Designs (DUHDE). 2016.
  1. A. Deb, R. Wille, O. Keszocze, S. Hillmich, and R. Drechsler. Synthesis of Optical Circuits with Contradictory Optimization Objectives. In International Workshop on Optical/Photonic Interconnects for Computing Systems (OPTICS). 2016.
  1. N. Przigoda, J. Peters, M. Soeken, R. Wille, and R. Drechsler. Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses. In Model-Driven Engineering, Verification, And Validation (MoDeVVa). 2015.
  1. R. Wille. Verification and Debugging of UML/OCL Models. In International Workshop on Constraints in Formal Verification (CFV). 2015.
  1. E. Schönborn, R. Wille, and R. Drechsler. Quo Vadis, Reversible Circuit Design? Towards Scaling Design and Synthesis of Reversible Circuits. In International Workshop on Applications of the Reed-Muller Expansion in Circuit Design and Representations and Methodology of Future Computing Technology (RM). 2015.
  1. N. Przigoda, R. Wille, and R. Drechsler. Verbesserung der Fehlersuche in inkonsistenten formalen Modellen. In ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). 2015.
  1. F. Hilken, P. Niemann, R. Wille, and M. Gogolla. Towards a Base Model for UML and OCL Verification. In Model-Driven Engineering, Verification, and Validation (MoDeVVa). 2014.
  1. J. Stoppe, M. Michael, M. Soeken, R. Wille, and R. Drechsler. Towards a Multi-dimensional and Dynamic Visualization for ESL Designs. In Design Automation for Understanding Hardware Designs. 2014.
  1. R. Drechsler, H. M. Le, M. Soeken, and R. Wille. Law-based Verification for Complex Swarm Systems. In International Workshop on the Swarm at the Edge of the Cloud. 2013.
  1. R. Drechsler, M. Diepenbeck, S. Eggersglüß, and R. Wille. PASSAT 2.0: A Multi-Functional SAT-based Testing Framework. In Latin-American Test Workshop (LATW). 2013. Invited Paper.
  1. M. Soeken, R. Wille, E. Kuksa, and R. Drechsler. Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen. In ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). 2013.
  1. M. Soeken, H. Riener, R. Wille, G. Fey, and R. Drechsler. Verification of Embedded Systems Using Modeling and Implementation Languages. In International Workshop on Metamodelling and Code Generation for Embedded Systems (MeCoEs). 2012.
  1. S. Eggersglüß, M. Diepenbeck, R. Wille, and R. Drechsler. Increasing Test Compaction Abilities of SAT-based ATPG through Fault Detection Constraints. In Workshop on RTL and High Level Testing (WRTLT). 2012.
  1. M. Soeken, R. Wille, L. Tague, D. M. Miller, and R. Drechsler. Towards Embedding of Large Functions for Reversible Logic. In International Workshop on Boolean Problems (IWSBP). 2012.
  1. M. Soeken, R. Wille, S.-I. Minato, and R. Drechsler. Using πDDs in the Design for Reversible Circuits. In Workshop on Reversible Computation. 2012.
  1. J. Seiter, M. Soeken, R. Wille, and R. Drechsler. Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams. In Workshop on Reversible Computation. 2012.
  1. M. Soeken, R. Wille, and Rolf Drechsler. Towards Automatic Determination of Problem Bounds for Object Instantiation in Static Model Verification. In Model-Driven Engineering, Verification, And Validation (MoDeVVa). 2011.
  1. M. Soeken, R. Wille, C. Hilken, N. Przigoda, and R. Drechsler. Synthesis of Reversible Circuits with Minimal Lines for Large Functions. In Workshop on Reversible Computation, 59–70. 2011.
  1. M. Soeken, S. Frehse, R. Wille, and R. Drechsler. Customized Design Flows for Reversible Circuits Using RevKit. In Workshop on Reversible Computation, 91–96. 2011.
  1. R. Drechsler, A. Finder, and R. Wille. Improving ESOP-based Synthesis of Reversible Logic Using Evolutionary Algorithms. In European Workshop on Hardware Optimization Techniques (EvoHOT), 151–161. 2011.
  1. R. Wille, M. Soeken, D. Große, E. Schönborn, and R. Drechsler. Designing a RISC CPU in Reversible Logic. In ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). 2011.
  1. H. Zhang, R. Wille, and R. Drechsler. SAT-based ATPG for Reversible Circuits. In International Design & Test Workshop (IDT), 149–154. 2010.
  1. M. Soeken, R. Wille, and R. Drechsler. Hierarchical Synthesis of Reversible Circuits Using Positive and Negative Davio Decomposition. In International Design & Test Workshop (IDT), 143–148. 2010.
  1. M. Soeken, S. Frehse, R. Wille, and R. Drechsler. RevKit: A Toolkit for Reversible Circuit Design. In Workshop on Reversible Computation, 69–72. 2010.
  1. R. Wille, S. Offermann, and R. Drechsler. SyReC: A Programming Language for Synthesis of Reversible Circuits. In International Workshop on Logic Synthesis (IWLS). 2010.
  1. R. Wille, A. Sülflow, C. Genz, and R. Drechsler. VisSAT: Visualization of SAT Solver Internals. In University Booth at Design, Automation and Test in Europe. 2010.
  1. R. Wille, S. Offermann, and R. Drechsler. SyReC: A Programming Language for Synthesis of Reversible Circuits. In ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). 2010.
  1. M. Soeken, R. Wille, M. Kuhlmann, M. Gogolla, and R. Drechsler. Verifying UML/OCL Models Using Boolean Satisfiability. In ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 57–66. 2010.
  1. R. Wille, M. Saeedi, and R. Drechsler. Synthesis of Reversible Functions Beyond Gate Count and Quantum Cost. In International Workshop on Logic Synthesis (IWLS), 43–49. 2009.
  1. D. M. Miller, R. Wille, and R. Drechsler. Reducing Reversible Circuit Cost by Adding Lines. In International Workshop on Logic Synthesis (IWLS), 243–248. 2009.
  1. R. Wille and R. Drechsler. Synthesizing Reversible Logic: An Overview. In International Workshop on Applications of the Reed-Muller Expansion in Circuit Design and Representations and Methodology of Future Computing Technology (RM). 2009.
  1. D.M. Miller, G.W. Dueck, and R. Wille. Synthesising Reversible Circuits from Irreversible Specifications using Reed-Muller Spectral Techniques. In International Workshop on Applications of the Reed-Muller Expansion in Circuit Design and Representations and Methodology of Future Computing Technology (RM). 2009.
  1. A. Sülflow, R. Wille, C. Genz, G. Fey, and R. Drechsler. FormED: A Formal Environment for Debugging. In University Booth at Design, Automation and Test in Europe. 2009.
  1. R. Wille and R. Drechsler. Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic. In Workshop on Reversible Computation. 2009.
  1. R. Wille, D. Große, D.M. Miller, and R. Drechsler. Equivalence Checking of Reversible Circuits. In ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). 2009.
  1. R. Wille, D. Große, G. W. Dueck, and R. Drechsler. Reversible Logic Synthesis with Output Permutation. In International Workshop on Boolean Problems (IWSBP). 2008.
  1. D. Große, R. Wille, R. Siegmund, and R. Drechsler. Contradiction Analysis for Constraint-based Random Simulation. In Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS), 25–30. 2008.
  1. D. Große, R. Wille, U. Kühne, and R. Drechsler. Using Contradiction Analysis for Antecedent Debugging in Bounded Model Checking. In ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 169–178. 2008.
  1. A. Sülflow, U. Kühne, R. Wille, D. Große, and R. Drechsler. Evaluation of SAT like Proof Techniques for Formal Verification of Word Level Circuits. In Workshop on RTL and High Level Testing (WRTLT), 31–36. 2007.
  1. D. Tille, R. Wille, and R. Drechsler. Parallelisierung von SAT-basierter Testmustergenerierung. In Workshop der GI/ITG-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS). 2007.
  1. R. Wille, G. Fey, and R. Drechsler. Building Free Binary Decision Diagrams Using SAT Solvers. In International Workshop on Applications of the Reed-Muller Expansion in Circuit Design and Representations and Methodology of Future Computing Technology (RM). 2007.
  1. G. Fey, D. Große, S. Eggersglüß, R. Wille, and R. Drechsler. Formal Verification on the Word Level using SAT-like Proof Techniques. In ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 165–173. 2007.

Miscellaneous

  1. R. Wille. Realizing the potential of quantum computing applications. Open Access Government, 2023. PDF.
  1. R. Wille. Data structures for quantum computing. Open Access Government, 2022. PDF.
  1. R. Wille. Classical simulation of quantum circuits. Open Access Government, 2022. PDF.
  1. R. Wille. Efficient design of labs-on-a-chip: Design automation and simulation for microfluidics. European Dissemination Media Agency, 2022. PDF.
  1. R. Wille. Design tools for quantum computing. Open Access Government, 2022. PDF.
  1. R. Wille. Quantum Computers are coming! But how to use their potential? European Dissemination Media Agency, 2021. PDF.
  1. R. Wille, A. Grimmer, M. Hamidović, and W. Haselmayr. How can we simulate a ‘lab-on-a-chip’? Science Journal for Teens, 2019. PDF.
  1. Alwin Zulehner and Robert Wille. How can we work with quantum computers today? Science Journal for Teens, 2019. PDF.
  1. R. Wille. Design of Circuits and Systems: Today and Tomorrow. Universität Bremen, 2014.
  1. Z. Sasanian, R. Wille, and D. M. Miller. Clarification on the Mapping of Reversible Circuits to the NCV-v1 Library. 2013. arXiv:1309.1419.
  1. R. Wille, J. Christoph Jung, A. Sülflow, and R. Drechsler. SWORD – Module-based SAT Solving. In Bernd Becker, Valeria Bertacoo, Rolf Drechsler, and Masahiro Fujita, editors, Algorithms and Applications for Next Generation SAT Solvers, number 09461 in Dagstuhl Seminar Proceedings. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2010. Invited Paper. URL.
  1. R. Wille. Towards a Design Flow for Reversible Logic. Dissertation, Universität Bremen, 2009.
  1. R. Wille. Towards a Design Flow for Reversible Logic. ACM SIGDA Ph.D. Forum at DAC, 2009. Acceptance rate: 31%.
  1. J. C. Jung, A. Sülflow, R. Wille, and R. Drechsler. SWORD v1.0. Satisfiability Modulo Theories Competition, 2009.
  1. R. Wille, A. Sülflow, and R. Drechsler. SWORD v0.2 - Module-based SAT Solving. Satisfiability Modulo Theories Competition, 2008.
  1. R. Wille. Erstellung von Free Binary Decision Diagrams mit SAT-Beweisern. Master’s thesis, Universität Bremen, 2006.

Awards and Accomplishments (Selection)

  • ERC Consolidator Grant 2020 (for “Design Automation for Quantum Computing”)
  • Third place at the IBM Quantum Challenge 2019
  • Google Research Award in 2018 for our work on simulation of quantum computations
  • Winner of the IBM Qiskit Developer Challenge in 2018
  • Software developed by us has been integrated into tools such as IBM’s SDK Qiskit or Atos' QLM.
  • Several PhD Student Awards

Contact

In case you have any problems with or questions feel free to contact us via quantum.cda@xcit.tum.de.