Search: (more)
Header

Search Result

2017

BibTeX Search WWW PDF   [Stut17]
F.M. Stutz
Operations on a Symbolic Domain for Synthesis
Bachelor Thesis

2016

BibTeX Search WWW PDF   [Bai16]
Y. Bai
Model-based Design of Embedded Systems by Desynchronization
PhD Thesis
BibTeX Search WWW PDF   [Dein16]
D. Deiniger
Application of Factored Representations from Probabilistic Graphical Models to Probabilistic Verification
Master Thesis
BibTeX Search WWW PDF   [Harm16]
C. Harms
Evaluation of FPGA-based Implementations of Interconnection Networks
Master Thesis
BibTeX Search WWW PDF   [Heer16]
M. Heer
Verification Condition Generation for Hybrid Systems described by Synchronous Languages
Master Thesis
BibTeX Search WWW PDF   [John16]
M.R. John
Static Instruction Scheduling for Transport Triggered Architectures
Master Thesis
BibTeX Search WWW PDF   [Kabo16]
A. Kabouteh
Formal Method Based Analysis of an Ophthalmic Surgical Robot Considering Hard Real-Time Constraints
Master Thesis
BibTeX Search WWW PDF   [Rao16]
A. Rao
Implementation of a Software Emulator to recreate I2C Sensor Communication
Master Thesis
BibTeX Search WWW PDF   [Walk16a]
F. Walk
Out-of-Order Execution Within Functional Units of the SCAD Architecture
Master Thesis

2015

BibTeX Search WWW PDF   [Ashr15]
K. Ashraf
HW/SW Co-design and Implementation of a Fountain Code for an FPGA System-on-Chip
Master Thesis
BibTeX Search WWW PDF   [Bich15]
F. Bichued
Verification of Microprocessors
Master Thesis
BibTeX Search WWW PDF   [Blat15]
D. Blatner
Automatisierte Transformationen von Petri-Netzen zur detaillierten Ablaufkontrolle in verteilten Laufzeitsystemen
Master Thesis
BibTeX Search WWW   [Garc15]
H. Lázaro García
Using UVM for Mixed-Signal Verification with IGBT Driver Context
Master Thesis
BibTeX Search WWW PDF   [Schu15]
S. Schumb
Hardware Generation for Transport Triggered Architectures
Bachelor Thesis
BibTeX Search WWW PDF   [Shaz15]
T. Shazadi
Evaluation of Dataflow Process Networks Mapping on Multi-core Processors
Master Thesis
BibTeX Search WWW PDF   [Stra15]
J. Stratmann
Implementation and Verification of IEEE-conform Floating-Point Arithmetic
Master Thesis
BibTeX Search WWW PDF   [Tria15]
A. Triambak
Dynamic Scheduling of Instructions in Transport Triggered Architecture based Processors
Master Thesis

2014

BibTeX Search WWW PDF   [Dahl14]
M. Dahlem
Interactive Verification of Synchronous Systems in HOL
Master Thesis
BibTeX Search WWW PDF   [Gese14]
M. Gesell
Interactive Verification of Synchronous Systems
PhD Thesis
BibTeX Search WWW PDF   [Heer14]
M. Heer
Assembler Code-Generierung aus synchronen Aktionen
Bachelor Thesis
BibTeX Search WWW PDF   [Maca14]
M.N. Basurto Macavilca
Endochrony of Distributed Systems
Diploma Thesis
BibTeX Search WWW PDF   [Rede14]
M. Reder
Code Generation for Transport Triggered Architecture
Bachelor Thesis
BibTeX Search WWW PDF   [Rome14]
A. Gerlinger Romero
Hybrid fUML: A Hybrid Synchronous Language
PhD Thesis
BibTeX Search WWW PDF   [Roob14]
J. Roob
A Hardware Abstraction Layer for Model-based Design of Embedded Systems
Bachelor Thesis
BibTeX Search WWW PDF   [Thie14]
D. Thielsch
Analysis of Concurrency in Synchronous Systems
Master Thesis

2013

