Sophie Gabriele

According to our database, Sophie Gabriele authored at least 2 papers between 2002 and 2007.

Collaborative distances:

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

2007

The B-Method for the Construction of Microkernel-Based Systems.

Sarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2002

Towards real-time video watermarking for system-on-chip.

Guillaume Petitjean, Jean-Luc Dugelay, Sophie Gabriele, Christian Rey, Jean Nicolai

Proceedings of the 2002 IEEE International Conference on Multimedia and Expo, 2002