Search: (more)
Header

Search Result

2017

BibTeX Search WWW PDF   [ScBr17]
K. Schneider and J. Brandt
Quartz: A Synchronous Language for Model-based Design of Reactive Embedded Systems

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   [BrSB14]
J. Brandt and K. Schneider and Y. Bai
Passive Code in Synchronous Programs
Transactions on Embedded Computing Systems (TECS)
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
BibTeX Search WWW PDF   [TBGS14]
J.-P. Talpin and J. Brandt and M. Gemünde and K. Schneider and S. Shukla
Constructive Polychronous Systems
Science of Computer Programming (SCICO)

2013

BibTeX Search WWW PDF   [BGSS13]
J. Brandt and M. Gemünde and K. Schneider and S.K. Shukla and J.-P. Talpin
Embedding Polychrony into Synchrony
IEEE Transactions on Software Engineering (TSE)
BibTeX Search WWW PDF   [Bran13]
J. Brandt
Synchronous Models for Embedded Software
Habilitation Thesis
BibTeX Search WWW PDF   [GeBS13]
M. Gemünde and J. Brandt and K. Schneider
Clock Refinement in Imperative Synchronous Languages
EURASIP Journal on Embedded Systems
BibTeX Search WWW PDF   [TBGS13]
J.-P. Talpin and J. Brandt and M. Gemünde and K. Schneider and S. Shukla
Constructive Polychronous Systems
Logical Foundations of Computer Science (LFCS)

2012

