All | Bachelor | Master | Diploma |
2024 |
|
|
|
2023 |
|
|
|
2022 |
|
|
|
2021 |
|
|
|
2020 |
|
|
|
2019 |
|
|
|
2018 |
|
|
|
2017 |
|
|
|
2016 |
|
|
|
2015 |
|
|
|
2014 |
|
|
|
2013 |
|
|
|
2012 |
|
|
|
2011 | |||
2010 | |||
2009 | |||
2008 | |||
2007 | |||
2006 | |||
2005 |
Name | Topic | Year |
Sena Ilkbahar | Synthetische Generierung von Testdatensätzen für die forensische Datensicherung - Verbesserung der Effizienz und Handhabung von Verifizierungsmethoden | 2024 |
Alireza Vakili | Pipelined RISC-V Processor using High-level Synthesis | 2024 |
Muhammed Ali Yildiz | Wie verhalten sich verschiedene Optimierungsverfahren auf Benchmarkfunktionen am Beispiel von Hill Climbing, Simulated Annealing und evolutionären Algorithmen | 2024 |
Torben Ebermann | HyPA: Ein hybrides PTX Analyse Programm für die Design Space Exploration von GPGPU Applikationen | 2023 |
Nils Friedrichs | SystemC Benchmark for High-Level Synthesis (SC-HLS) | 2023 |
Jonas Geschonke | Automatisierte Visualisierung von Daten in einer Web-Applikation auf Basis explorativer Datenanalyse | 2023 |
Steffen Janßen | Güte- und effizienzbasierte Performanz unterschiedlicher bio-inspirierter Verfahren auf klassischen Optimierungsproblemen | 2023 |
Wilhelm Jochim | Supporting Bluetooth Low Energy Keyboards in Environments without a Bluetooth Stack | 2023 |
Kateryna Sieraia | Polynomial Formal Verification of a Generalized Conditional Sum Adder | 2023 |
Pal Singh Davinder | Vergleich zwischen ausgewählten prä- und post-quantum Verschlüsselungsalgorithmen | 2022 |
Liz-Lilly Hahm | Entwicklung einer Softwarelösung zur Optimierung von Sportprozessen | 2022 |
Jonas Lohmann | From Cells to Silicon: Design and Implementation of a Neuromorphic Processor Empowered with Reinforcement Learning | 2022 |
Nick Michalek | Design, Implementierung und Evaluation einer ESP32-basierten WiFi-Schnittstelle für die MicroRV32 RISC-V Plattform | 2022 |
Arbnor Miftari | Optische Fehleranalyse von autonomen Robotern durch holografische Projektionen | 2022 |
David Möllmann | Entwurf und Umsetzung eines Demonstrators für Eingebettete Systeme für den Einsatz in der Lehre mit Hilfe von Simulations- und Modellbasierten Methoden | 2022 |
Karl Aaron Rudkowski | Interactive Modelling Platform for Projects with Embedded Devices | 2022 |
Fabian Lukas Blanken | Fail-Operational-System für semiautonome zivile Multicopter-Drohnen | 2021 |
Caroline Dominik | Bestimmung polynomieller Schranken für die formale Verifikation symmetrischer Schaltungen | 2021 |
Marcel Franzen | Implementierung einer automatischen Transformierung multilingualer Spracheingaben in Datenbankabfragen | 2021 |
Jan Hensel | RoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual Prototype | 2021 |
Philipp Johag | RoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual Prototype | 2021 |
Gregor Kuhn | Design Understanding für Quantum-dot Cellular Automata Layouts | 2021 |
Vinh Kien Luc | Autoencoder for dimension reduction of data in empirical asset pricing model | 2021 |
Luca Müller | Co-Simulation-Based Verification of a Register-Transfer Level RISC-V Implementation in Reference to a Virtual Prototype | 2021 |
Daniel Staack | Fehlerfindung in robotischen Plänen mittels Fuzzing | 2021 |
Maximilian Eschert | Die Verifikation eines SystemC TLM Interrupt Controller für RISC-V basierend auf Fuzzing | 2020 |
Mahmoud Fakhouri | Maschinelles Lernen von Umgebungsmodellen für die formale Verifikation von Roboterplänen | 2020 |
Leon Klimasch | Betriebszustandserkennung von Geräten durch Auswertung von Beschleunigungssensordaten | 2020 |
Paul Amos Kreiner | Predictive Maintenance nichttechnischer Systeme auf Basis subjektiver Zustandseinschätzungen am Beispiel der Fahrzeugreinigung im Carsharing | 2020 |
Tom Schierenbeck | Entwicklung einer ROS-basierten Sonde zur Erkennung von Fischarten mit neuronalen Netzen | 2020 |
Till Schlechtweg | Gate-level Placement für Field-coupled Nanocomputing unter Berücksichtigung von Clocking Constraints | 2020 |
Martha Schnieber | SMT-based Analysis of Binarized Neural Networks | 2020 |
Jan Frederick Walther | esQUEape: Advanced binary bi-emulation to bridge the instruction screening performance gap | 2020 |
Christian Friedrich Coors | Approximate Computing für Neuronale Netze in selbstfahrenden Autos | 2019 |
Hakan Köksal | Automatisierte Fehlerdetektion in GUI-Applikationen mittels Fuzzing | 2019 |
Carmen Naber | Konzeptionierung und Umsetzung eines adaptiven mobilen Learning-Content-Management-Systems für Schulen | 2019 |
Jan Zielasko | Modellierung und Validierung eines 64-bit RISC-V Virtuellen Prototypen basierend auf SystemC | 2019 |
Mert Arat | Robustheit von konvolutionalen neuronalen Netzen für Bilderkennung im Automotive Bereich | 2018 |
Niels Jeurissen | Robustheit von Methoden zur Bilderkennung am Beispiel von Straßen bei schlechter Witterungsbedingung | 2018 |
Philipp Kiener | Designing a communication protocol for realtime manipulation of digital microfluidic biochips | 2018 |
Lucas Klemmer | Implementierung eines flexiblen H.264/AVC Baseline Decoder IP Cores auf Basis eines ASIC Designs | 2018 |
Rune Krauß | Effiziente Implementierung von Binären Entscheidungsdiagrammen | 2018 |
Marcel Merten | Entwicklung eines konvolutionalen, rekurrenten Neuronalen Netzes zur codewort-basierten Datenkompression | 2018 |
Jurij Schmidt | Evaluationsgestützte Überwachung von Befehlssequenzen mittels isolierter Ausführung | 2018 |
Jan von Bargen | Heuristisches IDS zur präventiven Detektion von rowhammer-typischen Systemangriffen | 2018 |
Martin Afelt | Comparing Different Array Representations in SMT2 | 2017 |
Christoph Bäck | Heuristische Kompaktierung einer Testmenge | 2017 |
Nico Heller | Optimierte Übersetzung einer Spiele DSL nach Java | 2017 |
Maximilian Lünert | StackADrop: A versatile Biochip | 2017 |
Henri Leopold Siakeu Feussom | Evaluation von Entscheidungsverfahren zur Erkennung von Verkehrsschildern auf mobilen Android-Geräten | 2017 |
Julian Stoick | Entwicklung eines kamerabasierten Fahrerassistenzsystems mit virtuellen Prototypen | 2017 |
Niklas Bruns | Agentenbasierte Coverage-getriebene Verifikation von SystemC-Modellen | 2016 |
Hauke Edeler | Kuhhandel-Strategien in einer stochastischen, dynamischen und kompetitiven Mehrspielerumgebung mit partiell imperfekter Information | 2016 |
Igor Kazhdan | Das Flow-Routing-Problem von Programmable Microfluidic Devices mithilfe des Generic Problem Solvers | 2016 |
Schneider Kevin Leonard | Alternative area division methods for exact routing on digital microfluidic biochips | 2016 |
Patrick Kleinermann | Zeitsynchrone Erfassung seismischer Sensordaten | 2016 |
Timo Kohorst | Hardwareparallelität, moderne CPU-Instruktionen und effiziente Datenhaltung in Backupsoftware ausnutzen | 2016 |
Pascal Pieper | Umgebung für automatisierte Tests von Dateisystemen auf NAND-Flash | 2016 |
Jil Tietjen | Untersuchung verschiedener Kodierungen von speziellen Cardinality Constraints für SAT | 2016 |
Tobias Böhnisch | Operationsbasierte einstufige Synthese von Digital Microfluidic Biochips | 2015 |
Steven Bösel | Verschaltung und Programmierung eines Field Programmable Gate Arrays zur Digitalisierung, Steuerung und Überwachung einer analogen Modelleisenbahn | 2015 |
Carina Harrius | Exploiting Design for Testability for Fault Diagnosis in Reversible Circuits | 2015 |
Stefan Hillmich | Analyse beliebiger Spielsituationen des Kartenspiels Skat mit Hilfe Boolescher Erfüllbarkeit und Bitvektorlogik | 2015 |
Hannes Mau | Unidirektionaler Datenaustausch mittels Zweileitertechnik | 2015 |
Tim Meywerk | Neue Strategieansätze für Stratego-Bots | 2015 |
Tom Vincent Peters | Implementierung und Vergleich von Computergegnern für Käsekästchen | 2015 |
Janosch Reinking | Design und Entwicklung einer Kameraschnittstelle nach dem Packet Utilisation Standard | 2015 |
Rhea C. Rinaldo | Entwicklung und Auswertung der Telemetrie/Telekommando-Schnittstelle einer Logging-Komponente für Satelliten | 2015 |
Jöran Schlömer | Automatische Generierung formaler Eigenschaften aus Hardwarebeschreibungssprachen | 2015 |
Michael A. Schulze | The development of an autonomous data-capture system for use in the service module of the XCOR Lynx suborbital spaceplane, in the drop tower, and in other microgravity platforms | 2015 |
Hubert Fred Tchambo | Emotion based Lyric Classification with Natural Language Processing | 2015 |
Marcel Walter | Optimierung von Quantenschaltkreisen durch lokale Umordnung von Qubits | 2015 |
Mehmet Bagatir | Illustrative Implementierung von Quantenalgorithmen | 2014 |
Tobias Kortkamp | An NLP Assistant for Clide | 2014 |
Alexander Kröker | Synthese von digitalen mikrofluidischen Biochips mit dynamisch wachsendem Grid | 2014 |
Max Benjamin Nitze | Automatisches Ergänzen von Klassendiagrammen mittels Informationsextraktion | 2014 |
Andree Rebers | WLAN-ferngesteuertes Modellauto auf Basis des Raspberry Pi | 2014 |
Tim Rühenbeck | Automatische Analyse und Verifikation von AIS-Daten | 2014 |
Frerk Steen | Fehlertolerante drahtlose Kommunikation an Bord des Gossamer I-Satelliten | 2014 |
Luka Dschaak | Ermittlung der optimalen Ausbeute: Was gibt mein Kühlschrank wirklich her? | 2013 |
Torben Hansing | Modellgetriebene Simulation von Microcontrollersystemen | 2013 |
Sascha Hestermann | Hardwarebeschleunigung eines Erfüllbarkeitsbeweisers | 2013 |
Niklas Krafczyk | Automatische Integration von Hardware-Modulen auf Register-Transfer-Ebene | 2013 |
Aaron Frederick Lye | Optimization of Quantum Circuits for Linear Nearest Neighbor Architectures | 2013 |
Ali Mohammadzadeh | Synthese reversibler Funktionen mithilfe des Zauberwürfels | 2013 |
Marc Niehaus | Comparing UML Models to Natural Language Specifications | 2013 |
Lennart Pleuß | Entwicklung einer domänenspezifischen Sprache und eines Editors auf Basis von Xtext zur Erstellung von GUI-Modellen | 2013 |
Vladimir Herdt | Nachweis von Zusicherungen für SystemC Modelle mithilfe symbolischer Simulation | 2012 |
Sebastian Huhn | Entwurf eines generischen multifunktionalen 868 MHz Funkempfängermoduls auf Basis eines Mikrocontrollers | 2012 |
Eugen Kuksa | Generierung von OCL-Ausdrücken aus eingeschränkt natürlichsprachlichen Beschreibungen | 2012 |
Clemens Werther | Eine Multiprozessorarchitektur mit Kommunikation über Nachrichtenaustausch | 2012 |
Keszöcze Oliver | Realization of Modular Exponentiation in Reversible Logic using Automatic Design Methods | 2011 |
Bastian Blachetta | Ausnutzung von Kanonizität in der Darstellung reversibler Schaltkreise | 2010 |
Christian Otterstedt | Synthese sequentieller reversibler Schaltkreise | 2010 |
Hristina Fidanoska | Complete Algorithms for Solving the Boolean Satisfaiablitity Problem | 2009 |
Markus Groß | Co-Simulation von SystemC-Modellen unterschiedlicher Abstraktionsebenen | 2009 |
Andreas Schröder | Entwicklung eines Synthese-Verfahrens für SystemC-Beschreibungen | 2009 |