Search: (more)
Header

Search Result

2017

BibTeX Search WWW PDF   [Basa17]
S.R. Basavaraju
Application-specific Configuration of Exposed Datapath Architectures
Master Thesis
BibTeX Search WWW PDF   [BhSc17]
A. Bhagyanath and K. Schneider
Exploring the Potential of Instruction-Level Parallelism of Exposed Datapath Architectures with Buffered Processing Units
Application of Concurrency to System Design (ACSD)
BibTeX Search WWW PDF   [Haif17]
F. Haifani
Antichain Optimization using Simulation Relations for Context-Free Games
Master Thesis
BibTeX Search WWW PDF   [LeSc17]
A. Legay and K. Schneider
Message from the ACSD 2017 Program Chairs
Application of Concurrency to System Design (ACSD)
BibTeX Search WWW PDF   [Stat17]
M. Stather
Entwicklung einer Kommunikationskomponente mit Sensor-/Aktorinterface auf einem FPGA für das Finroc-Projekt
Bachelor Thesis
BibTeX Search WWW PDF   [Stut17]
F.M. Stutz
Operations on a Symbolic Domain for Synthesis
Bachelor Thesis
BibTeX Search WWW PDF   [TaDS17]
J.-P. Talpin and P. Derler and K. Schneider
Message from the Chairs
Formal Methods and Models for Codesign (MEMOCODE)

2016

BibTeX Search WWW PDF   [Bai16]
Y. Bai
Model-based Design of Embedded Systems by Desynchronization
PhD Thesis
BibTeX Search WWW PDF   [BhSc16]
A. Bhagyanath and K. Schneider
Optimal Compilation for Exposed Datapath Architectures with Buffered Processing Units by SAT Solvers
Formal Methods and Models for Codesign (MEMOCODE)
BibTeX Search WWW PDF   [Buss16]
L. Busser
Inference of regular expressions/grammars for given data entities
BibTeX Search WWW PDF   [Dein16]
D. Deiniger
Application of Factored Representations from Probabilistic Graphical Models to Probabilistic Verification
Master Thesis
BibTeX Search WWW PDF   [Desh16]
P.D. Deshmukh
Evaluation and comparison of inter-processor communication techniques in model-based design flows/tools
BibTeX Search WWW PDF   [Geor16]
G. Georgopoulos
Memory Consistency Models of Modern CPUs
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   [Herr16]
F. Herrmann
State of the Art in Temporal Logic Verification
BibTeX Search WWW PDF   [Huse16]
J. Husemann
A Study of Queue Machines
BibTeX Search WWW PDF   [JaSc16]
T. Jain and K. Schneider
Verifying the Concentration Property of Permutation Networks by BDDs
Formal Methods and Models for Codesign (MEMOCODE)
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   [Kann16]
S. Kannoth
A Survey of Real-Time Interconnects
BibTeX Search WWW PDF   [Krem16]
M. Kremer
Worst Case Reaction Time (WCRT) Analysis Techniques for Synchronous Programs
BibTeX Search WWW PDF   [LiSc16c]
X. Li and K. Schneider
Control-flow Guided Property Directed Reachability for Synchronous Programs
Formal Methods and Models for Codesign (MEMOCODE)
BibTeX Search WWW PDF   [Pand16]
G. Pandit
Compilation Techniques for Reactive Systems
BibTeX Search WWW PDF   [Rao16]
A. Rao
Implementation of a Software Emulator to recreate I2C Sensor Communication
Master Thesis
BibTeX Search WWW PDF   [Schu16]
S. Schumb
A Survey of Reactive Processor Architectures
BibTeX Search WWW PDF   [TaLS16]
J.P. Talpin and E. Leonard and K. Schneider
Welcome Message from the Chairs
Formal Methods and Models for Codesign (MEMOCODE)
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   [Basa15]
S.R. Basavaraju
WCET-centric Scratchpad Memory Allocation
BibTeX Search WWW PDF   [Basa15a]
S.R. Basavaraju
WCET-centric Scratchpad Memory Allocation
Presentation
BibTeX Search WWW PDF   [Betz15]
A. Betz
x86 Memory Consistency
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 PDF   [Eswa15]
A. Eswarappa
AUTOSAR
BibTeX Search WWW PDF   [Faus15]
M. Faust
Dataflow processor architecture implementation survey
BibTeX Search WWW PDF   [Faus15a]
M. Faust
Dataflow processor architecture implementation survey
Presentation
BibTeX Search WWW PDF   [Froe15]
J. Frömmer
Hoare Calculi for Parallel Programs
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   [Grei15]
T. Greiner
The use of weak consistency models in cloud storage
BibTeX Search WWW PDF   [Harm15]
C. Harms
Branch Prediction in WCET Analysis
BibTeX Search WWW PDF   [Harm15a]
C. Harms
Branch Prediction in WCET Analysis
Presentation
BibTeX Search WWW PDF   [Jede15]
E. Jedermann
Exposed Datapath Processor Architecture Implementation Survey
BibTeX Search WWW PDF   [Jede15a]
E. Jedermann
Exposed Datapath Processor Architecture Implementation Survey
Presentation
BibTeX Search WWW PDF   [Klip15]
N. Klipphahn
Concurrent Model Checking -- Systematic testing/Stateless Model Checking
BibTeX Search WWW PDF   [Kolh15]
A. Kolhapurkar
Functional Safety: ISO26262
BibTeX Search WWW PDF   [Lang15]
D. Langguth
Scratchpad memory vs Caches -- Performance and Predictability Comparison
BibTeX Search WWW PDF   [Lang15a]
D. Langguth
Scratchpad memory vs Caches -- Performance and Predictability Comparison
Presentation
BibTeX Search WWW PDF   [Nogu15]
C. Pereira Nogueira
Caches in Worst Case Execution Time (WCET) Analysis
BibTeX Search WWW PDF   [Nogu15a]
C. Pereira Nogueira
Caches in Worst Case Execution Time (WCET) Analysis
Presentation
BibTeX Search WWW PDF   [Pahl15]
P. Pahlevannejad
Speculative Relaxation of Memory Consistency
BibTeX Search WWW PDF   [Pahl15a]
P. Pahlevannejad
Speculative Relaxation of Memory Consistency
Presentation
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
BibTeX Search WWW PDF   [Zhan15]
H. Zhang
E-Gas Überwachungskonzept

