Search: (more)
Header

Search Result

2015

BibTeX Search WWW PDF   [Eswa15]
A. Eswarappa
AUTOSAR
BibTeX Search WWW PDF   [Kolh15]
A. Kolhapurkar
Functional Safety: ISO26262
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   [Espe14]
D. Espen
Adaptive Cruise Control
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   [Schm14b]
F. Schmidt
Automotive Communication Architectures: MOST
BibTeX Search WWW PDF   [Schn14]
F. Schnicke
ASCET-MD

2012

BibTeX Search WWW PDF   [BaBS12b]
Y. Bai and J. Brandt and K. Schneider
Preservation of LTL Properties in Desynchronized Systems
Formal Methods and Models for Codesign (MEMOCODE)
BibTeX Search WWW   [BrHe12]
J. Brandt and K. Heljanko
Application of Concurrency to System Design (ACSD)
BibTeX Search WWW   [BrRe12]
J. Brandt and A. Rettberg
Electronic System Level Synthesis Conference (ESLsyn)
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   [GeSc12a]
M. Gesell and K. Schneider
Interactive Verification of Synchronous Systems
Formal Methods and Models for Codesign (MEMOCODE)
BibTeX Search WWW   [SKCB12]
S. Shukla and D. Kroening and L. Carloni and J. Brandt
Formal Methods and Models for Codesign (MEMOCODE)
BibTeX Search WWW PDF   [Thie12]
D. Thielsch
Criteria of Endo/Isochrony in Quartz
Bachelor Thesis

2011

BibTeX Search WWW   [SJKB11]
S. Singh and B. Jobstmann and M. Kishinevsky and J. Brandt
Formal Methods and Models for Codesign (MEMOCODE)
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   [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   [DyWi08]
S. Dyckmans and A. Willenbücher
Design and Implementation of a Dataflow-Processor for Synchronous Programs
Bachelor Thesis
BibTeX Search WWW PDF   [Gese08]
M. Gesell
Probabilistic Model Checking of Synchronous Programs
Diploma Thesis

2007

BibTeX Search WWW PDF   [GeGe07]
M. Gesell and M. Gemünde
Eine Oberfläche zur Simulation synchroner Sprachen
Project Thesis
BibTeX Search WWW PDF   [ScBr07]
K. Schneider and J. Brandt
Theorem Proving in Higher Order Logics (TPHOL)

2006

BibTeX Search WWW PDF   [BrSc06]
J. Brandt and K. Schneider
Multimedia-Hardwareerweiterungen