Yann Rémond

Publication Activity (10 Years)

Years Active: 1997-2004
Publications (10 Years): 0

Publications

Kamel Slimani, Yann Rémond, Gilles Sicard, Marc Renaudin
TAST Profiler and Low Energy Asynchronous Design Methodology. PATMOS (2004)
Florence Maraninchi, Yann Rémond
Mode-Automata: a new domain-specific construct for the development of safe critical systems. Sci. Comput. Program. 46 (3) (2003)
Florence Maraninchi, Yann Rémond
Argos: an automaton-based synchronous language. Comput. Lang. 27 (1/3) (2001)
Florence Maraninchi, Yann Rémond, Éric Rutten
Effective programming language support for discrete-continuous mode-switching control systems. CDC (2001)
Florence Maraninchi, Yann Rémond
Running-modes of real-time systems: a case-study with mode-automata. ECRTS (2000)
Florence Maraninchi, Yann Rémond, Yannick Raoul
MATOU: An Implementation of Mode-Automata. CC (2000)
Florence Maraninchi, Yann Rémond
Mode-Automata: About Modes and States for Reactive Systems. ESOP (1998)
Florence Maraninchi, Yann Rémond
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages. COMPOS (1997)