Dr. Axel Braun

Eberhard-Karls-Universität Tübingen
Wilhelm-Schickard Institut fĂĽr Informatik
Lehrstuhl Technische Informatik

72076 TĂĽbingen

E-Mail: axel.braun

Sprechstunde: Nach Vereinbarung

Kontakt-Formular

Forschungsschwerpunkte

  • Systementwurf
  • Systemmodellierung, -simulation und -verifikation
  • Performanzanalyse und -optimierung
  • SystemC
  • Hardwaresynthese, High-Level-Synthese

Projekte

MERSES
SANITAS (UA)
ESCUG

Lehre

Vorlesung Enterprise Computing Grundlagen (WS 2013/14)

Praktikum Enterprise Computing Grundlagen (WS 2013/14)

Seminar Enterprise Computing - Hybrid Computing (WS 2013/14)

Publikationen

 Alle Publikationen im BibTex-Format

    2013

      März 2013
      • S. MĂĽller, Y. Zhou, A. Braun, J. Gerlach, W. Rosenstiel
         Ein Template-basierter Ansatz zur automatisierten Generierung von SystemC-Modellen aus IP-XACT-Beschreibungen
        Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)

      2011

        Februar 2011
        • Stefan Lämmermann, Erik Markert, Axel Braun, JĂĽrgen Ruf, Thomas Kropf und Wolfgang Rosenstiel
           Eigenschaftsbasierte Verifikation von MEMS
          Cyber-Physical Systems – Enabling Multi-Nature Systems 2011 (CPMNS'11), Bremen, Germany

        2010

          März 2010
          • M. MĂĽller, A. Braun, J. Gerlach, W. Rosenstiel, D. NienhĂĽser, M. Zöllner, O. Bringmann
             Design of an Automotive Traffic Sign Recognition System Targeting a Multi-Core SoC Implementation
            Design, Automation and Test in Europe (DATE)

          2009

          • J. Zimmermann, O. Bringmann, A. Braun, W. Rosenstiel
             Integration of High-Level Synthesis in ESL Platform Modeling by Automated Generation of Protocol Adapters
            International Conference on Communication, Circuits and Systems (ICCCAS’09), San Jose, USA)

          2008

          • Axel Braun
             Simulative Analyse und Bewertung des Performanzverhaltens von System-on-Chip-EntwĂĽrfen auf der Grundlage von abstrakten SystemC-Modellen, Dissertation, Logos-Verlag Berlin, 2008.

          2007

            Juni 2007
            • J. Behrend, A. Braun, O. Bringmann, M. Krause, T. Kropf, S. Lämmermann, P. Nalla, W. Rosenstiel, J. Ruf, T. Schönwald, A. Viehl u. J. Zimmermann
                Entwurf und Verifikation von Hardware/Software - Systemen
              Kooperationsmarkt des Ekompass-Workshops, Hannover, Germany
            Publikationen ohne Monatsangabe 2007
            • D. Lettnin, M. Winterholer, A. Braun, J. Gerlach, J. Ruf, T. Kropf, W. Rosenstiel
               Coverage Driven Verification applied to Embedded Software
              IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Porto Alegre, Brazil
            • A. Braun, J. Gerlach, W. Rosenstiel
               Eine SystemC-basierte Heuristik zur Performanzoptimierung datenflussorientierter Applikationen
              10. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Erlangen, Germany (MBMV'07)
            • D. Lettnin, P. Nalla, J. R. R. Wess, A. Braun, J. Gerlach, T. K. a. W. Rosenstiel
               Semiformal Verification of Temperal Properties in Embedded Software
              10. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany

            2006

            • A. Braun, D. Lettnin, J. Gerlach, W. Rosenstiel
               Automated Conversion Of SystemC Fixed-Point Data Types
              Buchbeitrag in VLSI-SOC: From Systems to Chips , Springer Boston
            • D. Lettnin, R. Weiss, A. Braun, J. Ruf, W. Rosenstiel
               Temporal properties verification of system level design
              Workshop: Object Oriented Software Design for Real Time and Embedded Computer Systems,

            2005

            • A. Braun, T. Grosser, J. Gerlach, W. Rosenstiel
               Entwicklung einer SystemC-basierten Simulationsumgebung fĂĽr einen 8-Bit-RISC Mikrocontroller,
              GI-ITG-Workshop 2005
            • A. Braun, J. Gerlach, W. Rosenstiel, A. Siebenborn, O. Bringmann
               SystemC-Based Communication and Performance Analysis
              Forum on Design and Specification Languages - FDL 2005
            • D. Lettnin, R. Weiss, A. Braun, J. Ruf, W. Rosenstiel
               Temporal Properties Verification of System Level Design
              In: Workshop on Object Oriented Software Design for Real Time and Embedded Computer Systems, 2005, Erfurt. Proceedings Net.ObjectDays 2005., p.271-282

            2004

            • A. Braun, T. Schubert, M. Stark, K. Haug, J. Gerlach, W. Rosenstiel
               Case Study: SystemC-Based Design of an Industrial Exposure Control Unit
              Buchbeitrag in: Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from FDL'03, Grimm, Christoph (Ed.) , Springer Verlag
            • D. Lettnin, A. Braun, M. Bogdan, J. Gerlach, W. Rosenstiel
               Synthesis of SystemC Design: A Case Study of Digital Neural Networks
              In: Design, Automation and Test in Europe (DATE 04), Paris
            • A. Donlin, A. Braun, A. Rose
               SystemC for the Design and Modeling of Programmable Systems
              International Conference on Field Programmable Logic and Applications - FPL 2004

            2003

            • U. Stark, A. Braun, W. Rosenstiel
               A Flexible Methodology for the XML-based Automated Interface Generation in Co-Simulation Environments
              Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS), Workshop System Design Automation (SDA)
            • A. Braun, J. Freuer, J. Gerlach, W. Rosenstiel
               Automated Conversion of SystemC Fixed-Point Data Types for Hardware Synthesis
              IFIP VLSI-SoC
            • A. Braun, E. Schubert, U. Stark, U. Haug, J. Gerlach, W. Rosenstiel
               Case Study: SystemC-Based Design of an Industrial Exposure Control Unit
              Proceedings of Forum on Specification & Design Languages (FDL)

            2002

            • A. Braun, J. Gerlach, W. Rosenstiel
               Checking Temporal Properties in SystemC Specifications
              In Proceedings of High Level Design Validation and Test Workshop (HLDVT)
            • A. Braun, C. Hansen, J. Gerlach, W. Rosenstiel
               Test Bench Support for SystemC Specifications
              In Proceedings of Forum on Specification & Design Languages (FDL)

              Februar
              • Stefan Lämmermann, Erik Markert, Axel Braun, JĂĽrgen Ruf, Thomas Kropf und Wolfgang Rosenstiel
                 Eigenschaftsbasierte Verifikation von MEMS
                Cyber-Physical Systems – Enabling Multi-Nature Systems 2011 (CPMNS'11)