Bernhard Niemann

According to our database, Bernhard Niemann authored at least 7 papers between 2006 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Mobile satellite reception with DVB-SH receiver architecture and performance.

Amaia Añorga Gómez, Stefan Lipp, Martin Leyh, Bernhard Niemann

Int. J. Satell. Commun. Netw., 2014

2012

SafeTRIP: A Bi-Directional Communication System Operating in S-Band for Road Safety and Incident Prevention.

Massimo Celidonio, Dario Di Zenobio, Ermanno Fionda, Guillermo Grau Panea, Sebastien Grazzini, Bernhard Niemann, Lorenzo Pulcini, Sandro Scalise, Emanuele Sergio, Sabino Titomanlio

Proceedings of the 75th IEEE Vehicular Technology Conference, 2012

E-SSA satellite messaging return channel: Performance analysis and field trials results.

Thomas Heyn, Peter Nagel, Bernhard Niemann, Andrea Recchia, Florian Collard, Romain Hermenier, Maria Antonietta Marchitti, Marco Andrenacci, Gaetano Mendola

Proceedings of the 6th Advanced Satellite Multimedia Systems Conference and 12th Signal Processing for Space Communications Workshop, 2012

2007

Towards a Unified Execution Model for Transactions in TLM.

Bernhard Niemann, Christian Haubelt

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Mapping Actor-Oriented Models to TLM Architectures.

Jens Gladigau, Christian Haubelt, Bernhard Niemann, Jürgen Teich

Proceedings of the Forum on specification and Design Languages, 2007

2006

Assertion-Based Verification of Transaction Level Models.

Bernhard Niemann, Christian Haubelt

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Formalizing TLM with Communicating State Machines.

Bernhard Niemann, Christian Haubelt

Proceedings of the Forum on specification and Design Languages, 2006