The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Rolf Drechsler" ( http://dblp.L3S.de/Authors/Rolf_Drechsler )

URL (Homepage):  http://www.informatik.uni-bremen.de/agra/eng/team.php  Author page on DBLP  Author page in RDF  Community of Rolf Drechsler in ASPL-2

Publication years (Num. hits)
1992-1995 (22) 1996-1997 (25) 1998-1999 (38) 2000 (21) 2001 (22) 2002 (20) 2003 (27) 2004 (19) 2005 (18) 2006 (21) 2007 (25) 2008 (29) 2009 (33) 2010 (35) 2011 (26) 2012 (36) 2013 (28) 2014 (44) 2015 (38) 2016 (49) 2017 (42) 2018 (41) 2019 (7)
Publication types (Num. hits)
article(124) book(11) incollection(1) inproceedings(517) phdthesis(1) proceedings(12)
Venues (Conferences, Journals, ...)
ISMVL(59) DATE(45) MBMV(32) ASP-DAC(29) IEEE Trans. on CAD of Integrat...(28) DSD(22) FDL(20) ICCAD(18) DDECS(17) RC(17) VLSI Design(16) ISVLSI(15) DAC(13) ACM Great Lakes Symposium on V...(12) Integration(10) ISCAS(9) More (+10 of total 149)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 172 occurrences of 101 keywords

