Valérie Bertin

According to our database, Valérie Bertin authored at least 8 papers between 2000 and 2021.

Collaborative distances:

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

2021

FIRECAP: Fail-Reason Capturing hardware module for a RISC-V based System on a Chip.

Sébastien Thomet, Serge De Paoli, Jean-Marc Daveau, Valérie Bertin, Fady Abouzeid, Philippe Roche, Fakhreddine Ghaffari, Olivier Romain

Proceedings of the 36th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2021

2013

Designing tightly-coupled extension units for the STxP70 processor.

Yves Janin, Valérie Bertin, Hervé Chauvet, Thomas Deruyter, Christophe Eichwald, Olivier-André Giraud, Vincent Lorquet, Thomas Thery

Proceedings of the Design, Automation and Test in Europe, 2013

2005

Jahuel: A Formal Framework for Software Synthesis.

Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine

Proceedings of the Formal Methods and Software Engineering, 2005

Modelling, Analysis and Parallel Implementation of an On-line Video Encoder.

Ismail Assayad, Philippe Gerner, Sergio Yovine, Valérie Bertin

Proceedings of the 1st International Conference on Distributed Frameworks for Multimedia Applications (DFMA 2005), 2005

2002

FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors.

Valérie Bertin, Jean-Marc Daveau, Philippe Guillaume, Thierry Lepley, Denis Pilat, Claire Richard, Miguel Santana, Thomas Thery

Proceedings of the Embedded Software, Second International Conference, 2002

2001

TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems.

Valérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Towards validated real-time software.

Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

Efficient compilation of ESTEREL for real-time embedded systems.

Daniel Weil, Valérie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou

Proceedings of the 2000 International Conference on Compilers, 2000