Axel G. Braun

According to our database1, Axel G. Braun authored at least 13 papers between 2002 and 2013.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Ein template-basierter Ansatz zur automatisierten Generierung von SystemC-Modellen aus IP-XACT-Beschreibungen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

2011
SystemC-based Performance Optimization in Embedded System Design: A Synthetic-Aperture-Radar (SAR) Case Study.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

2010
Design of an automotive traffic sign recognition system targeting a multi-core SoC implementation.
Proceedings of the Design, Automation and Test in Europe, 2010

2008
Simulative Analyse und Bewertung des Performanzverhaltens von System-on-Chip-Entwürfen auf der Grundlage von abstrakten SystemC-Modellen.
PhD thesis, 2008

2007
Semiformal Verification of Temporal Properties in Embedded Software.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Eine SystemC-basierte Heuristik zur Performanzoptimierung datenflussorientierter Applikationen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Coverage Driven Verification applied to Embedded Software.
Proceedings of the 2007 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), 2007

2005
SystemC-Based Communication and Performance Analysis.
Proceedings of the Forum on specification and Design Languages, 2005

2004
Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks.
Proceedings of the 2004 Design, 2004

2003
Automated Conversion of SystemC Fixed-Point Data Types.
Proceedings of the VLSI-SOC: From Systems to Chips, 2003

Automated Conversion of SystemC Fixed-Point Data Types for Hardware Synthesis.
Proceedings of the IFIP VLSI-SoC 2003, 2003

Case Study: SystemC-Based Design of an Industrial Exposure Control Unit1.
Proceedings of the Forum on specification and Design Languages, 2003

2002
Checking temporal properties in SystemC specifications.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002


  Loading...