Florence Plateau

According to our database, Florence Plateau authored at least 9 papers between 2005 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Security Filters for IoT Domain Isolation.

Dominique Bolignano, Florence Plateau

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2012

Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n.

Louis Mandel, Florence Plateau

Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

2011

Static scheduling of latency insensitive designs with Lucy-n.

Louis Mandel, Florence Plateau, Marc Pouzet

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2010

Lucy-n: a n-Synchronous Extension of Lustre.

Louis Mandel, Florence Plateau, Marc Pouzet

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

2009

Abstraction d'horloges dans les systemes synchrones flot de donnees.

Louis Mandel, Florence Plateau

Stud. Inform. Univ., 2009

2008

Interactive Programming of Reactive Systems.

Louis Mandel, Florence Plateau

Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems, 2008

Abstraction of Clocks in Synchronous Data-Flow Systems.

Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2006

<i>N</i>-synchronous Kahn networks: a relaxed model of synchrony for real-time systems.

Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

2005

Synchronization of periodic clocks.

Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet

Proceedings of the EMSOFT 2005, 2005