G. Durrieu

Design by Transformation of Synchronous Descriptions

G. Durrieu, M. Lemaître, 1995 .

Analysis of real-time networks with monte carlo methods

C. Mauclair, G. Durrieu, G. Durrieu, 2013 .

Formal Verification of Critical Aerospace Software

Virginie Wiels, Pierre-Loïc Garoche, Jacques Cazin, 2012 .

Parallelism, control and synchronization expression in a single assignment language

D. Comte, J. C. Syre, G. Durrieu, 1978, SIGP.

Influence of the parasite worm Polydora sp. on the behaviour of the oyster Crassostrea gigas: a study of the respiratory impact and associated oxidative stress

G. Durrieu, P. Ciret, J. Massabuau, 2007 .

Mastering Complexity Formal Verification of Critical Aerospace Software

V. Wiels, R. Delmas, J. Cazin, 2012 .