Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Publikationen « Konferenzen

Sortieren nach: [ Titel ] [ Autor ] [ Konferenz ] [ Referenz ]
Suche nach:




» Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips




Autor:

Oliver Keszöcze, Mohamed Ibrahim, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler
Konferenz:
International Conference on VLSI Design (VLSID)
Referenz:

Pune, Indien, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Revealing Properties of Structural Materials by Combining Regression-based Algorithms and Nano Indentation Measurements




Autor:

Sebastian Huhn, Heike Sonnenberg, Stephan Eggersglüß, Brigitte Clausen, Rolf Drechsler
Konferenz:
10th IEEE Symposium Series on Computational Intelligence (SSCI)
Referenz:

Hawaii, USA, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Approximation-aware Testing for Approximate Circuits




Autor:

Arun Chandrasekharan, Stephan Eggersglüß, Daniel Große, Rolf Drechsler
Konferenz:
23rd Asia and South Pacific Design Automation Conference (ASP-DAC)
Referenz:

Jeju, Korea, 2018
Hyperlink:

[Link zur Konferenz]



» Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata




Autor:

Mehran Goli, Jannis Stoppe, Rolf Drechsler
Konferenz:
35th IEEE International Conference on Computer Design (ICCD)
Referenz:

Boston Area, Massachusetts, USA, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Identification of Efficient Clustering Techniques for Test Power Activity on the Layout




Autor:

Harshad Dhotre, Stephan Eggersglüß, Rolf Drechsler
Konferenz:
26th IEEE Asian Test Symposium (ATS)
Referenz:

Taipei, Taiwan, 2017
Hyperlink:

[Link zur Konferenz]



» More than true or false: Native Support of Irregular Values in the Automatic Validation & Verification of UML/OCL Models




Autor:

Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler
Konferenz:
15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Referenz:

Vienna, Austria, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Yise - A novel Framework for Boolean Networks using Y-Inverter Graphs




Autor:

Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Konferenz:
15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Referenz:

Vienna, Austria, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Reconfigurable TAP Controllers with Embedded Compression for Large Test Data Volume




Autor:

Sebastian Huhn, Stephan Eggersglüß, Rolf Drechsler
Konferenz:
30th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)
Referenz:

Cambridge, UK, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Machine Learning Based Test Pattern Analysis for Localizing Critical Power Activity Areas




Autor:

Harshad Dhotre, Stephan Eggersglüß, Mehdi Dehbashi, Ulrike Pfannkuchen, Rolf Drechsler
Konferenz:
30th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)
Referenz:

Cambridge, UK, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Unintrusive Aging Analysis based on Offline Learning




Autor:

Frank Sill Torres, Pedro F. R. Leite Junior and Rolf Drechsler
Konferenz:
30th IEEE Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)
Referenz:

Cambridge, UK, 2017
Hyperlink:

[Link zur Konferenz]



» Towards Early Validation of Firmware-Based Power Management using Virtual Prototypes: A Constrained Random Approach




Autor:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL)
Referenz:

Verona, Italy, 2017
Best Paper Candidate
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Semi-Formal Cycle-Accurate Temporal Execution Traces Reconstruction




Autor:

Rehab Massoud, Jannis Stoppe, Daniel Große, Rolf Drechsler
Konferenz:
15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS)
Referenz:

Berlin, Germany, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Early SoC Security Validation by VP-based Static Information Flow Analysis




Autor:

Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Konferenz:
International Conference on Computer Aided Design (ICCAD)
Referenz:

Irvine, USA, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Self-practicing of logic circuits through mobile devices: Lecturers' and students' perceptions




Autor:

Mazyar Seraj, Cornelia Große, Rolf Drechsler
Konferenz:
9th annual International Conference on Education and New Learning Technologies (EduLearn17)
Referenz:

Barcelona, Spain, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» BioViz: An Interactive Visualization Engine for Digital Microfluidic Biochips




Autor:

Jannis Stoppe, Oliver Keszöcze, Maximilian Luenert, Robert Wille, Rolf Drechsler
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Referenz:

Bochum, Germany, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Towards Making Fault Injection on Abstract Models a More Accurate Tool for Predicting RT-Level Effects




Autor:

Tino Flenker, Jan Malburg, Goerschwin Fey, Serhiy Avramenko, Massimo Violante and Matteo Sonza Reorda
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Referenz:

Bochum, Germany, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Towards VHDL-based Design of Reversible Circuits




Autor:

Zaid Al-Wardi, Robert Wille, Rolf Drechsler
Konferenz:
Reversible Computation
Referenz:

Kolkata, India, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Efficient Construction of QMDDs for Irreversible, Reversible and Quantum Functions




Autor:

Philipp Niemann, Alwin Zulehner, Robert Wille, Rolf Drechsler
Konferenz:
Reversible Computation
Referenz:

pp. 214-231, Kolkata, India, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Mapping Abstract and Concrete Hardware Models for Design Understanding




Autor:

Tino Flenker, Görschwin Fey
Konferenz:
IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Referenz:

Dresden, Germany, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» An Adaptive Prioritized ε-Preferred Evolutionary Algorithm for Approximate BDD Optimization




Autor:

Saeideh Shirinzadeh, Mathias Soeken, Daniel Große, Rolf Drechsler
Konferenz:
Genetic and Evolutionary Computation Conference (GECCO)
Referenz:

Berlin, Germany, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]




ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt