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

 Alle Publikationen im BibTex-Format

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

• 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. 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

• 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

• 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)

• 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)