BibTeX Search WWW PDF   [BGSS12]
J. Brandt and M. Gemünde and K. Schneider and S.K. Shukla and J.-P. Talpin
Representation of Synchronous, Asynchronous, and Polychronous Components by Clocked Guarded Actions
Design Automation for Embedded Systems (DAEM)
BibTeX Search WWW PDF   [BaBS12]
D. Baudisch and J. Brandt and K. Schneider
Out-Of-Order Execution of Synchronous Data-Flow Networks
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (ICSAMOS)
BibTeX Search WWW PDF   [BaBS12a]
D. Baudisch and J. Brandt and K. Schneider
Efficient Handling of Arrays in Dataflow Process Networks
International Conference on Embedded Software and Systems (ICESS)
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 PDF   [BaBS12c]
Y. Bai and J. Brandt and K. Schneider
Monitoring Distributed Reactive Systems
High Level Design Validation and Test Workshop (HLDVT)
BibTeX Search WWW PDF   [BaBS12d]
D. Baudisch and J. Brandt and K. Schneider
Out-Of-Order Execution of Synchronous Data-Flow Networks
Presentation
BibTeX Search WWW PDF   [BaBS12e]
D. Baudisch and J. Brandt and K. Schneider
Efficient Handling of Arrays in Dataflow Process Networks
Presentation
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 PDF   [BrSE12]
J. Brandt and K. Schneider and S.A. Edwards
Translating SHIM to Guarded Actions
Technical Report
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 PDF   [BGSS11]
J. Brandt and M. Gemünde and K. Schneider and S. Shukla and J.-P. Talpin
Integrating System Descriptions by Clocked Guarded Actions
Forum on Specification and Design Languages (FDL)
BibTeX Search WWW PDF   [BaBS11]
Y. Bai and J. Brandt and K. Schneider
Data-Flow Analysis of Extended Finite State Machines
Application of Concurrency to System Design (ACSD)
BibTeX Search WWW PDF   [BaBS11a]
Y. Bai and J. Brandt and K. Schneider
SMT-Based Optimization for Synchronous Programs
Software and Compilers for Embedded Systems (SCOPES)
BibTeX Search WWW PDF   [BaBS11b]
D. Baudisch and J. Brandt and K. Schneider
Translating Synchronous Systems to Data-Flow Process Networks
Parallel and Distributed Computing, Applications and Technologies (PDCAT)
BibTeX Search WWW PDF   [BaBS11c]
D. Baudisch and J. Brandt and K. Schneider
Translating Synchronous Systems to Data-Flow Process Networks
Presentation
BibTeX Search WWW PDF   [BrSc11]
J. Brandt and K. Schneider
Round Trip to Asynchrony and Synchrony
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW PDF   [BrSc11a]
J. Brandt and K. Schneider
Separate Translation of Synchronous Programs to Guarded Actions
Technical Report
BibTeX Search WWW PDF   [GeBS11]
M. Gemünde and J. Brandt and K. Schneider
Schizophrenia and Causality in the Context of Refined Clocks
Forum on Specification and Design Languages (FDL)
BibTeX Search WWW PDF   [GeBS11a]
M. Gemünde and J. Brandt and K. Schneider
Causality Analysis of Synchronous Programs with Refined Clocks
High Level Design Validation and Test Workshop (HLDVT)
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   [BSAS10]
J. Brandt and K. Schneider and S. Ahuja and S.K. Shukla
The Model Checking View to Clock Gating and Operand Isolation
Application of Concurrency to System Design (ACSD)
BibTeX Search WWW PDF   [BaBS10]
D. Baudisch and J. Brandt and K. Schneider
Multithreaded Code from Synchronous Programs: Extracting Independent Threads for OpenMP
Design, Automation and Test in Europe (DATE)
BibTeX Search WWW PDF   [BaBS10a]
D. Baudisch and J. Brandt and K. Schneider
Multithreaded Code from Synchronous Programs: Generating Software Pipelines for OpenMP
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW PDF   [BaBS10b]
D. Baudisch and J. Brandt and K. Schneider
Dependency-Driven Distribution of Synchronous Programs
Distributed and Parallel Embedded Systems (DIPES)
BibTeX Search WWW PDF   [BaBS10c]
D. Baudisch and J. Brandt and K. Schneider
Multithreaded Code from Synchronous Programs: Extracting Independent Threads for OpenMP
Presentation
BibTeX Search WWW PDF   [BaBS10d]
D. Baudisch and J. Brandt and K. Schneider
Multithreaded Code from Synchronous Programs: Generating Software Pipelines for OpenMP
Presentation
BibTeX Search WWW PDF   [BaBS10e]
D. Baudisch and J. Brandt and K. Schneider
Dependency-Driven Distribution of Synchronous Programs
Presentation
BibTeX Search WWW PDF   [Bai10]
Y. Bai
Dependency Analysis of Synchronous Programming Languages
Master Thesis
BibTeX Search WWW PDF   [BrGS10]
J. Brandt and M. Gemünde and K. Schneider
From Synchronous Guarded Actions to SystemC
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW PDF   [BrSS10]
J. Brandt and K. Schneider and S.K. Shukla
Translating concurrent action oriented specifications to synchronous guarded actions
Languages, Compilers, and Tools for Embedded Systems (LCTES)
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   [GeBS10a]
M. Gemünde and J. Brandt and K. Schneider
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages
Application of Concurrency to System Design (ACSD)
BibTeX Search WWW PDF   [GeBS10b]
M. Gemünde and J. Brandt and K. Schneider
Compilation of Imperative Synchronous Programs with Refined Clocks
Formal Methods and Models for Codesign (MEMOCODE)
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

2009

BibTeX Search WWW PDF   [BrGS09]
J. Brandt and M. Gemünde and K. Schneider
Desynchronizing Synchronous Programs by Modes
Application of Concurrency to System Design (ACSD)
BibTeX Search WWW PDF   [BrSW09]
J. Brandt and K. Schneider and A. Willenbücher
Using IP Cores in Synchronous Languages
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW PDF   [BrSc09]
J. Brandt and K. Schneider
Separate Compilation for Synchronous Programs
Software and Compilers for Embedded Systems (SCOPES)
BibTeX Search WWW PDF   [BrSc09a]
J. Brandt and K. Schneider
Static Data-Flow Analysis of Synchronous Programs
Formal Methods and Models for Codesign (MEMOCODE)

2008