BibTeX Search WWW PDF   [Baud13]
D. Baudisch
Synthesis of Synchronous Programs to Parallel Software Architectures
PhD Thesis
BibTeX Search WWW PDF   [Bran13]
J. Brandt
Synchronous Models for Embedded Software
Habilitation Thesis
BibTeX Search WWW PDF   [Gemu13a]
M. Gemünde
Clock Refinement in Imperative Synchronous Programs
PhD Thesis
BibTeX Search WWW PDF   [Humb13]
Y. Humbert
Umsetzung und Vergleich der Ausführung einer rechenintensiven Echtzeitanwendung mittels OpenMP und CUDA am Beispiel des Beamforming-Algorithmus
Master Thesis
BibTeX Search WWW PDF   [Khad13]
M.A. Ben Khadra
A Model-based Approach To Sychronous Elastic Systems
Master Thesis
BibTeX Search WWW PDF   [Rafi13]
O. Rafique
Design, Development, and Integration of a Wireless Communication Unit in ConceptCar
Master Thesis
BibTeX Search WWW PDF   [Senf13]
M. Senftleben
Operational Characterization of Weak Memory Consistency Models
Master Thesis
BibTeX Search WWW PDF   [Walk13]
F. Walk
Parallel Software Generated from Synchronous Programs -- A Performance Evaluation Using a Ray Tracer
Bachelor Thesis

2012

BibTeX Search WWW PDF   [Baue12]
K. Bauer
A New Modelling Language for Cyber-physical Systems
PhD Thesis
BibTeX Search WWW PDF   [Eick12]
T. Eickhoff
Program Sketching Using Craig Interpolants
Bachelor Thesis
BibTeX Search WWW PDF   [Liet12]
B. Lietzow
A Domain Specific Language for the Synthesis of Networked Embedded Systems
Master Thesis
BibTeX Search WWW PDF   [Stra12]
J. Stratmann
Design and Implementation of a Floating-Point Application Specific Instruction Set Processor
Bachelor Thesis
BibTeX Search WWW PDF   [Thie12]
D. Thielsch
Criteria of Endo/Isochrony in Quartz
Bachelor Thesis
BibTeX Search WWW   [Thul12]
J. Thull
Ein Testkonzept für Efficient XML Interchange (EXI) im Automobilbereich
Master Thesis
BibTeX Search WWW PDF   [Will12a]
S. Willenbrock
Speculative Execution of Data Flow Process Networks
Master Thesis

2011

BibTeX Search WWW PDF   [Blat11]
D. Blatner
Out-of-Order Execution of Data-flow Process Networks for Streaming Applications
Bachelor Thesis
BibTeX Search WWW PDF   [Senf11]
M. Senftleben
Web-based instruction-level simulation of a parameterized dynamic processor
Bachelor Thesis

2010

BibTeX Search WWW PDF   [Bai10]
Y. Bai
Dependency Analysis of Synchronous Programming Languages
Master Thesis
BibTeX Search WWW PDF   [Morg10]
A. Morgenstern
Symbolic Controller Synthesis for LTL Specifications
PhD Thesis
BibTeX Search WWW PDF   [Rope10]
T. Ropertz
Efficient Execution of Synchronous Guarded Actions using CUDA
Bachelor Thesis
BibTeX Search WWW PDF   [Will10]
A. Willenbücher
Optimizing Combinational Circuits for FPGAs Using Genetic Programming
Master Thesis

2008

BibTeX Search WWW PDF   [Baud08]
D. Baudisch
Synthesis for VLIW Architectures
Diploma Thesis
BibTeX Search WWW PDF   [Baue08b]
K. Bauer
Algebraic Methods and Abstractions for Automated 3-valued Reasoning on Hybrid Automata
Diploma Thesis
BibTeX Search WWW PDF   [DyWi08]
S. Dyckmans and A. Willenbücher
Design and Implementation of a Dataflow-Processor for Synchronous Programs
Bachelor Thesis
BibTeX Search WWW PDF   [Gemu08]
M. Gemünde
Evaluation Environment for AUTOSAR-Autocode in Motor Control Units
Diploma Thesis
BibTeX Search WWW PDF   [Gese08]
M. Gesell
Probabilistic Model Checking of Synchronous Programs
Diploma Thesis
BibTeX Search WWW PDF   [Schm08]
S. Schmitt
Supervisor Synthesis using SAT-Solvers
Diploma Thesis

2007

BibTeX Search WWW PDF   [Baue07]
K. Bauer
On the Use of Gröbner Bases and Algebraic Methods for the Analysis of Hybrid Automata
Project Thesis
BibTeX Search WWW PDF   [Baue07a]
K. Bauer
Three-valued $\mu$-Calculus on Hybrid Automata
Diploma Thesis
BibTeX Search WWW PDF   [Bran07]
J. Brandt
A Layered Approach to Polygon Processing for Safety-Critical Embedded Systems
PhD Thesis
BibTeX Search WWW PDF   [GeGe07]
M. Gesell and M. Gemünde
Eine Oberfläche zur Simulation synchroner Sprachen
Project Thesis
BibTeX Search WWW PDF   [Schu07]
T. Schüle
Verification of Infinite State Systems Using Presburger Arithmetic
PhD Thesis

