Homepage Sitemap Contact




Home « Publications « Book contributions

Sort: [ Title ] [ Publisher ] [ Author ] [ Format ] [ Year ]
Search:

» Logic Synthesis for Majority based In-Memory Computing
Großformat des Buches: Advances in Memristors, Memristive Devices and Systems
Author:Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
Editor:Sundarapandian Vaidyanathan, Christos Volos
Booktitle:Advances in Memristors, Memristive Devices and Systems
Publisher:Springer
Sites:425 - 448
Year:2017
Format:Hardcover
 More Information




» Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2015
Author:Hoang M. Le
Editor:S. Hölldobler et al.
Booktitle:Ausgezeichnete Informatikdissertationen 2015
Publisher:GI
Sites:179-188
Year:2016
Format:Paperback




» Formal Verification of SystemC-based Cyber Components
Großformat des Buches: Industrial Internet of Things: Cybermanufacturing Systems
Author:Daniel Große, Hoang M. Le, Rolf Drechsler
Editor:Sabina Jeschke, Christian Brecher, Houbing Song, Danda B. Rawat
Booktitle:Industrial Internet of Things: Cybermanufacturing Systems
Publisher:Springer
Sites:137-167
Year:2016
Format:Hardcover
 More Information




» A framework for reversible circuit complexity
Großformat des Buches: Problems and New Solutions in the Boolean Domain
Author:Mathias Soeken, Nabila Abdessaied, Rolf Drechsler
Editor:Bernd Steinbach
Booktitle:Problems and New Solutions in the Boolean Domain
Publisher:Cambridge Scholars Publishing
Sites:327 - 341
Year:2016
Format:Paperback
 More Information




» Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision
Großformat des Buches: Languages, Design Methods, and Tools for Electronic System Design
Author:Oliver Keszöcze, Robert Wille
Editor:Frank Oppenheimer, Julio Luis Medina Pasaje
Booktitle:Languages, Design Methods, and Tools for Electronic System Design
Publisher:Springer
Sites:101—112
Year:2016
Format:gebunden
 More Information




» Formale Spezifikationsebene
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2013
Author:Mathias Soeken
Editor:S. Hölldobler et al.
Booktitle:Ausgezeichnete Informatikdissertationen 2013
Publisher:GI
Sites:241-250
Year:2014
Format:Paperback




» Formal Specification Level
Großformat des Buches: Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012
Author:Rolf Drechsler, Mathias Soeken, Robert Wille
Editor:Jan Haase
Booktitle:Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012
Publisher:Springer
Sites:37-52
Year:2014
Format:Hardcover
 More Information




» Evaluating Debugging Algorithms from a Qualitative Perspective
Großformat des Buches: System Specification and Design Languages: Selected Contributions from FDL 2010
Author:Alexander Finder, Görschwin Fey
Editor:Tom J. Kazmierski, Adam Morawiec
Booktitle:System Specification and Design Languages: Selected Contributions from FDL 2010
Publisher:Springer
Sites:21-36
Year:2012
Format:Hardcover
 More Information




» Assessing System Vulnerability Using Formal Verification Techniques
Großformat des Buches: Mathematical and Engineering Methods in Computer Science
Author:Görschwin Fey
Editor:Zdeněk Kotásek, Jan Bouda, Ivana Černá, LukᚠSekanina, TomᚠVojnar, David Antoš
Booktitle:Mathematical and Engineering Methods in Computer Science
Publisher:Springer
Sites:47-56
Year:2012
Format:Hardcover
 More Information




» SyReC: A Programming Language for Synthesis of Reversible Circuits
Großformat des Buches: System Specification and Design Languages: Selected Contributions from FDL 2010
Author:Robert Wille, Sebastian Offermann, Rolf Drechsler
Editor:Tom J. Kazmierski, Adam Morawiec
Booktitle:System Specification and Design Languages: Selected Contributions from FDL 2010
Publisher:Springer
Sites:207-222
Year:2012
Format:Hardcover
 More Information




» Robuste Erfüllbarkeitsalgorithmen für die Generierung hochwertiger Testmuster für digitale Schaltungen
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2010
Author:Stephan Eggersglüß
Editor:S. Hölldobler et al.
Booktitle:Ausgezeichnete Informatikdissertationen 2010
Publisher:GI
Sites:81-90
Year:2011
Format:Paperback




» Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis
Großformat des Buches: Design and Test Technology for Dependable Systems-on-Chip
Author:Daniel Große, Görschwin Fey, Rolf Drechsler
Editor:Raimund Ubar, Jaan Raik, Heinrich Theodor Vierhaus
Booktitle:Design and Test Technology for Dependable Systems-on-Chip
Publisher:Information Science Reference
Sites:119-129
Year:2011
Format:Hardcover




» SMT-based Stimuli Generation in the SystemC Verification Library
Großformat des Buches: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009
Author:Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler
Editor:Dominique Borrione
Booktitle:Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009
Publisher:Springer
Sites:227-244
Year:2010
Format:Hardcover




» Synthesis of Boolean Functions in Reversible Logic
Großformat des Buches: Progress in Applications of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems)
Author:Robert Wille, Rolf Drechsler
Editor:Tsutomu Sasao, Jon T. Butler, Mitchell Thornton
Booktitle:Progress in Applications of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems)
Publisher:Morgan and Claypool Publishers
Sites:75-92
Year:2010
Format:Paperback




» Ein Entwurfsablauf für Reversible Schaltkreise
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2009
Author:Robert Wille
Editor:S. Hölldobler et al.
Booktitle:Ausgezeichnete Informatikdissertationen 2009
Publisher:GI
Sites:291-300
Year:2010
Format:Paperback




» Non-Clausal SAT and ATPG
Großformat des Buches: Handbook of Satisfiability
Author:Rolf Drechsler, Tommi Junttila and Ilkka Niemelä
Editor:A. Biere, M. Heule, H. van Maaren, T. Walsh
Booktitle:Handbook of Satisfiability
Publisher:IOS Press
Sites:655-693
Year:2009
Format:gebunden
 More Information




» Debugging Contradictory Constraints in Constraint-based Random Simulation
Großformat des Buches: Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08
Author:Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler
Editor:Martin Radetzki
Booktitle:Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08
Publisher:Springer
Sites:273-290
Year:2009
Format:gebunden




» SWORD: A SAT like Prover Using Word Level Information
Großformat des Buches: 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
Author:Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler
Editor:Ricardo Reis, Vincent Mooney, Paul Hasler
Booktitle: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
Publisher:Springer
Sites:175-192
Year:2009
Format:Hardcover




» An Integrated SystemC Debugging Environment
Großformat des Buches: Embedded Systems Specification and Design Languages: Selected contributions from FDL'07
Author:Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke
Editor:Eugenio Villar
Booktitle:Embedded Systems Specification and Design Languages: Selected contributions from FDL'07
Publisher:Springer
Sites:59-71
Year:2008
Format:gebunden




» Qualitätsorientierter Entwurfs- und Verifikationsablauf für digitale Systeme
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2008
Author:Daniel Große
Editor:Dorothea Wagner
Booktitle:Ausgezeichnete Informatikdissertationen 2008
Publisher:GI
Sites:121-130
Year:2009
Format:Paperback






older entries in the archive






Deutsch









Sitemap Kontakt

ISMVL2014 DUHDE