Eric Nassor

Publication Activity (10 Years)

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

Top Topics

Theorem Proving

Top Venues

IEEE Trans. Circuits Syst. Video Technol.

Publications

Cyril Concolato, Jean Le Feuvre, Franck Denoual, Frederic Maze, Eric Nassor, Nael Ouedraogo, Jonathan Taquet
Adaptive Streaming of HEVC Tiled Videos Using MPEG-DASH. IEEE Trans. Circuits Syst. Video Technol. 28 (8) (2018)
Wael Chérif, Youenn Fablet, Eric Nassor, Jonathan Taquet, Yuki Fujimori
DASH fast start using HTTP/2. NOSSDAV (2015)
Sebastien Lasserre, Fabrice Le Léannec, Jonathan Taquet, Eric Nassor
Low-Complexity Intra Coding for Scalable Extension of HEVC Based on Content Statistics. IEEE Trans. Circuits Syst. Video Technol. 24 (8) (2014)
Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone
ESTEREL: a formal method applied to avionic software development. Sci. Comput. Program. 36 (1) (2000)
Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor
Cronos: A Separate Compilation Toolset for Modular Esterel Applications. World Congress on Formal Methods (1999)
Eric Nassor, Guy Vidal-Naquet
Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems. STACS (1992)