Valérie Bertin

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

Valérie Bertin, Etienne Closse, M. Poize et al. · Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) · 2003 · 49 citations · Full text

Engineering, Computer Engineering, Computer Science +17

Efficient compilation of ESTEREL for real-time embedded systems

Daniel Weil, Valérie Bertin, Etienne Closse et al. · 2000 · 43 citations

Engineering, Computer Engineering, Computer Science +16

Towards validated real-time software

Valérie Bertin, M. Poize, Jacques Pulou et al. · 2002 · 27 citations · Full text

Engineering, Computer Engineering, Computer Science +17

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

Ismail Assayad, Ph. Gerner, Sergio Yovine et al. · 2005 · 15 citations

Computing, Computer Engineering, Computer Science +8

On-Chip Total Ionizing Dose Digital Monitor in Fully Depleted SOI Technologies

Fady Abouzeid, Gilles Gasiot, Dimitri Soussan et al. · IEEE Transactions on Nuclear Science · 2020 · 12 citations

Engineering, Computer Engineering, Computer Systems +15