Articles with public access mandates - Robert WilleLearn more
Not available anywhere: 34
One-pass design of reversible circuits: Combining embedding and synthesis for reversible logic
A Zulehner, R Wille
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017
Mandates: European Commission
Analyzing inconsistencies in UML/OCL models
N Przigoda, R Wille, R Drechsler
Journal of Circuits, Systems and Computers 25 (03), 1640021, 2016
Mandates: German Research Foundation
SyReC: A hardware description language for the specification and synthesis of reversible circuits
R Wille, E Schönborn, M Soeken, R Drechsler
Integration 53, 39-53, 2016
Mandates: German Research Foundation, European Commission
Physical co-design of flow and control layers for flow-based microfluidic biochips
Q Wang, H Zou, H Yao, TY Ho, R Wille, Y Cai
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017
Mandates: National Natural Science Foundation of China, German Research Foundation
Multicontrol: Advanced control-logic synthesis for flow-based microfluidic biochips
Y Zhu, X Huang, B Li, TY Ho, Q Wang, H Yao, R Wille, U Schlichtmann
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2019
Mandates: German Research Foundation
Error-oblivious sample preparation with digital microfluidic lab-on-chip
S Poddar, R Wille, H Rahaman, BB Bhattacharya
IEEE transactions on computer-aided design of integrated circuits and …, 2018
Mandates: Council of Scientific and Industrial Research, India, Department of Science …
An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD)
PL Thangkhiew, A Zulehner, R Wille, K Datta, I Sengupta
Integration 71, 125-133, 2020
Mandates: Department of Science & Technology, India
BigIntegr: One-pass architectural synthesis for continuous-flow microfluidic lab-on-a-chip systems
X Huang, Y Pan, Z Chen, W Guo, R Wille, TY Ho, U Schlichtmann
2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-8, 2021
Mandates: National Natural Science Foundation of China, German Research Foundation
Noise-aware quantum circuit simulation with decision diagrams
T Grurl, J Fuß, R Wille
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022
Mandates: European Commission
Reversible circuits: Ic/ip piracy attacks and countermeasures
SM Saeed, A Zulehner, R Wille, R Drechsler, R Karri
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 27 (11 …, 2019
Mandates: US National Science Foundation
An introduction to reversible circuit design
R Wille
2011 Saudi International Electronics, Communications and Photonics …, 2011
Mandates: German Research Foundation
Design automation for continuous-flow lab-on-a-chip systems: A one-pass paradigm
X Huang, Y Pan, Z Chen, W Guo, L Wang, Q Li, R Wille, TY Ho, ...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022
Mandates: National Natural Science Foundation of China
SAT-based ATPG for reversible circuits
H Zhang, R Wille, R Drechsler
2010 5th International Design and Test Workshop, 149-154, 2010
Mandates: German Research Foundation
Towards a verification flow across abstraction levels verifying implementations against their formal specification
P Gonzalez-de-Aledo, N Przigoda, R Wille, R Drechsler, P Sanchez
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2016
Mandates: German Research Foundation, Government of Spain
Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models
J Peters, N Przigoda, R Wille, R Drechsler
2016 ACM/IEEE International Conference on Formal Methods and Models for …, 2016
Mandates: German Research Foundation, Federal Ministry of Education and Research, Germany
Generating formal system models from natural language descriptions
R Drechsler, IG Harris, R Wille
2012 IEEE International High Level Design Validation and Test Workshop …, 2012
Mandates: German Research Foundation
Robust multi-target sample preparation on MEDA biochips obviating waste production
S Poddar, T Banerjee, R Wille, BB Bhattacharya
ACM Transactions on Design Automation of Electronic Systems (TODAES) 26 (1 …, 2020
Mandates: Council of Scientific and Industrial Research, India
Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements
N Przigoda, P Niemann, J Gomes Filho, R Wille, R Drechsler
Computer Languages, Systems & Structures 54, 512-527, 2018
Mandates: German Research Foundation, Federal Ministry of Education and Research, Germany
Using machine learning for predicting area and firmware metrics of hardware designs from abstract specifications
L Servadei, E Zennaro, T Fritz, K Devarajegowda, W Ecker, R Wille
Microprocessors and Microsystems 71, 102853, 2019
Mandates: Federal Ministry of Education and Research, Germany
Formal specification level
R Drechsler, M Soeken, R Wille
Models, Methods, and Tools for Complex Chip Design: Selected Contributions …, 2014
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program