Person

Dipl.-Inform. Henning Kleen

 

Research and Developement Division

Verkehr / Hardware/Software-Entwurfsmethodik

Technology-Cluster

Designmethodik HW-/SW-Systeme

 

Room

O87

Phone

+49 441 9722-288

Address

OFFIS

E-Mail

henning.kleen [ A T ] offis.de

 

Publications

Title

SystemC Based Verification of Complex Heterogeneous Systems

booktitle

CPMNS Tagungsband

Title of Conference

Cyber-Physical Systems - Enabling Multi-Nature Systems (CPMNS)

Alle Autoren

Görgen, Ralph; Kleen, Henning; Oetjens, Jan-Hendrik; Jores, Peter; Nebel, Wolfgang

Year

2012

Title

Automatische Übersetzung von MATLAB/Simulink-Modellen nach SystemC-AMS

Title of Conference

14. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" MBMV 2011

Alle Autoren

Kleen, Henning; Xiao, Shangkun; Görgen, Ralph; Bannow, Nico; Nebel, Wolfgang

Year

2011

Title

Towards a Synthesis Semantics for SystemC Channels

Title of Conference

International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS)

Alle Autoren

Grüttner, Kim; Kleen, Henning; Oppenheimer, Frank; Rettberg, Achim; Nebel, Wolfgang

Year

2010

Title

Modeling of Embedded Software Multitasking in SystemC/OSSS

booktitle

Languages for Embedded Systems and their Applications

Alle Autoren

Hartmann, Philipp A.; Reinkemeier, Philipp; Kleen, Henning; Nebel, Wolfgang

Year

2009

Title

Efficient modelling and simulation of embedded software multi-tasking using SystemC and OSSS

Title of Conference

Forum on Specification, Verification and Design Languages, 2008. FDL 2008.

Alle Autoren

Hartmann, Philipp A.; Reinkemeier, Philipp; Kleen, Henning; Nebel, Wolfgang

Year

2008

Title

Effizienzanalyse synthetisierter Hardware-Software-Kommunikation am Beispiel eines hardwarebeschleunigten MPEG-Audio-Dekoders

booktitle

Tagungsband des ITG/GMM/GI-Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifik ation von Schaltungen und Systemen

Alle Autoren

Kleen, Henning; Oppenheimer, Frank; Nebel, Wolfgang

Year

2008

Title

OSSS - A Library for Synthesisable System Level Models in SystemC(TM) - A tutorial for OSSS 2.0

Alle Autoren

Brunzema, Claus; Grabbe, Cornelia; Grüttner, Kim; Hartmann, Philipp Andreas; Herrholz, Andreas; Kleen, Henning; Oppenheimer, Frank; Schallenberg, Andreas; Stehno, Christian; Schubert, Thorsten

Year

2007