2014

BibTeX Search WWW PDF   [Adam14]
J. Adamczyk
Automotive Application: Engine Control
BibTeX Search WWW PDF   [Bill14]
J. Billert
Automotive Operating Systems: OSEK/VDX
BibTeX Search WWW PDF   [Dahl14]
M. Dahlem
Interactive Verification of Synchronous Systems in HOL
Master Thesis
BibTeX Search WWW PDF   [Espe14]
D. Espen
Adaptive Cruise Control
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   [Heil14]
P. Heiler
CAN -- Controller Area Network
BibTeX Search WWW PDF   [Hubr14]
J. Hubrich
Fahrdynamikregelung
BibTeX Search WWW PDF   [Kaes14]
M. Kaesberger
Fahrzeugdiagnose
BibTeX Search WWW PDF   [Kimp14]
M. Kimpel
Automotive Software Modules and Interfaces: ASAM MDX
BibTeX Search WWW PDF   [Knob14]
J.B. Knobloch
LIN-Bus
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   [SCSO14]
K. Schneider and N. Chang and Y. Shin and S. Ozev
International Conference on Computer Design (ICCD)
BibTeX Search WWW PDF   [Schm14b]
F. Schmidt
Automotive Communication Architectures: MOST
BibTeX Search WWW PDF   [Schn14]
F. Schnicke
ASCET-MD
BibTeX Search WWW PDF   [Thie14]
D. Thielsch
Analysis of Concurrency in Synchronous Systems
Master Thesis
BibTeX Search WWW PDF   [Tria14]
A. Triambak
Timing Anomalies and WCET Analysis

