Florence Plateau

Publication Activity (10 Years)

Years Active: 2005-2018
Publications (10 Years): 1

Top Topics

Security Problems

Encryption Scheme

Domain Independent

Top Venues

Publications

Dominique Bolignano, Florence Plateau
Security Filters for IoT Domain Isolation. ISoLA (4) (2018)
Louis Mandel, Florence Plateau
Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n. MPC (2012)
Louis Mandel, Florence Plateau, Marc Pouzet
Static scheduling of latency insensitive designs with Lucy-n. FMCAD (2011)
Louis Mandel, Florence Plateau, Marc Pouzet
Lucy-n: a n-Synchronous Extension of Lustre. MPC (2010)
Louis Mandel, Florence Plateau
Interactive Programming of Reactive Systems. Electron. Notes Theor. Comput. Sci. 238 (1) (2009)
Louis Mandel, Florence Plateau
Abstraction d'horloges dans les systemes synchrones flot de donnees. Stud. Inform. Univ. 7 (2) (2009)
Louis Mandel, Florence Plateau
Abstraction d'horloges dans les systèmes synchrones flot de données. JFLA (2009)
Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet
Abstraction of Clocks in Synchronous Data-Flow Systems. APLAS (2008)
Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet
-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. POPL (2006)
Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet
Synchronization of periodic clocks. EMSOFT (2005)