Yann Rémond

Learn More
Argos belongs to the family of synchronous languages, designed for programming reactive systems: (Lustre (Proceedings of the 14th Symposium on Principles of Programming Languages, Munich, 1987; Proc. IEEE 79(9) (1999) 1305), Esterel (Sci. Comput. Programming 19(2) (1992) 87), Signal (Technical Report, IRISA Report 246, IRISA, Rennes, France, 1985). Argos is(More)
Over the past ten years, the family of synchronous languages (Special Section of the Proc. IEEE 79 (9) (1991)) has been very successful in o4ering domain-speci'c, formally de'ned languages and programming environments for safety-critical systems. Among them, Lustre is well-suited for the development of regulation systems, which are 'rst designed by control(More)
This is not a paper about compositionality in itself, nor a general paper about mixing synchronous languages. We rst recall that compositionality appears in three places in the deenition of synchronous languages : 1) the synchrony hypothesis guarantees that the formal semantics of the language is compositional (in the sense that there exists an appropriate(More)
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been very successful in offering formally defined languages and programming environments for safety-critical systems. We are particularly interested in the data-flow language Lustre,(More)
Study of the reactivity of 3d transition metal cations in diethylene glycol solutions revealed several key features that made it possible to develop a new method for synthesis of the nanocrystalline transition metal ferrites. The 3-7 nm particles of [MFe2O4]n[O2CR]m, where M = Mn, Fe, Co, Ni, and Zn, ligated on their surface with long-chain carboxylate(More)
  • 1