» KLUZZER: Whitebox Fuzzing on top of LLVM
|
|
|
|
Autor:
|
|
Hoang M. Le |
| Konferenz: |
|
Automated Technology for Verification and Analysis (ATVA) |
Referenz:
|
| Taipei, Taiwan, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
» Impacts of Creating Smart Everyday Objects on Young Female Students' Programming Skills and Attitudes
|
|
|
|
Autor:
|
|
Mazyar Seraj, Eva-Sophie Katterfeldt, Serge Autexier, Rolf Drechsler |
| Konferenz: |
|
The 51st ACM Technical Symposium on Computer Science Education |
Referenz:
|
| Portland, Oregon, USA, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
» Scratch and Google Blockly: How Girls’ Programming Skills and Attitudes are Influenced
|
|
|
|
Autor:
|
|
Mazyar Seraj, Eva-Sophie Katterfeldt, Kerstin Bub, Serge Autexier, Rolf Drechsler |
| Konferenz: |
|
19th Koli Calling International Conference on Computing Education Research |
Referenz:
|
| Koli, Finland, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Property-driven Timestamps Encoding for Timeprints-based Tracing and Monitoring
|
|
|
|
Autor:
|
|
Rehab Massoud, Hoang M. Le, Rolf Drechsler |
| Konferenz: |
|
17th International Conference on Formal Modeling and Analysis of Timed Systems, (FORMATS) |
Referenz:
|
| Amsterdam, Netherlands, 27-29 August, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Systematic RISC-V based Firmware Design
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Rolf Drechsler, Christoph Gerum, Alexander Jung, Joscha-Joel Benz, Oliver Bringmann, Michael Schwarz, Dominik Stoffel, Wolfgang Kunz
|
| Konferenz: |
|
Forum on specification & Design Languages (FDL) |
Referenz:
|
| Southampton, United Kingdom, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Functional Coverage-Driven Characterization of RF Amplifiers
|
|
|
|
Autor:
|
|
Muhammad Hassan, Daniel Große, Thilo Vörtler, Karsten Einwich and Rolf Drechsler |
| Konferenz: |
|
Forum on specification & Design Languages (FDL) |
Referenz:
|
| Southampton, United Kingdom, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits
|
|
|
|
Autor:
|
|
Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille |
| Konferenz: |
|
49th IEEE International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Fredericton, NB, Canada, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» T-Depth Optimization for Fault-Tolerant Quantum Circuits
|
|
|
|
Autor:
|
|
Philipp Niemann, Anshu Gupta, Rolf Drechsler |
| Konferenz: |
|
49th IEEE International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Fredericton, NB, Canada, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» ComPRIMe: A Compiler for Parallel and Scalable ReRAM-based In-Memory Computing
|
|
|
|
Autor:
|
|
Steffen Frerix,
Saeideh Shirinzadeh,
Saman Fröhlich,
Rolf Drechsler |
| Konferenz: |
|
International Symposium on Nanoscale Architectures (NanoArch 2019) |
Referenz:
|
| Qingdao, China, 2019
|
PDF:
|
| [hier ansehen]
|
» Scalable Simulation-based Verification of
SystemC-based Virtual Prototypes
|
|
|
|
Autor:
|
|
Mehran Goli,
Rolf Drechsler |
| Konferenz: |
|
EUROMICRO Digital System Design Conference (DSD) |
Referenz:
|
| Kallithea - Chalkidiki, Greece, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Code is Ethics —Formal Techniques for a Better World
|
|
|
|
Autor:
|
|
Rolf Drechsler, Christoph Lüth |
| Konferenz: |
|
EUROMICRO Digital System Design Conference (DSD) |
Referenz:
|
| Kallithea - Chalkidiki, Greece, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Towards Formal Verification of Plans for Cognition-enabled Autonomous Robotic Agents
|
|
|
|
Autor:
|
|
Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
EUROMICRO Digital System Design Conference (DSD) |
Referenz:
|
| Kallithea - Chalkidiki, Greece, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» SAT-Hard: A Learning-based Hardware SAT-Solver
|
|
|
|
Autor:
|
|
Buse Ustaoglu, Sebastian Huhn, Frank Sill Torres, Daniel Große and Rolf Drechsler |
| Konferenz: |
|
EUROMICRO Digital System Design Conference (DSD) |
Referenz:
|
| Kallithea - Chalkidiki, Greece, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» A Hybrid Embedded Multichannel Test Compression Architecture for Low-Pin Count Test Environments in Safety-Critical Systems
|
|
|
|
Autor:
|
|
Sebastian Huhn, Daniel Tille, Rolf Drechsler |
| Konferenz: |
|
International Test Conference in Asia (ITC-Asia) |
Referenz:
|
| Tokyo, Japan, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-coupled Nanotechnologies
|
|
|
|
Autor:
|
|
Robert Wille, Marcel Walter, Frank Sill Torres, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Miami, Florida, USA, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Logic Synthesis for Hybrid CMOS-ReRAM Sequential Circuits
|
|
|
|
Autor:
|
|
Saman Fröhlich, Saeideh Shirinzadeh, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Miami, Florida, USA, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young Learners
|
|
|
|
Autor:
|
|
Mazyar Seraj, Cornelia Große, Serge Autexier, Rolf Drechsler |
| Konferenz: |
|
2019 ACM Interaction Design and Children (IDC) conference |
Referenz:
|
| Boise, Idaho, USA, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Improved Look-ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits
|
|
|
|
Autor:
|
|
Anirban Bhattacharjee, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler and Hafizur Rahaman |
| Konferenz: |
|
International Conference on VLSI Design (VLSI Design) |
Referenz:
|
| Florida, USA, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Automated Analysis of Virtual Prototypes at Electronic System Level
|
|
|
|
Autor:
|
|
Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
29th ACM Great Lakes Symposium on VLSI (GLSVLSI) |
Referenz:
|
| Washington, D.C., USA, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Hybrid Architecture for Embedded Test Compression to Process Rejected Test Patterns
|
|
|
|
Autor:
|
|
Sebastian Huhn, Daniel Tille, Rolf Drechsler |
| Konferenz: |
|
IEEE European Test Symposium (ETS) |
Referenz:
|
| Baden Baden, Germany, 2019
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
