Compositionality Criteria for Defining Mixed-Styles Synchronous Languages. - Florence Maraninchi; Yann Rémond (COMPOS, 1997)

Mode-Automata: About Modes and States for Reactive Systems. - Florence Maraninchi; Yann Rémond (ESOP, 1998)

MATOU: An Implementation of Mode-Automata. - Florence Maraninchi; Yann Rémond; Yannick Raoul (CC, 2000)

Running-modes of real-time systems: a case-study with mode-automata. - Florence Maraninchi; Yann Rémond (ECRTS, 2000)

Effective programming language support for discrete-continuous mode-switching control systems. - Florence Maraninchi; Yann Rémond; Éric Rutten (CDC, 2001)

Argos: an automaton-based synchronous language. - Florence Maraninchi; Yann Rémond (Comput. Lang., 2001)

Mode-Automata: a new domain-specific construct for the development of safe critical systems. - Florence Maraninchi; Yann Rémond (Sci. Comput. Program., 2003)

TAST Profiler and Low Energy Asynchronous Design Methodology. - Kamel Slimani; Yann Rémond; Gilles Sicard; Marc Renaudin (PATMOS, 2004)