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 (23) 1996-1997 (25) 1998-1999 (38) 2000 (21) 2001 (22) 2002 (20) 2003 (27) 2004 (19) 2005 (19) 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 (44) 2019 (34)
Publication types (Num. hits)
article(129) book(13) incollection(2) inproceedings(541) phdthesis(1) proceedings(12)
Venues (Conferences, Journals, ...)
ISMVL(61) DATE(51) MBMV(34) ASP-DAC(29) IEEE Trans. on CAD of Integrat...(29) DSD(22) FDL(20) ICCAD(18) DDECS(17) RC(17) VLSI Design(17) DAC(16) ISVLSI(15) ACM Great Lakes Symposium on V...(13) CoRR(10) Integration(10) More (+10 of total 155)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 172 occurrences of 101 keywords

Results
Found 699 publication records. Showing 698 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
1Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction. Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler Placement and Routing for Tile-based Field-coupled Nanocomputing Circuits Is NP-complete (Research Note). Search on Bibsonomy JETC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  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
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
1Frank Sill Torres, Hussam Amrouch, Jörg Henkel, Rolf Drechsler Impact of NBTI on Increasing the Susceptibility of FinFET to Radiation. Search on Bibsonomy IRPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler Verifying Instruction Set Simulators using Coverage-guided Fuzzing*. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Muhammad Hassan, Daniel Große, Hoang M. Le, Rolf Drechsler Data Flow Testing for SystemC-AMS Timed Data Flow Models. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hoang M. Le, Daniel Große, Niklas Bruns, Rolf Drechsler Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille Accuracy and Compactness in Decision Diagrams for Quantum Computation. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Saman Fröhlich, Daniel Große, Rolf Drechsler One Method - All Error-Metrics: A Three-Stage Approach for Error-Metric Evaluation in Approximate Computing. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler Better Late Than Never : Verification of Embedded Systems After Deployment. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Harshad Dhotre, Stephan Eggersglüß, Krishnendu Chakrabarty, Rolf Drechsler Machine Learning-based Prediction of Test Power. Search on Bibsonomy ETS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sebastian Huhn 0001, Daniel Tille, Rolf Drechsler Hybrid Architecture for Embedded Test Compression to Process Rejected Test Patterns. Search on Bibsonomy ETS 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
1Görschwin Fey, Rolf Drechsler Self-Explaining Digital Systems - Some Technical Steps. Search on Bibsonomy MBMV The full citation details ... 2019 DBLP  BibTeX  RDF
1Mazyar Seraj, Cornelia S. Große, Serge Autexier, Rolf Drechsler Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young Learners. Search on Bibsonomy IDC 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
1Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits. Search on Bibsonomy ISMVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Philipp Niemann, Anshu Gupta, Rolf Drechsler T-depth Optimization for Fault-Tolerant Quantum Circuits. Search on Bibsonomy ISMVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Frank Sill Torres, Alberto García Ortiz, Rolf Drechsler HotAging - Impact of Power Dissipation on Hardware Degradation. Search on Bibsonomy ISCAS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Harshad Dhotre, Stephan Eggersglüß, Rolf Drechsler Cluster-based Localization of IR-drop in Test Application considering Parasitic Elements. Search on Bibsonomy LATS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler Automated Analysis of Virtual Prototypes at Electronic System Level. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mazyar Seraj, Cornelia S. Große, Serge Autexier, Rolf Drechsler Look what I can do: acquisition of programming skills in the context of living labs. Search on Bibsonomy ICSE (SEET) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anirban Bhattacharjee, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman Improved Look-Ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits. Search on Bibsonomy VLSI Design The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rehab Massoud, Hoang M. Le, Rolf Drechsler Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring. Search on Bibsonomy FORMATS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study. Search on Bibsonomy DAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alireza Mahzoon, Daniel Große, Rolf Drechsler RevSCA: Using Reverse Engineering to Bring Light into Backward Rewriting for Big and Dirty Multipliers. Search on Bibsonomy DAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer 0001, Rolf Drechsler Temporal Tracing of On-Chip Signals using Timeprints. Search on Bibsonomy 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
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
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
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
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
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
1André Inácio Reis, Rolf Drechsler (eds.) Advanced Logic Synthesis Search on Bibsonomy 2018 DBLP  DOI  BibTeX  RDF
1Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler, Priyank Kalla Emerging Circuit Technologies: An Overview on the Next Generation of Circuits. Search on Bibsonomy Advanced Logic Synthesis 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
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
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
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
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
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
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
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
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
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
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
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
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
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, 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
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
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
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
1Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler Towards Automated Refinement of TLM Properties to RTL. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  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
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
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
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
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
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 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
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
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
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
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
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
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
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 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
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
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
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
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
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
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
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
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
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
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
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
Displaying result #1 - #100 of 698 (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