2013

BibTeX Search WWW PDF   [BSCO13]
G. Byrd and K. Schneider and N. Chang and S. Ozev
International Conference on Computer Design (ICCD)
BibTeX Search WWW PDF   [Baud13]
D. Baudisch
Synthesis of Synchronous Programs to Parallel Software Architectures
PhD Thesis
BibTeX Search WWW PDF   [Bich13]
F. Bichued
Cyber Physical System Verification with SAL
BibTeX Search WWW PDF   [Bich13a]
F. Bichued
Cyber Physical System Verification with SAL
Presentation
BibTeX Search WWW PDF   [Bran13]
J. Brandt
Synchronous Models for Embedded Software
Habilitation Thesis
BibTeX Search WWW PDF   [Ciol13]
G.A. Ciolacu
Introducing Simulation of Hybrid Systems with the Modelica Tool
BibTeX Search WWW PDF   [Ciol13a]
G.A. Ciolacu
Introducing Simulation of Hybrid Systems with the Modelica Tool
Presentation
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   [Schu13c]
S. Schumb
Cyber Physical System Verification Seminar: Event-B
BibTeX Search WWW PDF   [Schu13d]
S. Schumb
Cyber Physical System Verification Seminar: Event-B
Presentation
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   [BaSc12b]
D. Baudisch and K. Schneider
GPGPU Architectures -- Compiler Techniques and Applications
BibTeX Search WWW PDF   [Baue12]
K. Bauer
A New Modelling Language for Cyber-physical Systems
PhD Thesis
BibTeX Search WWW PDF   [Blat12]
D. Blatner
OpenACC and the PGI Compiler
BibTeX Search WWW PDF   [Blat12a]
D. Blatner
OpenACC and the PGI Compiler
Presentation
BibTeX Search WWW   [BrSc12]
J. Brandt and K. Schneider
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW PDF   [Eick12]
T. Eickhoff
Program Sketching Using Craig Interpolants
Bachelor Thesis
BibTeX Search WWW PDF   [Grae12a]
M. Gräfe
GPU Architektur und Programmiermö̈glichkeiten fü̈r GPGPU-Anwendungen
Presentation
BibTeX Search WWW PDF   [Grae12b]
M. Gräfe
GPU Architektur und Programmiermö̈glichkeiten fü̈r GPGPU-Anwendungen
BibTeX Search WWW PDF   [Humb12]
Y. Humbert
Simulation digitaler Schaltungen auf GPUs
BibTeX Search WWW PDF   [Humb12a]
Y. Humbert
Simulation digitaler Schaltungen auf GPUs
Presentation
BibTeX Search WWW PDF   [Koel12]
J. Kölsch
Automatische C-to-CUDA Code Generierung
BibTeX Search WWW PDF   [Koel12a]
J. Kölsch
Automatische C-to-CUDA Code Generierung
Presentation
BibTeX Search WWW PDF   [Liet12]
B. Lietzow
A Domain Specific Language for the Synthesis of Networked Embedded Systems
Master Thesis
BibTeX Search WWW PDF   [Ratz12]
A. Ratzke
An introduction to the research on Scratchpad memory with focus on performance improvement -- Instruction SPM, SPM on Multicoresystems and SPM on Multitaskingsystems
BibTeX Search WWW PDF   [Ratz12a]
A. Ratzke
An introduction to the research on Scratchpad memory with focus on performance improvement -- Instruction SPM, SPM on Multicoresystems and SPM on Multitaskingsystems
Presentation
BibTeX Search WWW PDF   [Roob12]
J. Roob
An Introduction to the Research on Scratchpad Memory: Definition, Hardware, Known Implementations and WCET Optimisation
BibTeX Search WWW PDF   [Roob12a]
J. Roob
An Introduction to the Research on Scratchpad Memory: Definition, Hardware, Known Implementations and WCET Optimisation
Presentation
BibTeX Search WWW PDF   [Senf12]
M. Senftleben
Dataflow Programming on GPUs
BibTeX Search WWW PDF   [Senf12a]
M. Senftleben
Dataflow Programming on GPUs
Presentation
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   [TBBS12]
S. Tahar and G. Byrd and P. Bose and K. Schneider
International Conference on Computer Design (ICCD)
BibTeX Search WWW PDF   [Thie12]
D. Thielsch
Criteria of Endo/Isochrony in Quartz
Bachelor Thesis
BibTeX Search WWW PDF   [Thie12a]
D. Thielsch
Verifikation auf paralleler Hardware
Presentation
BibTeX Search WWW PDF   [Thie12b]
D. Thielsch
Verifikation auf paralleler Hardware
BibTeX Search WWW   [Thul12]
J. Thull
Ein Testkonzept für Efficient XML Interchange (EXI) im Automobilbereich
Master Thesis
BibTeX Search WWW PDF   [Walk12]
F. Walk
Porting CUDA code to multicore CPUs and other platforms
BibTeX Search WWW PDF   [Walk12a]
F. Walk
Porting CUDA code to multicore CPUs and other platforms
Presentation
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   [GTBS11]
G. Gaydadjiev and S. Tahar and G. Byrd and K. Schneider
International Conference on Computer Design (ICCD)
BibTeX Search WWW PDF   [Kolt11]
D. Koltermann
Vektorisierungstechniken zur Nutzung der Multimedia-Extensions
BibTeX Search WWW PDF   [Kolt11a]
D. Koltermann
Vektorisierungstechniken zur Nutzung der Multimedia-Extensions
Presentation
BibTeX Search WWW PDF   [Nazi11]
R. Nazier
Parallel Programming Models and Hybrid MPI/SMPSs Approach
BibTeX Search WWW PDF   [Nazi11a]
R. Nazier
Parallel Programming Models and Hybrid MPI/SMPSs Approach
Presentation
BibTeX Search WWW PDF   [Senf11]
M. Senftleben
Web-based instruction-level simulation of a parameterized dynamic processor
Bachelor Thesis
BibTeX Search WWW PDF   [Thul11]
J. Thull
Translating OpenMP Programs for Distributed-Memory Systems
BibTeX Search WWW PDF   [Thul11a]
J. Thull
Translating OpenMP Programs for Distributed-Memory Systems
Presentation

