Homepage
Sitemap
Kontakt




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

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




» Next Generation Design For Testability, Debug and Reliability Using Formal Techniques




Autor:

Sebastian Huhn and Rolf Drechsler
Konferenz:
International Test Conference (ITC)
Referenz:

Anaheim, CA, USA, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device




Autor:

Alexander Fratzer, Vladimir Herdt, Christoph Lüth, Rolf Drechsler
Konferenz:
Forum on Specification & Design Languages (FDL)
Referenz:

Linz, Austria, 2022
Hyperlink:

[Link zur Konferenz]



» Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification




Autor:

Niklas Bruns, Vladimir Herdt, Rolf Drechsler
Konferenz:
Forum on Specification & Design Languages (FDL)
Referenz:

Linz, Austria, 2022
Hyperlink:

[Link zur Konferenz]



» 3D Visualization of Symbolic Execution Traces




Autor:

Jan Zielasko, Sören Tempel, Vladimir Herdt, Rolf Drechsler
Konferenz:
Forum on Specification & Design Languages (FDL)
Referenz:

Linz, Austria, 2022
Hyperlink:

[Link zur Konferenz]



» SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification




Autor:

Sören Tempel, Vladimir Herdt and Rolf Drechsler
Konferenz:
Automated Technology for Verification and Analysis (ATVA)
Referenz:

Beijing, China, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Simulation-Based Debugging of Formal Environment Models




Autor:

Tim Meywerk, Arthur Niedzwiecki, Vladimir Herdt and Rolf Drechsler
Konferenz:
The 30th Mediterranean Conference on Control and Automation (MED)
Referenz:

Athen, Griechenland, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» AQuCiDe: Architecture Aware Quantum Circuit Decomposition




Autor:

Soumya Sengupta, Abhoy Kole, Kamalika Datta, Indranil Sengupta and Rolf Drechsler
Konferenz:
2022 International Symposium on Quantum Computing: Circuits Systems Automation and Applications (QC-CSAA)
Referenz:

Knoxville, USA, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Task Mapping and Scheduling in FPGA-based Heterogeneous Real-time Systems: A RISC-V Case-Study




Autor:

Sallar Ahmadi-Pour, Sangeet Saha, Vladimir Herdt, Rolf Drechsler and Klaus McDonald-Maier
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

Gran Canaria, Spain, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Generation of Verified Programs for In-Memory Computing




Autor:

Saman Froehlich and Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

Gran Canaria, Spain, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Polynomial Formal Verification of Approximate Adders




Autor:

Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

Gran Canaria, Spain, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» SAT-based Exact Synthesis of Ternary Reversible Circuits using a Functionally Complete Gate Library




Autor:

Abhoy Kole, Kamalika Datta, Indranil Sengupta and Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

Gran Canaria, Spain, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Unlocking Sneak Path Analysis in Memristor Based Logic Design Styles




Autor:

Kamalika Datta, Saeideh Shirinzadeh, Phrangboklang Lyngton Thangkhiew, Indranil Sengupta and Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

Gran Canaria, Spain, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Polynomial Formal Verification of Approximate Functions




Autor:

Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Referenz:

Pafos, Cyprus, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Using density of training data to improve evolutionary algorithms with approximative fitness functions




Autor:

Christina Plump, Bernhard J. Berger, Rolf Drechsler
Konferenz:
Congress of Evolutionary Computation (CEC)
Referenz:

Padua, Italien, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Advanced Environment Modeling and Interaction in an Open Source RISC-V Virtual Prototype




Autor:

Pascal Pieper, Vladimir Herdt, Rolf Drechsler
Konferenz:
Great Lakes Symposium on VLSI (GLSVLSI)
Referenz:

Irvine, CA, USA, 2022
Hyperlink:

[Link zur Konferenz]



» Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing




Autor:

Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
Great Lakes Symposium on VLSI (GLSVLSI)
Referenz:

Irvine, CA, USA, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Adapting mutation and recombination operators to range-aware relations in real-world application data




Autor:

Christina Plump, Bernhard J. Berger, Rolf Drechsler
Konferenz:
The Genetic and Evolutionary Computation Conference (GECCO Companion)
Referenz:

Boston, USA, 2022
Hyperlink:

[Link zur Konferenz]



» Nearest Neighbor Mapping of Quantum Circuits to Two-Dimensional Hexagonal Qubit Architecture




Autor:

Kamalika Datta, Abhoy Kole, Indranil Sengupta, Rolf Drechsler
Konferenz:
IEEE International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

Virtual Conference, Dallas, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued Logic




Autor:

Philipp Niemann, Rolf Drechsler
Konferenz:
IEEE International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

Dallas, USA, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability




Autor:

Alireza Mahzoon, Daniel Große, Christoph Scholl, Alexander Konrad, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Referenz:

San Francisco, USA, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]




ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt