|
|
|
|
[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) |
|
|
|
|
[BrGS09] J. Brandt and M. Gemünde and K. Schneider Desynchronising Synchronous Programs by Modes Conference on Application of Concurrency to System Design (ACSD) |
|
|
|
|
|
[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) |
|
|
|
|
|
[BrSc09] J. Brandt and K. Schneider Separate Compilation of Synchronous Programs Software and Compilers for Embedded Systems (SCOPES) |
|
|
|
|
|
[BrSc09a] J. Brandt and K. Schneider Static Data-Flow Analysis of Synchronous Programs International Conference on Formal Methods and Models for Co-Design (MEMOCODE) |
|
|
|
|
[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) |
|
|
|
|
|
[BrSc08] J. Brandt and K. Schneider Embedded Systems: Status and Perspective |
|
|
|
|
|
[BrSc08a] J. Brandt and K. Schneider Formal Reasoning About Causality Analysis Theorem Proving in Higher Order Logic (TPHOL) |
|
|
|
|
|
[ScBr08] K. Schneider and J. Brandt Performing Causality Analysis by Bounded Model Checking Conference on Application of Concurrency to System Design (ACSD) |
|
|
|
|
[BrSc07] J. Brandt and K. Schneider Advances in Design and Specification Languages for Embedded Systems |
|
|
|
|
|
[BrSc07b] J. Brandt and K. Schneider How Different are Esterel and SystemC? Forum on Specification and Design Languages (FDL) |
|
|
|
|
|
[Bran07] J. Brandt A Layered Approach to Polygon Processing for Safety-Critical Embedded Systems PhD Thesis |
|
|
|
|
[BrSc06a] J. Brandt and K. Schneider System Description Aspects as Syntactic Sugar Forum on Specification and Design Languages (FDL) |
|
|
|
|
|
[BrSc06b] J. Brandt and K. Schneider Efficient Map Overlay for Safety-Critical Embedded Systems International Symposium on Industrial Embedded Systems (IES) |
|
|
|
|
|
[ScBS06] K. Schneider and J. Brandt and T. Schuele A Verified Compiler for Synchronous Programs with Local Declarations Electronic Notes in Theoretical Computer Science (ENTCS) |
|
|
|
|
|
[ScBV06a] K. Schneider and J. Brandt and E. Vecchié Modular Compilation of Synchronous Programs IFIP Conference on Distributed and Parallel Embedded Systems (DIPES) |
|
|
|
|
|
[ScBV06b] K. Schneider and J. Brandt and E. Vecchié Efficient Code Generation from Synchronous Programs Formal Methods and Models for Codesign (MEMOCODE) |
|
|
|
|
[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) |
|
|
|
|
|
[BrSc05a] J. Brandt and K. Schneider Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems International Conference on Embedded and Ubiquitous Computing (EUC) |
|
|
|
|
|
[SBST05a] K. Schneider and J. Brandt and T. Schuele and T. Tuerk Improving Constructiveness in Code Generators Synchronous Languages, Applications, and Programming (SLAP) |
|
|
|
|
|
[SBST05b] K. Schneider and J. Brandt and T. Schuele and T. Tuerk Maximal Causality Analysis Application of Concurrency to System Design (ACSD) |
|
|
|
[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 |
||
|
|
|
|
[ScBS04a] K. Schneider and J. Brandt and T. Schuele A Verified Compiler for Synchronous Programs with Local Declarations(proceedings version) Synchronous Languages, Applications, and Programming (SLAP) |
|
|
|
|
|
[ScBS04b] K. Schneider and J. Brandt and T. Schuele Causality Analysis of Synchronous Programs with Delayed Actions Compilers, Architecture, and Synthesis for Embedded Systems (CASES) |
|
|
|
|
[Bran03] J. Brandt 2D-Polygon-Clipping Algorithmen für eingebettete Echtzeitsysteme Master Thesis |
|