| emsoft | participants

Pascal Fradet

EMSOFT 2013: 13th International Conference on Embedded Software

BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters

Vagelis Bebelis, Pascal Fradet, Alain Girault, and Bruno Lavigueur

EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software

Implementing Fault-Tolerance in Real-Time Systems by Automatic Program Transformations

Tolga Ayav, Pascal Fradet, and Alain Girault