Results
Found 667 publication records. Showing 666 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sebastian Huhn 0001, Stefan Frehse, Robert Wille, Rolf Drechsler Determining Application-Specific Knowledge for Improving Robustness of Sequential Circuits. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Massimo Alioto, Magdy S. Abadir, Tughrul Arslan, Chirn Chye Boon, Andreas Burg, Chip-Hong Chang, Meng-Fan Chang, Yao-Wen Chang, Poki Chen, Pasquale Corsonello, Paolo Crovetti, Shiro Dosho, Rolf Drechsler, Ibrahim Abe M. Elfadel, Ruonan Han 0001, Masanori Hashimoto, Chun-Huat Heng, Deukhyoun Heo, Tsung-Yi Ho, Houman Homayoun, Yuh-Shyan Hwang, Ajay Joshi, Rajiv V. Joshi, Tanay Karnik, Chulwoo Kim, Tae-Hyoung Kim, Jaydeep Kulkarni, Volkan Kursun, Yoonmyung Lee, Hai Helen Li, Huawei Li, Prabhat Mishra, Baker Mohammad, Mehran Mozaffari Kermani, Makoto Nagata, Koji Nii, Partha Pratim Pande, Bipul C. Paul, Vasilis F. Pavlidis, José Pineda de Gyvez, Ioannis Savidis, Patrick Schaumont, Fabio Sebastiano, Anirban Sengupta, Mingoo Seok, Mircea R. Stan, Mark M. Tehranipoor, Aida Todri-Sanial, Marian Verhelst, Valerio Vignoli, Xiaoqing Wen, Jiang Xu 0001, Wei Zhang 0012, Zhengya Zhang, Jun Zhou, Mark Zwolinski, Stacey Weber Editorial TVLSI Positioning - Continuing and Accelerating an Upward Trajectory. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler Security validation of VP-based SoCs using dynamic information flow tracking. Search on Bibsonomy it - Information Technology The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Florian Bache, Christina Plump, Jonas Wloka, Tim Güneysu, Rolf Drechsler Evaluation of (power) side-channels in cryptographic implementations. Search on Bibsonomy it - Information Technology The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kenneth Schmitz, Buse Ustaoglu, Daniel Große, Rolf Drechsler (ReCo)Fuse Your PRC or Lose Security: Finally Reliable Reconfiguration-Based Countermeasures on FPGAs. Search on Bibsonomy ARC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler Scalable design for field-coupled nanocomputing circuits. Search on Bibsonomy ASP-DAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler Maximizing power state cross coverage in firmware-based power management. Search on Bibsonomy ASP-DAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Daniel Große, Rolf Drechsler Behaviour Driven Development for Hardware Design. Search on Bibsonomy IPSJ Trans. System LSI Design Methodology The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements. Search on Bibsonomy Computer Languages, Systems & Structures The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oliver Keszöcze, Mathias Soeken, Rolf Drechsler The complexity of error metrics. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oliver Keszöcze, Philipp Niemann, Arved Friedemann, Rolf Drechsler On the complexity of design tasks for Digital Microfluidic Biochips. Search on Bibsonomy Microelectronics Journal The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chandan Bandyopadhyay, Rakesh Das, Robert Wille, Rolf Drechsler, Hafizur Rahaman Synthesis of circuits based on all-optical Mach-Zehnder Interferometers using Binary Decision Diagrams. Search on Bibsonomy Microelectronics Journal The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Frank Sill Torres, Philipp Niemann, Robert Wille, Rolf Drechsler Breaking Landauer's Limit\\Using Quantum-dot Cellular Automata. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler Logic Synthesis for RRAM-Based In-Memory Computing. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oliver Keszöcze, Mohamed Ibrahim, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips. Search on Bibsonomy VLSI Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence. Search on Bibsonomy MODELSWARD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler Generation and Validation of Frame Conditions in Formal Models. Search on Bibsonomy MODELSWARD (Revised Selected Papers) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Robert Wille, Bing Li 0005, Rolf Drechsler, Ulf Schlichtmann Automatic Design of Microfluidic Devices. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler Extensible and Configurable RISC-V Based Virtual Prototype. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jannis Stoppe, Christina Plump, Sebastian Huhn 0001, Rolf Drechsler Building Fast Multi Agent Systems Using Hardware Design Languages for High-Throughput Systems. Search on Bibsonomy LDIC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Moein Sarvaghad-Moghaddam, Philipp Niemann, Rolf Drechsler Multi-objective Synthesis of Quantum Circuits Using Genetic Programming. Search on Bibsonomy RC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saman Fröhlich, Daniel Große, Rolf Drechsler Towards Reversed Approximate Hardware Design. Search on Bibsonomy DSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Frank Sill Torres, Robert Wille, Marcel Walter, Philipp Niemann, Daniel Große, Rolf Drechsler Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata. Search on Bibsonomy DSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Frank Sill Torres, Pedro Arthur Silva, Geraldo Fontes, José Augusto Miranda Nacif, Ricardo Santos Ferreira, Omar Paranaiba Vilela Neto, Jeferson F. Chaves, Rolf Drechsler Exploration of the Synchronization Constraint in Quantum-dot Cellular Automata. Search on Bibsonomy DSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Buse Ustaoglu, Sebastian Huhn 0001, Daniel Große, Rolf Drechsler SAT-Lancer: A Hardware SAT-Solver for Self-Verification. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anirban Bhattacharjee, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman A Novel Approach for Nearest Neighbor Realization of 2D Quantum Circuits. Search on Bibsonomy ISVLSI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kenneth Schmitz, Oliver Keszöcze, Jurij Schmidt, Daniel Große, Rolf Drechsler Towards Dynamic Execution Environment for System Security Protection Against Hardware Flaws. Search on Bibsonomy ISVLSI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alireza Mahzoon, Daniel Große, Rolf Drechsler Combining Symbolic Computer Algebra and Boolean Satisfiability for Automatic Debugging and Fixing of Complex Multipliers. Search on Bibsonomy ISVLSI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saeideh Shirinzadeh, Rolf Drechsler Logic Synthesis for In-memory Computing Using Resistive Memories. Search on Bibsonomy ISVLSI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saeideh Shirinzadeh, Kamalika Datta, Rolf Drechsler Logic Design Using Memristors: An Emerging Technology. Search on Bibsonomy ISMVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zaid Al-Wardi, Robert Wille, Rolf Drechsler Synthesis of Reversible Circuits Using Conventional Hardware Description Languages. Search on Bibsonomy ISMVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Lemma, Mehran Goli, Daniel Große, Rolf Drechsler Power Intent from Initial ESL Prototypes: Extracting Power Management Parameters*. Search on Bibsonomy NORCAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arun Chandrasekharan, Stephan Eggersglüß, Daniel Große, Rolf Drechsler Approximation-aware testing for approximate circuits. Search on Bibsonomy ASP-DAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler Towards fully automated TLM-to-RTL property refinement. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saman Fröhlich, Daniel Große, Rolf Drechsler Approximate hardware generation using symbolic computer algebra employing grobner basis. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philipp Niemann, Robert Wille, Rolf Drechsler Improved synthesis of Clifford+T quantum functionality. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler Resilience evaluation via symbolic fault injection on intermediate code. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler An exact method for design exploration of quantum-dot cellular automata. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Muhammad Hassan, Daniel Große, Hoang M. Le, Thilo Vörtler, Karsten Einwich, Rolf Drechsler Testbench qualification for SystemC-AMS timed data flow models. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rolf Drechsler Keynotes: Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation. Search on Bibsonomy IVSW The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rolf Drechsler, Christoph Lüth, Görschwin Fey, Tim Güneysu Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation. Search on Bibsonomy IVSW The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Samah Mohamed Saeed, Xiaotong Cui, Alwin Zulehner, Robert Wille, Rolf Drechsler, Kaijie Wu 0001, Ramesh Karri IC/IP piracy assessment of reversible logic. Search on Bibsonomy ICCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alireza Mahzoon, Daniel Große, Rolf Drechsler PolyCleaner: clean your polynomials before backward rewriting to verify million-gate multipliers. Search on Bibsonomy ICCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Robert Schmidt, Rehab Massoud, Jaan Raik, Alberto García Ortiz, Rolf Drechsler Reliability Improvements for Multiprocessor Systems by Health-Aware Task Scheduling. Search on Bibsonomy IOLTS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Lemma, Daniel Große, Rolf Drechsler Natural Language Based Power Domain Partitioning. Search on Bibsonomy DDECS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Harshad Dhotre, Stephan Eggersglüß, Rolf Drechsler, Mehdi Dehbashi, Ulrike Pfannkuchen Constraint-Based Pattern Retargeting for Reducing Localized Power Activity During Testing. Search on Bibsonomy DDECS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mehran Goli, Jannis Stoppe, Rolf Drechsler Resilience Evaluation for Approximating SystemC Designs Using Machine Learning Techniques. Search on Bibsonomy RSP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs. Search on Bibsonomy J. Low Power Electronics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Samah Mohamed Saeed, Xiaotong Cui, Robert Wille, Alwin Zulehner, Kaijie Wu 0001, Rolf Drechsler, Ramesh Karri Towards Reverse Engineering Reversible Logic. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Xiaotong Cui, Samah Mohamed Saeed, Alwin Zulehner, Robert Wille, Rolf Drechsler, Kaijie Wu 0001, Ramesh Karri On the Difficulty of Inserting Trojans in Reversible Computing Architectures. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey metaSMT: focus on your application and not on solver integration. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arighna Deb, Robert Wille, Oliver Keszöcze, Saeideh Shirinzadeh, Rolf Drechsler Synthesis of optical circuits using binary decision diagrams. Search on Bibsonomy Integration The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Pierre-Emmanuel Gaillardon, Saeideh Shirinzadeh, Rolf Drechsler, Giovanni De Micheli A PLiM Computer for the Internet of Things. Search on Bibsonomy IEEE Computer The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pablo González de Aledo, Nils Przigoda, Robert Wille, Rolf Drechsler, Pablo Sánchez Espeso Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach. Search on Bibsonomy FDL (Selected Papers) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler Towards early validation of firmware-based power management using virtual prototypes: A constrained random approach. Search on Bibsonomy FDL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebastian Huhn 0001, Stephan Eggersglüß, Rolf Drechsler Reconfigurable TAP controllers with embedded compression for large test data volume. Search on Bibsonomy DFT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Harshad Dhotre, Stephan Eggersglüß, Mehdi Dehbashi, Ulrike Pfannkuchen, Rolf Drechsler Machine learning based test pattern analysis for localizing critical power activity areas. Search on Bibsonomy DFT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Frank Sill Torres, Pedro Fausto Rodrigues Leite, Rolf Drechsler Unintrusive aging analysis based on offline learning. Search on Bibsonomy DFT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Philipp Niemann, Alwin Zulehner, Robert Wille, Rolf Drechsler Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions. Search on Bibsonomy RC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zaid Al-Wardi, Robert Wille, Rolf Drechsler Towards VHDL-Based Design of Reversible Circuits - Work in Progress Report. Search on Bibsonomy RC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arun Chandrasekharan, Daniel Große, Rolf Drechsler ProACt: A Processor for High Performance On-demand Approximate Computing. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jannis Stoppe, Oliver Keszöcze, Maximilian Luenert, Robert Wille, Rolf Drechsler BioViz: An Interactive Visualization Engine for the Design of Digital Microfluidic Biochips. Search on Bibsonomy ISVLSI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zaid Al-Wardi, Robert Wille, Rolf Drechsler Extensions to the Reversible Hardware Description Language SyReC. Search on Bibsonomy ISMVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arighna Deb, Robert Wille, Rolf Drechsler OR-Inverter Graphs for the Synthesis of Optical Circuits. Search on Bibsonomy ISMVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saman Fröhlich, Daniel Große, Rolf Drechsler Error Bounded Exact BDD Minimization in Approximate Computing. Search on Bibsonomy ISMVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abhoy Kole, P. Mercy Nesa Rani, Kamalika Datta, Indranil Sengupta 0001, Rolf Drechsler Exact Synthesis of Ternary Reversible Functions Using Ternary Toffoli Gates. Search on Bibsonomy ISMVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rehab Massoud, Jannis Stoppe, Daniel Große, Rolf Drechsler Semi-formal Cycle-Accurate Temporal Execution Traces Reconstruction. Search on Bibsonomy FORMATS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Oliver Keszöcze, Zipeng Li, Andreas Grimmer, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler Exact routing for micro-electrode-dot-array digital microfluidic biochips. Search on Bibsonomy ASP-DAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebastian Huhn 0001, Stefan Frehse, Robert Wille, Rolf Drechsler Enhancing robustness of sequential circuits using application-specific knowledge and formal methods. Search on Bibsonomy ASP-DAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kenneth Schmitz, Arun Chandrasekharan, Jonas Gomes Filho, Daniel Große, Rolf Drechsler Trust is good, control is better: Hardware-based instruction-replacement for reliable processor-IPs. Search on Bibsonomy ASP-DAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli, Rolf Drechsler Endurance management for resistive Logic-In-Memory computing architectures. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebastian Huhn 0001, Stephan Eggersglüß, Krishnendu Chakrabarty, Rolf Drechsler Optimization of retargeting for IEEE 1149.1 TAP controllers with embedded compression. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mehran Goli, Jannis Stoppe, Rolf Drechsler Automatic equivalence checking for SystemC-TLM 2.0 models against their formal specifications. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leonard Schneider, Oliver Keszöcze, Jannis Stoppe, Rolf Drechsler Effects of cell shapes on the routability of Digital Microfluidic Biochips. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Große, Rolf Drechsler Data flow testing for virtual prototypes. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler Early SoC security validation by VP-based static information flow analysis. Search on Bibsonomy ICCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arighna Deb, Robert Wille, Rolf Drechsler Dedicated synthesis for MZI-based optical circuits based on AND-inverter graphs. Search on Bibsonomy ICCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebastian Huhn 0001, Heike Sonnenberg, Stephan Eggersglüß, Brigitte Clausen, Rolf Drechsler Revealing properties of structural materials by combining regression-based algorithms and nano indentation measurements. Search on Bibsonomy SSCI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fritjof Bornebusch, Robert Wille, Rolf Drechsler Towards lightweight satisfiability solvers for self-verification. Search on Bibsonomy ISED The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arun Chandrasekharan, Daniel Große, Rolf Drechsler Yise - a novel framework for boolean networks using y-inverter graphs. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leonard Schneider, Oliver Keszöcze, Jannis Stoppe, Rolf Drechsler Einfluss von Zellformen auf das Routing von Digital Microfluidic Biochips. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Daniel Große, Rolf Drechsler (eds.) Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Saman Fröhlich, Daniel Große, Rolf Drechsler Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Harshad Dhotre, Stephan Eggersglüß, Rolf Drechsler Identification of Efficient Clustering Techniques for Test Power Activity on the Layout. Search on Bibsonomy ATS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mehran Goli, Jannis Stoppe, Rolf Drechsler Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata. Search on Bibsonomy ICCD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maria K. Michael, Rolf Drechsler, Stephan Eggersglüß, Haralampos-G. D. Stratigopoulos, Sybille Hellebrand, Rob Aitken Foreword. Search on Bibsonomy ETS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saeideh Shirinzadeh, Mathias Soeken, Daniel Große, Rolf Drechsler An adaptive prioritized ε-preferred evolutionary algorithm for approximate BDD optimization. Search on Bibsonomy GECCO The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nils Przigoda, Robert Wille, Rolf Drechsler Analyzing Inconsistencies in UML/OCL Models. Search on Bibsonomy Journal of Circuits, Systems, and Computers The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler Verifying the structure and behavior in UML/OCL models using satisfiability solvers. Search on Bibsonomy IET Cyper-Phys. Syst.: Theory & Appl. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Laura Tague, Gerhard W. Dueck, Rolf Drechsler Ancilla-free synthesis of large reversible functions using binary decision diagrams. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Robert Wille, Eleonora Schönborn, Mathias Soeken, Rolf Drechsler SyReC: A hardware description language for the specification and synthesis of reversible circuits. Search on Bibsonomy Integration The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Robert Wille, Oliver Keszöcze, D. Michael Miller, Rolf Drechsler Embedding of Large Boolean Functions for Reversible Logic. Search on Bibsonomy JETC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arighna Deb, Debesh K. Das, Hafizur Rahaman, Robert Wille, Rolf Drechsler, Bhargab B. Bhattacharya Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability. Search on Bibsonomy JETC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arighna Deb, Robert Wille, Oliver Keszöcze, Stefan Hillmich, Rolf Drechsler Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits. Search on Bibsonomy JETC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nabila Abdessaied, Matthew Amy, Rolf Drechsler, Mathias Soeken Complexity of reversible circuits and their quantum implementations. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stephan Eggersglüß, Kenneth Schmitz, Rene Krenz-Baath, Rolf Drechsler On Optimization-Based ATPG and Its Application for Highly Compacted Test Sets. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Philipp Niemann, Robert Wille, D. Michael Miller, Mitchell A. Thornton, Rolf Drechsler QMDDs: Efficient Quantum Function Representation and Manipulation. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 666 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license