BibTeX Search WWW PDF   [Baud08]
D. Baudisch
Synthesis for VLIW Architectures
Diploma Thesis
BibTeX Search WWW PDF   [BrSW08]
J. Brandt and K. Schneider and A. Willenbücher
Hardware Acceleration for Model Checking
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW PDF   [BrSc08]
J. Brandt and K. Schneider
Embedded Systems: Status and Perspective
BibTeX Search WWW PDF   [BrSc08a]
J. Brandt and K. Schneider
Formal Reasoning About Causality Analysis
Theorem Proving in Higher Order Logics (TPHOL)
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
BibTeX Search WWW PDF   [ScBr08]
K. Schneider and J. Brandt
Performing Causality Analysis by Bounded Model Checking
Application of Concurrency to System Design (ACSD)

2007

BibTeX Search WWW PDF   [BrSc07]
J. Brandt and K. Schneider
Different Kinds of System Descriptions as Synchronous Programs
BibTeX Search WWW PDF   [BrSc07b]
J. Brandt and K. Schneider
How Different are Esterel and SystemC?
Forum on Specification and Design Languages (FDL)
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   [ScBr07]
K. Schneider and J. Brandt
Theorem Proving in Higher Order Logics (TPHOL)
BibTeX Search WWW PDF   [ScBr07a]
K. Schneider and J. Brandt
Theorem Proving in Higher Order Logics and Applications -- Emerging Trends
Technical Report

2006

BibTeX Search WWW PDF   [BrSc06]
J. Brandt and K. Schneider
Multimedia-Hardwareerweiterungen
BibTeX Search WWW PDF   [BrSc06a]
J. Brandt and K. Schneider
System Description Aspects as Syntactic Sugar
Forum on Specification and Design Languages (FDL)
BibTeX Search WWW PDF   [BrSc06b]
J. Brandt and K. Schneider
Efficient Map Overlay for Safety-Critical Embedded Systems
Industrial Embedded Systems (IES)
BibTeX Search WWW PDF   [ScBS06]
K. Schneider and J. Brandt and T. Schüle
A Verified Compiler for Synchronous Programs with Local Declarations
Electronic Notes in Theoretical Computer Science (ENTCS)
BibTeX Search WWW PDF   [ScBV06a]
K. Schneider and J. Brandt and E. Vecchié
Modular Compilation of Synchronous Programs
Distributed and Parallel Embedded Systems (DIPES)
BibTeX Search WWW PDF   [ScBV06b]
K. Schneider and J. Brandt and E. Vecchié
Efficient Code Generation from Synchronous Programs
Formal Methods and Models for Codesign (MEMOCODE)

2005

BibTeX Search WWW PDF   [BrSc05]
J. Brandt and K. Schneider
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry
International Conference on Formal Engineering Methods (ICFEM)
BibTeX Search WWW PDF   [BrSc05a]
J. Brandt and K. Schneider
Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems
Embedded and Ubiquitous Computing (EUC)
BibTeX Search WWW PDF   [SBST05a]
K. Schneider and J. Brandt and T. Schüle and T. Türk
Improving Constructiveness in Code Generators
Synchronous Languages, Applications, and Programming (SLAP)
BibTeX Search WWW PDF   [SBST05b]
K. Schneider and J. Brandt and T. Schüle and T. Türk
Maximal Causality Analysis
Application of Concurrency to System Design (ACSD)

2004

BibTeX Search WWW   [BGGS04]
J. Brandt and R. Gotzhein and R. Grammes and B. Schürmann
Chatroom over WLAN-Systematic Development of an QoS-Integrated Distributed System
European Wireless 2004
BibTeX Search WWW PDF   [ScBS04a]
K. Schneider and J. Brandt and T. Schüle
A Verified Compiler for Synchronous Programs with Local Declarations (proceedings version)
Synchronous Languages, Applications, and Programming (SLAP)
BibTeX Search WWW PDF   [ScBS04b]
K. Schneider and J. Brandt and T. Schüle
Causality Analysis of Synchronous Programs with Delayed Actions
Compilers, Architecture, and Synthesis for Embedded Systems (CASES)

2003

BibTeX Search WWW PDF   [Bran03]
J. Brandt
2D-Polygon-Clipping Algorithmen für eingebettete Echtzeitsysteme
Diploma Thesis