Gilles Bertrand Gnokam Defo

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

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

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

2014
Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung.
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.
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.
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.
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks.
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Task Migration for Fault-Tolerant FlexRay Networks.
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2008
On Robust Evolution of Digital Hardware.
Proceedings of the Biologically-Inspired Collaborative Computing, 2008

2006
Schnittstellensynthese - Modellierung, Optimierung, Codegenerierung.
Eingebettete, selbstorganisierende Systeme 2, TUDpress, ISBN: 978-3-938863-63-3, 2006


  Loading...