2006

BibTeX Search WWW PDF   [Baud06]
D. Baudisch
Implementierung und Verifikation eines RISC-Prozessors in Averest
Project Thesis
BibTeX Search WWW PDF   [Frie06]
M. Friedrich
Design and Implementation of a FCC Schedule Planner for an unmanned aircraft demonstrator
Diploma Thesis
BibTeX Search WWW PDF   [Wagn06]
C. Wagner
Automatenbasierte Entscheidungsverfahren für Presburger-Arithmetik
Diploma Thesis

2005

BibTeX Search WWW   [Cron05]
B. Cronauer
XML-basierte Konfiguration von Steuergeräten
Diploma Thesis
BibTeX Search WWW PDF   [Schm05]
M. Schmidt
An Algorithm for Restriction of Finite Automata
Diploma Thesis
BibTeX Search WWW PDF   [Tuer05]
T. Türk
A Hierarchy for Accellera's Property Specification Language
Diploma Thesis
BibTeX Search WWW PDF   [Wagn05a]
C. Wagner
Evaluierung von Algorithmen zur Berechnung fairer Pfade
Project Thesis

2004

BibTeX Search WWW PDF   [Gent04]
R. Gentilini
Graph Algorithms for Massive Data-Sets
PhD Thesis
BibTeX Search WWW PDF   [Ober04]
A. Obermann
Verifikation kryptographischer Protokolle mit Baumtransduktoren
Diploma Thesis
BibTeX Search WWW PDF   [Webe04]
J. Weber
Entwurf eines RISC Prozessors mit synchronen Sprachen
Diploma Thesis

2003

BibTeX Search WWW PDF   [Bran03]
J. Brandt
2D-Polygon-Clipping Algorithmen für eingebettete Echtzeitsysteme
Diploma Thesis
BibTeX Search WWW   [Metz03]
C. Metzler
WCET-Analyse mit symbolischen Verfahren
Diploma Thesis

2001

BibTeX Search WWW PDF   [Muel01]
A. Müller
Entwurf und Realisierung eines eingebetteten Systems zur Steuerung eines automatisierten Kalibrierkanals für Strömungssonden
Project Thesis
BibTeX Search WWW PDF   [Wenz01]
M. Wenz
Codeerzeugung für die synchrone Modellierungssprache Quartz
Diploma Thesis

1999

BibTeX Search WWW   [Stit99]
P. Stitzelberger
übersetzung von VHDL-Strukturbeschreibungen in die synchrone Beschreibungssprache PURR
Diploma Thesis
BibTeX Search WWW PDF   [Zimm99]
J. Zimmermann
Implementierung eines Entwurfs-und Verifikationswerkzeuges für die synchrone Programmiersprache PURR
Master Thesis

1998

BibTeX Search WWW PDF   [Schr98]
J. Schröder-Babo
Anwendung spezieller Modellprüfungstechniken bei der Verifikation einer mehrfähdigen Prozessorarchitektur
Project Thesis
BibTeX Search WWW PDF   [Zimm98]
J. Zimmermann
Verifikation der diskreten Cosinus-Transformation mittels Modellprüfung
Project Thesis

1997

BibTeX Search WWW PDF   [Kuec97]
G. Küçük
Eine synchrone generische Hardwarebeschreibungssprache für die Verifikation mit induktiven Verfahren sowie Modellierung temporaler Logik
Diploma Thesis
BibTeX Search WWW PDF   [Wein97]
H. Weindel
Verifikation von Zeitbedingungen mittels arithmetischer Entscheidungsverfahren
Diploma Thesis

1996

BibTeX Search WWW PDF   [Amor96]
M.G. Ben Amor
Implementierung eines Modellprüfers für die verzweigende temporale Logik CTL*
Diploma Thesis

1995

BibTeX Search WWW PDF   [Garb95]
R.-U. Garbe
Implementierung eines hierarchischen Verifikationsverfahrens mit $\omega$-Automaten
Project Thesis

1993

BibTeX Search WWW PDF   [Eise93]
D. Eisenbiegler
Ein funktionaler Ansatz zur systematischen Formalisierung regulärer Schaltungen
Diploma Thesis