Gilles Bertrand Gnokam Defo

According to our database, Gilles Bertrand Gnokam Defo authored at least 9 papers between 2006 and 2015.

Collaborative distances:

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

2015

A framework for assertion-based timing verification and PC-based restbus simulation of automotive systems.

Gilles Bertrand Gnokam Defo

PhD thesis, 2015

2014

Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung.

Christoph Kuznik, Bertrand Defo, Wolfgang Müller

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

2012

MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution.

Markus Becker, Gilles B. Defo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Sara Vinco

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk.

Gilles B. Defo, Wolfgang Müller, Heinrich Rommel

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

2010

Verification of a CAN bus model in SystemC with functional coverage.

Christoph Kuznik, Gilles B. Defo, Wolfgang Müller

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks.

Kay Klobedanz, Gilles B. Defo, Wolfgang Müller, Timo Kerstan

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Task Migration for Fault-Tolerant FlexRay Networks.

Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller, Yuan Zhi

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2008

On Robust Evolution of Digital Hardware.

Tobias Knieper, Bertrand Defo, Paul Kaufmann, Marco Platzner

Proceedings of the Biologically-Inspired Collaborative Computing, 2008

2006

Schnittstellensynthese - Modellierung, Optimierung, Codegenerierung.

Christian Behler, Bertrand Defo, Michel Carmel Kouamo Sime, Tobias Loke

Eingebettete, selbstorganisierende Systeme 2, TUDpress, ISBN: 978-3-938863-63-3, 2006