Gilles Bertrand Gnokam Defo

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

Gilles Bertrand Gnokam Defo, 2015 .

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

Wolfgang Müller, Markus Becker, Gilles Bertrand Gnokam Defo, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Verification of a CAN bus model in SystemC with functional coverage

Wolfgang Müller, Gilles Bertrand Gnokam Defo, Christoph Kuznik, 2010, International Symposium on Industrial Embedded System (SIES).

Schnittstellensynthese - Modellierung, Optimierung, Codegenerierung

Gilles Bertrand Gnokam Defo, Christian Behler, Michel Carmel Kouamo Sime, 2006, Eingebettete, selbstorganisierende Systeme.

Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung

Wolfgang Müller, Gilles Bertrand Gnokam Defo, Christoph Kuznik, 2014, MBMV.

On Robust Evolution of Digital Hardware

Marco Platzner, Gilles Bertrand Gnokam Defo, Paul Kaufmann, 2008, BICC.

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

Wolfgang Müller, Gilles Bertrand Gnokam Defo, Heinrich Rommel, 2011, MBMV.

Task Migration for Fault-Tolerant FlexRay Networks

Wolfgang Müller, Gilles Bertrand Gnokam Defo, Henning Zabel, 2010, DIPES/BICC.

Distributed coordination of task migration for fault-tolerant FlexRay networks

Wolfgang Müller, Gilles Bertrand Gnokam Defo, Timo Kerstan, 2010, International Symposium on Industrial Embedded System (SIES).