Towards real-time video watermarking for system-on-chip. - Guillaume Petitjean; Jean-Luc Dugelay; Sophie Gabriele; Christian Rey; Jean Nicolai (ICME (1), 2002)

The B-Method for the Construction of Microkernel-Based Systems. - Sarah Hoffmann; Germain Haugou; Sophie Gabriele; Lilian Burdy (B, 2007)