The B-Book -Assigning Programs to Meanings, 1996. ,
The Challenge of QoS for digital television services, EBU Technical Review, vol.302, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00001252
Derivation of SystemC code from abstract system models, Forum on specification & Design Languages ? FDL'04, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00107780
Construction sûre de systèmes électoniques, Génie Logiciel, pp.38-44, 2004. ,
Logical foundations of the B method, Computers and Informatics n°22, 2003. ,
Proofbased design of a microelectronic architecture for MPEG-2 bit-rate measurement, Forum on specification & Design Languages ? FDL'03, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00099834
Enabling SystemC Verification using Abstract State Machines, Languages for Formal Specification and Verification, Forum on Specification & Design Languages ? FDL'04, 2004. ,
Formal semantics of synchronous SystemC, 2003 Design, Automation and Test in Europe Conference and Exhibition, 2003. ,
DOI : 10.1109/DATE.2003.1253637
Video and Audio in satellite, cable or terrestrial broadcasting applications. ETSI TR 101 154, 2002. ,