2010

BibTeX Search WWW PDF   [BELS10]
A. Benveniste and S.A. Edwards and E. Lee and K. Schneider and R. von Hanxleden
SYNCHRON: Abstracts Collection of Dagstuhl Seminar 09481
BibTeX Search WWW PDF   [Bai10]
Y. Bai
Dependency Analysis of Synchronous Programming Languages
Master Thesis
BibTeX Search WWW PDF   [GeBS10]
M. Gemünde and J. Brandt and K. Schneider
Clock Refinement in Imperative Synchronous Languages
SYNCHRON'09: Abstracts Collection of Dagstuhl Seminar 09481
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   [SJCB10]
K. Schneider and B. Jobstmann and L. Carloni and J. Brandt
Formal Methods and Models for Codesign (MEMOCODE)
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   [EdSc08]
S. Edwards and K. Schneider
Formal Methods and Models for Codesign (MEMOCODE)
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   [HoSc07]
J.C. Hoe and K. Schneider
Formal Methods and Models for Codesign (MEMOCODE)
BibTeX Search WWW PDF   [ScBr07]
K. Schneider and J. Brandt
Theorem Proving in Higher Order Logics (TPHOL)
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   [BrSc06]
J. Brandt and K. Schneider
Multimedia-Hardwareerweiterungen
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   [Cron04]
B. Cronauer
Entwicklung eines embedded SPFH-Signal-Simulators für das John Deere GreenStar Office System
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